2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.90
3.27/2.13 Instance
3.27/2.13 name=instance-4390835-1568386559, framework=COP, bounds=-infty..+infty
3.27/2.13
3.27/2.13 Loading variables...
3.27/2.18 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b81855
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f211d5
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e70327
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4def7ffe
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2105873c
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fddad
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763fad79
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d7515a
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7340c46d
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67ca9f07
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1597e637
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@451b7f7f
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d031dd
4.11/2.42 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39357c8e
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749b6b4f
4.11/2.45
4.11/2.45
4.11/2.45 Domains
4.11/2.45 nTypes=4, nValues=2040, sizes=[2#450,3#225,15#15,16#15]
4.11/2.45 Variables
4.11/2.45 count=705, degrees=[2#255,3#435,16#15]
4.11/2.46 Objectives
4.11/2.46 way=min, type=ObjMaximumLE
4.11/2.46 Constraints
4.11/2.46 count=692, nSpecific=257, arities=[2#240,3#435,15#2,16#15]
4.11/2.46 distribution=[AllDifferent#1,CtrExtensionCT-Table#225,CtrExtensionV-Bits#225,CtrIntension#210,EQ#15,ObjMaximumLE#1,SumWeightedEQ#15]
4.11/2.46 tables=[5#225], nTotalTuples=1125
4.11/2.46 nExtStructures=(226,shared:224), nIntStructures=(1,shared:209), nCftStructures=(226,shared:209,unbuilt:257)
4.11/2.46 wck=0.606, cpu=2.414, mem=47M651
4.11/2.48 Solver SolverBacktrack being built...
4.11/2.48
4.45/2.51
4.45/2.51 Solver
4.45/2.51 guaranteedGAC=false
4.45/2.51 wck=0.661, cpu=2.467, mem=71M511
4.45/2.53
4.45/2.53 Preprocessing
4.45/2.53 filters=15, revisions=(30,useless=30), ccks=123, nACremovedValues=15, nTotalRemovedValues=15, inconcistency=false
4.45/2.53 wck=0.015, cpu=2.484, mem=71M511
4.45/2.53
4.45/2.57 o 14
4.45/2.60 num=0, depth=706..704, filters=1034, revisions=(3418,useless=2773), ccks=2957, wck=0.086, mem=71M511
4.45/2.60 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=14
4.45/2.60 nFilterCalls=1350, avgTableProportion=0.79999999999998, avgTableSize=4.0
4.45/2.60
4.78/2.61 o 13
4.78/2.62 num=1, depth=0..704, filters=2132, revisions=(7060,useless=5695), ccks=4827, wck=0.114, mem=71M511
4.78/2.62 decisions=35, wrong=3, backtracks=0, failedAssignments=3, nogoods=2, foundSolutions=2, bestBound=13
4.78/2.62 nFilterCalls=2726, avgTableProportion=0.7999999999999808, avgTableSize=4.0
4.78/2.62
4.78/2.64 num=2, depth=0..20, filters=3499, revisions=(10609,useless=8339), ccks=6272, wck=0.126, mem=71M511
4.78/2.64 decisions=79, wrong=17, backtracks=4, failedAssignments=14, nogoods=5, foundSolutions=2, bestBound=13
4.78/2.64 nFilterCalls=3532, avgTableProportion=0.8000000000000268, avgTableSize=4.0
4.78/2.64
4.78/2.65 num=3, depth=2..24, filters=4752, revisions=(12734,useless=9411), ccks=8339, wck=0.137, mem=71M511
4.78/2.65 decisions=123, wrong=30, backtracks=6, failedAssignments=25, nogoods=11, foundSolutions=2, bestBound=13
4.78/2.65 nFilterCalls=4023, avgTableProportion=0.8000000000000457, avgTableSize=4.0
4.78/2.65
4.78/2.66 o 11
4.78/2.67 num=4, depth=3..704, filters=6009, revisions=(16736,useless=12509), ccks=10934, wck=0.16, mem=71M511
4.78/2.67 decisions=167, wrong=37, backtracks=6, failedAssignments=32, nogoods=18, foundSolutions=3, bestBound=11
4.78/2.67 nFilterCalls=5265, avgTableProportion=0.8000000000000778, avgTableSize=4.0
4.78/2.67
4.78/2.68 num=5, depth=3..32, filters=7111, revisions=(20052,useless=15006), ccks=12726, wck=0.172, mem=71M511
4.78/2.68 decisions=220, wrong=51, backtracks=7, failedAssignments=45, nogoods=29, foundSolutions=3, bestBound=11
4.78/2.68 nFilterCalls=6022, avgTableProportion=0.8000000000000909, avgTableSize=4.0
4.78/2.68
4.78/2.69 o 10
5.08/2.70 num=6, depth=3..704, filters=8314, revisions=(24234,useless=18326), ccks=15329, wck=0.195, mem=71M511
5.08/2.70 decisions=272, wrong=58, backtracks=7, failedAssignments=52, nogoods=36, foundSolutions=4, bestBound=10
5.08/2.70 nFilterCalls=7246, avgTableProportion=0.8000000000001062, avgTableSize=4.0
5.08/2.70
5.08/2.72 o 9
5.08/2.73 num=7, depth=11..704, filters=9419, revisions=(28312,useless=21639), ccks=17709, wck=0.219, mem=74M153
5.08/2.73 decisions=315, wrong=64, backtracks=7, failedAssignments=58, nogoods=42, foundSolutions=5, bestBound=9
5.08/2.73 nFilterCalls=8670, avgTableProportion=0.8000000000001186, avgTableSize=4.0
5.08/2.73
5.08/2.74 num=8, depth=3..31, filters=10018, revisions=(30052,useless=22921), ccks=18625, wck=0.227, mem=74M153
5.08/2.74 decisions=368, wrong=80, backtracks=13, failedAssignments=69, nogoods=51, foundSolutions=5, bestBound=9
5.08/2.74 nFilterCalls=9185, avgTableProportion=0.8000000000001222, avgTableSize=4.0
5.08/2.74
5.08/2.75 o 8
5.08/2.76 num=9, depth=5..704, filters=11183, revisions=(34062,useless=26129), ccks=20880, wck=0.248, mem=74M153
5.08/2.76 decisions=416, wrong=85, backtracks=13, failedAssignments=74, nogoods=56, foundSolutions=6, bestBound=8
5.08/2.76 nFilterCalls=10398, avgTableProportion=0.8000000000001153, avgTableSize=4.0
5.08/2.76
5.08/2.77 o 7
5.08/2.78 num=10, depth=31..704, filters=12115, revisions=(37528,useless=28956), ccks=22804, wck=0.27, mem=74M153
5.08/2.78 decisions=449, wrong=86, backtracks=13, failedAssignments=75, nogoods=57, foundSolutions=7, bestBound=7
5.08/2.78 nFilterCalls=11791, avgTableProportion=0.8000000000000157, avgTableSize=4.0
5.08/2.78
5.08/2.79 num=11, depth=3..20, filters=13487, revisions=(40342,useless=30634), ccks=24978, wck=0.281, mem=74M153
5.08/2.79 decisions=492, wrong=101, backtracks=17, failedAssignments=86, nogoods=62, foundSolutions=7, bestBound=7
5.08/2.79 nFilterCalls=12667, avgTableProportion=0.7999999999999643, avgTableSize=4.0
5.08/2.79
5.39/2.80 o 6
5.39/2.81 num=12, depth=4..704, filters=14508, revisions=(43814,useless=33378), ccks=27159, wck=0.301, mem=74M153
5.39/2.81 decisions=531, wrong=104, backtracks=17, failedAssignments=89, nogoods=65, foundSolutions=8, bestBound=6
5.39/2.81 nFilterCalls=13894, avgTableProportion=0.7999999999999031, avgTableSize=4.0
5.39/2.81
5.39/2.82 num=13, depth=20..23, filters=16089, revisions=(46985,useless=35421), ccks=28866, wck=0.313, mem=74M153
5.39/2.82 decisions=579, wrong=118, backtracks=20, failedAssignments=101, nogoods=74, foundSolutions=8, bestBound=6
5.39/2.82 nFilterCalls=14891, avgTableProportion=0.7999999999998609, avgTableSize=4.0
5.39/2.82
5.39/2.83 num=14, depth=9..22, filters=17879, revisions=(50466,useless=37594), ccks=31087, wck=0.324, mem=74M153
5.39/2.83 decisions=627, wrong=135, backtracks=27, failedAssignments=112, nogoods=77, foundSolutions=8, bestBound=6
5.39/2.83 nFilterCalls=15751, avgTableProportion=0.7999999999998288, avgTableSize=4.0
5.39/2.83
5.39/2.85 num=15, depth=12..31, filters=20437, revisions=(55589,useless=40929), ccks=34079, wck=0.339, mem=74M153
5.39/2.85 decisions=690, wrong=154, backtracks=35, failedAssignments=124, nogoods=83, foundSolutions=8, bestBound=6
5.39/2.85 nFilterCalls=17066, avgTableProportion=0.7999999999997859, avgTableSize=4.0
5.39/2.85
5.39/2.86 o 5
5.39/2.87 num=16, depth=18..704, filters=21533, revisions=(59217,useless=43781), ccks=36254, wck=0.36, mem=74M153
5.39/2.87 decisions=733, wrong=160, backtracks=35, failedAssignments=130, nogoods=89, foundSolutions=9, bestBound=5
5.39/2.87 nFilterCalls=18330, avgTableProportion=0.7999999999997505, avgTableSize=4.0
5.39/2.87
5.39/2.88 num=17, depth=16..24, filters=22762, revisions=(61996,useless=45666), ccks=37665, wck=0.372, mem=76M796
5.39/2.88 decisions=787, wrong=177, backtracks=39, failedAssignments=144, nogoods=95, foundSolutions=9, bestBound=5
5.39/2.88 nFilterCalls=19148, avgTableProportion=0.7999999999997301, avgTableSize=4.0
5.39/2.88
5.39/2.89 num=18, depth=8..27, filters=24311, revisions=(65553,useless=48091), ccks=39911, wck=0.382, mem=76M796
5.39/2.89 decisions=834, wrong=192, backtracks=43, failedAssignments=155, nogoods=103, foundSolutions=9, bestBound=5
5.39/2.89 nFilterCalls=20006, avgTableProportion=0.7999999999997105, avgTableSize=4.0
5.39/2.89
5.70/2.90 num=19, depth=19..25, filters=26120, revisions=(69159,useless=50353), ccks=42145, wck=0.394, mem=76M796
5.70/2.90 decisions=883, wrong=207, backtracks=50, failedAssignments=167, nogoods=110, foundSolutions=9, bestBound=5
5.70/2.90 nFilterCalls=20892, avgTableProportion=0.7999999999996918, avgTableSize=4.0
5.70/2.90
5.70/2.91 num=20, depth=9..18, filters=27132, revisions=(71704,useless=52133), ccks=43613, wck=0.401, mem=76M796
5.70/2.91 decisions=927, wrong=222, backtracks=52, failedAssignments=180, nogoods=113, foundSolutions=9, bestBound=5
5.70/2.91 nFilterCalls=21443, avgTableProportion=0.7999999999996811, avgTableSize=4.0
5.70/2.91
5.70/2.92 num=21, depth=11..16, filters=28628, revisions=(74630,useless=53951), ccks=45762, wck=0.411, mem=76M796
5.70/2.92 decisions=969, wrong=237, backtracks=56, failedAssignments=194, nogoods=121, foundSolutions=9, bestBound=5
5.70/2.92 nFilterCalls=22225, avgTableProportion=0.7999999999996668, avgTableSize=4.0
5.70/2.92
5.70/2.93 num=22, depth=13..24, filters=30024, revisions=(77768,useless=56056), ccks=47748, wck=0.42, mem=76M796
5.70/2.93 decisions=1021, wrong=255, backtracks=61, failedAssignments=210, nogoods=128, foundSolutions=9, bestBound=5
5.70/2.93 nFilterCalls=22970, avgTableProportion=0.799999999999654, avgTableSize=4.0
5.70/2.93
5.70/2.95 num=23, depth=10..17, filters=34243, revisions=(85245,useless=60585), ccks=53214, wck=0.441, mem=76M796
5.70/2.95 decisions=1078, wrong=276, backtracks=65, failedAssignments=227, nogoods=142, foundSolutions=9, bestBound=5
5.70/2.95 nFilterCalls=25205, avgTableProportion=0.7999999999996201, avgTableSize=4.0
5.70/2.95
5.70/2.97 num=24, depth=11..29, filters=37721, revisions=(91404,useless=64322), ccks=57542, wck=0.459, mem=76M796
5.70/2.97 decisions=1150, wrong=303, backtracks=76, failedAssignments=246, nogoods=149, foundSolutions=9, bestBound=5
5.70/2.97 nFilterCalls=27074, avgTableProportion=0.7999999999995961, avgTableSize=4.0
5.70/2.97
6.03/3.01 num=25, depth=17..20, filters=42888, revisions=(100471,useless=69789), ccks=63735, wck=0.493, mem=76M796
6.03/3.01 decisions=1218, wrong=328, backtracks=82, failedAssignments=267, nogoods=157, foundSolutions=9, bestBound=5
6.03/3.01 nFilterCalls=29615, avgTableProportion=0.7999999999995683, avgTableSize=4.0
6.03/3.01
6.03/3.03 num=26, depth=12..21, filters=46917, revisions=(107911,useless=74303), ccks=68539, wck=0.517, mem=76M796
6.03/3.03 decisions=1292, wrong=357, backtracks=91, failedAssignments=290, nogoods=169, foundSolutions=9, bestBound=5
6.03/3.03 nFilterCalls=31614, avgTableProportion=0.7999999999995496, avgTableSize=4.0
6.03/3.03
6.03/3.05 num=27, depth=9..16, filters=50387, revisions=(115297,useless=79010), ccks=73305, wck=0.54, mem=76M796
6.03/3.05 decisions=1367, wrong=388, backtracks=97, failedAssignments=315, nogoods=182, foundSolutions=9, bestBound=5
6.03/3.05 nFilterCalls=33239, avgTableProportion=0.7999999999995361, avgTableSize=4.0
6.03/3.05
6.03/3.07 num=28, depth=12..21, filters=54286, revisions=(122215,useless=83199), ccks=77887, wck=0.564, mem=76M796
6.03/3.07 decisions=1450, wrong=423, backtracks=106, failedAssignments=343, nogoods=185, foundSolutions=9, bestBound=5
6.03/3.07 nFilterCalls=35246, avgTableProportion=0.7999999999995211, avgTableSize=4.0
6.03/3.07
6.35/3.12 num=29, depth=9..20, filters=62600, revisions=(137349,useless=91843), ccks=90024, wck=0.613, mem=79M438
6.35/3.12 decisions=1551, wrong=467, backtracks=122, failedAssignments=374, nogoods=191, foundSolutions=9, bestBound=5
6.35/3.12 nFilterCalls=39896, avgTableProportion=0.7999999999994921, avgTableSize=4.0
6.35/3.12
6.35/3.14 num=30, depth=1..18, filters=65726, revisions=(143452,useless=95745), ccks=93714, wck=0.633, mem=79M438
6.35/3.14 decisions=1644, wrong=506, backtracks=127, failedAssignments=408, nogoods=205, foundSolutions=9, bestBound=5
6.35/3.14 nFilterCalls=41480, avgTableProportion=0.7999999999995292, avgTableSize=4.0
6.35/3.14
6.35/3.18 num=31, depth=2..14, filters=71724, revisions=(154481,useless=102720), ccks=101153, wck=0.669, mem=79M438
6.35/3.18 decisions=1746, wrong=552, backtracks=137, failedAssignments=445, nogoods=208, foundSolutions=9, bestBound=5
6.35/3.18 nFilterCalls=44589, avgTableProportion=0.799999999999765, avgTableSize=4.0
6.35/3.18
6.62/3.20 num=32, depth=4..20, filters=75907, revisions=(162900,useless=108147), ccks=106659, wck=0.693, mem=79M438
6.62/3.20 decisions=1854, wrong=598, backtracks=143, failedAssignments=486, nogoods=223, foundSolutions=9, bestBound=5
6.62/3.20 nFilterCalls=46735, avgTableProportion=0.7999999999999093, avgTableSize=4.0
6.62/3.20
6.62/3.24 num=33, depth=5..16, filters=83268, revisions=(176670,useless=116867), ccks=115311, wck=0.727, mem=79M438
6.62/3.24 decisions=1975, wrong=653, backtracks=156, failedAssignments=531, nogoods=232, foundSolutions=9, bestBound=5
6.62/3.24 nFilterCalls=50644, avgTableProportion=0.800000000000141, avgTableSize=4.0
6.62/3.24
6.62/3.27 num=34, depth=12..17, filters=91162, revisions=(191420,useless=126266), ccks=124218, wck=0.765, mem=79M438
6.62/3.27 decisions=2119, wrong=717, backtracks=173, failedAssignments=581, nogoods=246, foundSolutions=9, bestBound=5
6.62/3.27 nFilterCalls=54674, avgTableProportion=0.8000000000003451, avgTableSize=4.0
6.62/3.27
6.92/3.31 num=35, depth=12..18, filters=98248, revisions=(205346,useless=134822), ccks=133524, wck=0.8, mem=79M438
6.92/3.31 decisions=2274, wrong=787, backtracks=192, failedAssignments=636, nogoods=259, foundSolutions=9, bestBound=5
6.92/3.31 nFilterCalls=58084, avgTableProportion=0.8000000000004958, avgTableSize=4.0
6.92/3.31
6.92/3.35 num=36, depth=12..21, filters=108847, revisions=(223124,useless=145366), ccks=144374, wck=0.844, mem=79M438
6.92/3.35 decisions=2449, wrong=867, backtracks=219, failedAssignments=697, nogoods=264, foundSolutions=9, bestBound=5
6.92/3.35 nFilterCalls=63248, avgTableProportion=0.8000000000006929, avgTableSize=4.0
6.92/3.35
6.92/3.39 num=37, depth=6..12, filters=117954, revisions=(239414,useless=154971), ccks=155457, wck=0.881, mem=82M81
6.92/3.39 decisions=2625, wrong=951, backtracks=243, failedAssignments=764, nogoods=268, foundSolutions=9, bestBound=5
6.92/3.39 nFilterCalls=67762, avgTableProportion=0.8000000000008406, avgTableSize=4.0
6.92/3.39
7.22/3.44 num=38, depth=8..16, filters=132112, revisions=(263847,useless=169593), ccks=170429, wck=0.935, mem=82M81
7.22/3.44 decisions=2837, wrong=1051, backtracks=279, failedAssignments=838, nogoods=291, foundSolutions=9, bestBound=5
7.22/3.44 nFilterCalls=74950, avgTableProportion=0.8000000000010391, avgTableSize=4.0
7.22/3.44
7.52/3.50 num=39, depth=9..21, filters=145541, revisions=(286842,useless=183294), ccks=186093, wck=0.987, mem=82M81
7.52/3.50 decisions=3072, wrong=1162, backtracks=324, failedAssignments=919, nogoods=298, foundSolutions=9, bestBound=5
7.52/3.50 nFilterCalls=81970, avgTableProportion=0.8000000000011994, avgTableSize=4.0
7.52/3.50
7.52/3.56 num=40, depth=0..19, filters=161169, revisions=(316644,useless=202159), ccks=204243, wck=1.051, mem=82M81
7.52/3.56 decisions=3352, wrong=1296, backtracks=380, failedAssignments=1008, nogoods=312, foundSolutions=9, bestBound=5
7.52/3.56 nFilterCalls=89991, avgTableProportion=0.8000000000013519, avgTableSize=4.0
7.52/3.56
7.82/3.64 num=41, depth=9..15, filters=183913, revisions=(359586,useless=229026), ccks=235016, wck=1.135, mem=84M723
7.82/3.64 decisions=3674, wrong=1452, backtracks=449, failedAssignments=1106, nogoods=330, foundSolutions=9, bestBound=5
7.82/3.64 nFilterCalls=102328, avgTableProportion=0.8000000000015398, avgTableSize=4.0
7.82/3.64
8.12/3.70 num=42, depth=10..25, filters=200456, revisions=(388788,useless=247117), ccks=254639, wck=1.192, mem=84M723
8.12/3.70 decisions=3974, wrong=1595, backtracks=501, failedAssignments=1214, nogoods=341, foundSolutions=9, bestBound=5
8.12/3.70 nFilterCalls=110740, avgTableProportion=0.8000000000016438, avgTableSize=4.0
8.12/3.70
8.12/3.77 num=43, depth=12..27, filters=222640, revisions=(425239,useless=268445), ccks=279309, wck=1.257, mem=84M723
8.12/3.77 decisions=4295, wrong=1747, backtracks=552, failedAssignments=1333, nogoods=352, foundSolutions=9, bestBound=5
8.12/3.77 nFilterCalls=121619, avgTableProportion=0.8000000000017572, avgTableSize=4.0
8.12/3.77
8.42/3.83 num=44, depth=17..28, filters=244146, revisions=(462799,useless=291727), ccks=303034, wck=1.319, mem=84M723
8.42/3.83 decisions=4685, wrong=1932, backtracks=628, failedAssignments=1464, nogoods=356, foundSolutions=9, bestBound=5
8.42/3.83 nFilterCalls=132450, avgTableProportion=0.8000000000018515, avgTableSize=4.0
8.42/3.83
8.42/3.86 o 4
8.42/3.86 num=45, depth=9..704, filters=254565, revisions=(483681,useless=305781), ccks=315030, wck=1.354, mem=84M723
8.42/3.86 decisions=4974, wrong=2065, backtracks=653, failedAssignments=1575, nogoods=379, foundSolutions=10, bestBound=4
8.42/3.86 nFilterCalls=138112, avgTableProportion=0.8000000000018949, avgTableSize=4.0
8.42/3.86
8.42/3.89 num=46, depth=13..20, filters=264569, revisions=(505270,useless=320040), ccks=326182, wck=1.378, mem=84M723
8.42/3.89 decisions=5350, wrong=2246, backtracks=680, failedAssignments=1733, nogoods=388, foundSolutions=10, bestBound=4
8.42/3.89 nFilterCalls=143017, avgTableProportion=0.8000000000019297, avgTableSize=4.0
8.42/3.89
8.42/3.89 num=47, depth=1..20, filters=265276, revisions=(507272,useless=321488), ccks=327272, wck=1.38, mem=84M723
8.42/3.89 decisions=5390, wrong=2257, backtracks=680, failedAssignments=1744, nogoods=399, foundSolutions=10, bestBound=4
8.42/3.89 nFilterCalls=143397, avgTableProportion=0.8000000000019323, avgTableSize=4.0
8.42/3.89
8.42/3.89 num=48, depth=1..17, filters=266428, revisions=(510008,useless=323359), ccks=328821, wck=1.384, mem=84M723
8.42/3.89 decisions=5435, wrong=2274, backtracks=685, failedAssignments=1756, nogoods=405, foundSolutions=10, bestBound=4
8.42/3.89 nFilterCalls=143992, avgTableProportion=0.8000000000019364, avgTableSize=4.0
8.42/3.89
8.73/3.90 num=49, depth=1..18, filters=267414, revisions=(512450,useless=325046), ccks=330277, wck=1.387, mem=84M723
8.73/3.90 decisions=5477, wrong=2288, backtracks=688, failedAssignments=1769, nogoods=415, foundSolutions=10, bestBound=4
8.73/3.90 nFilterCalls=144486, avgTableProportion=0.8000000000019397, avgTableSize=4.0
8.73/3.90
8.73/3.90 num=50, depth=8..12, filters=268471, revisions=(515174,useless=326958), ccks=331889, wck=1.39, mem=84M723
8.73/3.90 decisions=5522, wrong=2306, backtracks=692, failedAssignments=1783, nogoods=420, foundSolutions=10, bestBound=4
8.73/3.90 nFilterCalls=145025, avgTableProportion=0.8000000000019433, avgTableSize=4.0
8.73/3.90
8.73/3.90 num=51, depth=1..12, filters=270064, revisions=(518177,useless=328758), ccks=333547, wck=1.394, mem=84M723
8.73/3.90 decisions=5566, wrong=2324, backtracks=695, failedAssignments=1799, nogoods=425, foundSolutions=10, bestBound=4
8.73/3.90 nFilterCalls=145851, avgTableProportion=0.8000000000019488, avgTableSize=4.0
8.73/3.90
8.73/3.91 num=52, depth=5..12, filters=271443, revisions=(521274,useless=330771), ccks=335340, wck=1.398, mem=87M365
8.73/3.91 decisions=5615, wrong=2346, backtracks=703, failedAssignments=1816, nogoods=435, foundSolutions=10, bestBound=4
8.73/3.91 nFilterCalls=146527, avgTableProportion=0.8000000000019533, avgTableSize=4.0
8.73/3.91
8.73/3.91 num=53, depth=2..15, filters=273584, revisions=(526261,useless=334182), ccks=338213, wck=1.403, mem=87M365
8.73/3.91 decisions=5691, wrong=2382, backtracks=724, failedAssignments=1835, nogoods=447, foundSolutions=10, bestBound=4
8.73/3.91 nFilterCalls=147623, avgTableProportion=0.8000000000019604, avgTableSize=4.0
8.73/3.91
8.73/3.92 num=54, depth=2..7, filters=275510, revisions=(530133,useless=336593), ccks=340802, wck=1.407, mem=87M365
8.73/3.92 decisions=5746, wrong=2408, backtracks=733, failedAssignments=1856, nogoods=449, foundSolutions=10, bestBound=4
8.73/3.92 nFilterCalls=148546, avgTableProportion=0.8000000000019662, avgTableSize=4.0
8.73/3.92
8.73/3.92 num=55, depth=6..23, filters=276722, revisions=(533208,useless=338756), ccks=342430, wck=1.411, mem=87M365
8.73/3.92 decisions=5818, wrong=2436, backtracks=739, failedAssignments=1879, nogoods=455, foundSolutions=10, bestBound=4
8.73/3.92 nFilterCalls=149104, avgTableProportion=0.8000000000019698, avgTableSize=4.0
8.73/3.92
8.73/3.93 num=56, depth=1..11, filters=278846, revisions=(537643,useless=341589), ccks=345136, wck=1.416, mem=87M365
8.73/3.93 decisions=5888, wrong=2470, backtracks=751, failedAssignments=1904, nogoods=463, foundSolutions=10, bestBound=4
8.73/3.93 nFilterCalls=150129, avgTableProportion=0.8000000000019761, avgTableSize=4.0
8.73/3.93
8.73/3.93 num=57, depth=7..21, filters=281359, revisions=(543277,useless=345446), ccks=348847, wck=1.423, mem=87M365
8.73/3.93 decisions=5972, wrong=2503, backtracks=756, failedAssignments=1932, nogoods=476, foundSolutions=10, bestBound=4
8.73/3.93 nFilterCalls=151555, avgTableProportion=0.800000000001985, avgTableSize=4.0
8.73/3.93
8.73/3.94 num=58, depth=1..17, filters=284482, revisions=(549384,useless=349280), ccks=352642, wck=1.43, mem=87M365
8.73/3.94 decisions=6071, wrong=2546, backtracks=769, failedAssignments=1963, nogoods=486, foundSolutions=10, bestBound=4
8.73/3.94 nFilterCalls=153067, avgTableProportion=0.8000000000019941, avgTableSize=4.0
8.73/3.94
8.73/3.95 num=59, depth=1..22, filters=287411, revisions=(555213,useless=353034), ccks=355966, wck=1.437, mem=87M365
8.73/3.95 decisions=6168, wrong=2587, backtracks=777, failedAssignments=1997, nogoods=494, foundSolutions=10, bestBound=4
8.73/3.95 nFilterCalls=154438, avgTableProportion=0.8000000000020022, avgTableSize=4.0
8.73/3.95
8.73/3.95 num=60, depth=3..15, filters=290486, revisions=(561767,useless=357241), ccks=360458, wck=1.444, mem=87M365
8.73/3.95 decisions=6281, wrong=2639, backtracks=793, failedAssignments=2034, nogoods=499, foundSolutions=10, bestBound=4
8.73/3.95 nFilterCalls=155979, avgTableProportion=0.8000000000020112, avgTableSize=4.0
8.73/3.95
8.73/3.96 num=61, depth=3..13, filters=294508, revisions=(570638,useless=363158), ccks=365535, wck=1.453, mem=87M365
8.73/3.96 decisions=6402, wrong=2695, backtracks=813, failedAssignments=2075, nogoods=508, foundSolutions=10, bestBound=4
8.73/3.96 nFilterCalls=157847, avgTableProportion=0.8000000000020219, avgTableSize=4.0
8.73/3.96
8.73/3.97 num=62, depth=5..12, filters=299766, revisions=(582350,useless=371088), ccks=371497, wck=1.465, mem=87M365
8.73/3.97 decisions=6546, wrong=2764, backtracks=848, failedAssignments=2120, nogoods=514, foundSolutions=10, bestBound=4
8.73/3.97 nFilterCalls=160429, avgTableProportion=0.8000000000020362, avgTableSize=4.0
8.73/3.97
8.73/3.98 num=63, depth=6..20, filters=304360, revisions=(591679,useless=377181), ccks=376901, wck=1.475, mem=87M365
8.73/3.98 decisions=6702, wrong=2833, backtracks=871, failedAssignments=2170, nogoods=531, foundSolutions=10, bestBound=4
8.73/3.98 nFilterCalls=162703, avgTableProportion=0.8000000000020484, avgTableSize=4.0
8.73/3.98
8.73/3.99 num=64, depth=7..14, filters=308928, revisions=(601868,useless=383976), ccks=382582, wck=1.485, mem=87M365
8.73/3.99 decisions=6847, wrong=2900, backtracks=888, failedAssignments=2225, nogoods=541, foundSolutions=10, bestBound=4
8.73/3.99 nFilterCalls=164781, avgTableProportion=0.8000000000019761, avgTableSize=4.0
8.73/3.99
9.06/4.01 num=65, depth=12..19, filters=319133, revisions=(623236,useless=398011), ccks=397127, wck=1.505, mem=87M365
9.06/4.01 decisions=7036, wrong=2988, backtracks=924, failedAssignments=2286, nogoods=552, foundSolutions=10, bestBound=4
9.06/4.01 nFilterCalls=170515, avgTableProportion=0.8000000000015182, avgTableSize=4.0
9.06/4.01
9.06/4.03 num=66, depth=5..27, filters=327815, revisions=(640162,useless=408886), ccks=407254, wck=1.522, mem=87M365
9.06/4.03 decisions=7247, wrong=3084, backtracks=957, failedAssignments=2353, nogoods=569, foundSolutions=10, bestBound=4
9.06/4.03 nFilterCalls=174799, avgTableProportion=0.8000000000011956, avgTableSize=4.0
9.06/4.03
9.06/4.05 num=67, depth=11..17, filters=339934, revisions=(664585,useless=424500), ccks=422707, wck=1.542, mem=87M365
9.06/4.05 decisions=7467, wrong=3187, backtracks=991, failedAssignments=2427, nogoods=587, foundSolutions=10, bestBound=4
9.06/4.05 nFilterCalls=180743, avgTableProportion=0.8000000000007735, avgTableSize=4.0
9.06/4.05
9.06/4.08 num=68, depth=4..18, filters=354618, revisions=(692190,useless=441438), ccks=441194, wck=1.567, mem=87M365
9.06/4.08 decisions=7734, wrong=3317, backtracks=1049, failedAssignments=2508, nogoods=594, foundSolutions=10, bestBound=4
9.06/4.08 nFilterCalls=188034, avgTableProportion=0.8000000000002921, avgTableSize=4.0
9.06/4.08
9.06/4.09 num=69, depth=4..15, filters=362586, revisions=(706716,useless=450281), ccks=450209, wck=1.58, mem=87M365
9.06/4.09 decisions=7964, wrong=3425, backtracks=1072, failedAssignments=2597, nogoods=604, foundSolutions=10, bestBound=4
9.06/4.09 nFilterCalls=191661, avgTableProportion=0.8000000000000663, avgTableSize=4.0
9.06/4.09
9.21/4.11 num=70, depth=5..14, filters=374283, revisions=(728666,useless=463896), ccks=463902, wck=1.6, mem=90M8
9.21/4.11 decisions=8218, wrong=3548, backtracks=1101, failedAssignments=2695, nogoods=618, foundSolutions=10, bestBound=4
9.21/4.11 nFilterCalls=197328, avgTableProportion=0.79999999999973, avgTableSize=4.0
9.21/4.11
9.21/4.13 num=71, depth=7..24, filters=388004, revisions=(755452,useless=480955), ccks=480025, wck=1.623, mem=90M8
9.21/4.13 decisions=8536, wrong=3699, backtracks=1149, failedAssignments=2803, nogoods=636, foundSolutions=10, bestBound=4
9.21/4.13 nFilterCalls=204199, avgTableProportion=0.7999999999993475, avgTableSize=4.0
9.21/4.13
9.21/4.16 num=72, depth=15..23, filters=402572, revisions=(782530,useless=497892), ccks=496048, wck=1.646, mem=90M8
9.21/4.16 decisions=8849, wrong=3847, backtracks=1183, failedAssignments=2922, nogoods=645, foundSolutions=10, bestBound=4
9.21/4.16 nFilterCalls=210976, avgTableProportion=0.7999999999989944, avgTableSize=4.0
9.21/4.16
9.21/4.18 num=73, depth=14..22, filters=420809, revisions=(815517,useless=517843), ccks=516529, wck=1.675, mem=90M8
9.21/4.18 decisions=9204, wrong=4015, backtracks=1229, failedAssignments=3053, nogoods=666, foundSolutions=10, bestBound=4
9.21/4.18 nFilterCalls=219639, avgTableProportion=0.799999999998575, avgTableSize=4.0
9.21/4.18
9.36/4.21 num=74, depth=10..26, filters=439541, revisions=(850644,useless=539984), ccks=538071, wck=1.704, mem=90M8
9.36/4.21 decisions=9595, wrong=4201, backtracks=1278, failedAssignments=3197, nogoods=681, foundSolutions=10, bestBound=4
9.36/4.21 nFilterCalls=228753, avgTableProportion=0.7999999999981678, avgTableSize=4.0
9.36/4.21
9.36/4.24 num=75, depth=11..24, filters=456747, revisions=(883287,useless=560456), ccks=559239, wck=1.735, mem=90M8
9.36/4.24 decisions=10016, wrong=4403, backtracks=1327, failedAssignments=3355, nogoods=692, foundSolutions=10, bestBound=4
9.36/4.24 nFilterCalls=237224, avgTableProportion=0.7999999999978176, avgTableSize=4.0
9.36/4.24
9.36/4.28 num=76, depth=12..21, filters=478394, revisions=(922151,useless=584730), ccks=581799, wck=1.767, mem=90M8
9.36/4.28 decisions=10483, wrong=4629, backtracks=1389, failedAssignments=3529, nogoods=700, foundSolutions=10, bestBound=4
9.36/4.28 nFilterCalls=246928, avgTableProportion=0.7999999999974459, avgTableSize=4.0
9.36/4.28
9.49/4.31 num=77, depth=13..26, filters=501287, revisions=(965765,useless=611776), ccks=608253, wck=1.804, mem=90M8
9.49/4.31 decisions=10958, wrong=4860, backtracks=1438, failedAssignments=3720, nogoods=701, foundSolutions=10, bestBound=4
9.49/4.31 nFilterCalls=258364, avgTableProportion=0.7999999999970436, avgTableSize=4.0
9.49/4.31
9.49/4.35 num=78, depth=7..30, filters=525471, revisions=(1012923,useless=642343), ccks=636060, wck=1.842, mem=90M8
9.49/4.35 decisions=11559, wrong=5147, backtracks=1529, failedAssignments=3931, nogoods=720, foundSolutions=10, bestBound=4
9.49/4.35 nFilterCalls=270129, avgTableProportion=0.7999999999966654, avgTableSize=4.0
9.49/4.35
9.49/4.39 num=79, depth=6..16, filters=548256, revisions=(1059677,useless=673428), ccks=666219, wck=1.88, mem=90M8
9.49/4.39 decisions=12153, wrong=5440, backtracks=1598, failedAssignments=4163, nogoods=738, foundSolutions=10, bestBound=4
9.49/4.39 nFilterCalls=282410, avgTableProportion=0.7999999999963041, avgTableSize=4.0
9.49/4.39
9.60/4.43 num=80, depth=15..23, filters=575447, revisions=(1112550,useless=707578), ccks=698625, wck=1.923, mem=90M8
9.60/4.43 decisions=12802, wrong=5755, backtracks=1680, failedAssignments=4418, nogoods=757, foundSolutions=10, bestBound=4
9.60/4.43 nFilterCalls=295999, avgTableProportion=0.7999999999959394, avgTableSize=4.0
9.60/4.43
9.60/4.48 num=81, depth=18..30, filters=608532, revisions=(1174257,useless=747654), ccks=734014, wck=1.974, mem=90M8
9.60/4.48 decisions=13566, wrong=6126, backtracks=1801, failedAssignments=4699, nogoods=767, foundSolutions=10, bestBound=4
9.60/4.48 nFilterCalls=312493, avgTableProportion=0.7999999999955392, avgTableSize=4.0
9.60/4.48
9.71/4.54 num=82, depth=10..19, filters=647212, revisions=(1247347,useless=793988), ccks=781092, wck=2.034, mem=90M8
9.71/4.54 decisions=14346, wrong=6509, backtracks=1891, failedAssignments=5008, nogoods=782, foundSolutions=10, bestBound=4
9.71/4.54 nFilterCalls=333030, avgTableProportion=0.7999999999950965, avgTableSize=4.0
9.71/4.54
9.81/4.61 num=83, depth=16..27, filters=688155, revisions=(1325995,useless=845677), ccks=833028, wck=2.097, mem=90M8
9.81/4.61 decisions=15221, wrong=6937, backtracks=2000, failedAssignments=5348, nogoods=802, foundSolutions=10, bestBound=4
9.81/4.61 nFilterCalls=354953, avgTableProportion=0.7999999999946803, avgTableSize=4.0
9.81/4.61
9.81/4.67 num=84, depth=15..23, filters=732135, revisions=(1405999,useless=895968), ccks=882432, wck=2.165, mem=90M8
9.81/4.67 decisions=16181, wrong=7409, backtracks=2129, failedAssignments=5722, nogoods=814, foundSolutions=10, bestBound=4
9.81/4.67 nFilterCalls=376384, avgTableProportion=0.7999999999943204, avgTableSize=4.0
9.81/4.67
9.92/4.73 num=85, depth=7..18, filters=767561, revisions=(1481690,useless=946038), ccks=925816, wck=2.224, mem=90M8
9.92/4.73 decisions=17246, wrong=7937, backtracks=2274, failedAssignments=6133, nogoods=832, foundSolutions=10, bestBound=4
9.92/4.73 nFilterCalls=393995, avgTableProportion=0.7999999999940539, avgTableSize=4.0
9.92/4.73
10.02/4.82 num=86, depth=19..32, filters=829675, revisions=(1588775,useless=1013751), ccks=988299, wck=2.314, mem=90M8
10.02/4.82 decisions=18468, wrong=8536, backtracks=2466, failedAssignments=6585, nogoods=842, foundSolutions=10, bestBound=4
10.02/4.82 nFilterCalls=425358, avgTableProportion=0.7999999999936339, avgTableSize=4.0
10.02/4.82
10.14/4.90 num=87, depth=2..13, filters=878250, revisions=(1698420,useless=1086705), ccks=1052085, wck=2.395, mem=90M8
10.14/4.90 decisions=19757, wrong=9179, backtracks=2641, failedAssignments=7082, nogoods=856, foundSolutions=10, bestBound=4
10.14/4.90 nFilterCalls=452505, avgTableProportion=0.7999999999933175, avgTableSize=4.0
10.14/4.90
10.14/5.01 num=88, depth=4..36, filters=942306, revisions=(1821366,useless=1163661), ccks=1133470, wck=2.496, mem=90M8
10.14/5.01 decisions=21196, wrong=9896, backtracks=2849, failedAssignments=7629, nogoods=862, foundSolutions=10, bestBound=4
10.14/5.01 nFilterCalls=486004, avgTableProportion=0.7999999999929757, avgTableSize=4.0
10.14/5.01
10.35/5.11 num=89, depth=25..34, filters=1007585, revisions=(1955355,useless=1250355), ccks=1213978, wck=2.601, mem=90M8
10.35/5.11 decisions=22773, wrong=10671, backtracks=3063, failedAssignments=8231, nogoods=886, foundSolutions=10, bestBound=4
10.35/5.11 nFilterCalls=517224, avgTableProportion=0.799999999992697, avgTableSize=4.0
10.35/5.11
10.46/5.23 num=90, depth=16..30, filters=1082643, revisions=(2095837,useless=1338817), ccks=1299597, wck=2.718, mem=90M8
10.46/5.23 decisions=24488, wrong=11519, backtracks=3307, failedAssignments=8893, nogoods=906, foundSolutions=10, bestBound=4
10.46/5.23 nFilterCalls=555299, avgTableProportion=0.7999999999923995, avgTableSize=4.0
10.46/5.23
10.59/5.35 num=91, depth=8..19, filters=1162331, revisions=(2247227,useless=1434505), ccks=1388122, wck=2.84, mem=92M651
10.59/5.35 decisions=26301, wrong=12418, backtracks=3525, failedAssignments=9621, nogoods=937, foundSolutions=10, bestBound=4
10.59/5.35 nFilterCalls=595183, avgTableProportion=0.7999999999921287, avgTableSize=4.0
10.59/5.35
10.79/5.50 num=92, depth=7..22, filters=1259732, revisions=(2431235,useless=1550066), ccks=1495466, wck=2.988, mem=92M651
10.79/5.50 decisions=28301, wrong=13414, backtracks=3779, failedAssignments=10422, nogoods=959, foundSolutions=10, bestBound=4
10.79/5.50 nFilterCalls=643135, avgTableProportion=0.7999999999918476, avgTableSize=4.0
10.79/5.50
10.89/5.65 num=93, depth=2..17, filters=1354975, revisions=(2623918,useless=1674262), ccks=1607483, wck=3.137, mem=92M651
10.89/5.65 decisions=30712, wrong=14618, backtracks=4206, failedAssignments=11303, nogoods=968, foundSolutions=10, bestBound=4
10.89/5.65 nFilterCalls=687824, avgTableProportion=0.7999999999943681, avgTableSize=4.0
10.89/5.65
11.09/5.85 num=94, depth=1..20, filters=1491899, revisions=(2871277,useless=1826761), ccks=1760196, wck=3.339, mem=92M651
11.09/5.85 decisions=33213, wrong=15865, backtracks=4589, failedAssignments=12273, nogoods=997, foundSolutions=10, bestBound=4
11.09/5.85 nFilterCalls=755825, avgTableProportion=0.7999999999990643, avgTableSize=4.0
11.09/5.85
11.30/6.06 num=95, depth=5..27, filters=1633451, revisions=(3131855,useless=1988305), ccks=1919686, wck=3.55, mem=92M651
11.30/6.06 decisions=36028, wrong=17268, backtracks=5005, failedAssignments=13340, nogoods=1011, foundSolutions=10, bestBound=4
11.30/6.06 nFilterCalls=824432, avgTableProportion=0.8000000000030173, avgTableSize=4.0
11.30/6.06
11.59/6.31 num=96, depth=14..23, filters=1804231, revisions=(3420642,useless=2163170), ccks=2090850, wck=3.8, mem=92M651
11.59/6.31 decisions=39068, wrong=18780, backtracks=5424, failedAssignments=14513, nogoods=1036, foundSolutions=10, bestBound=4
11.59/6.31 nFilterCalls=911887, avgTableProportion=0.8000000000071938, avgTableSize=4.0
11.59/6.31
11.79/6.54 num=97, depth=0..21, filters=1951775, revisions=(3712474,useless=2351641), ccks=2276527, wck=4.033, mem=92M651
11.79/6.54 decisions=42383, wrong=20434, backtracks=5917, failedAssignments=15804, nogoods=1064, foundSolutions=10, bestBound=4
11.79/6.54 nFilterCalls=989387, avgTableProportion=0.8000000000102779, avgTableSize=4.0
11.79/6.54
12.09/6.81 num=98, depth=7..25, filters=2137927, revisions=(4043260,useless=2555181), ccks=2469989, wck=4.305, mem=92M651
12.09/6.81 decisions=46060, wrong=22267, backtracks=6469, failedAssignments=17224, nogoods=1081, foundSolutions=10, bestBound=4
12.09/6.81 nFilterCalls=1081728, avgTableProportion=0.8000000000133757, avgTableSize=4.0
12.09/6.81
12.31/7.11 num=99, depth=0..19, filters=2329491, revisions=(4414846,useless=2792812), ccks=2689733, wck=4.596, mem=92M651
12.31/7.11 decisions=50220, wrong=24342, backtracks=7097, failedAssignments=18786, nogoods=1104, foundSolutions=10, bestBound=4
12.31/7.11 nFilterCalls=1174651, avgTableProportion=0.8000000000160012, avgTableSize=4.0
12.31/7.11
12.71/7.49 num=100, depth=11..28, filters=2594861, revisions=(4900478,useless=3101994), ccks=2970023, wck=4.979, mem=92M651
12.71/7.49 decisions=55015, wrong=26733, backtracks=8020, failedAssignments=20504, nogoods=1117, foundSolutions=10, bestBound=4
12.71/7.49 nFilterCalls=1309687, avgTableProportion=0.8000000000191526, avgTableSize=4.0
12.71/7.49
13.11/7.83 num=101, depth=0..20, filters=2817143, revisions=(5330914,useless=3370387), ccks=3234493, wck=5.32, mem=92M651
13.11/7.83 decisions=59951, wrong=29199, backtracks=8813, failedAssignments=22394, nogoods=1125, foundSolutions=10, bestBound=4
13.11/7.83 nFilterCalls=1416044, avgTableProportion=0.8000000000212115, avgTableSize=4.0
13.11/7.83
13.52/8.21 num=102, depth=0..26, filters=3068097, revisions=(5816323,useless=3677558), ccks=3531067, wck=5.703, mem=95M294
13.52/8.21 decisions=65474, wrong=31954, backtracks=9696, failedAssignments=24473, nogoods=1138, foundSolutions=10, bestBound=4
13.52/8.21 nFilterCalls=1536907, avgTableProportion=0.8000000000232055, avgTableSize=4.0
13.52/8.21
13.82/8.58 num=103, depth=0..19, filters=3315061, revisions=(6273170,useless=3958903), ccks=3802891, wck=6.071, mem=95M294
13.82/8.58 decisions=71190, wrong=34809, backtracks=10437, failedAssignments=26760, nogoods=1158, foundSolutions=10, bestBound=4
13.82/8.58 nFilterCalls=1648927, avgTableProportion=0.8000000000247924, avgTableSize=4.0
13.82/8.58
14.36/9.05 num=104, depth=3..26, filters=3632254, revisions=(6867861,useless=4331589), ccks=4160202, wck=6.542, mem=95M294
14.36/9.05 decisions=77967, wrong=38192, backtracks=11585, failedAssignments=29276, nogoods=1175, foundSolutions=10, bestBound=4
14.36/9.05 nFilterCalls=1798009, avgTableProportion=0.8000000000265979, avgTableSize=4.0
14.36/9.05
14.85/9.59 num=105, depth=4..21, filters=3996192, revisions=(7559128,useless=4774818), ccks=4570073, wck=7.082, mem=95M294
14.85/9.59 decisions=85428, wrong=41919, backtracks=12859, failedAssignments=32044, nogoods=1203, foundSolutions=10, bestBound=4
14.85/9.59 nFilterCalls=1978723, avgTableProportion=0.8000000000284215, avgTableSize=4.0
14.85/9.59
15.85/10.50 num=106, depth=18..32, filters=4640882, revisions=(8673823,useless=5468260), ccks=5238926, wck=7.991, mem=95M294
15.85/10.50 decisions=94128, wrong=46258, backtracks=14672, failedAssignments=35088, nogoods=1224, foundSolutions=10, bestBound=4
15.85/10.50 nFilterCalls=2313604, avgTableProportion=0.8000000000310479, avgTableSize=4.0
15.85/10.50
16.46/11.17 num=107, depth=0..16, filters=5088748, revisions=(9524551,useless=6010954), ccks=5759499, wck=8.66, mem=95M294
16.46/11.17 decisions=103206, wrong=50794, backtracks=16370, failedAssignments=38437, nogoods=1245, foundSolutions=10, bestBound=4
16.46/11.17 nFilterCalls=2541150, avgTableProportion=0.8000000000324374, avgTableSize=4.0
16.46/11.17
17.15/11.84 num=108, depth=3..23, filters=5527471, revisions=(10421211,useless=6603963), ccks=6278864, wck=9.329, mem=95M294
17.15/11.84 decisions=112968, wrong=55670, backtracks=17848, failedAssignments=42121, nogoods=1268, foundSolutions=10, bestBound=4
17.15/11.84 nFilterCalls=2760919, avgTableProportion=0.8000000000217996, avgTableSize=4.0
17.15/11.84
18.05/12.79 num=109, depth=4..19, filters=6189457, revisions=(11645103,useless=7386790), ccks=6971142, wck=10.28, mem=95M294
18.05/12.79 decisions=124655, wrong=61508, backtracks=20100, failedAssignments=46173, nogoods=1289, foundSolutions=10, bestBound=4
18.05/12.79 nFilterCalls=3093053, avgTableProportion=0.7999999999994576, avgTableSize=4.0
18.05/12.79
19.26/13.93 num=110, depth=13..24, filters=6990823, revisions=(13115942,useless=8316490), ccks=7817414, wck=11.419, mem=95M294
19.26/13.93 decisions=136861, wrong=67603, backtracks=22318, failedAssignments=50630, nogoods=1306, foundSolutions=10, bestBound=4
19.26/13.93 nFilterCalls=3501891, avgTableProportion=0.7999999999777749, avgTableSize=4.0
19.26/13.93
20.18/14.82 num=111, depth=0..19, filters=7578131, revisions=(14232280,useless=9026840), ccks=8489497, wck=12.307, mem=95M294
20.18/14.82 decisions=149720, wrong=74030, backtracks=24428, failedAssignments=55533, nogoods=1321, foundSolutions=10, bestBound=4
20.18/14.82 nFilterCalls=3798997, avgTableProportion=0.799999999964946, avgTableSize=4.0
20.18/14.82
21.18/15.84 num=112, depth=3..25, filters=8248700, revisions=(15589933,useless=9935517), ccks=9256055, wck=13.335, mem=97M936
21.18/15.84 decisions=164528, wrong=81429, backtracks=26979, failedAssignments=60927, nogoods=1348, foundSolutions=10, bestBound=4
21.18/15.84 nFilterCalls=4142068, avgTableProportion=0.7999999999524218, avgTableSize=4.0
21.18/15.84
22.58/17.25 num=113, depth=6..30, filters=9214066, revisions=(17374224,useless=11073074), ccks=10290296, wck=14.746, mem=97M936
22.58/17.25 decisions=181476, wrong=89898, backtracks=30248, failedAssignments=66860, nogoods=1370, foundSolutions=10, bestBound=4
22.58/17.25 nFilterCalls=4630669, avgTableProportion=0.7999999999377885, avgTableSize=4.0
22.58/17.25
23.98/18.61 num=114, depth=0..17, filters=10096609, revisions=(19135306,useless=12221629), ccks=11305108, wck=16.097, mem=97M936
23.98/18.61 decisions=199547, wrong=98930, backtracks=33771, failedAssignments=73386, nogoods=1383, foundSolutions=10, bestBound=4
23.98/18.61 nFilterCalls=5081229, avgTableProportion=0.7999999999267885, avgTableSize=4.0
23.98/18.61
25.28/19.97 num=115, depth=3..25, filters=10992370, revisions=(20911148,useless=13382721), ccks=12351576, wck=17.464, mem=97M936
25.28/19.97 decisions=218882, wrong=108594, backtracks=37325, failedAssignments=80565, nogoods=1405, foundSolutions=10, bestBound=4
25.28/19.97 nFilterCalls=5537014, avgTableProportion=0.7999999999174824, avgTableSize=4.0
25.28/19.97
26.88/21.56 num=116, depth=0..20, filters=12049824, revisions=(22902614,useless=14652406), ccks=13547429, wck=19.049, mem=97M936
26.88/21.56 decisions=240631, wrong=119467, backtracks=41540, failedAssignments=88462, nogoods=1421, foundSolutions=10, bestBound=4
26.88/21.56 nFilterCalls=6074126, avgTableProportion=0.7999999999083085, avgTableSize=4.0
26.88/21.56
28.78/23.41 num=117, depth=0..21, filters=13308168, revisions=(25199366,useless=16097059), ccks=14920125, wck=20.899, mem=97M936
28.78/23.41 decisions=264385, wrong=131342, backtracks=46454, failedAssignments=97149, nogoods=1434, foundSolutions=10, bestBound=4
28.78/23.41 nFilterCalls=6716040, avgTableProportion=0.7999999998992693, avgTableSize=4.0
28.78/23.41
30.78/25.44 num=118, depth=1..20, filters=14682806, revisions=(27772319,useless=17750877), ccks=16481243, wck=22.931, mem=97M936
30.78/25.44 decisions=291598, wrong=144947, backtracks=52304, failedAssignments=106704, nogoods=1457, foundSolutions=10, bestBound=4
30.78/25.44 nFilterCalls=7419060, avgTableProportion=0.7999999998911642, avgTableSize=4.0
30.78/25.44
33.08/27.78 num=119, depth=0..19, filters=16247840, revisions=(30749463,useless=19654726), ccks=18235718, wck=25.273, mem=97M936
33.08/27.78 decisions=321300, wrong=159796, backtracks=58287, failedAssignments=117215, nogoods=1481, foundSolutions=10, bestBound=4
33.08/27.78 nFilterCalls=8215027, avgTableProportion=0.799999999883662, avgTableSize=4.0
33.08/27.78
35.78/30.43 num=120, depth=0..19, filters=18013241, revisions=(34185695,useless=21892899), ccks=20192421, wck=27.918, mem=100M579
35.78/30.43 decisions=354661, wrong=176474, backtracks=65014, failedAssignments=128777, nogoods=1502, foundSolutions=10, bestBound=4
35.78/30.43 nFilterCalls=9114051, avgTableProportion=0.7999999998767643, avgTableSize=4.0
35.78/30.43
38.68/33.32 num=121, depth=0..23, filters=19958214, revisions=(37854555,useless=24249586), ccks=22317706, wck=30.815, mem=100M579
38.68/33.32 decisions=391069, wrong=194675, backtracks=72537, failedAssignments=141495, nogoods=1521, foundSolutions=10, bestBound=4
38.68/33.32 nFilterCalls=10105550, avgTableProportion=0.7999999998705803, avgTableSize=4.0
38.68/33.32
41.70/36.39 num=122, depth=0..21, filters=21969843, revisions=(41825253,useless=26835705), ccks=24641213, wck=33.884, mem=100M579
41.70/36.39 decisions=431031, wrong=214654, backtracks=80913, failedAssignments=155485, nogoods=1527, foundSolutions=10, bestBound=4
41.70/36.39 nFilterCalls=11135719, avgTableProportion=0.7999999999196801, avgTableSize=4.0
41.70/36.39
41.90/36.50
41.90/36.50 New Bounds: 4..3
41.90/36.50 num=123, depth=0..16, filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203, wck=33.991, mem=100M579
41.90/36.50 decisions=432429, wrong=215354, backtracks=81234, failedAssignments=155947, foundSolutions=10, bestBound=4
41.90/36.50 nFilterCalls=11170368, avgTableProportion=0.7999999999222402, avgTableSize=4.0
41.90/36.50
41.90/36.50 Global
41.90/36.50 filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203
41.90/36.50 Stop=FULL_EXPLORATION, wrong=215354, bestBound=4, bestBoundWck=2.008, bestBoundCpu=3.807, foundSolutions=10, firstSolCpu=2.528
41.90/36.50 wck=34.653, cpu=36.45, mem=100M579
41.90/36.50
41.90/36.50 v <instantiation id='sol10' type='solution' cost='4'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 7 13 8 5 12 11 4 9 3 14 6 1 0 2 10 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 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 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 1 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 1 1 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 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 </values> </instantiation>
41.90/36.50 s OPTIMUM FOUND
41.90/36.50
41.90/36.50 d WRONG_DECISIONS 215354
41.90/36.50 d NUMBER_SOLUTIONS 10
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 (14596 MiB free)
memory of node 1: 16384 MiB (15742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390835-1568386559/watcher-4390835-1568386559 -o /tmp/evaluation-result-4390835-1568386559/solver-4390835-1568386559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390835-1568386559.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
Current StackSize limit: 8192 KiB
solver pid=21761, runsolver pid=21758
[startup+0.100059 s]*
/proc/loadavg: 2.68 2.07 1.90 5/230 21776
/proc/meminfo: memFree=31050060/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10659884 memory=29656 CPUtime=0.14 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 5906 0 0 0 13 1 0 0 20 0 15 0 414909003 10915721216 7414 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2664971 7414 2904 1 0 2627468 0
[pid=21761/tid=21763] ppid=21758 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) R 21758 21761 20165 0 -1 4202560 3328 0 0 0 8 1 0 0 20 0 15 0 414909003 10915721216 7414 33554432000 4194304 4196468 140721753018368 140425229894472 140425211347240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 7414 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10659884 memory=3978007502044960416 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 7414 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 7414 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909005 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414909006 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424783692960 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414909006 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424782639856 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) S 21758 21761 20165 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) S 21758 21761 20165 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424779484016 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0.02 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) R 21758 21761 20165 0 -1 4202560 570 0 0 0 2 0 0 0 20 0 15 0 414909009 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424778426840 140425218763131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 7414 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29656 KiB
[startup+0.210722 s]*
/proc/loadavg: 2.68 2.07 1.90 3/230 21776
/proc/meminfo: memFree=31043548/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10659884 memory=34808 CPUtime=0.33 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 6815 0 0 0 31 2 0 0 20 0 15 0 414909003 10915721216 8702 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2664971 8702 2990 1 0 2627468 0
[pid=21761/tid=21763] ppid=21758 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) R 21758 21761 20165 0 -1 4202560 3897 0 0 0 19 1 0 0 20 0 15 0 414909003 10915721216 8702 33554432000 4194304 4196468 140721753018368 140425229892656 140425225688221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 8702 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10659884 memory=140213374973207 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 8702 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 8702 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909005 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414909006 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424783692960 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414909006 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424782639856 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) S 21758 21761 20165 0 -1 1077944384 657 0 0 0 3 0 0 0 20 0 15 0 414909009 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) S 21758 21761 20165 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 414909009 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424779484016 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0.05 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) S 21758 21761 20165 0 -1 1077944384 612 0 0 0 5 0 0 0 20 0 15 0 414909009 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424778430960 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 8702 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34808 KiB
[startup+0.310616 s]*
/proc/loadavg: 2.68 2.07 1.90 3/230 21776
/proc/meminfo: memFree=31035364/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10659884 memory=40000 CPUtime=0.48 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 9389 0 0 0 45 3 0 0 20 0 15 0 414909003 10915721216 10000 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2664971 10000 3002 1 0 2627468 0
[pid=21761/tid=21763] ppid=21758 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) R 21758 21761 20165 0 -1 4202560 6380 0 0 0 28 2 0 0 20 0 15 0 414909003 10915721216 10000 33554432000 4194304 4196468 140721753018368 140425229905280 140425225688221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 10000 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10659884 memory=140213374973020 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 10000 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 10000 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909004 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909005 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414909006 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424783692960 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414909006 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424782639856 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) R 21758 21761 20165 0 -1 1077944384 712 0 0 0 5 0 0 0 20 0 15 0 414909009 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) R 21758 21761 20165 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 414909009 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424779484016 140425209077301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0.08 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) S 21758 21761 20165 0 -1 1077944384 641 0 0 0 8 0 0 0 20 0 15 0 414909009 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424778430960 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10659884 memory=140213371704960 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909009 10915721216 10000 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40000 KiB
[startup+0.700804 s]
/proc/loadavg: 2.68 2.07 1.90 3/230 21776
/proc/meminfo: memFree=31027204/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10661932 memory=63916 CPUtime=1.11 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 13115 0 0 0 106 5 0 0 20 0 15 0 414909003 10917818368 15979 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2665483 15979 3062 1 0 2627980 0
[pid=21761/tid=21763] ppid=21758 vsize=10661932 memory=39424 CPUtime=0.68 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) R 21758 21761 20165 0 -1 4202560 9219 0 0 0 64 4 0 0 20 0 15 0 414909003 10917818368 15979 33554432000 4194304 4196468 140721753018368 140425229883184 140425208853121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10917818368 15979 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10917818368 15979 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10917818368 15979 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909004 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909005 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10661932 memory=14 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414909006 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424783692960 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10661932 memory=24 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414909006 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424782639856 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) S 21758 21761 20165 0 -1 1077944384 1020 0 0 0 12 0 0 0 20 0 15 0 414909009 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10661932 memory=1390 CPUtime=0.1 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) R 21758 21761 20165 0 -1 4202560 615 0 0 0 10 0 0 0 20 0 15 0 414909009 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424779484016 140425209152291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10661932 memory=94484 CPUtime=0.18 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) S 21758 21761 20165 0 -1 1077944384 902 0 0 0 18 0 0 0 20 0 15 0 414909009 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424778430960 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414909009 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909009 10917818368 15979 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63916 KiB
[startup+1.50078 s]
/proc/loadavg: 2.68 2.07 1.90 3/230 21777
/proc/meminfo: memFree=31009584/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10663980 memory=76236 CPUtime=2.02 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 18746 0 0 0 196 6 0 0 20 0 15 0 414909003 10919915520 19059 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2665995 19059 3097 1 0 2628492 0
[pid=21761/tid=21763] ppid=21758 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) R 21758 21761 20165 0 -1 4202560 13470 0 0 0 143 5 0 0 20 0 15 0 414909003 10919915520 19059 33554432000 4194304 4196468 140721753018368 140425229898320 140425209746782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10663980 memory=39424 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10919915520 19059 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10919915520 19059 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414909004 10919915520 19059 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414909004 10919915520 19059 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 414909005 10919915520 19059 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
################
# More data... #
################
[startup+35.2006 s]
/proc/loadavg: 2.38 2.06 1.90 3/229 21778
/proc/meminfo: memFree=30870644/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10748324 memory=222608 CPUtime=40.6 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 50266 0 0 0 4042 18 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2687081 55652 3354 1 0 2647217 0
[pid=21761/tid=21763] ppid=21758 vsize=10748324 memory=-7029379521808015264 CPUtime=1.86 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) S 21758 21761 20165 0 -1 1077944384 15709 0 0 0 180 6 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425229909168 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10748324 memory=676 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10748324 memory=1548 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 16 0 414909005 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10748324 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424783693024 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10748324 memory=222608 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424782639872 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10748324 memory=220516 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10748324 memory=500 CPUtime=2.19 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) S 21758 21761 20165 0 -1 1077944384 10541 0 0 0 217 2 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10748324 memory=1560 CPUtime=2.27 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) S 21758 21761 20165 0 -1 1077944384 8667 0 0 0 226 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424779484016 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10748324 memory=932 CPUtime=0.88 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) S 21758 21761 20165 0 -1 1077944384 5148 0 0 0 87 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424778430960 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10748324 memory=8560 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 275 0 0 0 0 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21778] ppid=21758 vsize=10748324 memory=1668 CPUtime=33.26 cores=1,3,5,7
/proc/21761/task/21778/stat : 21778 (java) R 21758 21761 20165 0 -1 4202560 7033 0 0 0 3323 3 0 0 20 0 16 0 414909191 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424235664064 140424853699045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 40.6 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222608 KiB
[startup+36.0006 s]*
/proc/loadavg: 2.38 2.06 1.90 3/229 21778
/proc/meminfo: memFree=30870644/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10748324 memory=222608 CPUtime=41.41 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 50266 0 0 0 4123 18 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2687081 55652 3354 1 0 2647217 0
[pid=21761/tid=21763] ppid=21758 vsize=10748324 memory=8317482817917895235 CPUtime=1.86 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) S 21758 21761 20165 0 -1 1077944384 15709 0 0 0 180 6 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425229909168 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10748324 memory=2684 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10748324 memory=2744 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10748324 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10748324 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10748324 memory=3200 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 16 0 414909005 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10748324 memory=608564 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424783693024 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424782639872 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10748324 memory=2796 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10748324 memory=222608 CPUtime=2.19 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) S 21758 21761 20165 0 -1 1077944384 10541 0 0 0 217 2 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10748324 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) S 21758 21761 20165 0 -1 1077944384 8667 0 0 0 226 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424779484016 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10748324 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) S 21758 21761 20165 0 -1 1077944384 5148 0 0 0 87 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424778430960 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 275 0 0 0 0 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21778] ppid=21758 vsize=10748324 memory=3472592183261933599 CPUtime=34.07 cores=1,3,5,7
/proc/21761/task/21778/stat : 21778 (java) R 21758 21761 20165 0 -1 4202560 7033 0 0 0 3404 3 0 0 20 0 16 0 414909191 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424235664064 140424853847921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 41.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222608 KiB
[startup+36.4006 s]
/proc/loadavg: 2.38 2.06 1.90 3/229 21778
/proc/meminfo: memFree=30870644/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10748324 memory=222608 CPUtime=41.8 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 50604 0 0 0 4162 18 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2687081 55652 3354 1 0 2647217 0
[pid=21761/tid=21763] ppid=21758 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) S 21758 21761 20165 0 -1 1077944384 15709 0 0 0 180 6 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425229909168 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10748324 memory=7810487918544316520 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10748324 memory=7810487918544316520 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10748324 memory=7236547186713454695 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10748324 memory=7810487918544316520 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10748324 memory=7881672427689240424 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 16 0 414909005 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10748324 memory=7810487918544316520 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424783693024 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10748324 memory=7810487918544316520 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424782639872 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10748324 memory=222608 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10748324 memory=3200 CPUtime=2.19 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) S 21758 21761 20165 0 -1 1077944384 10542 0 0 0 217 2 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10748324 memory=608564 CPUtime=2.27 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) S 21758 21761 20165 0 -1 1077944384 8668 0 0 0 226 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424779484016 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10748324 memory=1408 CPUtime=0.88 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) S 21758 21761 20165 0 -1 1077944384 5267 0 0 0 87 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424778430960 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10748324 memory=2792 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10748324 memory=222608 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 275 0 0 0 0 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21778] ppid=21758 vsize=10748324 memory=1644 CPUtime=34.46 cores=1,3,5,7
/proc/21761/task/21778/stat : 21778 (java) R 21758 21761 20165 0 -1 4202560 7250 0 0 0 3443 3 0 0 20 0 16 0 414909191 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424235664064 140424852705940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 41.8 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222608 KiB
[startup+36.5006 s]
/proc/loadavg: 2.38 2.06 1.90 3/229 21778
/proc/meminfo: memFree=30870644/32770624 swapFree=66996904/67108860
[pid=21761] ppid=21758 vsize=10748324 memory=222608 CPUtime=41.9 cores=1,3,5,7
/proc/21761/stat : 21761 (java) S 21758 21761 20165 0 -1 1077944320 50604 0 0 0 4172 18 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140721753000912 140425225666295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
/proc/21761/statm: 2687081 55652 3354 1 0 2647217 0
[pid=21761/tid=21763] ppid=21758 vsize=10748324 memory=222608 CPUtime=1.86 cores=1,3,5,7
/proc/21761/task/21763/stat : 21763 (java) S 21758 21761 20165 0 -1 1077944384 15709 0 0 0 180 6 0 0 20 0 16 0 414909003 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425229909168 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21764] ppid=21758 vsize=10748324 memory=33 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21764/stat : 21764 (java) S 21758 21761 20165 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425167670288 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21765] ppid=21758 vsize=10748324 memory=222608 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21765/stat : 21765 (java) S 21758 21761 20165 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425166617744 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21766] ppid=21758 vsize=10748324 memory=3907073583224835508 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21766/stat : 21766 (java) S 21758 21761 20165 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140425165564688 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21767] ppid=21758 vsize=10748324 memory=222608 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21767/stat : 21767 (java) S 21758 21761 20165 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414909004 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424829000592 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21768] ppid=21758 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21768/stat : 21768 (java) S 21758 21761 20165 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 16 0 414909005 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424784746736 140425225677442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21769] ppid=21758 vsize=10748324 memory=220516 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21769/stat : 21769 (java) S 21758 21761 20165 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424783693024 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21770] ppid=21758 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21770/stat : 21770 (java) S 21758 21761 20165 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414909006 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424782639872 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21771] ppid=21758 vsize=10748324 memory=5791727417203908948 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21771/stat : 21771 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424781588432 140425225684891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21772] ppid=21758 vsize=10748324 memory=0 CPUtime=2.19 cores=1,3,5,7
/proc/21761/task/21772/stat : 21772 (java) S 21758 21761 20165 0 -1 1077944384 10542 0 0 0 217 2 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424780536560 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21773] ppid=21758 vsize=10748324 memory=222608 CPUtime=2.27 cores=1,3,5,7
/proc/21761/task/21773/stat : 21773 (java) S 21758 21761 20165 0 -1 1077944384 8668 0 0 0 226 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424779484016 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21774] ppid=21758 vsize=10748324 memory=222608 CPUtime=0.88 cores=1,3,5,7
/proc/21761/task/21774/stat : 21774 (java) S 21758 21761 20165 0 -1 1077944384 5267 0 0 0 87 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424778430960 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21775] ppid=21758 vsize=10748324 memory=161 CPUtime=0 cores=1,3,5,7
/proc/21761/task/21775/stat : 21775 (java) S 21758 21761 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424777378656 140425225676501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21776] ppid=21758 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21761/task/21776/stat : 21776 (java) S 21758 21761 20165 0 -1 1077944384 275 0 0 0 0 1 0 0 20 0 16 0 414909009 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424776325680 140425225677442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
[pid=21761/tid=21778] ppid=21758 vsize=10748324 memory=222608 CPUtime=34.56 cores=1,3,5,7
/proc/21761/task/21778/stat : 21778 (java) R 21758 21761 20165 0 -1 4202560 7250 0 0 0 3453 3 0 0 20 0 16 0 414909191 11006283776 55652 33554432000 4194304 4196468 140721753018368 140424235664064 140424853822804 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140721753023499 140721753023602 140721753023602 140721753026511 0
Current children cumulated CPU time: 41.9 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 222608 KiB
Child status: 0
Real time (s): 36.5149
CPU time (s): 41.9275
CPU user time (s): 41.7309
CPU system time (s): 0.196522
CPU usage (%): 114.823
Max. virtual memory (cumulated for all children) (KiB): 10750912
Max. memory (cumulated for all children) (KiB): 232440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.7309
system time used= 0.196522
maximum resident set size= 232440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4265
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 21761
# total CPU time (s): 41.9275
# total CPU user time (s): 41.7309
# total CPU system time (s): 0.196522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.22805 second user time and 0.378553 second system time
The end