2.41/1.88
2.41/1.88 AbsCon 2
2.92/2.02
3.26/2.13 Instance
3.26/2.13 name=instance-4391135-1568391570, framework=COP, bounds=-infty..+infty
3.26/2.13
3.26/2.13 Loading variables...
3.26/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.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4def7ffe
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2105873c
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fddad
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763fad79
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d7515a
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7340c46d
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67ca9f07
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1597e637
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@451b7f7f
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d031dd
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39357c8e
4.11/2.43 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@749b6b4f
4.11/2.46
4.11/2.46
4.11/2.46 Domains
4.11/2.46 nTypes=4, nValues=2040, sizes=[2#450,3#225,15#15,16#15]
4.11/2.46 Variables
4.11/2.46 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.601, cpu=2.424, mem=47M651
4.11/2.48 Solver SolverBacktrack being built...
4.11/2.48
4.44/2.51
4.44/2.51 Solver
4.44/2.51 guaranteedGAC=false
4.44/2.51 wck=0.656, cpu=2.477, mem=71M511
4.44/2.53
4.44/2.53 Preprocessing
4.44/2.53 filters=15, revisions=(30,useless=30), ccks=123, nACremovedValues=15, nTotalRemovedValues=15, inconcistency=false
4.44/2.53 wck=0.016, cpu=2.494, mem=71M511
4.44/2.53
4.44/2.56 o 14
4.44/2.58 num=0, depth=706..704, filters=1034, revisions=(3418,useless=2773), ccks=2957, wck=0.071, mem=71M511
4.44/2.58 decisions=14, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=14
4.44/2.58 nFilterCalls=1350, avgTableProportion=0.79999999999998, avgTableSize=4.0
4.44/2.58
4.44/2.60 o 13
4.77/2.61 num=1, depth=0..704, filters=2132, revisions=(7060,useless=5695), ccks=4827, wck=0.097, mem=71M511
4.77/2.61 decisions=35, wrong=3, backtracks=0, failedAssignments=3, nogoods=2, foundSolutions=2, bestBound=13
4.77/2.61 nFilterCalls=2726, avgTableProportion=0.7999999999999808, avgTableSize=4.0
4.77/2.61
4.77/2.62 num=2, depth=0..20, filters=3499, revisions=(10609,useless=8339), ccks=6272, wck=0.109, mem=71M511
4.77/2.62 decisions=79, wrong=17, backtracks=4, failedAssignments=14, nogoods=5, foundSolutions=2, bestBound=13
4.77/2.62 nFilterCalls=3532, avgTableProportion=0.8000000000000268, avgTableSize=4.0
4.77/2.62
4.77/2.63 num=3, depth=2..24, filters=4752, revisions=(12734,useless=9411), ccks=8339, wck=0.12, mem=71M511
4.77/2.63 decisions=123, wrong=30, backtracks=6, failedAssignments=25, nogoods=11, foundSolutions=2, bestBound=13
4.77/2.63 nFilterCalls=4023, avgTableProportion=0.8000000000000457, avgTableSize=4.0
4.77/2.63
4.77/2.64 o 11
4.77/2.65 num=4, depth=3..704, filters=6009, revisions=(16736,useless=12509), ccks=10934, wck=0.141, mem=71M511
4.77/2.65 decisions=167, wrong=37, backtracks=6, failedAssignments=32, nogoods=18, foundSolutions=3, bestBound=11
4.77/2.65 nFilterCalls=5265, avgTableProportion=0.8000000000000778, avgTableSize=4.0
4.77/2.65
4.77/2.66 num=5, depth=3..32, filters=7111, revisions=(20052,useless=15006), ccks=12726, wck=0.152, mem=71M511
4.77/2.66 decisions=220, wrong=51, backtracks=7, failedAssignments=45, nogoods=29, foundSolutions=3, bestBound=11
4.77/2.66 nFilterCalls=6022, avgTableProportion=0.8000000000000909, avgTableSize=4.0
4.77/2.66
4.77/2.68 o 10
4.77/2.68 num=6, depth=3..704, filters=8314, revisions=(24234,useless=18326), ccks=15329, wck=0.173, mem=71M511
4.77/2.68 decisions=272, wrong=58, backtracks=7, failedAssignments=52, nogoods=36, foundSolutions=4, bestBound=10
4.77/2.68 nFilterCalls=7246, avgTableProportion=0.8000000000001062, avgTableSize=4.0
4.77/2.68
5.05/2.70 o 9
5.05/2.71 num=7, depth=11..704, filters=9419, revisions=(28312,useless=21639), ccks=17709, wck=0.195, mem=74M153
5.05/2.71 decisions=315, wrong=64, backtracks=7, failedAssignments=58, nogoods=42, foundSolutions=5, bestBound=9
5.05/2.71 nFilterCalls=8670, avgTableProportion=0.8000000000001186, avgTableSize=4.0
5.05/2.71
5.05/2.71 num=8, depth=3..31, filters=10018, revisions=(30052,useless=22921), ccks=18625, wck=0.203, mem=74M153
5.05/2.71 decisions=368, wrong=80, backtracks=13, failedAssignments=69, nogoods=51, foundSolutions=5, bestBound=9
5.05/2.71 nFilterCalls=9185, avgTableProportion=0.8000000000001222, avgTableSize=4.0
5.05/2.71
5.05/2.73 o 8
5.05/2.73 num=9, depth=5..704, filters=11183, revisions=(34062,useless=26129), ccks=20880, wck=0.222, mem=74M153
5.05/2.73 decisions=416, wrong=85, backtracks=13, failedAssignments=74, nogoods=56, foundSolutions=6, bestBound=8
5.05/2.73 nFilterCalls=10398, avgTableProportion=0.8000000000001153, avgTableSize=4.0
5.05/2.73
5.05/2.75 o 7
5.05/2.75 num=10, depth=31..704, filters=12115, revisions=(37528,useless=28956), ccks=22804, wck=0.242, mem=74M153
5.05/2.75 decisions=449, wrong=86, backtracks=13, failedAssignments=75, nogoods=57, foundSolutions=7, bestBound=7
5.05/2.75 nFilterCalls=11791, avgTableProportion=0.8000000000000157, avgTableSize=4.0
5.05/2.75
5.05/2.76 num=11, depth=3..20, filters=13487, revisions=(40342,useless=30634), ccks=24978, wck=0.253, mem=74M153
5.05/2.76 decisions=492, wrong=101, backtracks=17, failedAssignments=86, nogoods=62, foundSolutions=7, bestBound=7
5.05/2.76 nFilterCalls=12667, avgTableProportion=0.7999999999999643, avgTableSize=4.0
5.05/2.76
5.05/2.78 o 6
5.05/2.78 num=12, depth=4..704, filters=14508, revisions=(43814,useless=33378), ccks=27159, wck=0.271, mem=74M153
5.05/2.78 decisions=531, wrong=104, backtracks=17, failedAssignments=89, nogoods=65, foundSolutions=8, bestBound=6
5.05/2.78 nFilterCalls=13894, avgTableProportion=0.7999999999999031, avgTableSize=4.0
5.05/2.78
5.05/2.79 num=13, depth=20..23, filters=16089, revisions=(46985,useless=35421), ccks=28866, wck=0.282, mem=74M153
5.05/2.79 decisions=579, wrong=118, backtracks=20, failedAssignments=101, nogoods=74, foundSolutions=8, bestBound=6
5.05/2.79 nFilterCalls=14891, avgTableProportion=0.7999999999998609, avgTableSize=4.0
5.05/2.79
5.37/2.80 num=14, depth=9..22, filters=17879, revisions=(50466,useless=37594), ccks=31087, wck=0.293, mem=74M153
5.37/2.80 decisions=627, wrong=135, backtracks=27, failedAssignments=112, nogoods=77, foundSolutions=8, bestBound=6
5.37/2.80 nFilterCalls=15751, avgTableProportion=0.7999999999998288, avgTableSize=4.0
5.37/2.80
5.37/2.82 num=15, depth=12..31, filters=20437, revisions=(55589,useless=40929), ccks=34079, wck=0.307, mem=74M153
5.37/2.82 decisions=690, wrong=154, backtracks=35, failedAssignments=124, nogoods=83, foundSolutions=8, bestBound=6
5.37/2.82 nFilterCalls=17066, avgTableProportion=0.7999999999997859, avgTableSize=4.0
5.37/2.82
5.37/2.83 o 5
5.37/2.84 num=16, depth=18..704, filters=21533, revisions=(59217,useless=43781), ccks=36254, wck=0.327, mem=74M153
5.37/2.84 decisions=733, wrong=160, backtracks=35, failedAssignments=130, nogoods=89, foundSolutions=9, bestBound=5
5.37/2.84 nFilterCalls=18330, avgTableProportion=0.7999999999997505, avgTableSize=4.0
5.37/2.84
5.37/2.85 num=17, depth=16..24, filters=22762, revisions=(61996,useless=45666), ccks=37665, wck=0.338, mem=76M796
5.37/2.85 decisions=787, wrong=177, backtracks=39, failedAssignments=144, nogoods=95, foundSolutions=9, bestBound=5
5.37/2.85 nFilterCalls=19148, avgTableProportion=0.7999999999997301, avgTableSize=4.0
5.37/2.85
5.37/2.87 num=18, depth=8..27, filters=24311, revisions=(65553,useless=48091), ccks=39911, wck=0.349, mem=76M796
5.37/2.87 decisions=834, wrong=192, backtracks=43, failedAssignments=155, nogoods=103, foundSolutions=9, bestBound=5
5.37/2.87 nFilterCalls=20006, avgTableProportion=0.7999999999997105, avgTableSize=4.0
5.37/2.87
5.37/2.88 num=19, depth=19..25, filters=26120, revisions=(69159,useless=50353), ccks=42145, wck=0.373, mem=76M796
5.37/2.88 decisions=883, wrong=207, backtracks=50, failedAssignments=167, nogoods=110, foundSolutions=9, bestBound=5
5.37/2.88 nFilterCalls=20892, avgTableProportion=0.7999999999996918, avgTableSize=4.0
5.37/2.88
5.37/2.89 num=20, depth=9..18, filters=27132, revisions=(71704,useless=52133), ccks=43613, wck=0.38, mem=76M796
5.37/2.89 decisions=927, wrong=222, backtracks=52, failedAssignments=180, nogoods=113, foundSolutions=9, bestBound=5
5.37/2.89 nFilterCalls=21443, avgTableProportion=0.7999999999996811, avgTableSize=4.0
5.37/2.89
5.68/2.90 num=21, depth=11..16, filters=28628, revisions=(74630,useless=53951), ccks=45762, wck=0.39, mem=76M796
5.68/2.90 decisions=969, wrong=237, backtracks=56, failedAssignments=194, nogoods=121, foundSolutions=9, bestBound=5
5.68/2.90 nFilterCalls=22225, avgTableProportion=0.7999999999996668, avgTableSize=4.0
5.68/2.90
5.68/2.91 num=22, depth=13..24, filters=30024, revisions=(77768,useless=56056), ccks=47748, wck=0.4, mem=76M796
5.68/2.91 decisions=1021, wrong=255, backtracks=61, failedAssignments=210, nogoods=128, foundSolutions=9, bestBound=5
5.68/2.91 nFilterCalls=22970, avgTableProportion=0.799999999999654, avgTableSize=4.0
5.68/2.91
5.68/2.93 num=23, depth=10..17, filters=34243, revisions=(85245,useless=60585), ccks=53214, wck=0.421, mem=76M796
5.68/2.93 decisions=1078, wrong=276, backtracks=65, failedAssignments=227, nogoods=142, foundSolutions=9, bestBound=5
5.68/2.93 nFilterCalls=25205, avgTableProportion=0.7999999999996201, avgTableSize=4.0
5.68/2.93
5.68/2.95 num=24, depth=11..29, filters=37721, revisions=(91404,useless=64322), ccks=57542, wck=0.44, mem=76M796
5.68/2.95 decisions=1150, wrong=303, backtracks=76, failedAssignments=246, nogoods=149, foundSolutions=9, bestBound=5
5.68/2.95 nFilterCalls=27074, avgTableProportion=0.7999999999995961, avgTableSize=4.0
5.68/2.95
5.68/2.98 num=25, depth=17..20, filters=42888, revisions=(100471,useless=69789), ccks=63735, wck=0.464, mem=76M796
5.68/2.98 decisions=1218, wrong=328, backtracks=82, failedAssignments=267, nogoods=157, foundSolutions=9, bestBound=5
5.68/2.98 nFilterCalls=29615, avgTableProportion=0.7999999999995683, avgTableSize=4.0
5.68/2.98
5.68/3.01 num=26, depth=12..21, filters=46917, revisions=(107911,useless=74303), ccks=68539, wck=0.493, mem=76M796
5.68/3.01 decisions=1292, wrong=357, backtracks=91, failedAssignments=290, nogoods=169, foundSolutions=9, bestBound=5
5.68/3.01 nFilterCalls=31614, avgTableProportion=0.7999999999995496, avgTableSize=4.0
5.68/3.01
6.01/3.03 num=27, depth=9..16, filters=50387, revisions=(115297,useless=79010), ccks=73305, wck=0.514, mem=76M796
6.01/3.03 decisions=1367, wrong=388, backtracks=97, failedAssignments=315, nogoods=182, foundSolutions=9, bestBound=5
6.01/3.03 nFilterCalls=33239, avgTableProportion=0.7999999999995361, avgTableSize=4.0
6.01/3.03
6.01/3.05 num=28, depth=12..21, filters=54286, revisions=(122215,useless=83199), ccks=77887, wck=0.538, mem=76M796
6.01/3.05 decisions=1450, wrong=423, backtracks=106, failedAssignments=343, nogoods=185, foundSolutions=9, bestBound=5
6.01/3.05 nFilterCalls=35246, avgTableProportion=0.7999999999995211, avgTableSize=4.0
6.01/3.05
6.01/3.09 num=29, depth=9..20, filters=62600, revisions=(137349,useless=91843), ccks=90024, wck=0.584, mem=79M438
6.01/3.09 decisions=1551, wrong=467, backtracks=122, failedAssignments=374, nogoods=191, foundSolutions=9, bestBound=5
6.01/3.09 nFilterCalls=39896, avgTableProportion=0.7999999999994921, avgTableSize=4.0
6.01/3.09
6.31/3.11 num=30, depth=1..18, filters=65726, revisions=(143452,useless=95745), ccks=93714, wck=0.602, mem=79M438
6.31/3.11 decisions=1644, wrong=506, backtracks=127, failedAssignments=408, nogoods=205, foundSolutions=9, bestBound=5
6.31/3.11 nFilterCalls=41480, avgTableProportion=0.7999999999995292, avgTableSize=4.0
6.31/3.11
6.31/3.15 num=31, depth=2..14, filters=71724, revisions=(154481,useless=102720), ccks=101153, wck=0.635, mem=79M438
6.31/3.15 decisions=1746, wrong=552, backtracks=137, failedAssignments=445, nogoods=208, foundSolutions=9, bestBound=5
6.31/3.15 nFilterCalls=44589, avgTableProportion=0.799999999999765, avgTableSize=4.0
6.31/3.15
6.31/3.17 num=32, depth=4..20, filters=75907, revisions=(162900,useless=108147), ccks=106659, wck=0.66, mem=79M438
6.31/3.17 decisions=1854, wrong=598, backtracks=143, failedAssignments=486, nogoods=223, foundSolutions=9, bestBound=5
6.31/3.17 nFilterCalls=46735, avgTableProportion=0.7999999999999093, avgTableSize=4.0
6.31/3.17
6.59/3.21 num=33, depth=5..16, filters=83268, revisions=(176670,useless=116867), ccks=115311, wck=0.7, mem=79M438
6.59/3.21 decisions=1975, wrong=653, backtracks=156, failedAssignments=531, nogoods=232, foundSolutions=9, bestBound=5
6.59/3.21 nFilterCalls=50644, avgTableProportion=0.800000000000141, avgTableSize=4.0
6.59/3.21
6.59/3.25 num=34, depth=12..17, filters=91162, revisions=(191420,useless=126266), ccks=124218, wck=0.743, mem=79M438
6.59/3.25 decisions=2119, wrong=717, backtracks=173, failedAssignments=581, nogoods=246, foundSolutions=9, bestBound=5
6.59/3.25 nFilterCalls=54674, avgTableProportion=0.8000000000003451, avgTableSize=4.0
6.59/3.25
6.59/3.29 num=35, depth=12..18, filters=98248, revisions=(205346,useless=134822), ccks=133524, wck=0.782, mem=79M438
6.59/3.29 decisions=2274, wrong=787, backtracks=192, failedAssignments=636, nogoods=259, foundSolutions=9, bestBound=5
6.59/3.29 nFilterCalls=58084, avgTableProportion=0.8000000000004958, avgTableSize=4.0
6.59/3.29
6.89/3.33 num=36, depth=12..21, filters=108847, revisions=(223124,useless=145366), ccks=144374, wck=0.824, mem=82M81
6.89/3.33 decisions=2449, wrong=867, backtracks=219, failedAssignments=697, nogoods=264, foundSolutions=9, bestBound=5
6.89/3.33 nFilterCalls=63248, avgTableProportion=0.8000000000006929, avgTableSize=4.0
6.89/3.33
6.89/3.37 num=37, depth=6..12, filters=117954, revisions=(239414,useless=154971), ccks=155457, wck=0.859, mem=82M81
6.89/3.37 decisions=2625, wrong=951, backtracks=243, failedAssignments=764, nogoods=268, foundSolutions=9, bestBound=5
6.89/3.37 nFilterCalls=67762, avgTableProportion=0.8000000000008406, avgTableSize=4.0
6.89/3.37
7.19/3.42 num=38, depth=8..16, filters=132112, revisions=(263847,useless=169593), ccks=170429, wck=0.908, mem=82M81
7.19/3.42 decisions=2837, wrong=1051, backtracks=279, failedAssignments=838, nogoods=291, foundSolutions=9, bestBound=5
7.19/3.42 nFilterCalls=74950, avgTableProportion=0.8000000000010391, avgTableSize=4.0
7.19/3.42
7.19/3.46 num=39, depth=9..21, filters=145541, revisions=(286842,useless=183294), ccks=186093, wck=0.953, mem=82M81
7.19/3.46 decisions=3072, wrong=1162, backtracks=324, failedAssignments=919, nogoods=298, foundSolutions=9, bestBound=5
7.19/3.46 nFilterCalls=81970, avgTableProportion=0.8000000000011994, avgTableSize=4.0
7.19/3.46
7.49/3.52 num=40, depth=0..19, filters=161169, revisions=(316644,useless=202159), ccks=204243, wck=1.009, mem=84M723
7.49/3.52 decisions=3352, wrong=1296, backtracks=380, failedAssignments=1008, nogoods=312, foundSolutions=9, bestBound=5
7.49/3.52 nFilterCalls=89991, avgTableProportion=0.8000000000013519, avgTableSize=4.0
7.49/3.52
7.49/3.60 num=41, depth=9..15, filters=183913, revisions=(359586,useless=229026), ccks=235016, wck=1.085, mem=84M723
7.49/3.60 decisions=3674, wrong=1452, backtracks=449, failedAssignments=1106, nogoods=330, foundSolutions=9, bestBound=5
7.49/3.60 nFilterCalls=102328, avgTableProportion=0.8000000000015398, avgTableSize=4.0
7.49/3.60
7.79/3.65 num=42, depth=10..25, filters=200456, revisions=(388788,useless=247117), ccks=254639, wck=1.141, mem=84M723
7.79/3.65 decisions=3974, wrong=1595, backtracks=501, failedAssignments=1214, nogoods=341, foundSolutions=9, bestBound=5
7.79/3.65 nFilterCalls=110740, avgTableProportion=0.8000000000016438, avgTableSize=4.0
7.79/3.65
8.09/3.72 num=43, depth=12..27, filters=222640, revisions=(425239,useless=268445), ccks=279309, wck=1.212, mem=87M365
8.09/3.72 decisions=4295, wrong=1747, backtracks=552, failedAssignments=1333, nogoods=352, foundSolutions=9, bestBound=5
8.09/3.72 nFilterCalls=121619, avgTableProportion=0.8000000000017572, avgTableSize=4.0
8.09/3.72
8.39/3.80 num=44, depth=17..28, filters=244146, revisions=(462799,useless=291727), ccks=303034, wck=1.285, mem=87M365
8.39/3.80 decisions=4685, wrong=1932, backtracks=628, failedAssignments=1464, nogoods=356, foundSolutions=9, bestBound=5
8.39/3.80 nFilterCalls=132450, avgTableProportion=0.8000000000018515, avgTableSize=4.0
8.39/3.80
8.39/3.84 o 4
8.39/3.85 num=45, depth=9..704, filters=254565, revisions=(483681,useless=305781), ccks=315030, wck=1.335, mem=87M365
8.39/3.85 decisions=4974, wrong=2065, backtracks=653, failedAssignments=1575, nogoods=379, foundSolutions=10, bestBound=4
8.39/3.85 nFilterCalls=138112, avgTableProportion=0.8000000000018949, avgTableSize=4.0
8.39/3.85
8.39/3.89 num=46, depth=13..20, filters=264569, revisions=(505270,useless=320040), ccks=326182, wck=1.378, mem=87M365
8.39/3.89 decisions=5350, wrong=2246, backtracks=680, failedAssignments=1733, nogoods=388, foundSolutions=10, bestBound=4
8.39/3.89 nFilterCalls=143017, avgTableProportion=0.8000000000019297, avgTableSize=4.0
8.39/3.89
8.39/3.89 num=47, depth=1..20, filters=265276, revisions=(507272,useless=321488), ccks=327272, wck=1.383, mem=90M8
8.39/3.89 decisions=5390, wrong=2257, backtracks=680, failedAssignments=1744, nogoods=399, foundSolutions=10, bestBound=4
8.39/3.89 nFilterCalls=143397, avgTableProportion=0.8000000000019323, avgTableSize=4.0
8.39/3.89
8.70/3.90 num=48, depth=1..17, filters=266428, revisions=(510008,useless=323359), ccks=328821, wck=1.389, mem=90M8
8.70/3.90 decisions=5435, wrong=2274, backtracks=685, failedAssignments=1756, nogoods=405, foundSolutions=10, bestBound=4
8.70/3.90 nFilterCalls=143992, avgTableProportion=0.8000000000019364, avgTableSize=4.0
8.70/3.90
8.70/3.91 num=49, depth=1..18, filters=267414, revisions=(512450,useless=325046), ccks=330277, wck=1.395, mem=90M8
8.70/3.91 decisions=5477, wrong=2288, backtracks=688, failedAssignments=1769, nogoods=415, foundSolutions=10, bestBound=4
8.70/3.91 nFilterCalls=144486, avgTableProportion=0.8000000000019397, avgTableSize=4.0
8.70/3.91
8.70/3.91 num=50, depth=8..12, filters=268471, revisions=(515174,useless=326958), ccks=331889, wck=1.401, mem=90M8
8.70/3.91 decisions=5522, wrong=2306, backtracks=692, failedAssignments=1783, nogoods=420, foundSolutions=10, bestBound=4
8.70/3.91 nFilterCalls=145025, avgTableProportion=0.8000000000019433, avgTableSize=4.0
8.70/3.91
8.70/3.92 num=51, depth=1..12, filters=270064, revisions=(518177,useless=328758), ccks=333547, wck=1.407, mem=90M8
8.70/3.92 decisions=5566, wrong=2324, backtracks=695, failedAssignments=1799, nogoods=425, foundSolutions=10, bestBound=4
8.70/3.92 nFilterCalls=145851, avgTableProportion=0.8000000000019488, avgTableSize=4.0
8.70/3.92
8.70/3.92 num=52, depth=5..12, filters=271443, revisions=(521274,useless=330771), ccks=335340, wck=1.414, mem=90M8
8.70/3.92 decisions=5615, wrong=2346, backtracks=703, failedAssignments=1816, nogoods=435, foundSolutions=10, bestBound=4
8.70/3.92 nFilterCalls=146527, avgTableProportion=0.8000000000019533, avgTableSize=4.0
8.70/3.92
8.70/3.93 num=53, depth=2..15, filters=273584, revisions=(526261,useless=334182), ccks=338213, wck=1.424, mem=90M8
8.70/3.93 decisions=5691, wrong=2382, backtracks=724, failedAssignments=1835, nogoods=447, foundSolutions=10, bestBound=4
8.70/3.93 nFilterCalls=147623, avgTableProportion=0.8000000000019604, avgTableSize=4.0
8.70/3.93
8.70/3.94 num=54, depth=2..7, filters=275510, revisions=(530133,useless=336593), ccks=340802, wck=1.431, mem=90M8
8.70/3.94 decisions=5746, wrong=2408, backtracks=733, failedAssignments=1856, nogoods=449, foundSolutions=10, bestBound=4
8.70/3.94 nFilterCalls=148546, avgTableProportion=0.8000000000019662, avgTableSize=4.0
8.70/3.94
8.70/3.95 num=55, depth=6..23, filters=276722, revisions=(533208,useless=338756), ccks=342430, wck=1.439, mem=90M8
8.70/3.95 decisions=5818, wrong=2436, backtracks=739, failedAssignments=1879, nogoods=455, foundSolutions=10, bestBound=4
8.70/3.95 nFilterCalls=149104, avgTableProportion=0.8000000000019698, avgTableSize=4.0
8.70/3.95
8.70/3.96 num=56, depth=1..11, filters=278846, revisions=(537643,useless=341589), ccks=345136, wck=1.448, mem=90M8
8.70/3.96 decisions=5888, wrong=2470, backtracks=751, failedAssignments=1904, nogoods=463, foundSolutions=10, bestBound=4
8.70/3.96 nFilterCalls=150129, avgTableProportion=0.8000000000019761, avgTableSize=4.0
8.70/3.96
8.70/3.97 num=57, depth=7..21, filters=281359, revisions=(543277,useless=345446), ccks=348847, wck=1.459, mem=90M8
8.70/3.97 decisions=5972, wrong=2503, backtracks=756, failedAssignments=1932, nogoods=476, foundSolutions=10, bestBound=4
8.70/3.97 nFilterCalls=151555, avgTableProportion=0.800000000001985, avgTableSize=4.0
8.70/3.97
8.70/3.98 num=58, depth=1..17, filters=284482, revisions=(549384,useless=349280), ccks=352642, wck=1.473, mem=90M8
8.70/3.98 decisions=6071, wrong=2546, backtracks=769, failedAssignments=1963, nogoods=486, foundSolutions=10, bestBound=4
8.70/3.98 nFilterCalls=153067, avgTableProportion=0.8000000000019941, avgTableSize=4.0
8.70/3.98
9.03/4.01 num=59, depth=1..22, filters=287411, revisions=(555213,useless=353034), ccks=355966, wck=1.485, mem=90M8
9.03/4.01 decisions=6168, wrong=2587, backtracks=777, failedAssignments=1997, nogoods=494, foundSolutions=10, bestBound=4
9.03/4.01 nFilterCalls=154438, avgTableProportion=0.8000000000020022, avgTableSize=4.0
9.03/4.01
9.03/4.01 num=60, depth=3..15, filters=290486, revisions=(561767,useless=357241), ccks=360458, wck=1.499, mem=90M8
9.03/4.01 decisions=6281, wrong=2639, backtracks=793, failedAssignments=2034, nogoods=499, foundSolutions=10, bestBound=4
9.03/4.01 nFilterCalls=155979, avgTableProportion=0.8000000000020112, avgTableSize=4.0
9.03/4.01
9.03/4.03 num=61, depth=3..13, filters=294508, revisions=(570638,useless=363158), ccks=365535, wck=1.517, mem=90M8
9.03/4.03 decisions=6402, wrong=2695, backtracks=813, failedAssignments=2075, nogoods=508, foundSolutions=10, bestBound=4
9.03/4.03 nFilterCalls=157847, avgTableProportion=0.8000000000020219, avgTableSize=4.0
9.03/4.03
9.03/4.05 num=62, depth=5..12, filters=299766, revisions=(582350,useless=371088), ccks=371497, wck=1.537, mem=90M8
9.03/4.05 decisions=6546, wrong=2764, backtracks=848, failedAssignments=2120, nogoods=514, foundSolutions=10, bestBound=4
9.03/4.05 nFilterCalls=160429, avgTableProportion=0.8000000000020362, avgTableSize=4.0
9.03/4.05
9.03/4.07 num=63, depth=6..20, filters=304360, revisions=(591679,useless=377181), ccks=376901, wck=1.555, mem=90M8
9.03/4.07 decisions=6702, wrong=2833, backtracks=871, failedAssignments=2170, nogoods=531, foundSolutions=10, bestBound=4
9.03/4.07 nFilterCalls=162703, avgTableProportion=0.8000000000020484, avgTableSize=4.0
9.03/4.07
9.03/4.08 num=64, depth=7..14, filters=308928, revisions=(601868,useless=383976), ccks=382582, wck=1.573, mem=92M650
9.03/4.08 decisions=6847, wrong=2900, backtracks=888, failedAssignments=2225, nogoods=541, foundSolutions=10, bestBound=4
9.03/4.08 nFilterCalls=164781, avgTableProportion=0.8000000000019761, avgTableSize=4.0
9.03/4.08
9.33/4.12 num=65, depth=12..19, filters=319133, revisions=(623236,useless=398011), ccks=397127, wck=1.61, mem=92M650
9.33/4.12 decisions=7036, wrong=2988, backtracks=924, failedAssignments=2286, nogoods=552, foundSolutions=10, bestBound=4
9.33/4.12 nFilterCalls=170515, avgTableProportion=0.8000000000015182, avgTableSize=4.0
9.33/4.12
9.33/4.15 num=66, depth=5..27, filters=327815, revisions=(640162,useless=408886), ccks=407254, wck=1.638, mem=92M650
9.33/4.15 decisions=7247, wrong=3084, backtracks=957, failedAssignments=2353, nogoods=569, foundSolutions=10, bestBound=4
9.33/4.15 nFilterCalls=174799, avgTableProportion=0.8000000000011956, avgTableSize=4.0
9.33/4.15
9.33/4.19 num=67, depth=11..17, filters=339934, revisions=(664585,useless=424500), ccks=422707, wck=1.675, mem=92M650
9.33/4.19 decisions=7467, wrong=3187, backtracks=991, failedAssignments=2427, nogoods=587, foundSolutions=10, bestBound=4
9.33/4.19 nFilterCalls=180743, avgTableProportion=0.8000000000007735, avgTableSize=4.0
9.33/4.19
9.60/4.23 num=68, depth=4..18, filters=354618, revisions=(692190,useless=441438), ccks=441194, wck=1.716, mem=92M650
9.60/4.23 decisions=7734, wrong=3317, backtracks=1049, failedAssignments=2508, nogoods=594, foundSolutions=10, bestBound=4
9.60/4.23 nFilterCalls=188034, avgTableProportion=0.8000000000002921, avgTableSize=4.0
9.60/4.23
9.60/4.25 num=69, depth=4..15, filters=362586, revisions=(706716,useless=450281), ccks=450209, wck=1.738, mem=92M650
9.60/4.25 decisions=7964, wrong=3425, backtracks=1072, failedAssignments=2597, nogoods=604, foundSolutions=10, bestBound=4
9.60/4.25 nFilterCalls=191661, avgTableProportion=0.8000000000000663, avgTableSize=4.0
9.60/4.25
9.60/4.28 num=70, depth=5..14, filters=374283, revisions=(728666,useless=463896), ccks=463902, wck=1.768, mem=92M650
9.60/4.28 decisions=8218, wrong=3548, backtracks=1101, failedAssignments=2695, nogoods=618, foundSolutions=10, bestBound=4
9.60/4.28 nFilterCalls=197328, avgTableProportion=0.79999999999973, avgTableSize=4.0
9.60/4.28
9.91/4.31 num=71, depth=7..24, filters=388004, revisions=(755452,useless=480955), ccks=480025, wck=1.804, mem=95M293
9.91/4.31 decisions=8536, wrong=3699, backtracks=1149, failedAssignments=2803, nogoods=636, foundSolutions=10, bestBound=4
9.91/4.31 nFilterCalls=204199, avgTableProportion=0.7999999999993475, avgTableSize=4.0
9.91/4.31
9.91/4.35 num=72, depth=15..23, filters=402572, revisions=(782530,useless=497892), ccks=496048, wck=1.839, mem=95M293
9.91/4.35 decisions=8849, wrong=3847, backtracks=1183, failedAssignments=2922, nogoods=645, foundSolutions=10, bestBound=4
9.91/4.35 nFilterCalls=210976, avgTableProportion=0.7999999999989944, avgTableSize=4.0
9.91/4.35
9.91/4.39 num=73, depth=14..22, filters=420809, revisions=(815517,useless=517843), ccks=516529, wck=1.884, mem=95M293
9.91/4.39 decisions=9204, wrong=4015, backtracks=1229, failedAssignments=3053, nogoods=666, foundSolutions=10, bestBound=4
9.91/4.39 nFilterCalls=219639, avgTableProportion=0.799999999998575, avgTableSize=4.0
9.91/4.39
10.21/4.44 num=74, depth=10..26, filters=439541, revisions=(850644,useless=539984), ccks=538071, wck=1.93, mem=95M293
10.21/4.44 decisions=9595, wrong=4201, backtracks=1278, failedAssignments=3197, nogoods=681, foundSolutions=10, bestBound=4
10.21/4.44 nFilterCalls=228753, avgTableProportion=0.7999999999981678, avgTableSize=4.0
10.21/4.44
10.21/4.48 num=75, depth=11..24, filters=456747, revisions=(883287,useless=560456), ccks=559239, wck=1.973, mem=95M293
10.21/4.48 decisions=10016, wrong=4403, backtracks=1327, failedAssignments=3355, nogoods=692, foundSolutions=10, bestBound=4
10.21/4.48 nFilterCalls=237224, avgTableProportion=0.7999999999978176, avgTableSize=4.0
10.21/4.48
10.51/4.53 num=76, depth=12..21, filters=478394, revisions=(922151,useless=584730), ccks=581799, wck=2.022, mem=95M293
10.51/4.53 decisions=10483, wrong=4629, backtracks=1389, failedAssignments=3529, nogoods=700, foundSolutions=10, bestBound=4
10.51/4.53 nFilterCalls=246928, avgTableProportion=0.7999999999974459, avgTableSize=4.0
10.51/4.53
10.51/4.59 num=77, depth=13..26, filters=501287, revisions=(965765,useless=611776), ccks=608253, wck=2.078, mem=95M293
10.51/4.59 decisions=10958, wrong=4860, backtracks=1438, failedAssignments=3720, nogoods=701, foundSolutions=10, bestBound=4
10.51/4.59 nFilterCalls=258364, avgTableProportion=0.7999999999970436, avgTableSize=4.0
10.51/4.59
10.80/4.65 num=78, depth=7..30, filters=525471, revisions=(1012923,useless=642343), ccks=636060, wck=2.134, mem=95M293
10.80/4.65 decisions=11559, wrong=5147, backtracks=1529, failedAssignments=3931, nogoods=720, foundSolutions=10, bestBound=4
10.80/4.65 nFilterCalls=270129, avgTableProportion=0.7999999999966654, avgTableSize=4.0
10.80/4.65
11.05/4.70 num=79, depth=6..16, filters=548256, revisions=(1059677,useless=673428), ccks=666219, wck=2.191, mem=95M293
11.05/4.70 decisions=12153, wrong=5440, backtracks=1598, failedAssignments=4163, nogoods=738, foundSolutions=10, bestBound=4
11.05/4.70 nFilterCalls=282410, avgTableProportion=0.7999999999963041, avgTableSize=4.0
11.05/4.70
11.05/4.77 num=80, depth=15..23, filters=575447, revisions=(1112550,useless=707578), ccks=698625, wck=2.258, mem=97M935
11.05/4.77 decisions=12802, wrong=5755, backtracks=1680, failedAssignments=4418, nogoods=757, foundSolutions=10, bestBound=4
11.05/4.77 nFilterCalls=295999, avgTableProportion=0.7999999999959394, avgTableSize=4.0
11.05/4.77
11.31/4.84 num=81, depth=18..30, filters=608532, revisions=(1174257,useless=747654), ccks=734014, wck=2.333, mem=97M935
11.31/4.84 decisions=13566, wrong=6126, backtracks=1801, failedAssignments=4699, nogoods=767, foundSolutions=10, bestBound=4
11.31/4.84 nFilterCalls=312493, avgTableProportion=0.7999999999955392, avgTableSize=4.0
11.31/4.84
11.51/4.92 num=82, depth=10..19, filters=647212, revisions=(1247347,useless=793988), ccks=781092, wck=2.406, mem=97M935
11.51/4.92 decisions=14346, wrong=6509, backtracks=1891, failedAssignments=5008, nogoods=782, foundSolutions=10, bestBound=4
11.51/4.92 nFilterCalls=333030, avgTableProportion=0.7999999999950965, avgTableSize=4.0
11.51/4.92
11.51/4.98 num=83, depth=16..27, filters=688155, revisions=(1325995,useless=845677), ccks=833028, wck=2.474, mem=97M935
11.51/4.98 decisions=15221, wrong=6937, backtracks=2000, failedAssignments=5348, nogoods=802, foundSolutions=10, bestBound=4
11.51/4.98 nFilterCalls=354953, avgTableProportion=0.7999999999946803, avgTableSize=4.0
11.51/4.98
11.62/5.06 num=84, depth=15..23, filters=732135, revisions=(1405999,useless=895968), ccks=882432, wck=2.545, mem=100M578
11.62/5.06 decisions=16181, wrong=7409, backtracks=2129, failedAssignments=5722, nogoods=814, foundSolutions=10, bestBound=4
11.62/5.06 nFilterCalls=376384, avgTableProportion=0.7999999999943204, avgTableSize=4.0
11.62/5.06
11.72/5.12 num=85, depth=7..18, filters=767561, revisions=(1481690,useless=946038), ccks=925816, wck=2.607, mem=100M578
11.72/5.12 decisions=17246, wrong=7937, backtracks=2274, failedAssignments=6133, nogoods=832, foundSolutions=10, bestBound=4
11.72/5.12 nFilterCalls=393995, avgTableProportion=0.7999999999940539, avgTableSize=4.0
11.72/5.12
11.81/5.21 num=86, depth=19..32, filters=829675, revisions=(1588775,useless=1013751), ccks=988299, wck=2.702, mem=103M220
11.81/5.21 decisions=18468, wrong=8536, backtracks=2466, failedAssignments=6585, nogoods=842, foundSolutions=10, bestBound=4
11.81/5.21 nFilterCalls=425358, avgTableProportion=0.7999999999936339, avgTableSize=4.0
11.81/5.21
11.92/5.30 num=87, depth=2..13, filters=878250, revisions=(1698420,useless=1086705), ccks=1052085, wck=2.786, mem=103M220
11.92/5.30 decisions=19757, wrong=9179, backtracks=2641, failedAssignments=7082, nogoods=856, foundSolutions=10, bestBound=4
11.92/5.30 nFilterCalls=452505, avgTableProportion=0.7999999999933175, avgTableSize=4.0
11.92/5.30
12.04/5.40 num=88, depth=4..36, filters=942306, revisions=(1821366,useless=1163661), ccks=1133470, wck=2.893, mem=105M863
12.04/5.40 decisions=21196, wrong=9896, backtracks=2849, failedAssignments=7629, nogoods=862, foundSolutions=10, bestBound=4
12.04/5.40 nFilterCalls=486004, avgTableProportion=0.7999999999929757, avgTableSize=4.0
12.04/5.40
12.14/5.51 num=89, depth=25..34, filters=1007585, revisions=(1955355,useless=1250355), ccks=1213978, wck=3.003, mem=105M863
12.14/5.51 decisions=22773, wrong=10671, backtracks=3063, failedAssignments=8231, nogoods=886, foundSolutions=10, bestBound=4
12.14/5.51 nFilterCalls=517224, avgTableProportion=0.799999999992697, avgTableSize=4.0
12.14/5.51
12.27/5.64 num=90, depth=16..30, filters=1082643, revisions=(2095837,useless=1338817), ccks=1299597, wck=3.125, mem=108M505
12.27/5.64 decisions=24488, wrong=11519, backtracks=3307, failedAssignments=8893, nogoods=906, foundSolutions=10, bestBound=4
12.27/5.64 nFilterCalls=555299, avgTableProportion=0.7999999999923995, avgTableSize=4.0
12.27/5.64
12.39/5.76 num=91, depth=8..19, filters=1162331, revisions=(2247227,useless=1434505), ccks=1388122, wck=3.248, mem=108M505
12.39/5.76 decisions=26301, wrong=12418, backtracks=3525, failedAssignments=9621, nogoods=937, foundSolutions=10, bestBound=4
12.39/5.76 nFilterCalls=595183, avgTableProportion=0.7999999999921287, avgTableSize=4.0
12.39/5.76
12.59/5.91 num=92, depth=7..22, filters=1259732, revisions=(2431235,useless=1550066), ccks=1495466, wck=3.396, mem=108M505
12.59/5.91 decisions=28301, wrong=13414, backtracks=3779, failedAssignments=10422, nogoods=959, foundSolutions=10, bestBound=4
12.59/5.91 nFilterCalls=643135, avgTableProportion=0.7999999999918476, avgTableSize=4.0
12.59/5.91
12.70/6.06 num=93, depth=2..17, filters=1354975, revisions=(2623918,useless=1674262), ccks=1607483, wck=3.546, mem=108M505
12.70/6.06 decisions=30712, wrong=14618, backtracks=4206, failedAssignments=11303, nogoods=968, foundSolutions=10, bestBound=4
12.70/6.06 nFilterCalls=687824, avgTableProportion=0.7999999999943681, avgTableSize=4.0
12.70/6.06
12.90/6.26 num=94, depth=1..20, filters=1491899, revisions=(2871277,useless=1826761), ccks=1760196, wck=3.75, mem=111M147
12.90/6.26 decisions=33213, wrong=15865, backtracks=4589, failedAssignments=12273, nogoods=997, foundSolutions=10, bestBound=4
12.90/6.26 nFilterCalls=755825, avgTableProportion=0.7999999999990643, avgTableSize=4.0
12.90/6.26
13.10/6.47 num=95, depth=5..27, filters=1633451, revisions=(3131855,useless=1988305), ccks=1919686, wck=3.96, mem=111M147
13.10/6.47 decisions=36028, wrong=17268, backtracks=5005, failedAssignments=13340, nogoods=1011, foundSolutions=10, bestBound=4
13.10/6.47 nFilterCalls=824432, avgTableProportion=0.8000000000030173, avgTableSize=4.0
13.10/6.47
13.41/6.72 num=96, depth=14..23, filters=1804231, revisions=(3420642,useless=2163170), ccks=2090850, wck=4.211, mem=113M790
13.41/6.72 decisions=39068, wrong=18780, backtracks=5424, failedAssignments=14513, nogoods=1036, foundSolutions=10, bestBound=4
13.41/6.72 nFilterCalls=911887, avgTableProportion=0.8000000000071938, avgTableSize=4.0
13.41/6.72
13.61/6.96 num=97, depth=0..21, filters=1951775, revisions=(3712474,useless=2351641), ccks=2276527, wck=4.445, mem=113M790
13.61/6.96 decisions=42383, wrong=20434, backtracks=5917, failedAssignments=15804, nogoods=1064, foundSolutions=10, bestBound=4
13.61/6.96 nFilterCalls=989387, avgTableProportion=0.8000000000102779, avgTableSize=4.0
13.61/6.96
13.91/7.23 num=98, depth=7..25, filters=2137927, revisions=(4043260,useless=2555181), ccks=2469989, wck=4.718, mem=116M432
13.91/7.23 decisions=46060, wrong=22267, backtracks=6469, failedAssignments=17224, nogoods=1081, foundSolutions=10, bestBound=4
13.91/7.23 nFilterCalls=1081728, avgTableProportion=0.8000000000133757, avgTableSize=4.0
13.91/7.23
14.21/7.52 num=99, depth=0..19, filters=2329491, revisions=(4414846,useless=2792812), ccks=2689733, wck=5.01, mem=116M432
14.21/7.52 decisions=50220, wrong=24342, backtracks=7097, failedAssignments=18786, nogoods=1104, foundSolutions=10, bestBound=4
14.21/7.52 nFilterCalls=1174651, avgTableProportion=0.8000000000160012, avgTableSize=4.0
14.21/7.52
14.61/7.90 num=100, depth=11..28, filters=2594861, revisions=(4900478,useless=3101994), ccks=2970023, wck=5.393, mem=119M75
14.61/7.90 decisions=55015, wrong=26733, backtracks=8020, failedAssignments=20504, nogoods=1117, foundSolutions=10, bestBound=4
14.61/7.90 nFilterCalls=1309687, avgTableProportion=0.8000000000191526, avgTableSize=4.0
14.61/7.90
14.92/8.25 num=101, depth=0..20, filters=2817143, revisions=(5330914,useless=3370387), ccks=3234493, wck=5.737, mem=121M717
14.92/8.25 decisions=59951, wrong=29199, backtracks=8813, failedAssignments=22394, nogoods=1125, foundSolutions=10, bestBound=4
14.92/8.25 nFilterCalls=1416044, avgTableProportion=0.8000000000212115, avgTableSize=4.0
14.92/8.25
15.32/8.63 num=102, depth=0..26, filters=3068097, revisions=(5816323,useless=3677558), ccks=3531067, wck=6.121, mem=121M717
15.32/8.63 decisions=65474, wrong=31954, backtracks=9696, failedAssignments=24473, nogoods=1138, foundSolutions=10, bestBound=4
15.32/8.63 nFilterCalls=1536907, avgTableProportion=0.8000000000232055, avgTableSize=4.0
15.32/8.63
15.62/9.00 num=103, depth=0..19, filters=3315061, revisions=(6273170,useless=3958903), ccks=3802891, wck=6.491, mem=124M360
15.62/9.00 decisions=71190, wrong=34809, backtracks=10437, failedAssignments=26760, nogoods=1158, foundSolutions=10, bestBound=4
15.62/9.00 nFilterCalls=1648927, avgTableProportion=0.8000000000247924, avgTableSize=4.0
15.62/9.00
16.15/9.47 num=104, depth=3..26, filters=3632254, revisions=(6867861,useless=4331589), ccks=4160202, wck=6.964, mem=127M2
16.15/9.47 decisions=77967, wrong=38192, backtracks=11585, failedAssignments=29276, nogoods=1175, foundSolutions=10, bestBound=4
16.15/9.47 nFilterCalls=1798009, avgTableProportion=0.8000000000265979, avgTableSize=4.0
16.15/9.47
16.76/10.02 num=105, depth=4..21, filters=3996192, revisions=(7559128,useless=4774818), ccks=4570073, wck=7.508, mem=129M644
16.76/10.02 decisions=85428, wrong=41919, backtracks=12859, failedAssignments=32044, nogoods=1203, foundSolutions=10, bestBound=4
16.76/10.02 nFilterCalls=1978723, avgTableProportion=0.8000000000284215, avgTableSize=4.0
16.76/10.02
17.65/10.94 num=106, depth=18..32, filters=4640882, revisions=(8673823,useless=5468260), ccks=5238926, wck=8.426, mem=134M929
17.65/10.94 decisions=94128, wrong=46258, backtracks=14672, failedAssignments=35088, nogoods=1224, foundSolutions=10, bestBound=4
17.65/10.94 nFilterCalls=2313604, avgTableProportion=0.8000000000310479, avgTableSize=4.0
17.65/10.94
18.35/11.61 num=107, depth=0..16, filters=5088748, revisions=(9524551,useless=6010954), ccks=5759499, wck=9.102, mem=137M572
18.35/11.61 decisions=103206, wrong=50794, backtracks=16370, failedAssignments=38437, nogoods=1245, foundSolutions=10, bestBound=4
18.35/11.61 nFilterCalls=2541150, avgTableProportion=0.8000000000324374, avgTableSize=4.0
18.35/11.61
18.97/12.29 num=108, depth=3..23, filters=5527471, revisions=(10421211,useless=6603963), ccks=6278864, wck=9.776, mem=140M214
18.97/12.29 decisions=112968, wrong=55670, backtracks=17848, failedAssignments=42121, nogoods=1268, foundSolutions=10, bestBound=4
18.97/12.29 nFilterCalls=2760919, avgTableProportion=0.8000000000217996, avgTableSize=4.0
18.97/12.29
20.01/13.25 num=109, depth=4..19, filters=6189457, revisions=(11645103,useless=7386790), ccks=6971142, wck=10.743, mem=32M881
20.01/13.25 decisions=124655, wrong=61508, backtracks=20100, failedAssignments=46173, nogoods=1289, foundSolutions=10, bestBound=4
20.01/13.25 nFilterCalls=3093053, avgTableProportion=0.7999999999994576, avgTableSize=4.0
20.01/13.25
21.12/14.35 num=110, depth=13..24, filters=6990823, revisions=(13115942,useless=8316490), ccks=7817414, wck=11.836, mem=38M113
21.12/14.35 decisions=136861, wrong=67603, backtracks=22318, failedAssignments=50630, nogoods=1306, foundSolutions=10, bestBound=4
21.12/14.35 nFilterCalls=3501891, avgTableProportion=0.7999999999777749, avgTableSize=4.0
21.12/14.35
22.04/15.20 num=111, depth=0..19, filters=7578131, revisions=(14232280,useless=9026840), ccks=8489497, wck=12.688, mem=40M729
22.04/15.20 decisions=149720, wrong=74030, backtracks=24428, failedAssignments=55533, nogoods=1321, foundSolutions=10, bestBound=4
22.04/15.20 nFilterCalls=3798997, avgTableProportion=0.799999999964946, avgTableSize=4.0
22.04/15.20
22.95/16.18 num=112, depth=3..25, filters=8248700, revisions=(15589933,useless=9935517), ccks=9256055, wck=13.673, mem=45M961
22.95/16.18 decisions=164528, wrong=81429, backtracks=26979, failedAssignments=60927, nogoods=1348, foundSolutions=10, bestBound=4
22.95/16.18 nFilterCalls=4142068, avgTableProportion=0.7999999999524218, avgTableSize=4.0
22.95/16.18
24.34/17.54 num=113, depth=6..30, filters=9214066, revisions=(17374224,useless=11073074), ccks=10290296, wck=15.026, mem=53M809
24.34/17.54 decisions=181476, wrong=89898, backtracks=30248, failedAssignments=66860, nogoods=1370, foundSolutions=10, bestBound=4
24.34/17.54 nFilterCalls=4630669, avgTableProportion=0.7999999999377885, avgTableSize=4.0
24.34/17.54
25.64/18.83 num=114, depth=0..17, filters=10096609, revisions=(19135306,useless=12221629), ccks=11305108, wck=16.323, mem=61M657
25.64/18.83 decisions=199547, wrong=98930, backtracks=33771, failedAssignments=73386, nogoods=1383, foundSolutions=10, bestBound=4
25.64/18.83 nFilterCalls=5081229, avgTableProportion=0.7999999999267885, avgTableSize=4.0
25.64/18.83
26.95/20.14 num=115, depth=3..25, filters=10992370, revisions=(20911148,useless=13382721), ccks=12351576, wck=17.634, mem=66M889
26.95/20.14 decisions=218882, wrong=108594, backtracks=37325, failedAssignments=80565, nogoods=1405, foundSolutions=10, bestBound=4
26.95/20.14 nFilterCalls=5537014, avgTableProportion=0.7999999999174824, avgTableSize=4.0
26.95/20.14
28.44/21.67 num=116, depth=0..20, filters=12049824, revisions=(22902614,useless=14652406), ccks=13547429, wck=19.154, mem=74M737
28.44/21.67 decisions=240631, wrong=119467, backtracks=41540, failedAssignments=88462, nogoods=1421, foundSolutions=10, bestBound=4
28.44/21.67 nFilterCalls=6074126, avgTableProportion=0.7999999999083085, avgTableSize=4.0
28.44/21.67
30.24/23.44 num=117, depth=0..21, filters=13308168, revisions=(25199366,useless=16097059), ccks=14920125, wck=20.931, mem=85M201
30.24/23.44 decisions=264385, wrong=131342, backtracks=46454, failedAssignments=97149, nogoods=1434, foundSolutions=10, bestBound=4
30.24/23.44 nFilterCalls=6716040, avgTableProportion=0.7999999998992693, avgTableSize=4.0
30.24/23.44
32.14/25.39 num=118, depth=1..20, filters=14682806, revisions=(27772319,useless=17750877), ccks=16481243, wck=22.879, mem=95M665
32.14/25.39 decisions=291598, wrong=144947, backtracks=52304, failedAssignments=106704, nogoods=1457, foundSolutions=10, bestBound=4
32.14/25.39 nFilterCalls=7419060, avgTableProportion=0.7999999998911642, avgTableSize=4.0
32.14/25.39
34.44/27.64 num=119, depth=0..19, filters=16247840, revisions=(30749463,useless=19654726), ccks=18235718, wck=25.127, mem=108M745
34.44/27.64 decisions=321300, wrong=159796, backtracks=58287, failedAssignments=117215, nogoods=1481, foundSolutions=10, bestBound=4
34.44/27.64 nFilterCalls=8215027, avgTableProportion=0.799999999883662, avgTableSize=4.0
34.44/27.64
36.96/30.18 num=120, depth=0..19, filters=18013241, revisions=(34185695,useless=21892899), ccks=20192421, wck=27.666, mem=121M825
36.96/30.18 decisions=354661, wrong=176474, backtracks=65014, failedAssignments=128777, nogoods=1502, foundSolutions=10, bestBound=4
36.96/30.18 nFilterCalls=9114051, avgTableProportion=0.7999999998767643, avgTableSize=4.0
36.96/30.18
39.76/32.96 num=121, depth=0..23, filters=19958214, revisions=(37854555,useless=24249586), ccks=22317706, wck=30.448, mem=137M521
39.76/32.96 decisions=391069, wrong=194675, backtracks=72537, failedAssignments=141495, nogoods=1521, foundSolutions=10, bestBound=4
39.76/32.96 nFilterCalls=10105550, avgTableProportion=0.7999999998705803, avgTableSize=4.0
39.76/32.96
42.77/35.90 num=122, depth=0..21, filters=21969843, revisions=(41825253,useless=26835705), ccks=24641213, wck=33.392, mem=154M538
42.77/35.90 decisions=431031, wrong=214654, backtracks=80913, failedAssignments=155485, nogoods=1527, foundSolutions=10, bestBound=4
42.77/35.90 nFilterCalls=11135719, avgTableProportion=0.7999999999196801, avgTableSize=4.0
42.77/35.90
42.77/36.01
42.77/36.01 New Bounds: 4..3
42.88/36.01 num=123, depth=0..16, filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203, wck=33.495, mem=154M538
42.88/36.01 decisions=432429, wrong=215354, backtracks=81234, failedAssignments=155947, foundSolutions=10, bestBound=4
42.88/36.01 nFilterCalls=11170368, avgTableProportion=0.7999999999222402, avgTableSize=4.0
42.88/36.01
42.88/36.01 Global
42.88/36.01 filters=22036349, revisions=(41969422,useless=26933364), ccks=24726203
42.88/36.01 Stop=FULL_EXPLORATION, wrong=215354, bestBound=4, bestBoundWck=1.985, bestBoundCpu=3.8, foundSolutions=10, firstSolCpu=2.524
42.88/36.01 wck=34.152, cpu=35.947, mem=154M538
42.88/36.01
42.88/36.01 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>
42.88/36.01 s OPTIMUM FOUND
42.88/36.01
42.88/36.01 d WRONG_DECISIONS 215354
42.88/36.01 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 (14889 MiB free)
memory of node 1: 16384 MiB (15737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391135-1568391570/watcher-4391135-1568391570 -o /tmp/evaluation-result-4391135-1568391570/solver-4391135-1568391570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568389059-22410 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391135-1568391570.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23341, runsolver pid=23338
Current StackSize limit: 8192 KiB
[startup+0.100165 s]*
/proc/loadavg: 1.55 1.66 1.67 4/228 23356
/proc/meminfo: memFree=31345892/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10659884 memory=27684 CPUtime=0.14 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 5406 0 0 0 13 1 0 0 20 0 15 0 415410031 10915721216 6921 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2664971 6921 2901 1 0 2627468 0
[pid=23341/tid=23343] ppid=23338 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) R 23338 23341 22378 0 -1 4202560 3198 0 0 0 8 1 0 0 20 0 15 0 415410031 10915721216 6921 33554432000 4194304 4196468 140727768516304 140524007348496 140524003130774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10659884 memory=3544536475366704800 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523561203360 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523560150256 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 415410037 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) S 23338 23341 22378 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523556993392 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) R 23338 23341 22378 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 415410037 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523555940336 140523982520620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 6921 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27684 KiB
[startup+0.210629 s]*
/proc/loadavg: 1.55 1.66 1.67 3/228 23356
/proc/meminfo: memFree=31338388/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10659884 memory=35164 CPUtime=0.33 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 6933 0 0 0 31 2 0 0 20 0 15 0 415410031 10915721216 8791 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2664971 8791 2990 1 0 2627468 0
[pid=23341/tid=23343] ppid=23338 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) R 23338 23341 22378 0 -1 4202560 3854 0 0 0 19 1 0 0 20 0 15 0 415410031 10915721216 8791 33554432000 4194304 4196468 140727768516304 140524007345200 140524003140765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10659884 memory=140689469061141 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523561203360 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523560150256 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 805 0 0 0 4 0 0 0 20 0 15 0 415410037 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) S 23338 23341 22378 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 15 0 415410037 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523556993392 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0.05 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23341 22378 0 -1 1077944384 707 0 0 0 5 0 0 0 20 0 15 0 415410037 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523555940336 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 8791 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35164 KiB
[startup+0.310053 s]*
/proc/loadavg: 1.55 1.66 1.67 3/228 23356
/proc/meminfo: memFree=31330568/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10659884 memory=40552 CPUtime=0.47 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 9460 0 0 0 44 3 0 0 20 0 15 0 415410031 10915721216 10138 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2664971 10138 3003 1 0 2627468 0
[pid=23341/tid=23343] ppid=23338 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) R 23338 23341 22378 0 -1 4202560 6319 0 0 0 28 2 0 0 20 0 15 0 415410031 10915721216 10138 33554432000 4194304 4196468 140727768516304 140524007350640 140523987199326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10659884 memory=140689469061015 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410032 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523561203360 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415410034 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523560150256 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 821 0 0 0 4 0 0 0 20 0 15 0 415410037 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) R 23338 23341 22378 0 -1 4202560 235 0 0 0 3 0 0 0 20 0 15 0 415410037 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523556984896 140523996224556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0.07 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) R 23338 23341 22378 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 15 0 415410037 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523555940336 140524003130774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10659884 memory=140689465788032 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410037 10915721216 10138 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40552 KiB
[startup+0.700712 s]
/proc/loadavg: 1.59 1.66 1.68 3/228 23356
/proc/meminfo: memFree=31322516/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10661932 memory=63820 CPUtime=1.12 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 13093 0 0 0 107 5 0 0 20 0 15 0 415410031 10917818368 15955 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2665483 15955 3062 1 0 2627980 0
[pid=23341/tid=23343] ppid=23338 vsize=10661932 memory=39636 CPUtime=0.68 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) R 23338 23341 22378 0 -1 4202560 9043 0 0 0 65 3 0 0 20 0 15 0 415410031 10917818368 15955 33554432000 4194304 4196468 140727768516304 140524007350864 140523983390541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410032 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410034 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415410034 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523561203360 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10661932 memory=6 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415410034 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523560150256 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10661932 memory=22 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 1131 0 0 0 12 0 0 0 20 0 15 0 415410037 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10661932 memory=86 CPUtime=0.11 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) R 23338 23341 22378 0 -1 4202560 589 0 0 0 11 0 0 0 20 0 15 0 415410037 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523556993392 140523986619228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10661932 memory=6052 CPUtime=0.18 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23341 22378 0 -1 1077944384 971 0 0 0 18 0 0 0 20 0 15 0 415410037 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523555940336 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415410037 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410037 10917818368 15955 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63820 KiB
[startup+1.50072 s]
/proc/loadavg: 1.59 1.66 1.68 3/228 23356
/proc/meminfo: memFree=31305952/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10663980 memory=76236 CPUtime=2.01 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 18702 0 0 0 196 5 0 0 20 0 15 0 415410031 10919915520 19059 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2665995 19059 3095 1 0 2628492 0
[pid=23341/tid=23343] ppid=23338 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) R 23338 23341 22378 0 -1 4202560 13321 0 0 0 144 4 0 0 20 0 15 0 415410031 10919915520 19059 33554432000 4194304 4196468 140727768516304 140524007350864 140523987199326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10663980 memory=39636 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10919915520 19059 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10919915520 19059 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415410032 10919915520 19059 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415410032 10919915520 19059 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 415410034 10919915520 19059 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
################
# More data... #
################
[startup+33.6006 s]
/proc/loadavg: 1.75 1.69 1.69 3/230 23359
/proc/meminfo: memFree=31084160/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10748324 memory=288924 CPUtime=40.47 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 52140 0 0 0 4028 19 0 0 20 0 16 0 415410031 11006283776 72231 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2687081 72231 3374 1 0 2647217 0
[pid=23341/tid=23343] ppid=23338 vsize=10748324 memory=1388 CPUtime=1.86 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23341 22378 0 -1 1077944384 15590 0 0 0 180 6 0 0 20 0 16 0 415410031 11006283776 72231 33554432000 4194304 4196468 140727768516304 140524007361712 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10748324 memory=776 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10748324 memory=3972 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 927 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10748324 memory=8560 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 749 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10748324 memory=1668 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10748324 memory=1112 CPUtime=0.01 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 1446 0 0 0 1 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10748324 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523561203424 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10748324 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523560150272 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10748324 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10748324 memory=2124 CPUtime=2.89 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 9777 0 0 0 287 2 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10748324 memory=21784 CPUtime=2.99 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) S 23338 23341 22378 0 -1 1077944384 10037 0 0 0 298 1 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523556993392 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10748324 memory=11960 CPUtime=0.89 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23341 22378 0 -1 1077944384 5008 0 0 0 88 1 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523555940336 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10748324 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10748324 memory=39636 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23357] ppid=23338 vsize=10748324 memory=3028 CPUtime=31.64 cores=1,3,5,7
/proc/23341/task/23357/stat : 23357 (java) R 23338 23341 22378 0 -1 4202560 6790 0 0 0 3161 3 0 0 20 0 16 0 415410220 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523468863040 140523638163056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 40.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 288924 KiB
[startup+35.2006 s]
/proc/loadavg: 1.75 1.69 1.69 3/230 23359
/proc/meminfo: memFree=31084408/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10748324 memory=288924 CPUtime=42.07 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 52299 0 0 0 4188 19 0 0 20 0 16 0 415410031 11006283776 72231 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2687081 72231 3374 1 0 2647217 0
[pid=23341/tid=23343] ppid=23338 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23341 22378 0 -1 1077944384 15590 0 0 0 180 6 0 0 20 0 16 0 415410031 11006283776 72231 33554432000 4194304 4196468 140727768516304 140524007361712 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10748324 memory=1388 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 927 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10748324 memory=776 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 749 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10748324 memory=3972 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10748324 memory=288828 CPUtime=0.01 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 1449 0 0 0 1 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10748324 memory=39636 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523561203424 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10748324 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523560150272 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10748324 memory=7668064913509996085 CPUtime=2.89 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 9777 0 0 0 287 2 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10748324 memory=6791534058613427641 CPUtime=2.99 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) S 23338 23341 22378 0 -1 1077944384 10037 0 0 0 298 1 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523556993392 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10748324 memory=1560 CPUtime=0.89 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23341 22378 0 -1 1077944384 5008 0 0 0 88 1 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523555940336 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10748324 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23357] ppid=23338 vsize=10748324 memory=1980 CPUtime=33.24 cores=1,3,5,7
/proc/23341/task/23357/stat : 23357 (java) R 23338 23341 22378 0 -1 4202560 6907 0 0 0 3321 3 0 0 20 0 16 0 415410220 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523468863040 140523636989978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 42.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 288924 KiB
[startup+35.6006 s]
/proc/loadavg: 1.75 1.69 1.69 3/230 23359
/proc/meminfo: memFree=31084408/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10748324 memory=288924 CPUtime=42.47 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 52301 0 0 0 4228 19 0 0 20 0 16 0 415410031 11006283776 72231 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2687081 72231 3374 1 0 2647217 0
[pid=23341/tid=23343] ppid=23338 vsize=10748324 memory=2828 CPUtime=1.86 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23341 22378 0 -1 1077944384 15590 0 0 0 180 6 0 0 20 0 16 0 415410031 11006283776 72231 33554432000 4194304 4196468 140727768516304 140524007361712 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10748324 memory=676 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10748324 memory=1060 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 927 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10748324 memory=1548 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 749 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10748324 memory=301741382048153914 CPUtime=0.01 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 1449 0 0 0 1 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10748324 memory=14689699524512400 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523561203424 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10748324 memory=-6586668835053300886 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523560150272 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10748324 memory=6946866654921323415 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10748324 memory=4785180571215093856 CPUtime=2.89 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 9777 0 0 0 287 2 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10748324 memory=7510432583741839257 CPUtime=2.99 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) S 23338 23341 22378 0 -1 1077944384 10037 0 0 0 298 1 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523556993392 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10748324 memory=6946866654921323415 CPUtime=0.89 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) S 23338 23341 22378 0 -1 1077944384 5008 0 0 0 88 1 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523555940336 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10748324 memory=288828 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10748324 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23357] ppid=23338 vsize=10748324 memory=8560 CPUtime=33.64 cores=1,3,5,7
/proc/23341/task/23357/stat : 23357 (java) R 23338 23341 22378 0 -1 4202560 6909 0 0 0 3361 3 0 0 20 0 16 0 415410220 11006283776 72231 33554432000 4194304 4196468 140727768516304 140523468863040 140523637708629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 42.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 288924 KiB
[startup+36.0006 s]*
/proc/loadavg: 1.77 1.70 1.69 3/230 23359
/proc/meminfo: memFree=31091480/32770624 swapFree=66996928/67108860
[pid=23341] ppid=23338 vsize=10748324 memory=288928 CPUtime=42.88 cores=1,3,5,7
/proc/23341/stat : 23341 (java) S 23338 23341 22378 0 -1 1077944320 52735 0 0 0 4269 19 0 0 20 0 16 0 415410031 11006283776 72232 33554432000 4194304 4196468 140727768516304 140727768498848 140524003118839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
/proc/23341/statm: 2687081 72232 3374 1 0 2647217 0
[pid=23341/tid=23343] ppid=23338 vsize=10748324 memory=8317482817917895235 CPUtime=1.86 cores=1,3,5,7
/proc/23341/task/23343/stat : 23343 (java) S 23338 23341 22378 0 -1 1077944384 15590 0 0 0 180 6 0 0 20 0 16 0 415410031 11006283776 72232 33554432000 4194304 4196468 140727768516304 140524007361712 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23344] ppid=23338 vsize=10748324 memory=7523107478184158290 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23344/stat : 23344 (java) S 23338 23341 22378 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523955739152 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23345] ppid=23338 vsize=10748324 memory=7372783261932085870 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23345/stat : 23345 (java) S 23338 23341 22378 0 -1 1077944384 927 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523954686608 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23346] ppid=23338 vsize=10748324 memory=7810763844726514514 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23346/stat : 23346 (java) S 23338 23341 22378 0 -1 1077944384 749 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523953633552 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23347] ppid=23338 vsize=10748324 memory=7230638415889983575 CPUtime=0.02 cores=1,3,5,7
/proc/23341/task/23347/stat : 23347 (java) S 23338 23341 22378 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 16 0 415410032 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523952581008 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23348] ppid=23338 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23341/task/23348/stat : 23348 (java) S 23338 23341 22378 0 -1 1077944384 1449 0 0 0 1 0 0 0 20 0 16 0 415410034 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523562257136 140524003129986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23349] ppid=23338 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23349/stat : 23349 (java) S 23338 23341 22378 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523561203424 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23350] ppid=23338 vsize=10748324 memory=3472468984724093477 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23350/stat : 23350 (java) S 23338 23341 22378 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 415410034 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523560150272 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23351] ppid=23338 vsize=10748324 memory=281378609741104 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23351/stat : 23351 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523559098832 140524003137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23352] ppid=23338 vsize=10748324 memory=0 CPUtime=2.89 cores=1,3,5,7
/proc/23341/task/23352/stat : 23352 (java) S 23338 23341 22378 0 -1 1077944384 9778 0 0 0 287 2 0 0 20 0 16 0 415410037 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523558045936 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23353] ppid=23338 vsize=10748324 memory=0 CPUtime=2.99 cores=1,3,5,7
/proc/23341/task/23353/stat : 23353 (java) S 23338 23341 22378 0 -1 1077944384 10038 0 0 0 298 1 0 0 20 0 16 0 415410037 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523556993392 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23354] ppid=23338 vsize=10748324 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/23341/task/23354/stat : 23354 (java) R 23338 23341 22378 0 -1 4202560 5142 0 0 0 88 1 0 0 20 0 16 0 415410037 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523555940336 140523988814705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23355] ppid=23338 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23355/stat : 23355 (java) S 23338 23341 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523554888032 140524003129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23356] ppid=23338 vsize=10748324 memory=281378609739424 CPUtime=0 cores=1,3,5,7
/proc/23341/task/23356/stat : 23356 (java) S 23338 23341 22378 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 16 0 415410037 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523553836080 140524003129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
[pid=23341/tid=23357] ppid=23338 vsize=10748324 memory=65 CPUtime=34.05 cores=1,3,5,7
/proc/23341/task/23357/stat : 23357 (java) R 23338 23341 22378 0 -1 4202560 7303 0 0 0 3402 3 0 0 20 0 16 0 415410220 11006283776 72232 33554432000 4194304 4196468 140727768516304 140523468862928 140523633949515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24055808 140727768519691 140727768519794 140727768519794 140727768522703 0
Current children cumulated CPU time: 42.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 288928 KiB
Child status: 0
Real time (s): 36.0204
CPU time (s): 42.8984
CPU user time (s): 42.6989
CPU system time (s): 0.199536
CPU usage (%): 119.095
Max. virtual memory (cumulated for all children) (KiB): 10750912
Max. memory (cumulated for all children) (KiB): 288928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.6989
system time used= 0.199536
maximum resident set size= 289028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4247
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 23341
# total CPU time (s): 42.8984
# total CPU user time (s): 42.6989
# total CPU system time (s): 0.199536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.201951 second user time and 0.398225 second system time
The end