2.41/1.87
2.41/1.87 AbsCon 2
2.41/1.89
2.94/2.02 Instance
2.94/2.02 name=instance-4391017-1568385412, framework=COP, bounds=-infty..+infty
2.94/2.02
2.94/2.02 Loading variables...
2.94/2.05 Loading constraints...
3.18/2.11
3.18/2.11 Domains
3.18/2.11 nTypes=2, nValues=2520, sizes=[35#35,37#35]
3.18/2.11 Variables
3.18/2.11 count=70, degrees=[2#35,3#35]
3.18/2.11 Objectives
3.18/2.11 way=min, type=SumSimpleLE
3.18/2.11 Constraints
3.18/2.11 count=37, nSpecific=37, arities=[3#35,35#2]
3.18/2.11 distribution=[AllDifferent#1,CtrExtensionCT-Table#35,SumSimpleLE#1]
3.18/2.11 tables=[1190#35], nTotalTuples=41650
3.18/2.11 nExtStructures=(1,shared:34)
3.18/2.11 wck=0.271, cpu=2.079, mem=21M227
3.18/2.12 Solver SolverBacktrack being built...
3.18/2.12
3.18/2.14
3.18/2.14 Solver
3.18/2.14 guaranteedGAC=true
3.18/2.14 wck=0.299, cpu=2.106, mem=34M512
3.18/2.14
3.18/2.14 Preprocessing
3.18/2.14 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.18/2.14 wck=0.003, cpu=2.11, mem=34M512
3.18/2.14
3.18/2.17 o 251
3.18/2.17 num=0, depth=71..69, filters=334, ccks=37, wck=0.032, mem=34M512
3.18/2.17 decisions=34, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=251
3.18/2.17 nFilterCalls=697, avgTableProportion=0.999159663865538, avgTableSize=1189.0
3.18/2.17
3.44/2.20 num=1, depth=29..32, filters=788, ccks=37, wck=0.049, mem=34M512
3.44/2.20 decisions=93, wrong=14, backtracks=3, failedAssignments=11, nogoods=9, foundSolutions=1, bestBound=251
3.44/2.20 nFilterCalls=1462, avgTableProportion=0.9991596638655513, avgTableSize=1189.0
3.44/2.20
3.44/2.20 o 240
3.44/2.20 num=2, depth=71..69, filters=1117, ccks=74, wck=0.06, mem=34M512
3.44/2.20 decisions=127, wrong=14, backtracks=3, failedAssignments=11, nogoods=9, foundSolutions=2, bestBound=240
3.44/2.20 nFilterCalls=2124, avgTableProportion=0.9991596638655702, avgTableSize=1189.0
3.44/2.20
3.44/2.21 num=3, depth=29..31, filters=1597, ccks=74, wck=0.068, mem=34M512
3.44/2.21 decisions=188, wrong=29, backtracks=7, failedAssignments=23, nogoods=16, foundSolutions=2, bestBound=240
3.44/2.21 nFilterCalls=2917, avgTableProportion=0.9991596638655815, avgTableSize=1189.0
3.44/2.21
3.44/2.21 o 168
3.44/2.22 num=4, depth=71..69, filters=1924, ccks=111, wck=0.076, mem=34M512
3.44/2.22 decisions=223, wrong=29, backtracks=7, failedAssignments=23, nogoods=16, foundSolutions=3, bestBound=168
3.44/2.22 nFilterCalls=3552, avgTableProportion=0.999159663865587, avgTableSize=1189.0
3.44/2.22
3.44/2.22 num=5, depth=24..27, filters=2398, ccks=111, wck=0.084, mem=34M512
3.44/2.22 decisions=281, wrong=45, backtracks=11, failedAssignments=35, nogoods=20, foundSolutions=3, bestBound=168
3.44/2.22 nFilterCalls=4324, avgTableProportion=0.9991596638655913, avgTableSize=1189.0
3.44/2.22
3.44/2.24 num=6, depth=13..17, filters=3028, ccks=111, wck=0.095, mem=34M512
3.44/2.24 decisions=328, wrong=61, backtracks=16, failedAssignments=46, nogoods=24, foundSolutions=3, bestBound=168
3.44/2.24 nFilterCalls=5368, avgTableProportion=0.9991596638655953, avgTableSize=1189.0
3.44/2.24
3.44/2.24 num=7, depth=15..18, filters=3534, ccks=111, wck=0.105, mem=34M512
3.44/2.24 decisions=372, wrong=75, backtracks=18, failedAssignments=58, nogoods=34, foundSolutions=3, bestBound=168
3.44/2.24 nFilterCalls=6208, avgTableProportion=0.9991596638655976, avgTableSize=1189.0
3.44/2.24
3.44/2.25 num=8, depth=17..20, filters=4178, ccks=111, wck=0.115, mem=34M512
3.44/2.25 decisions=424, wrong=92, backtracks=22, failedAssignments=71, nogoods=40, foundSolutions=3, bestBound=168
3.44/2.25 nFilterCalls=7258, avgTableProportion=0.9991596638655996, avgTableSize=1189.0
3.44/2.25
3.44/2.27 num=9, depth=12..15, filters=5096, ccks=111, wck=0.128, mem=34M512
3.44/2.27 decisions=485, wrong=115, backtracks=31, failedAssignments=85, nogoods=42, foundSolutions=3, bestBound=168
3.44/2.27 nFilterCalls=8599, avgTableProportion=0.9991596638655592, avgTableSize=1189.0
3.44/2.27
3.44/2.28 num=10, depth=17..19, filters=5826, ccks=111, wck=0.14, mem=37M154
3.44/2.28 decisions=550, wrong=139, backtracks=39, failedAssignments=101, nogoods=53, foundSolutions=3, bestBound=168
3.44/2.28 nFilterCalls=9675, avgTableProportion=0.9991596638654638, avgTableSize=1189.0
3.44/2.28
3.44/2.29 num=11, depth=10..15, filters=6834, ccks=111, wck=0.153, mem=37M154
3.44/2.29 decisions=619, wrong=167, backtracks=50, failedAssignments=118, nogoods=62, foundSolutions=3, bestBound=168
3.44/2.29 nFilterCalls=11177, avgTableProportion=0.9991596638653616, avgTableSize=1189.0
3.44/2.29
3.77/2.30 num=12, depth=16..19, filters=7439, ccks=111, wck=0.161, mem=37M154
3.77/2.30 decisions=681, wrong=190, backtracks=55, failedAssignments=137, nogoods=66, foundSolutions=3, bestBound=168
3.77/2.30 nFilterCalls=12181, avgTableProportion=0.9991596638653072, avgTableSize=1189.0
3.77/2.30
3.77/2.31 num=13, depth=18..21, filters=8184, ccks=111, wck=0.169, mem=37M154
3.77/2.31 decisions=761, wrong=220, backtracks=64, failedAssignments=158, nogoods=69, foundSolutions=3, bestBound=168
3.77/2.31 nFilterCalls=13276, avgTableProportion=0.9991596638652573, avgTableSize=1189.0
3.77/2.31
3.77/2.32 num=14, depth=15..19, filters=8942, ccks=111, wck=0.178, mem=37M154
3.77/2.32 decisions=833, wrong=247, backtracks=68, failedAssignments=181, nogoods=73, foundSolutions=3, bestBound=168
3.77/2.32 nFilterCalls=14416, avgTableProportion=0.9991596638652135, avgTableSize=1189.0
3.77/2.32
3.77/2.33 num=15, depth=15..19, filters=9726, ccks=111, wck=0.186, mem=37M154
3.77/2.33 decisions=911, wrong=277, backtracks=73, failedAssignments=206, nogoods=83, foundSolutions=3, bestBound=168
3.77/2.33 nFilterCalls=15558, avgTableProportion=0.999159663865176, avgTableSize=1189.0
3.77/2.33
3.77/2.33 num=16, depth=17..19, filters=10471, ccks=111, wck=0.195, mem=37M154
3.77/2.33 decisions=1000, wrong=313, backtracks=81, failedAssignments=234, nogoods=87, foundSolutions=3, bestBound=168
3.77/2.33 nFilterCalls=16712, avgTableProportion=0.9991596638651433, avgTableSize=1189.0
3.77/2.33
3.77/2.35 num=17, depth=13..18, filters=11948, ccks=111, wck=0.208, mem=37M154
3.77/2.35 decisions=1100, wrong=356, backtracks=93, failedAssignments=265, nogoods=90, foundSolutions=3, bestBound=168
3.77/2.35 nFilterCalls=18935, avgTableProportion=0.9991596638650915, avgTableSize=1189.0
3.77/2.35
3.77/2.36 num=18, depth=20..24, filters=13085, ccks=111, wck=0.22, mem=39M797
3.77/2.36 decisions=1219, wrong=405, backtracks=108, failedAssignments=299, nogoods=106, foundSolutions=3, bestBound=168
3.77/2.36 nFilterCalls=20471, avgTableProportion=0.9991596638650623, avgTableSize=1189.0
3.77/2.36
3.77/2.37 num=19, depth=14..21, filters=14087, ccks=111, wck=0.23, mem=39M797
3.77/2.37 decisions=1339, wrong=456, backtracks=123, failedAssignments=336, nogoods=114, foundSolutions=3, bestBound=168
3.77/2.37 nFilterCalls=22026, avgTableProportion=0.999159663865037, avgTableSize=1189.0
3.77/2.37
3.77/2.38 num=20, depth=17..21, filters=15375, ccks=111, wck=0.242, mem=39M797
3.77/2.38 decisions=1462, wrong=507, backtracks=133, failedAssignments=377, nogoods=121, foundSolutions=3, bestBound=168
3.77/2.38 nFilterCalls=23819, avgTableProportion=0.9991596638650118, avgTableSize=1189.0
3.77/2.38
4.08/2.40 num=21, depth=13..21, filters=17148, ccks=111, wck=0.259, mem=39M797
4.08/2.40 decisions=1611, wrong=572, backtracks=153, failedAssignments=422, nogoods=126, foundSolutions=3, bestBound=168
4.08/2.40 nFilterCalls=26526, avgTableProportion=0.9991596638649802, avgTableSize=1189.0
4.08/2.40
4.08/2.42 num=22, depth=18..22, filters=18710, ccks=111, wck=0.272, mem=39M797
4.08/2.42 decisions=1779, wrong=646, backtracks=177, failedAssignments=472, nogoods=136, foundSolutions=3, bestBound=168
4.08/2.42 nFilterCalls=28636, avgTableProportion=0.9991596638649597, avgTableSize=1189.0
4.08/2.42
4.08/2.44 num=23, depth=17..21, filters=20197, ccks=111, wck=0.295, mem=42M439
4.08/2.44 decisions=1940, wrong=718, backtracks=194, failedAssignments=527, nogoods=143, foundSolutions=3, bestBound=168
4.08/2.44 nFilterCalls=30633, avgTableProportion=0.9991596638649429, avgTableSize=1189.0
4.08/2.44
4.08/2.45 num=24, depth=21..25, filters=22168, ccks=111, wck=0.31, mem=42M439
4.08/2.45 decisions=2143, wrong=808, backtracks=223, failedAssignments=588, nogoods=149, foundSolutions=3, bestBound=168
4.08/2.45 nFilterCalls=33256, avgTableProportion=0.999159663864924, avgTableSize=1189.0
4.08/2.45
4.08/2.47 num=25, depth=13..19, filters=24138, ccks=111, wck=0.326, mem=42M439
4.08/2.47 decisions=2337, wrong=897, backtracks=245, failedAssignments=655, nogoods=170, foundSolutions=3, bestBound=168
4.08/2.47 nFilterCalls=35824, avgTableProportion=0.9991596638649082, avgTableSize=1189.0
4.08/2.47
4.08/2.48 num=26, depth=17..21, filters=26299, ccks=111, wck=0.342, mem=42M439
4.08/2.48 decisions=2560, wrong=999, backtracks=273, failedAssignments=729, nogoods=180, foundSolutions=3, bestBound=168
4.08/2.48 nFilterCalls=38653, avgTableProportion=0.9991596638648932, avgTableSize=1189.0
4.08/2.48
4.38/2.50 num=27, depth=20..24, filters=28708, ccks=111, wck=0.359, mem=45M82
4.38/2.50 decisions=2825, wrong=1121, backtracks=314, failedAssignments=810, nogoods=186, foundSolutions=3, bestBound=168
4.38/2.50 nFilterCalls=41625, avgTableProportion=0.9991596638648795, avgTableSize=1189.0
4.38/2.50
4.38/2.52 num=28, depth=20..24, filters=31146, ccks=111, wck=0.376, mem=45M82
4.38/2.52 decisions=3078, wrong=1237, backtracks=341, failedAssignments=899, nogoods=193, foundSolutions=3, bestBound=168
4.38/2.52 nFilterCalls=44666, avgTableProportion=0.9991596638648674, avgTableSize=1189.0
4.38/2.52
4.38/2.54 num=29, depth=16..21, filters=33934, ccks=111, wck=0.397, mem=47M724
4.38/2.54 decisions=3356, wrong=1367, backtracks=373, failedAssignments=997, nogoods=198, foundSolutions=3, bestBound=168
4.38/2.54 nFilterCalls=48127, avgTableProportion=0.9991596638648556, avgTableSize=1189.0
4.38/2.54
4.38/2.56 num=30, depth=18..23, filters=36709, ccks=111, wck=0.416, mem=47M724
4.38/2.56 decisions=3692, wrong=1525, backtracks=424, failedAssignments=1105, nogoods=203, foundSolutions=3, bestBound=168
4.38/2.56 nFilterCalls=51735, avgTableProportion=0.9991596638648449, avgTableSize=1189.0
4.38/2.56
4.38/2.58 num=31, depth=14..22, filters=40017, ccks=111, wck=0.436, mem=47M724
4.38/2.58 decisions=4032, wrong=1685, backtracks=465, failedAssignments=1224, nogoods=216, foundSolutions=3, bestBound=168
4.38/2.58 nFilterCalls=55941, avgTableProportion=0.9991596638648342, avgTableSize=1189.0
4.38/2.58
4.57/2.60 num=32, depth=16..23, filters=44568, ccks=111, wck=0.462, mem=50M367
4.57/2.60 decisions=4442, wrong=1881, backtracks=535, failedAssignments=1355, nogoods=228, foundSolutions=3, bestBound=168
4.57/2.60 nFilterCalls=61718, avgTableProportion=0.9991596638648219, avgTableSize=1189.0
4.57/2.60
4.57/2.63 num=33, depth=19..24, filters=49864, ccks=111, wck=0.491, mem=53M9
4.57/2.63 decisions=4922, wrong=2110, backtracks=620, failedAssignments=1499, nogoods=234, foundSolutions=3, bestBound=168
4.57/2.63 nFilterCalls=67989, avgTableProportion=0.9991596638650675, avgTableSize=1189.0
4.57/2.63
4.57/2.66 num=34, depth=16..22, filters=55076, ccks=111, wck=0.523, mem=53M9
4.57/2.66 decisions=5383, wrong=2332, backtracks=689, failedAssignments=1657, nogoods=247, foundSolutions=3, bestBound=168
4.57/2.66 nFilterCalls=74389, avgTableProportion=0.999159663865662, avgTableSize=1189.0
4.57/2.66
4.57/2.69 num=35, depth=14..20, filters=59643, ccks=111, wck=0.553, mem=55M651
4.57/2.69 decisions=5892, wrong=2578, backtracks=763, failedAssignments=1831, nogoods=275, foundSolutions=3, bestBound=168
4.57/2.69 nFilterCalls=80046, avgTableProportion=0.9991596638661084, avgTableSize=1189.0
4.57/2.69
4.69/2.73 num=36, depth=19..25, filters=66769, ccks=111, wck=0.59, mem=58M294
4.69/2.73 decisions=6481, wrong=2861, backtracks=856, failedAssignments=2022, nogoods=281, foundSolutions=3, bestBound=168
4.69/2.73 nFilterCalls=88001, avgTableProportion=0.9991596638666391, avgTableSize=1189.0
4.69/2.73
4.69/2.77 num=37, depth=15..21, filters=74507, ccks=111, wck=0.634, mem=60M936
4.69/2.77 decisions=7104, wrong=3164, backtracks=951, failedAssignments=2233, nogoods=294, foundSolutions=3, bestBound=168
4.69/2.77 nFilterCalls=97314, avgTableProportion=0.99915966386715, avgTableSize=1189.0
4.69/2.77
4.79/2.81 num=38, depth=19..25, filters=81578, ccks=111, wck=0.671, mem=60M936
4.79/2.81 decisions=7822, wrong=3512, backtracks=1070, failedAssignments=2465, nogoods=318, foundSolutions=3, bestBound=168
4.79/2.81 nFilterCalls=105472, avgTableProportion=0.9991596638675235, avgTableSize=1189.0
4.79/2.81
4.79/2.85 num=39, depth=16..23, filters=88609, ccks=111, wck=0.713, mem=66M221
4.79/2.85 decisions=8512, wrong=3847, backtracks=1151, failedAssignments=2720, nogoods=341, foundSolutions=3, bestBound=168
4.79/2.85 nFilterCalls=113704, avgTableProportion=0.999159663867846, avgTableSize=1189.0
4.79/2.85
4.90/2.90 num=40, depth=18..27, filters=97509, ccks=111, wck=0.762, mem=68M864
4.90/2.90 decisions=9342, wrong=4251, backtracks=1277, failedAssignments=3001, nogoods=349, foundSolutions=3, bestBound=168
4.90/2.90 nFilterCalls=123769, avgTableProportion=0.9991596638681821, avgTableSize=1189.0
4.90/2.90
4.90/2.94 num=41, depth=16..21, filters=104308, ccks=111, wck=0.803, mem=71M506
4.90/2.94 decisions=10127, wrong=4635, backtracks=1355, failedAssignments=3310, nogoods=356, foundSolutions=3, bestBound=168
4.90/2.94 nFilterCalls=131527, avgTableProportion=0.999159663868368, avgTableSize=1189.0
4.90/2.94
4.90/3.00 num=42, depth=18..25, filters=115109, ccks=111, wck=0.863, mem=74M149
4.90/3.00 decisions=11167, wrong=5146, backtracks=1530, failedAssignments=3650, nogoods=358, foundSolutions=3, bestBound=168
4.90/3.00 nFilterCalls=143551, avgTableProportion=0.9991596638674515, avgTableSize=1189.0
4.90/3.00
5.05/3.07 num=43, depth=17..23, filters=126614, ccks=111, wck=0.93, mem=76M791
5.05/3.07 decisions=12254, wrong=5679, backtracks=1694, failedAssignments=4024, nogoods=370, foundSolutions=3, bestBound=168
5.05/3.07 nFilterCalls=156326, avgTableProportion=0.9991596638666322, avgTableSize=1189.0
5.05/3.07
5.17/3.14 num=44, depth=16..24, filters=138840, ccks=111, wck=1.001, mem=82M76
5.17/3.14 decisions=13510, wrong=6297, backtracks=1904, failedAssignments=4435, nogoods=376, foundSolutions=3, bestBound=168
5.17/3.14 nFilterCalls=171861, avgTableProportion=0.9991596638658001, avgTableSize=1189.0
5.17/3.14
5.29/3.22 num=45, depth=21..26, filters=155012, ccks=111, wck=1.082, mem=84M718
5.29/3.22 decisions=14843, wrong=6952, backtracks=2108, failedAssignments=4887, nogoods=392, foundSolutions=3, bestBound=168
5.29/3.22 nFilterCalls=189242, avgTableProportion=0.9991596638650311, avgTableSize=1189.0
5.29/3.22
5.41/3.32 num=46, depth=10..17, filters=171974, ccks=111, wck=1.182, mem=92M646
5.41/3.32 decisions=16152, wrong=7600, backtracks=2262, failedAssignments=5384, nogoods=414, foundSolutions=3, bestBound=168
5.41/3.32 nFilterCalls=209183, avgTableProportion=0.9991596638643061, avgTableSize=1189.0
5.41/3.32
5.53/3.40 num=47, depth=20..24, filters=186497, ccks=111, wck=1.262, mem=97M930
5.53/3.40 decisions=17659, wrong=8343, backtracks=2461, failedAssignments=5931, nogoods=439, foundSolutions=3, bestBound=168
5.53/3.40 nFilterCalls=224662, avgTableProportion=0.9991596638638321, avgTableSize=1189.0
5.53/3.40
5.53/3.47 num=48, depth=21..28, filters=202095, ccks=111, wck=1.335, mem=103M215
5.53/3.47 decisions=19282, wrong=9142, backtracks=2668, failedAssignments=6533, nogoods=453, foundSolutions=3, bestBound=168
5.53/3.47 nFilterCalls=240853, avgTableProportion=0.9991596638634015, avgTableSize=1189.0
5.53/3.47
5.63/3.58 num=49, depth=16..22, filters=220121, ccks=111, wck=1.44, mem=108M500
5.63/3.58 decisions=21165, wrong=10075, backtracks=2946, failedAssignments=7195, nogoods=457, foundSolutions=3, bestBound=168
5.63/3.58 nFilterCalls=263539, avgTableProportion=0.9991596638628872, avgTableSize=1189.0
5.63/3.58
5.85/3.70 num=50, depth=17..25, filters=241268, ccks=111, wck=1.558, mem=116M428
5.85/3.70 decisions=23327, wrong=11146, backtracks=3297, failedAssignments=7923, nogoods=464, foundSolutions=3, bestBound=168
5.85/3.70 nFilterCalls=288017, avgTableProportion=0.9991596638624232, avgTableSize=1189.0
5.85/3.70
5.95/3.85 num=51, depth=17..26, filters=269351, ccks=111, wck=1.708, mem=124M355
5.95/3.85 decisions=25777, wrong=12359, backtracks=3714, failedAssignments=8724, nogoods=475, foundSolutions=3, bestBound=168
5.95/3.85 nFilterCalls=319700, avgTableProportion=0.999159663861928, avgTableSize=1189.0
5.95/3.85
6.05/3.97 num=52, depth=16..23, filters=292685, ccks=111, wck=1.831, mem=132M282
6.05/3.97 decisions=28268, wrong=13595, backtracks=4071, failedAssignments=9605, nogoods=488, foundSolutions=3, bestBound=168
6.05/3.97 nFilterCalls=345150, avgTableProportion=0.999159663861596, avgTableSize=1189.0
6.05/3.97
6.26/4.12 num=53, depth=17..23, filters=318349, ccks=111, wck=1.974, mem=140M210
6.26/4.12 decisions=31004, wrong=14953, backtracks=4462, failedAssignments=10575, nogoods=506, foundSolutions=3, bestBound=168
6.26/4.12 nFilterCalls=374357, avgTableProportion=0.9991596638612708, avgTableSize=1189.0
6.26/4.12
6.48/4.30 num=54, depth=14..21, filters=348860, ccks=111, wck=2.162, mem=31M488
6.48/4.30 decisions=33848, wrong=16367, backtracks=4814, failedAssignments=11642, nogoods=519, foundSolutions=3, bestBound=168
6.48/4.30 nFilterCalls=409343, avgTableProportion=0.9991596638609422, avgTableSize=1189.0
6.48/4.30
6.58/4.49 num=55, depth=19..26, filters=387282, ccks=111, wck=2.35, mem=41M952
6.58/4.49 decisions=37419, wrong=18141, backtracks=5419, failedAssignments=12815, nogoods=536, foundSolutions=3, bestBound=168
6.58/4.49 nFilterCalls=450916, avgTableProportion=0.999159663860618, avgTableSize=1189.0
6.58/4.49
6.78/4.69 num=56, depth=16..23, filters=425148, ccks=111, wck=2.55, mem=55M32
6.78/4.69 decisions=41074, wrong=19958, backtracks=5946, failedAssignments=14106, nogoods=554, foundSolutions=3, bestBound=168
6.78/4.69 nFilterCalls=493681, avgTableProportion=0.9991596638603416, avgTableSize=1189.0
6.78/4.69
7.08/4.91 num=57, depth=17..26, filters=469202, ccks=111, wck=2.769, mem=70M728
7.08/4.91 decisions=45102, wrong=21961, backtracks=6551, failedAssignments=15526, nogoods=566, foundSolutions=3, bestBound=168
7.08/4.91 nFilterCalls=539999, avgTableProportion=0.9991596638617376, avgTableSize=1189.0
7.08/4.91
7.30/5.12 num=58, depth=20..27, filters=513618, ccks=111, wck=2.982, mem=83M808
7.30/5.12 decisions=49505, wrong=24151, backtracks=7199, failedAssignments=17088, nogoods=589, foundSolutions=3, bestBound=168
7.30/5.12 nFilterCalls=585490, avgTableProportion=0.9991596638659253, avgTableSize=1189.0
7.30/5.12
7.49/5.36 num=59, depth=20..27, filters=561197, ccks=111, wck=3.22, mem=99M504
7.49/5.36 decisions=54301, wrong=26538, backtracks=7874, failedAssignments=18806, nogoods=621, foundSolutions=3, bestBound=168
7.49/5.36 nFilterCalls=636173, avgTableProportion=0.9991596638698855, avgTableSize=1189.0
7.49/5.36
7.79/5.64 num=60, depth=15..25, filters=611232, ccks=111, wck=3.495, mem=117M816
7.79/5.64 decisions=59589, wrong=29173, backtracks=8636, failedAssignments=20696, nogoods=645, foundSolutions=3, bestBound=168
7.79/5.64 nFilterCalls=694016, avgTableProportion=0.9991596638736985, avgTableSize=1189.0
7.79/5.64
8.09/5.93 num=61, depth=16..25, filters=667436, ccks=111, wck=3.788, mem=136M128
8.09/5.93 decisions=65674, wrong=32205, backtracks=9605, failedAssignments=22775, nogoods=673, foundSolutions=3, bestBound=168
8.09/5.93 nFilterCalls=756846, avgTableProportion=0.9991596638771798, avgTableSize=1189.0
8.09/5.93
8.51/6.30 num=62, depth=18..26, filters=746509, ccks=111, wck=4.161, mem=26M274
8.51/6.30 decisions=72328, wrong=35520, backtracks=10650, failedAssignments=25062, nogoods=686, foundSolutions=3, bestBound=168
8.51/6.30 nFilterCalls=839271, avgTableProportion=0.9991596638809563, avgTableSize=1189.0
8.51/6.30
8.92/6.70 num=63, depth=15..23, filters=821263, ccks=111, wck=4.563, mem=49M901
8.92/6.70 decisions=79407, wrong=39050, backtracks=11678, failedAssignments=27578, nogoods=710, foundSolutions=3, bestBound=168
8.92/6.70 nFilterCalls=927663, avgTableProportion=0.9991596638842606, avgTableSize=1189.0
8.92/6.70
9.23/7.09 num=64, depth=17..24, filters=895357, ccks=111, wck=4.951, mem=73M529
9.23/7.09 decisions=87058, wrong=42865, backtracks=12747, failedAssignments=30346, nogoods=725, foundSolutions=3, bestBound=168
9.23/7.09 nFilterCalls=1011066, avgTableProportion=0.9991596638868486, avgTableSize=1189.0
9.23/7.09
9.72/7.56 num=65, depth=17..25, filters=989174, ccks=111, wck=5.419, mem=107M657
9.72/7.56 decisions=95425, wrong=47038, backtracks=13907, failedAssignments=33390, nogoods=739, foundSolutions=3, bestBound=168
9.72/7.56 nFilterCalls=1109792, avgTableProportion=0.9991596638894094, avgTableSize=1189.0
9.72/7.56
10.33/8.14 num=66, depth=13..23, filters=1085418, ccks=111, wck=5.998, mem=152M286
10.33/8.14 decisions=104548, wrong=51591, backtracks=15120, failedAssignments=36739, nogoods=757, foundSolutions=3, bestBound=168
10.33/8.14 nFilterCalls=1225761, avgTableProportion=0.9991596638918905, avgTableSize=1189.0
10.33/8.14
10.86/8.61 num=67, depth=15..24, filters=1170757, ccks=111, wck=6.475, mem=56M107
10.86/8.61 decisions=114209, wrong=56413, backtracks=16303, failedAssignments=40423, nogoods=775, foundSolutions=3, bestBound=168
10.86/8.61 nFilterCalls=1321600, avgTableProportion=0.9991596638936123, avgTableSize=1189.0
10.86/8.61
11.39/9.13 num=68, depth=19..27, filters=1272177, ccks=111, wck=6.986, mem=91M190
11.39/9.13 decisions=125630, wrong=62112, backtracks=18015, failedAssignments=44475, nogoods=816, foundSolutions=3, bestBound=168
11.39/9.13 nFilterCalls=1427945, avgTableProportion=0.9991596638952523, avgTableSize=1189.0
11.39/9.13
11.99/9.77 num=69, depth=17..25, filters=1397746, ccks=111, wck=7.632, mem=136M798
11.99/9.77 decisions=137849, wrong=68212, backtracks=19717, failedAssignments=48932, nogoods=845, foundSolutions=3, bestBound=168
11.99/9.77 nFilterCalls=1565047, avgTableProportion=0.9991596638970379, avgTableSize=1189.0
11.99/9.77
12.69/10.47 num=70, depth=19..27, filters=1538636, ccks=111, wck=8.329, mem=178M898
12.69/10.47 decisions=151955, wrong=75253, backtracks=21940, failedAssignments=53835, nogoods=880, foundSolutions=3, bestBound=168
12.69/10.47 nFilterCalls=1709923, avgTableProportion=0.9991596638986134, avgTableSize=1189.0
12.69/10.47
13.32/11.09 num=71, depth=21..28, filters=1672597, ccks=111, wck=8.951, mem=49M199
13.32/11.09 decisions=166719, wrong=82623, backtracks=23964, failedAssignments=59229, nogoods=906, foundSolutions=3, bestBound=168
13.32/11.09 nFilterCalls=1846339, avgTableProportion=0.999159663899871, avgTableSize=1189.0
13.32/11.09
14.22/11.98 num=72, depth=18..27, filters=1865469, ccks=111, wck=9.841, mem=101M902
14.22/11.98 decisions=184397, wrong=91450, backtracks=26920, failedAssignments=65162, nogoods=933, foundSolutions=3, bestBound=168
14.22/11.98 nFilterCalls=2044964, avgTableProportion=0.9991596639014021, avgTableSize=1189.0
14.22/11.98
15.23/12.99 num=73, depth=17..23, filters=2048158, ccks=111, wck=10.847, mem=175M696
15.23/12.99 decisions=201958, wrong=100221, backtracks=29183, failedAssignments=71688, nogoods=954, foundSolutions=3, bestBound=168
15.23/12.99 nFilterCalls=2242123, avgTableProportion=0.9991596639026534, avgTableSize=1189.0
15.23/12.99
16.28/13.90 num=74, depth=19..30, filters=2235532, ccks=111, wck=11.757, mem=63M185
16.28/13.90 decisions=222343, wrong=110401, backtracks=32300, failedAssignments=78867, nogoods=985, foundSolutions=3, bestBound=168
16.28/13.90 nFilterCalls=2437453, avgTableProportion=0.9991596639036937, avgTableSize=1189.0
16.28/13.90
17.49/15.11 num=75, depth=15..24, filters=2465792, ccks=111, wck=12.968, mem=138M19
17.49/15.11 decisions=243877, wrong=121158, backtracks=35234, failedAssignments=86764, nogoods=1004, foundSolutions=3, bestBound=168
17.49/15.11 nFilterCalls=2690731, avgTableProportion=0.9991596639048177, avgTableSize=1189.0
17.49/15.11
18.39/16.06 num=76, depth=21..30, filters=2686036, ccks=111, wck=13.921, mem=203M498
18.39/16.06 decisions=266804, wrong=132609, backtracks=38211, failedAssignments=95451, nogoods=1017, foundSolutions=3, bestBound=168
18.39/16.06 nFilterCalls=2904774, avgTableProportion=0.9991596639056147, avgTableSize=1189.0
18.39/16.06
19.91/17.58 num=77, depth=19..27, filters=2992309, ccks=111, wck=15.439, mem=68M72
19.91/17.58 decisions=294899, wrong=146646, backtracks=42809, failedAssignments=105006, nogoods=1050, foundSolutions=3, bestBound=168
19.91/17.58 nFilterCalls=3230776, avgTableProportion=0.9991596639066257, avgTableSize=1189.0
19.91/17.58
21.52/19.15 num=78, depth=12..23, filters=3281995, ccks=111, wck=17.009, mem=166M597
21.52/19.15 decisions=323553, wrong=160965, backtracks=46684, failedAssignments=115517, nogoods=1091, foundSolutions=3, bestBound=168
21.52/19.15 nFilterCalls=3551974, avgTableProportion=0.9991596639074403, avgTableSize=1189.0
21.52/19.15
23.47/21.04 num=79, depth=14..24, filters=3639796, ccks=111, wck=18.903, mem=64M187
23.47/21.04 decisions=354531, wrong=176444, backtracks=50712, failedAssignments=127079, nogoods=1117, foundSolutions=3, bestBound=168
23.47/21.04 nFilterCalls=3943870, avgTableProportion=0.9991596639082545, avgTableSize=1189.0
23.47/21.04
25.16/22.80 num=80, depth=18..26, filters=3987921, ccks=111, wck=20.656, mem=180M898
25.16/22.80 decisions=390853, wrong=194594, backtracks=56323, failedAssignments=139797, nogoods=1129, foundSolutions=3, bestBound=168
25.16/22.80 nFilterCalls=4315344, avgTableProportion=0.9991596639088897, avgTableSize=1189.0
25.16/22.80
27.25/24.88 num=81, depth=16..26, filters=4385478, ccks=111, wck=22.736, mem=303M753
27.25/24.88 decisions=429910, wrong=214113, backtracks=61983, failedAssignments=153787, nogoods=1151, foundSolutions=3, bestBound=168
27.25/24.88 nFilterCalls=4746976, avgTableProportion=0.999159663909503, avgTableSize=1189.0
27.25/24.88
29.89/27.43 num=82, depth=16..25, filters=4861997, ccks=111, wck=25.293, mem=176M3
29.89/27.43 decisions=475974, wrong=237135, backtracks=69704, failedAssignments=169176, nogoods=1179, foundSolutions=3, bestBound=168
29.89/27.43 nFilterCalls=5283840, avgTableProportion=0.9991596639101259, avgTableSize=1189.0
29.89/27.43
32.93/30.48 num=83, depth=16..25, filters=5417814, ccks=111, wck=28.343, mem=71M609
32.93/30.48 decisions=527302, wrong=262789, backtracks=78530, failedAssignments=186104, nogoods=1210, foundSolutions=3, bestBound=168
32.93/30.48 nFilterCalls=5919892, avgTableProportion=0.9991596639107178, avgTableSize=1189.0
32.93/30.48
35.83/33.35 num=84, depth=19..29, filters=6022612, ccks=111, wck=31.209, mem=273M289
35.83/33.35 decisions=580024, wrong=289139, backtracks=86392, failedAssignments=204725, nogoods=1234, foundSolutions=3, bestBound=168
35.83/33.35 nFilterCalls=6538287, avgTableProportion=0.9991596639111827, avgTableSize=1189.0
35.83/33.35
38.46/35.93 num=85, depth=18..27, filters=6545692, ccks=111, wck=33.787, mem=98M44
38.46/35.93 decisions=637153, wrong=317693, backtracks=94700, failedAssignments=225209, nogoods=1274, foundSolutions=3, bestBound=168
38.46/35.93 nFilterCalls=7086919, avgTableProportion=0.9991596639115273, avgTableSize=1189.0
38.46/35.93
41.57/39.03 num=86, depth=18..28, filters=7159381, ccks=111, wck=36.886, mem=328M611
41.57/39.03 decisions=698469, wrong=348340, backtracks=103062, failedAssignments=247741, nogoods=1303, foundSolutions=3, bestBound=168
41.57/39.03 nFilterCalls=7717002, avgTableProportion=0.9991596639118626, avgTableSize=1189.0
41.57/39.03
45.60/43.04 num=87, depth=15..26, filters=7906944, ccks=111, wck=40.896, mem=224M593
45.60/43.04 decisions=769436, wrong=383813, backtracks=114050, failedAssignments=272526, nogoods=1319, foundSolutions=3, bestBound=168
45.60/43.04 nFilterCalls=8542513, avgTableProportion=0.999159663912227, avgTableSize=1189.0
45.60/43.04
49.81/47.25 num=88, depth=16..25, filters=8692866, ccks=111, wck=45.11, mem=172M625
49.81/47.25 decisions=844327, wrong=421248, backtracks=124387, failedAssignments=299790, nogoods=1347, foundSolutions=3, bestBound=168
49.81/47.25 nFilterCalls=9389630, avgTableProportion=0.9991596639125344, avgTableSize=1189.0
49.81/47.25
53.92/51.32 num=89, depth=18..29, filters=9570207, ccks=111, wck=49.183, mem=97M968
53.92/51.32 decisions=927839, wrong=462993, backtracks=136676, failedAssignments=329780, nogoods=1360, foundSolutions=3, bestBound=168
53.92/51.32 nFilterCalls=10257210, avgTableProportion=0.9991596639127965, avgTableSize=1189.0
53.92/51.32
59.23/56.62 num=90, depth=18..28, filters=10656570, ccks=111, wck=54.479, mem=133M138
59.23/56.62 decisions=1028388, wrong=513256, backtracks=154349, failedAssignments=362769, nogoods=1383, foundSolutions=3, bestBound=168
59.23/56.62 nFilterCalls=11430635, avgTableProportion=0.9991596639130879, avgTableSize=1189.0
59.23/56.62
64.33/61.79 num=91, depth=17..26, filters=11709071, ccks=111, wck=59.652, mem=142M48
64.33/61.79 decisions=1130844, wrong=564475, backtracks=169715, failedAssignments=399057, nogoods=1417, foundSolutions=3, bestBound=168
64.33/61.79 nFilterCalls=12537691, avgTableProportion=0.9991596639133127, avgTableSize=1189.0
64.33/61.79
70.24/67.70 num=92, depth=18..27, filters=12878060, ccks=111, wck=65.555, mem=279M628
70.24/67.70 decisions=1243413, wrong=620749, backtracks=186453, failedAssignments=438974, nogoods=1450, foundSolutions=3, bestBound=168
70.24/67.70 nFilterCalls=13774485, avgTableProportion=0.9991596639135212, avgTableSize=1189.0
70.24/67.70
75.96/73.39 num=93, depth=18..27, filters=14029108, ccks=111, wck=71.252, mem=115M752
75.96/73.39 decisions=1363878, wrong=680970, backtracks=203316, failedAssignments=482883, nogoods=1500, foundSolutions=3, bestBound=168
75.96/73.39 nFilterCalls=14966337, avgTableProportion=0.9991596639136894, avgTableSize=1189.0
75.96/73.39
82.57/79.94 num=94, depth=17..28, filters=15374736, ccks=111, wck=77.798, mem=37M84
82.57/79.94 decisions=1500112, wrong=749076, backtracks=223637, failedAssignments=531183, nogoods=1525, foundSolutions=3, bestBound=168
82.57/79.94 nFilterCalls=16371909, avgTableProportion=0.9991596639138564, avgTableSize=1189.0
82.57/79.94
89.88/87.20 num=95, depth=17..27, filters=16835125, ccks=111, wck=85.057, mem=246M953
89.88/87.20 decisions=1652457, wrong=825237, backtracks=247357, failedAssignments=584313, nogoods=1541, foundSolutions=3, bestBound=168
89.88/87.20 nFilterCalls=17916969, avgTableProportion=0.9991596639140097, avgTableSize=1189.0
89.88/87.20
96.70/94.08 num=96, depth=19..30, filters=18256199, ccks=111, wck=91.941, mem=254M848
96.70/94.08 decisions=1815113, wrong=906553, backtracks=271157, failedAssignments=642756, nogoods=1586, foundSolutions=3, bestBound=168
96.70/94.08 nFilterCalls=19394253, avgTableProportion=0.9991596639141335, avgTableSize=1189.0
96.70/94.08
102.91/100.28 num=97, depth=22..33, filters=19777924, ccks=111, wck=98.137, mem=187M913
102.91/100.28 decisions=1990974, wrong=994470, backtracks=296598, failedAssignments=707043, nogoods=1614, foundSolutions=3, bestBound=168
102.91/100.28 nFilterCalls=20833473, avgTableProportion=0.999159663914237, avgTableSize=1189.0
102.91/100.28
114.33/111.67 num=98, depth=18..29, filters=22130937, ccks=111, wck=109.53, mem=71M847
114.33/111.67 decisions=2193218, wrong=1095581, backtracks=327765, failedAssignments=777759, nogoods=1629, foundSolutions=3, bestBound=168
114.33/111.67 nFilterCalls=23235579, avgTableProportion=0.9991596639143815, avgTableSize=1189.0
114.33/111.67
126.05/123.33 num=99, depth=15..27, filters=24370980, ccks=111, wck=121.194, mem=138M892
126.05/123.33 decisions=2416658, wrong=1207292, backtracks=362905, failedAssignments=855546, nogoods=1653, foundSolutions=3, bestBound=168
126.05/123.33 nFilterCalls=25682526, avgTableProportion=0.9991596639145008, avgTableSize=1189.0
126.05/123.33
135.08/132.31 num=100, depth=22..32, filters=26785167, ccks=111, wck=130.172, mem=87M551
135.08/132.31 decisions=2666530, wrong=1332215, backtracks=403968, failedAssignments=941112, nogoods=1673, foundSolutions=3, bestBound=168
135.08/132.31 nFilterCalls=27898222, avgTableProportion=0.9991596639145909, avgTableSize=1189.0
135.08/132.31
148.50/145.78 num=101, depth=20..29, filters=29533179, ccks=111, wck=143.642, mem=160M446
148.50/145.78 decisions=2931971, wrong=1464923, backtracks=443605, failedAssignments=1035235, nogoods=1707, foundSolutions=3, bestBound=168
148.50/145.78 nFilterCalls=30736501, avgTableProportion=0.9991596639146872, avgTableSize=1189.0
148.50/145.78
164.87/162.01 num=102, depth=16..27, filters=32513657, ccks=111, wck=159.875, mem=88M346
164.87/162.01 decisions=3226469, wrong=1612162, backtracks=488401, failedAssignments=1138770, nogoods=1740, foundSolutions=3, bestBound=168
164.87/162.01 nFilterCalls=34095319, avgTableProportion=0.9991596639147804, avgTableSize=1189.0
164.87/162.01
182.02/179.13 num=103, depth=14..25, filters=35647056, ccks=111, wck=176.99, mem=24M355
182.02/179.13 decisions=3550833, wrong=1774334, backtracks=537695, failedAssignments=1252659, nogoods=1779, foundSolutions=3, bestBound=168
182.02/179.13 nFilterCalls=37699534, avgTableProportion=0.999159663914862, avgTableSize=1189.0
182.02/179.13
201.60/198.67 num=104, depth=12..26, filters=39188737, ccks=111, wck=196.526, mem=54M609
201.60/198.67 decisions=3917294, wrong=1957556, backtracks=596911, failedAssignments=1377937, nogoods=1835, foundSolutions=3, bestBound=168
201.60/198.67 nFilterCalls=41690245, avgTableProportion=0.9991596639149359, avgTableSize=1189.0
201.60/198.67
217.96/214.93 num=105, depth=20..30, filters=42774603, ccks=111, wck=212.788, mem=101M598
217.96/214.93 decisions=4289667, wrong=2143731, backtracks=646993, failedAssignments=1515743, nogoods=1849, foundSolutions=3, bestBound=168
217.96/214.93 nFilterCalls=45216011, avgTableProportion=0.9991596639149903, avgTableSize=1189.0
217.96/214.93
239.98/236.85 num=106, depth=17..26, filters=47146875, ccks=111, wck=234.715, mem=69M701
239.98/236.85 decisions=4718158, wrong=2357966, backtracks=711643, failedAssignments=1667329, nogoods=1898, foundSolutions=3, bestBound=168
239.98/236.85 nFilterCalls=49790361, avgTableProportion=0.9991596639150495, avgTableSize=1189.0
239.98/236.85
262.99/259.72 num=107, depth=18..29, filters=52216410, ccks=111, wck=257.582, mem=84M524
262.99/259.72 decisions=5194437, wrong=2596095, backtracks=785074, failedAssignments=1834074, nogoods=1924, foundSolutions=3, bestBound=168
262.99/259.72 nFilterCalls=54887521, avgTableProportion=0.9991596639151038, avgTableSize=1189.0
262.99/259.72
285.54/282.19 num=108, depth=18..33, filters=57624572, ccks=111, wck=280.051, mem=32M864
285.54/282.19 decisions=5707045, wrong=2852387, backtracks=867793, failedAssignments=2017493, nogoods=1984, foundSolutions=3, bestBound=168
285.54/282.19 nFilterCalls=60058046, avgTableProportion=0.9991596639151494, avgTableSize=1189.0
285.54/282.19
316.15/312.59 num=109, depth=15..27, filters=63199393, ccks=111, wck=310.447, mem=40M336
316.15/312.59 decisions=6270506, wrong=3134107, backtracks=949404, failedAssignments=2219254, nogoods=1999, foundSolutions=3, bestBound=168
316.15/312.59 nFilterCalls=66473176, avgTableProportion=0.9991596639151963, avgTableSize=1189.0
316.15/312.59
351.90/348.10 num=110, depth=15..29, filters=69968630, ccks=111, wck=345.958, mem=71M695
351.90/348.10 decisions=6934062, wrong=3465875, backtracks=1062838, failedAssignments=2441192, nogoods=2035, foundSolutions=3, bestBound=168
351.90/348.10 nFilterCalls=73975846, avgTableProportion=0.9991596639152406, avgTableSize=1189.0
351.90/348.10
392.78/388.68 num=111, depth=17..29, filters=77881574, ccks=111, wck=386.537, mem=50M119
392.78/388.68 decisions=7656424, wrong=3827045, backtracks=1182527, failedAssignments=2685323, nogoods=2053, foundSolutions=3, bestBound=168
392.78/388.68 nFilterCalls=82596339, avgTableProportion=0.9991596639152817, avgTableSize=1189.0
392.78/388.68
428.13/423.72 num=112, depth=19..31, filters=85486758, ccks=111, wck=421.579, mem=67M433
428.13/423.72 decisions=8406634, wrong=4202139, backtracks=1292621, failedAssignments=2953868, nogoods=2069, foundSolutions=3, bestBound=168
428.13/423.72 nFilterCalls=90177779, avgTableProportion=0.9991596639153113, avgTableSize=1189.0
428.13/423.72
473.44/468.75 num=113, depth=17..28, filters=94026037, ccks=111, wck=466.613, mem=54M505
473.44/468.75 decisions=9262900, wrong=4630261, backtracks=1428215, failedAssignments=3249267, nogoods=2100, foundSolutions=3, bestBound=168
473.44/468.75 nFilterCalls=99474411, avgTableProportion=0.9991596639153415, avgTableSize=1189.0
473.44/468.75
515.74/510.72 num=114, depth=17..30, filters=102564637, ccks=111, wck=508.576, mem=37M249
515.74/510.72 decisions=10167868, wrong=5082733, backtracks=1559365, failedAssignments=3574206, nogoods=2117, foundSolutions=3, bestBound=168
515.74/510.72 nFilterCalls=108411597, avgTableProportion=0.9991596639153656, avgTableSize=1189.0
515.74/510.72
553.73/548.43 num=115, depth=18..30, filters=110995723, ccks=111, wck=546.287, mem=55M634
553.73/548.43 decisions=11148286, wrong=5572930, backtracks=1699495, failedAssignments=3931639, nogoods=2150, foundSolutions=3, bestBound=168
553.73/548.43 nFilterCalls=116801416, avgTableProportion=0.9991596639153849, avgTableSize=1189.0
553.73/548.43
597.42/591.89 num=116, depth=20..34, filters=120992676, ccks=111, wck=589.754, mem=27M570
597.42/591.89 decisions=12276796, wrong=6137173, backtracks=1880968, failedAssignments=4324815, nogoods=2185, foundSolutions=3, bestBound=168
597.42/591.89 nFilterCalls=126837792, avgTableProportion=0.9991596639154046, avgTableSize=1189.0
597.42/591.89
658.42/652.42 num=117, depth=18..31, filters=133190517, ccks=111, wck=650.278, mem=28M666
658.42/652.42 decisions=13502748, wrong=6750138, backtracks=2067395, failedAssignments=4757309, nogoods=2225, foundSolutions=3, bestBound=168
658.42/652.42 nFilterCalls=139555714, avgTableProportion=0.9991596639154255, avgTableSize=1189.0
658.42/652.42
715.21/708.86 num=118, depth=18..32, filters=145781525, ccks=111, wck=706.721, mem=47M51
715.21/708.86 decisions=14833159, wrong=7415332, backtracks=2266396, failedAssignments=5233053, nogoods=2249, foundSolutions=3, bestBound=168
715.21/708.86 nFilterCalls=152367526, avgTableProportion=0.9991596639154431, avgTableSize=1189.0
715.21/708.86
798.16/791.26 num=119, depth=15..30, filters=160988898, ccks=111, wck=789.121, mem=23M315
798.16/791.26 decisions=16355341, wrong=8176412, backtracks=2512720, failedAssignments=5756371, nogoods=2278, foundSolutions=3, bestBound=168
798.16/791.26 nFilterCalls=169658514, avgTableProportion=0.9991596639154625, avgTableSize=1189.0
798.16/791.26
858.07/850.78 num=120, depth=19..34, filters=175318070, ccks=111, wck=848.637, mem=35M212
858.07/850.78 decisions=17930797, wrong=8964127, backtracks=2742867, failedAssignments=6332021, nogoods=2306, foundSolutions=3, bestBound=168
858.07/850.78 nFilterCalls=183335104, avgTableProportion=0.9991596639154753, avgTableSize=1189.0
858.07/850.78
932.43/924.53 num=121, depth=18..33, filters=192084533, ccks=111, wck=922.388, mem=34M156
932.43/924.53 decisions=19690847, wrong=9844141, backtracks=3004027, failedAssignments=6965236, nogoods=2361, foundSolutions=3, bestBound=168
932.43/924.53 nFilterCalls=199492604, avgTableProportion=0.9991596639154882, avgTableSize=1189.0
932.43/924.53
1026.64/1018.07 num=122, depth=17..30, filters=212058798, ccks=111, wck=1015.927, mem=64M438
1026.64/1018.07 decisions=21698543, wrong=10847978, backtracks=3320147, failedAssignments=7661772, nogoods=2394, foundSolutions=3, bestBound=168
1026.64/1018.07 nFilterCalls=219862915, avgTableProportion=0.9991596639155017, avgTableSize=1189.0
1026.64/1018.07
1151.07/1141.65 num=123, depth=14..28, filters=235127954, ccks=111, wck=1139.511, mem=73M103
1151.07/1141.65 decisions=23906809, wrong=11952100, backtracks=3668307, failedAssignments=8427962, nogoods=2426, foundSolutions=3, bestBound=168
1151.07/1141.65 nFilterCalls=245876949, avgTableProportion=0.9991596639155157, avgTableSize=1189.0
1151.07/1141.65
1296.63/1286.29 num=124, depth=16..28, filters=262647506, ccks=111, wck=1284.146, mem=25M606
1296.63/1286.29 decisions=26234351, wrong=13115861, backtracks=3994926, failedAssignments=9270771, nogoods=2452, foundSolutions=3, bestBound=168
1296.63/1286.29 nFilterCalls=275246255, avgTableProportion=0.999159663202533, avgTableSize=1189.0
1296.63/1286.29
1440.18/1428.76 num=125, depth=14..27, filters=288923816, ccks=111, wck=1426.62, mem=35M351
1440.18/1428.76 decisions=28809449, wrong=14403399, backtracks=4365648, failedAssignments=10197861, nogoods=2472, foundSolutions=3, bestBound=168
1440.18/1428.76 nFilterCalls=304419779, avgTableProportion=0.9991596604148196, avgTableSize=1189.0
1440.18/1428.76
1567.56/1555.26 num=126, depth=20..34, filters=317746876, ccks=111, wck=1553.122, mem=50M488
1567.56/1555.26 decisions=31732157, wrong=15864740, backtracks=4825115, failedAssignments=11217660, nogoods=2531, foundSolutions=3, bestBound=168
1567.56/1555.26 nFilterCalls=332317382, avgTableProportion=0.9991596582068429, avgTableSize=1189.0
1567.56/1555.26
1680.85/1667.77 num=127, depth=19..33, filters=344869319, ccks=111, wck=1665.634, mem=45M104
1680.85/1667.77 decisions=34821403, wrong=17409351, backtracks=5283277, failedAssignments=12339439, nogoods=2567, foundSolutions=3, bestBound=168
1680.85/1667.77 nFilterCalls=358389293, avgTableProportion=0.9991596564540998, avgTableSize=1189.0
1680.85/1667.77
1883.93/1869.39 num=128, depth=15..28, filters=383243893, ccks=111, wck=1867.248, mem=25M688
1883.93/1869.39 decisions=38475516, wrong=19236397, backtracks=5886771, failedAssignments=13573396, nogoods=2595, foundSolutions=3, bestBound=168
1883.93/1869.39 nFilterCalls=399886037, avgTableProportion=0.9991596541357644, avgTableSize=1189.0
1883.93/1869.39
2049.82/2034.03 num=129, depth=17..33, filters=419907552, ccks=111, wck=2031.891, mem=26M793
2049.82/2034.03 decisions=42270653, wrong=21133953, backtracks=6460242, failedAssignments=14930749, nogoods=2645, foundSolutions=3, bestBound=168
2049.82/2034.03 nFilterCalls=435390486, avgTableProportion=0.999159652503009, avgTableSize=1189.0
2049.82/2034.03
2203.51/2186.64 num=130, depth=18..34, filters=458367115, ccks=111, wck=2184.495, mem=49M498
2203.51/2186.64 decisions=46394669, wrong=23195949, backtracks=7065322, failedAssignments=16423837, nogoods=2689, foundSolutions=3, bestBound=168
2203.51/2186.64 nFilterCalls=471123758, avgTableProportion=0.9991596511082076, avgTableSize=1189.0
2203.51/2186.64
2363.67/2345.69 o 167
2363.67/2345.69 num=131, depth=18..69, filters=494565945, ccks=148, wck=2343.553, mem=57M311
2363.67/2345.69 decisions=50153323, wrong=25075262, backtracks=7635807, failedAssignments=17799147, nogoods=2757, foundSolutions=4, bestBound=167
2363.67/2345.69 nFilterCalls=506516057, avgTableProportion=0.9991596499207064, avgTableSize=1189.0
2363.67/2345.69
2520.06/2500.80
2520.06/2500.80 v <instantiation id='sol4' type='solution' cost='167'> <list> c[] d[] </list> <values> 20 24 29 30 28 33 32 34 31 27 26 25 11 10 0 13 12 17 18 23 22 16 14 1 8 9 7 4 5 2 3 6 15 21 19 4 9 2 11 14 1 4 1 5 2 5 10 4 4 7 1 5 1 5 1 4 3 11 11 2 2 1 12 1 6 1 8 4 4 1 </values> </instantiation>
2520.06/2500.80 s SATISFIABLE
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 (15141 MiB free)
memory of node 1: 16384 MiB (15763 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391017-1568385412/watcher-4391017-1568385412 -o /tmp/evaluation-result-4391017-1568385412/solver-4391017-1568385412 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568380480-27644 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391017-1568385412.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29488, runsolver pid=29485
[startup+0.103163 s]*
/proc/loadavg: 1.34 1.50 1.59 5/228 29503
/proc/meminfo: memFree=31630892/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10659884 memory=30068 CPUtime=0.15 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 5971 0 0 0 14 1 0 0 20 0 15 0 414702851 10915721216 7517 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2664971 7517 2932 1 0 2627468 0
[pid=29488/tid=29490] ppid=29485 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) R 29485 29488 27612 0 -1 4202560 3258 0 0 0 9 0 0 0 20 0 15 0 414702851 10915721216 7517 33554432000 4194304 4196468 140727348449392 140406525159432 140406500864577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 7517 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10659884 memory=288370374592439936 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 7517 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 7517 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 7517 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702853 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414702854 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405555274784 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414702854 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405554221936 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) R 29485 29488 27612 0 -1 4202560 679 0 0 0 1 0 0 0 20 0 15 0 414702856 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405552099656 140406505827794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) R 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405551065840 140406520941186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0.03 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) R 29485 29488 27612 0 -1 4202560 678 0 0 0 3 0 0 0 20 0 15 0 414702856 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405550009976 140406520941974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702857 10915721216 7517 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30068 KiB
[startup+0.211329 s]*
/proc/loadavg: 1.34 1.50 1.59 3/228 29503
/proc/meminfo: memFree=31623184/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10659884 memory=34860 CPUtime=0.32 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 6916 0 0 0 31 1 0 0 20 0 15 0 414702851 10915721216 8715 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2664971 8715 2989 1 0 2627468 0
[pid=29488/tid=29490] ppid=29485 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) R 29485 29488 27612 0 -1 4202560 3883 0 0 0 19 0 0 0 20 0 15 0 414702851 10915721216 8715 33554432000 4194304 4196468 140727348449392 140406525162128 140406520951965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 8715 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10659884 memory=139998440756061 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 8715 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 8715 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 8715 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702853 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414702854 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405555274784 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414702854 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405554221936 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29485 29488 27612 0 -1 1077944384 876 0 0 0 3 0 0 0 20 0 15 0 414702856 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405552118640 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29485 29488 27612 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 15 0 414702856 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405551065840 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0.05 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29485 29488 27612 0 -1 1077944384 711 0 0 0 5 0 0 0 20 0 15 0 414702856 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405550013040 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702857 10915721216 8715 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34860 KiB
[startup+0.31017 s]*
/proc/loadavg: 1.34 1.50 1.59 3/228 29503
/proc/meminfo: memFree=31615732/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10659884 memory=40248 CPUtime=0.47 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 9463 0 0 0 44 3 0 0 20 0 15 0 414702851 10915721216 10062 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2664971 10062 3002 1 0 2627468 0
[pid=29488/tid=29490] ppid=29485 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) R 29485 29488 27612 0 -1 4202560 6348 0 0 0 28 2 0 0 20 0 15 0 414702851 10915721216 10062 33554432000 4194304 4196468 140727348449392 140406525162448 140406505010526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10659884 memory=4294981932 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 10062 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10659884 memory=139998440755975 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 10062 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 10062 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702852 10915721216 10062 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702853 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414702854 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405555274784 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414702854 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405554221936 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29485 29488 27612 0 -1 1077944384 899 0 0 0 4 0 0 0 20 0 15 0 414702856 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405552118640 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29485 29488 27612 0 -1 1077944384 127 0 0 0 3 0 0 0 20 0 15 0 414702856 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405551065840 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0.07 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29485 29488 27612 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 15 0 414702856 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405550013040 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10659884 memory=139998440728192 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702857 10915721216 10062 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40248 KiB
[startup+0.70072 s]
/proc/loadavg: 1.34 1.50 1.59 3/228 29503
/proc/meminfo: memFree=31606948/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10661932 memory=63972 CPUtime=1.1 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 13172 0 0 0 105 5 0 0 20 0 15 0 414702851 10917818368 15993 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2665483 15993 3070 1 0 2627980 0
[pid=29488/tid=29490] ppid=29485 vsize=10661932 memory=39172 CPUtime=0.68 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) R 29485 29488 27612 0 -1 4202560 8903 0 0 0 64 4 0 0 20 0 15 0 414702851 10917818368 15993 33554432000 4194304 4196468 140727348449392 140406525162064 140406504116848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10661932 memory=984 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10917818368 15993 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10917818368 15993 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10917818368 15993 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702852 10917818368 15993 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10661932 memory=3 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702853 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414702854 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405555274784 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10661932 memory=50 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414702854 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405554221936 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29485 29488 27612 0 -1 1077944384 1240 0 0 0 10 0 0 0 20 0 15 0 414702856 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405552118640 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10661932 memory=3381 CPUtime=0.11 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) R 29485 29488 27612 0 -1 4202560 466 0 0 0 11 0 0 0 20 0 15 0 414702856 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405551065840 140406500168512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10661932 memory=238638 CPUtime=0.18 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29485 29488 27612 0 -1 1077944384 1204 0 0 0 18 0 0 0 20 0 15 0 414702856 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405550013040 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414702856 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702857 10917818368 15993 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63972 KiB
[startup+1.50077 s]
/proc/loadavg: 1.32 1.49 1.58 3/228 29503
/proc/meminfo: memFree=31590384/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10663980 memory=75916 CPUtime=2 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 17363 0 0 0 194 6 0 0 20 0 15 0 414702851 10919915520 18979 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2665995 18979 3094 1 0 2628492 0
[pid=29488/tid=29490] ppid=29485 vsize=10663980 memory=984 CPUtime=1.47 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) R 29485 29488 27612 0 -1 4202560 11920 0 0 0 143 4 0 0 20 0 15 0 414702851 10919915520 18979 33554432000 4194304 4196468 140727348449392 140406525162064 140406505010526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10919915520 18979 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10919915520 18979 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414702852 10919915520 18979 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10663980 memory=3 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414702852 10919915520 18979 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10663980 memory=5 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414702853 10919915520 18979 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
################
# More data... #
################
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 4347 0 0 0 524 13 0 0 20 0 16 0 414702852 11004186624 73546 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10746276 memory=294184 CPUtime=1.8 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 7121 0 0 0 165 15 0 0 20 0 16 0 414702853 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10746276 memory=294184 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405555274848 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10746276 memory=294184 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405554221952 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10746276 memory=294184 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10746276 memory=294184 CPUtime=0.81 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29485 29488 27612 0 -1 1077944384 5845 0 0 0 81 0 0 0 20 0 16 0 414702856 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405552118640 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10746276 memory=294184 CPUtime=0.92 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29485 29488 27612 0 -1 1077944384 3374 0 0 0 92 0 0 0 20 0 16 0 414702856 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405551065840 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10746276 memory=294184 CPUtime=0.57 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29485 29488 27612 0 -1 1077944384 9512 0 0 0 57 0 0 0 20 0 16 0 414702856 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405550013040 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10746276 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10746276 memory=2628 CPUtime=0.55 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 848 0 0 0 22 33 0 0 20 0 16 0 414702857 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29504] ppid=29485 vsize=10746276 memory=2932 CPUtime=2312.18 cores=1,3,5,7
/proc/29488/task/29504/stat : 29504 (java) R 29485 29488 27612 0 -1 4202560 22717 0 0 0 231208 10 0 0 20 0 16 0 414703038 11004186624 73546 33554432000 4194304 4196468 140727348449392 140405531246000 140406126560983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 2340.21 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 294184 KiB
[startup+2382.3 s]
/proc/loadavg: 1.61 1.47 1.52 3/229 29985
/proc/meminfo: memFree=30960752/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10746276 memory=294188 CPUtime=2400.69 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 83344 0 0 0 239965 104 0 0 20 0 16 0 414702851 11004186624 73547 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2686569 73547 3370 1 0 2646705 0
[pid=29488/tid=29490] ppid=29485 vsize=10746276 memory=294188 CPUtime=1.85 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) S 29485 29488 27612 0 -1 1077944384 13775 0 0 0 179 6 0 0 20 0 16 0 414702851 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406525172912 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.5 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 4026 0 0 0 536 14 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.5 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 5170 0 0 0 536 14 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.5 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 3347 0 0 0 539 11 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.51 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 4372 0 0 0 538 13 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10746276 memory=294188 CPUtime=1.84 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 7289 0 0 0 169 15 0 0 20 0 16 0 414702853 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10746276 memory=294188 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405555274848 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405554221952 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10746276 memory=294188 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10746276 memory=39252 CPUtime=0.83 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29485 29488 27612 0 -1 1077944384 6019 0 0 0 83 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405552118640 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10746276 memory=984 CPUtime=0.94 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29485 29488 27612 0 -1 1077944384 3747 0 0 0 94 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405551065840 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10746276 memory=3588 CPUtime=0.57 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29485 29488 27612 0 -1 1077944384 9916 0 0 0 57 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405550013040 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10746276 memory=39252 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10746276 memory=294188 CPUtime=0.56 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 865 0 0 0 22 34 0 0 20 0 16 0 414702857 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29504] ppid=29485 vsize=10746276 memory=3588 CPUtime=2371.96 cores=1,3,5,7
/proc/29488/task/29504/stat : 29504 (java) R 29485 29488 27612 0 -1 4202560 23417 0 0 0 237186 10 0 0 20 0 16 0 414703038 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405531245952 140406126761301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 2400.69 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 294188 KiB
[startup+2442.3 s]
/proc/loadavg: 1.22 1.40 1.49 3/228 29989
/proc/meminfo: memFree=30961908/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10746276 memory=294188 CPUtime=2461.12 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 84089 0 0 0 246006 106 0 0 20 0 16 0 414702851 11004186624 73547 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2686569 73547 3370 1 0 2646705 0
[pid=29488/tid=29490] ppid=29485 vsize=10746276 memory=294188 CPUtime=1.85 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) S 29485 29488 27612 0 -1 1077944384 13775 0 0 0 179 6 0 0 20 0 16 0 414702851 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406525172912 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.65 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 4050 0 0 0 551 14 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.64 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 5206 0 0 0 550 14 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.65 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 3371 0 0 0 554 11 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.66 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 4626 0 0 0 553 13 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10746276 memory=294188 CPUtime=1.89 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 7474 0 0 0 174 15 0 0 20 0 16 0 414702853 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10746276 memory=294188 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405555274848 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10746276 memory=294188 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405554221952 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10746276 memory=294188 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10746276 memory=6791534058613427641 CPUtime=0.83 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29485 29488 27612 0 -1 1077944384 6021 0 0 0 83 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405552118640 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10746276 memory=1416 CPUtime=0.94 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29485 29488 27612 0 -1 1077944384 3749 0 0 0 94 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405551065840 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10746276 memory=294188 CPUtime=0.57 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29485 29488 27612 0 -1 1077944384 9918 0 0 0 57 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405550013040 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10746276 memory=1940 CPUtime=0.58 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 884 0 0 0 23 35 0 0 20 0 16 0 414702857 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29504] ppid=29485 vsize=10746276 memory=294188 CPUtime=2431.75 cores=1,3,5,7
/proc/29488/task/29504/stat : 29504 (java) R 29485 29488 27612 0 -1 4202560 23614 0 0 0 243164 11 0 0 20 0 16 0 414703038 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405531246032 140406127107815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 2461.12 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 294188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2500.8 s]
/proc/loadavg: 1.36 1.40 1.48 3/229 29996
/proc/meminfo: memFree=30960848/32770624 swapFree=67004192/67108860
[pid=29488] ppid=29485 vsize=10746276 memory=294188 CPUtime=2520.06 cores=1,3,5,7
/proc/29488/stat : 29488 (java) S 29485 29488 27612 0 -1 1077944320 84532 0 0 0 251898 108 0 0 20 0 16 0 414702851 11004186624 73547 33554432000 4194304 4196468 140727348449392 140727348431936 140406520930039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
/proc/29488/statm: 2686569 73547 3370 1 0 2646705 0
[pid=29488/tid=29490] ppid=29485 vsize=10746276 memory=1096 CPUtime=1.85 cores=1,3,5,7
/proc/29488/task/29490/stat : 29490 (java) S 29485 29488 27612 0 -1 1077944384 13775 0 0 0 179 6 0 0 20 0 16 0 414702851 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406525172912 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29491] ppid=29485 vsize=10746276 memory=294188 CPUtime=5.8 cores=1,3,5,7
/proc/29488/task/29491/stat : 29491 (java) S 29485 29488 27612 0 -1 1077944384 4050 0 0 0 565 15 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406447004816 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29492] ppid=29485 vsize=10746276 memory=984 CPUtime=5.78 cores=1,3,5,7
/proc/29488/task/29492/stat : 29492 (java) S 29485 29488 27612 0 -1 1077944384 5214 0 0 0 564 14 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406445952016 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29493] ppid=29485 vsize=10746276 memory=1940 CPUtime=5.8 cores=1,3,5,7
/proc/29488/task/29493/stat : 29493 (java) S 29485 29488 27612 0 -1 1077944384 3398 0 0 0 569 11 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406444899216 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29494] ppid=29485 vsize=10746276 memory=1416 CPUtime=5.81 cores=1,3,5,7
/proc/29488/task/29494/stat : 29494 (java) S 29485 29488 27612 0 -1 1077944384 4878 0 0 0 568 13 0 0 20 0 16 0 414702852 11004186624 73547 33554432000 4194304 4196468 140727348449392 140406443846416 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29495] ppid=29485 vsize=10746276 memory=294188 CPUtime=1.94 cores=1,3,5,7
/proc/29488/task/29495/stat : 29495 (java) S 29485 29488 27612 0 -1 1077944384 7501 0 0 0 179 15 0 0 20 0 16 0 414702853 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405556328816 140406520941186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29496] ppid=29485 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29496/stat : 29496 (java) S 29485 29488 27612 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405555274848 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29497] ppid=29485 vsize=10746276 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29497/stat : 29497 (java) S 29485 29488 27612 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414702854 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405554221952 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29498] ppid=29485 vsize=10746276 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29498/stat : 29498 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405553170256 140406520948635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29499] ppid=29485 vsize=10746276 memory=504 CPUtime=0.84 cores=1,3,5,7
/proc/29488/task/29499/stat : 29499 (java) S 29485 29488 27612 0 -1 1077944384 6023 0 0 0 83 1 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405552118640 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29500] ppid=29485 vsize=10746276 memory=1560 CPUtime=0.94 cores=1,3,5,7
/proc/29488/task/29500/stat : 29500 (java) S 29485 29488 27612 0 -1 1077944384 3751 0 0 0 94 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405551065840 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29501] ppid=29485 vsize=10746276 memory=294188 CPUtime=0.57 cores=1,3,5,7
/proc/29488/task/29501/stat : 29501 (java) S 29485 29488 27612 0 -1 1077944384 9920 0 0 0 57 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405550013040 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29502] ppid=29485 vsize=10746276 memory=294188 CPUtime=0 cores=1,3,5,7
/proc/29488/task/29502/stat : 29502 (java) S 29485 29488 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414702856 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405548960480 140406520940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29503] ppid=29485 vsize=10746276 memory=6791534058613427641 CPUtime=0.6 cores=1,3,5,7
/proc/29488/task/29503/stat : 29503 (java) S 29485 29488 27612 0 -1 1077944384 890 0 0 0 24 36 0 0 20 0 16 0 414702857 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405547907760 140406520941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
[pid=29488/tid=29504] ppid=29485 vsize=10746276 memory=2832 CPUtime=2490.02 cores=1,3,5,7
/proc/29488/task/29504/stat : 29504 (java) R 29485 29488 27612 0 -1 4202560 23731 0 0 0 248991 11 0 0 20 0 16 0 414703038 11004186624 73547 33554432000 4194304 4196468 140727348449392 140405531246064 140406126561552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11816960 140727348454411 140727348454514 140727348454514 140727348457423 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 294188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2500.81 s]
# the end of solver process 29488 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.99 s, system=1.09076 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2500.81
CPU time (s): 2520.08
CPU user time (s): 2518.99
CPU system time (s): 1.09076
CPU usage (%): 100.771
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 462024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.99
system time used= 1.09076
maximum resident set size= 463568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101673
involuntary context switches= 4280
# summary of solver processes directly reported to runsolver:
# pid: 29488
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.99
# total CPU system time (s): 1.09076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4823 second user time and 21.2029 second system time
The end