2.46/1.95
2.46/1.95 AbsCon 2
2.46/1.97
2.70/2.10 Instance
2.70/2.10 name=instance-4391317-1568390776, framework=COP, bounds=-infty..+infty
2.70/2.10
2.70/2.10 Loading variables...
2.99/2.12 Loading constraints...
2.99/2.19
2.99/2.19 Domains
2.99/2.19 nTypes=2, nValues=2520, sizes=[35#35,37#35]
2.99/2.19 Variables
2.99/2.19 count=70, degrees=[2#35,3#35]
2.99/2.19 Objectives
2.99/2.19 way=min, type=SumSimpleLE
2.99/2.19 Constraints
2.99/2.19 count=37, nSpecific=37, arities=[3#35,35#2]
2.99/2.19 distribution=[AllDifferent#1,CtrExtensionCT-Table#35,SumSimpleLE#1]
2.99/2.19 tables=[1190#35], nTotalTuples=41650
2.99/2.19 nExtStructures=(1,shared:34)
2.99/2.19 wck=0.266, cpu=2.078, mem=21M227
2.99/2.19 Solver SolverBacktrack being built...
2.99/2.19
3.21/2.21
3.21/2.21 Solver
3.21/2.21 guaranteedGAC=true
3.21/2.21 wck=0.296, cpu=2.105, mem=34M512
3.21/2.22
3.21/2.22 Preprocessing
3.21/2.22 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.21/2.22 wck=0.003, cpu=2.109, mem=34M512
3.21/2.22
3.21/2.24 o 251
3.21/2.25 num=0, depth=71..69, filters=334, ccks=37, wck=0.032, mem=34M512
3.21/2.25 decisions=34, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=251
3.21/2.25 nFilterCalls=697, avgTableProportion=0.999159663865538, avgTableSize=1189.0
3.21/2.25
3.21/2.26 num=1, depth=29..32, filters=788, ccks=37, wck=0.049, mem=34M512
3.21/2.26 decisions=93, wrong=14, backtracks=3, failedAssignments=11, nogoods=9, foundSolutions=1, bestBound=251
3.21/2.26 nFilterCalls=1462, avgTableProportion=0.9991596638655513, avgTableSize=1189.0
3.21/2.26
3.21/2.27 o 240
3.21/2.27 num=2, depth=71..69, filters=1117, ccks=74, wck=0.06, mem=34M512
3.21/2.27 decisions=127, wrong=14, backtracks=3, failedAssignments=11, nogoods=9, foundSolutions=2, bestBound=240
3.21/2.27 nFilterCalls=2124, avgTableProportion=0.9991596638655702, avgTableSize=1189.0
3.21/2.27
3.21/2.28 num=3, depth=29..31, filters=1597, ccks=74, wck=0.069, mem=34M512
3.21/2.28 decisions=188, wrong=29, backtracks=7, failedAssignments=23, nogoods=16, foundSolutions=2, bestBound=240
3.21/2.28 nFilterCalls=2917, avgTableProportion=0.9991596638655815, avgTableSize=1189.0
3.21/2.28
3.21/2.29 o 168
3.21/2.29 num=4, depth=71..69, filters=1924, ccks=111, wck=0.076, mem=34M512
3.21/2.29 decisions=223, wrong=29, backtracks=7, failedAssignments=23, nogoods=16, foundSolutions=3, bestBound=168
3.21/2.29 nFilterCalls=3552, avgTableProportion=0.999159663865587, avgTableSize=1189.0
3.21/2.29
3.54/2.30 num=5, depth=24..27, filters=2398, ccks=111, wck=0.085, mem=34M512
3.54/2.30 decisions=281, wrong=45, backtracks=11, failedAssignments=35, nogoods=20, foundSolutions=3, bestBound=168
3.54/2.30 nFilterCalls=4324, avgTableProportion=0.9991596638655913, avgTableSize=1189.0
3.54/2.30
3.54/2.31 num=6, depth=13..17, filters=3028, ccks=111, wck=0.096, mem=34M512
3.54/2.31 decisions=328, wrong=61, backtracks=16, failedAssignments=46, nogoods=24, foundSolutions=3, bestBound=168
3.54/2.31 nFilterCalls=5368, avgTableProportion=0.9991596638655953, avgTableSize=1189.0
3.54/2.31
3.54/2.32 num=7, depth=15..18, filters=3534, ccks=111, wck=0.106, mem=34M512
3.54/2.32 decisions=372, wrong=75, backtracks=18, failedAssignments=58, nogoods=34, foundSolutions=3, bestBound=168
3.54/2.32 nFilterCalls=6208, avgTableProportion=0.9991596638655976, avgTableSize=1189.0
3.54/2.32
3.54/2.33 num=8, depth=17..20, filters=4178, ccks=111, wck=0.116, mem=34M512
3.54/2.33 decisions=424, wrong=92, backtracks=22, failedAssignments=71, nogoods=40, foundSolutions=3, bestBound=168
3.54/2.33 nFilterCalls=7258, avgTableProportion=0.9991596638655996, avgTableSize=1189.0
3.54/2.33
3.54/2.35 num=9, depth=12..15, filters=5096, ccks=111, wck=0.131, mem=34M512
3.54/2.35 decisions=485, wrong=115, backtracks=31, failedAssignments=85, nogoods=42, foundSolutions=3, bestBound=168
3.54/2.35 nFilterCalls=8599, avgTableProportion=0.9991596638655592, avgTableSize=1189.0
3.54/2.35
3.54/2.36 num=10, depth=17..19, filters=5826, ccks=111, wck=0.145, mem=37M154
3.54/2.36 decisions=550, wrong=139, backtracks=39, failedAssignments=101, nogoods=53, foundSolutions=3, bestBound=168
3.54/2.36 nFilterCalls=9675, avgTableProportion=0.9991596638654638, avgTableSize=1189.0
3.54/2.36
3.54/2.38 num=11, depth=10..15, filters=6834, ccks=111, wck=0.163, mem=37M154
3.54/2.38 decisions=619, wrong=167, backtracks=50, failedAssignments=118, nogoods=62, foundSolutions=3, bestBound=168
3.54/2.38 nFilterCalls=11177, avgTableProportion=0.9991596638653616, avgTableSize=1189.0
3.54/2.38
3.54/2.39 num=12, depth=16..19, filters=7439, ccks=111, wck=0.173, mem=37M154
3.54/2.39 decisions=681, wrong=190, backtracks=55, failedAssignments=137, nogoods=66, foundSolutions=3, bestBound=168
3.54/2.39 nFilterCalls=12181, avgTableProportion=0.9991596638653072, avgTableSize=1189.0
3.54/2.39
3.85/2.40 num=13, depth=18..21, filters=8184, ccks=111, wck=0.183, mem=37M154
3.85/2.40 decisions=761, wrong=220, backtracks=64, failedAssignments=158, nogoods=69, foundSolutions=3, bestBound=168
3.85/2.40 nFilterCalls=13276, avgTableProportion=0.9991596638652573, avgTableSize=1189.0
3.85/2.40
3.85/2.41 num=14, depth=15..19, filters=8942, ccks=111, wck=0.193, mem=37M154
3.85/2.41 decisions=833, wrong=247, backtracks=68, failedAssignments=181, nogoods=73, foundSolutions=3, bestBound=168
3.85/2.41 nFilterCalls=14416, avgTableProportion=0.9991596638652135, avgTableSize=1189.0
3.85/2.41
3.85/2.41 num=15, depth=15..19, filters=9726, ccks=111, wck=0.201, mem=37M154
3.85/2.41 decisions=911, wrong=277, backtracks=73, failedAssignments=206, nogoods=83, foundSolutions=3, bestBound=168
3.85/2.41 nFilterCalls=15558, avgTableProportion=0.999159663865176, avgTableSize=1189.0
3.85/2.41
3.85/2.42 num=16, depth=17..19, filters=10471, ccks=111, wck=0.21, mem=37M154
3.85/2.42 decisions=1000, wrong=313, backtracks=81, failedAssignments=234, nogoods=87, foundSolutions=3, bestBound=168
3.85/2.42 nFilterCalls=16712, avgTableProportion=0.9991596638651433, avgTableSize=1189.0
3.85/2.42
3.85/2.44 num=17, depth=13..18, filters=11948, ccks=111, wck=0.224, mem=37M154
3.85/2.44 decisions=1100, wrong=356, backtracks=93, failedAssignments=265, nogoods=90, foundSolutions=3, bestBound=168
3.85/2.44 nFilterCalls=18935, avgTableProportion=0.9991596638650915, avgTableSize=1189.0
3.85/2.44
3.85/2.45 num=18, depth=20..24, filters=13085, ccks=111, wck=0.236, mem=39M797
3.85/2.45 decisions=1219, wrong=405, backtracks=108, failedAssignments=299, nogoods=106, foundSolutions=3, bestBound=168
3.85/2.45 nFilterCalls=20471, avgTableProportion=0.9991596638650623, avgTableSize=1189.0
3.85/2.45
3.85/2.46 num=19, depth=14..21, filters=14087, ccks=111, wck=0.246, mem=39M797
3.85/2.46 decisions=1339, wrong=456, backtracks=123, failedAssignments=336, nogoods=114, foundSolutions=3, bestBound=168
3.85/2.46 nFilterCalls=22026, avgTableProportion=0.999159663865037, avgTableSize=1189.0
3.85/2.46
3.85/2.47 num=20, depth=17..21, filters=15375, ccks=111, wck=0.259, mem=39M797
3.85/2.47 decisions=1462, wrong=507, backtracks=133, failedAssignments=377, nogoods=121, foundSolutions=3, bestBound=168
3.85/2.47 nFilterCalls=23819, avgTableProportion=0.9991596638650118, avgTableSize=1189.0
3.85/2.47
3.85/2.49 num=21, depth=13..21, filters=17148, ccks=111, wck=0.273, mem=39M797
3.85/2.49 decisions=1611, wrong=572, backtracks=153, failedAssignments=422, nogoods=126, foundSolutions=3, bestBound=168
3.85/2.49 nFilterCalls=26526, avgTableProportion=0.9991596638649802, avgTableSize=1189.0
3.85/2.49
4.13/2.51 num=22, depth=18..22, filters=18710, ccks=111, wck=0.284, mem=39M797
4.13/2.51 decisions=1779, wrong=646, backtracks=177, failedAssignments=472, nogoods=136, foundSolutions=3, bestBound=168
4.13/2.51 nFilterCalls=28636, avgTableProportion=0.9991596638649597, avgTableSize=1189.0
4.13/2.51
4.13/2.52 num=23, depth=17..21, filters=20197, ccks=111, wck=0.304, mem=42M439
4.13/2.52 decisions=1940, wrong=718, backtracks=194, failedAssignments=527, nogoods=143, foundSolutions=3, bestBound=168
4.13/2.52 nFilterCalls=30633, avgTableProportion=0.9991596638649429, avgTableSize=1189.0
4.13/2.52
4.13/2.53 num=24, depth=21..25, filters=22168, ccks=111, wck=0.316, mem=42M439
4.13/2.53 decisions=2143, wrong=808, backtracks=223, failedAssignments=588, nogoods=149, foundSolutions=3, bestBound=168
4.13/2.53 nFilterCalls=33256, avgTableProportion=0.999159663864924, avgTableSize=1189.0
4.13/2.53
4.13/2.54 num=25, depth=13..19, filters=24138, ccks=111, wck=0.329, mem=42M439
4.13/2.54 decisions=2337, wrong=897, backtracks=245, failedAssignments=655, nogoods=170, foundSolutions=3, bestBound=168
4.13/2.54 nFilterCalls=35824, avgTableProportion=0.9991596638649082, avgTableSize=1189.0
4.13/2.54
4.13/2.56 num=26, depth=17..21, filters=26299, ccks=111, wck=0.343, mem=42M439
4.13/2.56 decisions=2560, wrong=999, backtracks=273, failedAssignments=729, nogoods=180, foundSolutions=3, bestBound=168
4.13/2.56 nFilterCalls=38653, avgTableProportion=0.9991596638648932, avgTableSize=1189.0
4.13/2.56
4.13/2.57 num=27, depth=20..24, filters=28708, ccks=111, wck=0.357, mem=45M82
4.13/2.57 decisions=2825, wrong=1121, backtracks=314, failedAssignments=810, nogoods=186, foundSolutions=3, bestBound=168
4.13/2.57 nFilterCalls=41625, avgTableProportion=0.9991596638648795, avgTableSize=1189.0
4.13/2.57
4.13/2.59 num=28, depth=20..24, filters=31146, ccks=111, wck=0.372, mem=45M82
4.13/2.59 decisions=3078, wrong=1237, backtracks=341, failedAssignments=899, nogoods=193, foundSolutions=3, bestBound=168
4.13/2.59 nFilterCalls=44666, avgTableProportion=0.9991596638648674, avgTableSize=1189.0
4.13/2.59
4.27/2.60 num=29, depth=16..21, filters=33934, ccks=111, wck=0.391, mem=47M724
4.27/2.60 decisions=3356, wrong=1367, backtracks=373, failedAssignments=997, nogoods=198, foundSolutions=3, bestBound=168
4.27/2.60 nFilterCalls=48127, avgTableProportion=0.9991596638648556, avgTableSize=1189.0
4.27/2.60
4.27/2.62 num=30, depth=18..23, filters=36709, ccks=111, wck=0.408, mem=47M724
4.27/2.62 decisions=3692, wrong=1525, backtracks=424, failedAssignments=1105, nogoods=203, foundSolutions=3, bestBound=168
4.27/2.62 nFilterCalls=51735, avgTableProportion=0.9991596638648449, avgTableSize=1189.0
4.27/2.62
4.27/2.64 num=31, depth=14..22, filters=40017, ccks=111, wck=0.429, mem=47M724
4.27/2.64 decisions=4032, wrong=1685, backtracks=465, failedAssignments=1224, nogoods=216, foundSolutions=3, bestBound=168
4.27/2.64 nFilterCalls=55941, avgTableProportion=0.9991596638648342, avgTableSize=1189.0
4.27/2.64
4.27/2.67 num=32, depth=16..23, filters=44568, ccks=111, wck=0.455, mem=50M367
4.27/2.67 decisions=4442, wrong=1881, backtracks=535, failedAssignments=1355, nogoods=228, foundSolutions=3, bestBound=168
4.27/2.67 nFilterCalls=61718, avgTableProportion=0.9991596638648219, avgTableSize=1189.0
4.27/2.67
4.40/2.70 num=33, depth=19..24, filters=49864, ccks=111, wck=0.485, mem=53M9
4.40/2.70 decisions=4922, wrong=2110, backtracks=620, failedAssignments=1499, nogoods=234, foundSolutions=3, bestBound=168
4.40/2.70 nFilterCalls=67989, avgTableProportion=0.9991596638650675, avgTableSize=1189.0
4.40/2.70
4.40/2.73 num=34, depth=16..22, filters=55076, ccks=111, wck=0.516, mem=53M9
4.40/2.73 decisions=5383, wrong=2332, backtracks=689, failedAssignments=1657, nogoods=247, foundSolutions=3, bestBound=168
4.40/2.73 nFilterCalls=74389, avgTableProportion=0.999159663865662, avgTableSize=1189.0
4.40/2.73
4.40/2.76 num=35, depth=14..20, filters=59643, ccks=111, wck=0.548, mem=55M651
4.40/2.76 decisions=5892, wrong=2578, backtracks=763, failedAssignments=1831, nogoods=275, foundSolutions=3, bestBound=168
4.40/2.76 nFilterCalls=80046, avgTableProportion=0.9991596638661084, avgTableSize=1189.0
4.40/2.76
4.50/2.80 num=36, depth=19..25, filters=66769, ccks=111, wck=0.585, mem=58M294
4.50/2.80 decisions=6481, wrong=2861, backtracks=856, failedAssignments=2022, nogoods=281, foundSolutions=3, bestBound=168
4.50/2.80 nFilterCalls=88001, avgTableProportion=0.9991596638666391, avgTableSize=1189.0
4.50/2.80
4.50/2.84 num=37, depth=15..21, filters=74507, ccks=111, wck=0.629, mem=60M936
4.50/2.84 decisions=7104, wrong=3164, backtracks=951, failedAssignments=2233, nogoods=294, foundSolutions=3, bestBound=168
4.50/2.84 nFilterCalls=97314, avgTableProportion=0.99915966386715, avgTableSize=1189.0
4.50/2.84
4.50/2.88 num=38, depth=19..25, filters=81578, ccks=111, wck=0.668, mem=60M936
4.50/2.88 decisions=7822, wrong=3512, backtracks=1070, failedAssignments=2465, nogoods=318, foundSolutions=3, bestBound=168
4.50/2.88 nFilterCalls=105472, avgTableProportion=0.9991596638675235, avgTableSize=1189.0
4.50/2.88
4.61/2.92 num=39, depth=16..23, filters=88609, ccks=111, wck=0.71, mem=66M221
4.61/2.92 decisions=8512, wrong=3847, backtracks=1151, failedAssignments=2720, nogoods=341, foundSolutions=3, bestBound=168
4.61/2.92 nFilterCalls=113704, avgTableProportion=0.999159663867846, avgTableSize=1189.0
4.61/2.92
4.61/2.97 num=40, depth=18..27, filters=97509, ccks=111, wck=0.759, mem=68M864
4.61/2.97 decisions=9342, wrong=4251, backtracks=1277, failedAssignments=3001, nogoods=349, foundSolutions=3, bestBound=168
4.61/2.97 nFilterCalls=123769, avgTableProportion=0.9991596638681821, avgTableSize=1189.0
4.61/2.97
4.75/3.01 num=41, depth=16..21, filters=104308, ccks=111, wck=0.801, mem=71M506
4.75/3.01 decisions=10127, wrong=4635, backtracks=1355, failedAssignments=3310, nogoods=356, foundSolutions=3, bestBound=168
4.75/3.01 nFilterCalls=131527, avgTableProportion=0.999159663868368, avgTableSize=1189.0
4.75/3.01
4.75/3.08 num=42, depth=18..25, filters=115109, ccks=111, wck=0.862, mem=74M149
4.75/3.08 decisions=11167, wrong=5146, backtracks=1530, failedAssignments=3650, nogoods=358, foundSolutions=3, bestBound=168
4.75/3.08 nFilterCalls=143551, avgTableProportion=0.9991596638674515, avgTableSize=1189.0
4.75/3.08
4.89/3.14 num=43, depth=17..23, filters=126614, ccks=111, wck=0.929, mem=76M791
4.89/3.14 decisions=12254, wrong=5679, backtracks=1694, failedAssignments=4024, nogoods=370, foundSolutions=3, bestBound=168
4.89/3.14 nFilterCalls=156326, avgTableProportion=0.9991596638666322, avgTableSize=1189.0
4.89/3.14
5.01/3.21 num=44, depth=16..24, filters=138840, ccks=111, wck=1.001, mem=82M76
5.01/3.21 decisions=13510, wrong=6297, backtracks=1904, failedAssignments=4435, nogoods=376, foundSolutions=3, bestBound=168
5.01/3.21 nFilterCalls=171861, avgTableProportion=0.9991596638658001, avgTableSize=1189.0
5.01/3.21
5.10/3.30 num=45, depth=21..26, filters=155012, ccks=111, wck=1.083, mem=84M718
5.10/3.30 decisions=14843, wrong=6952, backtracks=2108, failedAssignments=4887, nogoods=392, foundSolutions=3, bestBound=168
5.10/3.30 nFilterCalls=189242, avgTableProportion=0.9991596638650311, avgTableSize=1189.0
5.10/3.30
5.25/3.40 num=46, depth=10..17, filters=171974, ccks=111, wck=1.186, mem=92M646
5.25/3.40 decisions=16152, wrong=7600, backtracks=2262, failedAssignments=5384, nogoods=414, foundSolutions=3, bestBound=168
5.25/3.40 nFilterCalls=209183, avgTableProportion=0.9991596638643061, avgTableSize=1189.0
5.25/3.40
5.25/3.48 num=47, depth=20..24, filters=186497, ccks=111, wck=1.266, mem=97M931
5.25/3.48 decisions=17659, wrong=8343, backtracks=2461, failedAssignments=5931, nogoods=439, foundSolutions=3, bestBound=168
5.25/3.48 nFilterCalls=224662, avgTableProportion=0.9991596638638321, avgTableSize=1189.0
5.25/3.48
5.39/3.55 num=48, depth=21..28, filters=202095, ccks=111, wck=1.34, mem=103M215
5.39/3.55 decisions=19282, wrong=9142, backtracks=2668, failedAssignments=6533, nogoods=453, foundSolutions=3, bestBound=168
5.39/3.55 nFilterCalls=240853, avgTableProportion=0.9991596638634015, avgTableSize=1189.0
5.39/3.55
5.49/3.66 num=49, depth=16..22, filters=220121, ccks=111, wck=1.446, mem=108M500
5.49/3.66 decisions=21165, wrong=10075, backtracks=2946, failedAssignments=7195, nogoods=457, foundSolutions=3, bestBound=168
5.49/3.66 nFilterCalls=263539, avgTableProportion=0.9991596638628872, avgTableSize=1189.0
5.49/3.66
5.59/3.78 num=50, depth=17..25, filters=241268, ccks=111, wck=1.566, mem=116M428
5.59/3.78 decisions=23327, wrong=11146, backtracks=3297, failedAssignments=7923, nogoods=464, foundSolutions=3, bestBound=168
5.59/3.78 nFilterCalls=288017, avgTableProportion=0.9991596638624232, avgTableSize=1189.0
5.59/3.78
5.79/3.93 num=51, depth=17..26, filters=269351, ccks=111, wck=1.718, mem=124M355
5.79/3.93 decisions=25777, wrong=12359, backtracks=3714, failedAssignments=8724, nogoods=475, foundSolutions=3, bestBound=168
5.79/3.93 nFilterCalls=319700, avgTableProportion=0.999159663861928, avgTableSize=1189.0
5.79/3.93
5.90/4.06 num=52, depth=16..23, filters=292685, ccks=111, wck=1.842, mem=132M282
5.90/4.06 decisions=28268, wrong=13595, backtracks=4071, failedAssignments=9605, nogoods=488, foundSolutions=3, bestBound=168
5.90/4.06 nFilterCalls=345150, avgTableProportion=0.999159663861596, avgTableSize=1189.0
5.90/4.06
6.09/4.20 num=53, depth=17..23, filters=318349, ccks=111, wck=1.986, mem=140M210
6.09/4.20 decisions=31004, wrong=14953, backtracks=4462, failedAssignments=10575, nogoods=506, foundSolutions=3, bestBound=168
6.09/4.20 nFilterCalls=374357, avgTableProportion=0.9991596638612708, avgTableSize=1189.0
6.09/4.20
6.22/4.39 num=54, depth=14..21, filters=348860, ccks=111, wck=2.176, mem=31M522
6.22/4.39 decisions=33848, wrong=16367, backtracks=4814, failedAssignments=11642, nogoods=519, foundSolutions=3, bestBound=168
6.22/4.39 nFilterCalls=409343, avgTableProportion=0.9991596638609422, avgTableSize=1189.0
6.22/4.39
6.42/4.58 num=55, depth=19..26, filters=387282, ccks=111, wck=2.366, mem=41M986
6.42/4.58 decisions=37419, wrong=18141, backtracks=5419, failedAssignments=12815, nogoods=536, foundSolutions=3, bestBound=168
6.42/4.58 nFilterCalls=450916, avgTableProportion=0.999159663860618, avgTableSize=1189.0
6.42/4.58
6.62/4.78 num=56, depth=16..23, filters=425148, ccks=111, wck=2.57, mem=55M66
6.62/4.78 decisions=41074, wrong=19958, backtracks=5946, failedAssignments=14106, nogoods=554, foundSolutions=3, bestBound=168
6.62/4.78 nFilterCalls=493681, avgTableProportion=0.9991596638603416, avgTableSize=1189.0
6.62/4.78
6.82/5.00 num=57, depth=17..26, filters=469202, ccks=111, wck=2.791, mem=70M762
6.82/5.00 decisions=45102, wrong=21961, backtracks=6551, failedAssignments=15526, nogoods=566, foundSolutions=3, bestBound=168
6.82/5.00 nFilterCalls=539999, avgTableProportion=0.9991596638617376, avgTableSize=1189.0
6.82/5.00
7.12/5.22 num=58, depth=20..27, filters=513618, ccks=111, wck=3.007, mem=83M842
7.12/5.22 decisions=49505, wrong=24151, backtracks=7199, failedAssignments=17088, nogoods=589, foundSolutions=3, bestBound=168
7.12/5.22 nFilterCalls=585490, avgTableProportion=0.9991596638659253, avgTableSize=1189.0
7.12/5.22
7.33/5.46 num=59, depth=20..27, filters=561197, ccks=111, wck=3.247, mem=99M538
7.33/5.46 decisions=54301, wrong=26538, backtracks=7874, failedAssignments=18806, nogoods=621, foundSolutions=3, bestBound=168
7.33/5.46 nFilterCalls=636173, avgTableProportion=0.9991596638698855, avgTableSize=1189.0
7.33/5.46
7.63/5.74 num=60, depth=15..25, filters=611232, ccks=111, wck=3.526, mem=117M850
7.63/5.74 decisions=59589, wrong=29173, backtracks=8636, failedAssignments=20696, nogoods=645, foundSolutions=3, bestBound=168
7.63/5.74 nFilterCalls=694016, avgTableProportion=0.9991596638736985, avgTableSize=1189.0
7.63/5.74
7.94/6.04 num=61, depth=16..25, filters=667436, ccks=111, wck=3.821, mem=136M162
7.94/6.04 decisions=65674, wrong=32205, backtracks=9605, failedAssignments=22775, nogoods=673, foundSolutions=3, bestBound=168
7.94/6.04 nFilterCalls=756846, avgTableProportion=0.9991596638771798, avgTableSize=1189.0
7.94/6.04
8.36/6.41 num=62, depth=18..26, filters=746509, ccks=111, wck=4.199, mem=26M307
8.36/6.41 decisions=72328, wrong=35520, backtracks=10650, failedAssignments=25062, nogoods=686, foundSolutions=3, bestBound=168
8.36/6.41 nFilterCalls=839271, avgTableProportion=0.9991596638809563, avgTableSize=1189.0
8.36/6.41
8.76/6.82 num=63, depth=15..23, filters=821263, ccks=111, wck=4.604, mem=49M934
8.76/6.82 decisions=79407, wrong=39050, backtracks=11678, failedAssignments=27578, nogoods=710, foundSolutions=3, bestBound=168
8.76/6.82 nFilterCalls=927663, avgTableProportion=0.9991596638842606, avgTableSize=1189.0
8.76/6.82
9.16/7.21 num=64, depth=17..24, filters=895357, ccks=111, wck=4.996, mem=73M561
9.16/7.21 decisions=87058, wrong=42865, backtracks=12747, failedAssignments=30346, nogoods=725, foundSolutions=3, bestBound=168
9.16/7.21 nFilterCalls=1011066, avgTableProportion=0.9991596638868486, avgTableSize=1189.0
9.16/7.21
9.56/7.68 num=65, depth=17..25, filters=989174, ccks=111, wck=5.469, mem=107M689
9.56/7.68 decisions=95425, wrong=47038, backtracks=13907, failedAssignments=33390, nogoods=739, foundSolutions=3, bestBound=168
9.56/7.68 nFilterCalls=1109792, avgTableProportion=0.9991596638894094, avgTableSize=1189.0
9.56/7.68
10.16/8.27 num=66, depth=13..23, filters=1085418, ccks=111, wck=6.054, mem=152M318
10.16/8.27 decisions=104548, wrong=51591, backtracks=15120, failedAssignments=36739, nogoods=757, foundSolutions=3, bestBound=168
10.16/8.27 nFilterCalls=1225761, avgTableProportion=0.9991596638918905, avgTableSize=1189.0
10.16/8.27
10.70/8.75 num=67, depth=15..24, filters=1170757, ccks=111, wck=6.534, mem=56M244
10.70/8.75 decisions=114209, wrong=56413, backtracks=16303, failedAssignments=40423, nogoods=775, foundSolutions=3, bestBound=168
10.70/8.75 nFilterCalls=1321600, avgTableProportion=0.9991596638936123, avgTableSize=1189.0
10.70/8.75
11.23/9.26 num=68, depth=19..27, filters=1272177, ccks=111, wck=7.05, mem=91M432
11.23/9.26 decisions=125630, wrong=62112, backtracks=18015, failedAssignments=44475, nogoods=816, foundSolutions=3, bestBound=168
11.23/9.26 nFilterCalls=1427945, avgTableProportion=0.9991596638952523, avgTableSize=1189.0
11.23/9.26
11.93/9.91 num=69, depth=17..25, filters=1397746, ccks=111, wck=7.699, mem=137M176
11.93/9.91 decisions=137849, wrong=68212, backtracks=19717, failedAssignments=48932, nogoods=845, foundSolutions=3, bestBound=168
11.93/9.91 nFilterCalls=1565047, avgTableProportion=0.9991596638970379, avgTableSize=1189.0
11.93/9.91
12.63/10.61 num=70, depth=19..27, filters=1538636, ccks=111, wck=8.399, mem=179M401
12.63/10.61 decisions=151955, wrong=75253, backtracks=21940, failedAssignments=53835, nogoods=880, foundSolutions=3, bestBound=168
12.63/10.61 nFilterCalls=1709923, avgTableProportion=0.9991596638986134, avgTableSize=1189.0
12.63/10.61
13.27/11.24 num=71, depth=21..28, filters=1672597, ccks=111, wck=9.022, mem=49M281
13.27/11.24 decisions=166719, wrong=82623, backtracks=23964, failedAssignments=59229, nogoods=906, foundSolutions=3, bestBound=168
13.27/11.24 nFilterCalls=1846339, avgTableProportion=0.999159663899871, avgTableSize=1189.0
13.27/11.24
14.18/12.14 num=72, depth=18..27, filters=1865469, ccks=111, wck=9.923, mem=102M141
14.18/12.14 decisions=184397, wrong=91450, backtracks=26920, failedAssignments=65162, nogoods=933, foundSolutions=3, bestBound=168
14.18/12.14 nFilterCalls=2044964, avgTableProportion=0.9991596639014021, avgTableSize=1189.0
14.18/12.14
15.19/13.15 num=73, depth=17..23, filters=2048158, ccks=111, wck=10.936, mem=176M155
15.19/13.15 decisions=201958, wrong=100221, backtracks=29183, failedAssignments=71688, nogoods=954, foundSolutions=3, bestBound=168
15.19/13.15 nFilterCalls=2242123, avgTableProportion=0.9991596639026534, avgTableSize=1189.0
15.19/13.15
16.13/14.07 num=74, depth=19..30, filters=2235532, ccks=111, wck=11.856, mem=63M277
16.13/14.07 decisions=222343, wrong=110401, backtracks=32300, failedAssignments=78867, nogoods=985, foundSolutions=3, bestBound=168
16.13/14.07 nFilterCalls=2437453, avgTableProportion=0.9991596639036937, avgTableSize=1189.0
16.13/14.07
17.33/15.29 num=75, depth=15..24, filters=2465792, ccks=111, wck=13.08, mem=133M590
17.33/15.29 decisions=243877, wrong=121158, backtracks=35234, failedAssignments=86764, nogoods=1004, foundSolutions=3, bestBound=168
17.33/15.29 nFilterCalls=2690731, avgTableProportion=0.9991596639048177, avgTableSize=1189.0
17.33/15.29
18.33/16.26 num=76, depth=21..30, filters=2686036, ccks=111, wck=14.046, mem=203M902
18.33/16.26 decisions=266804, wrong=132609, backtracks=38211, failedAssignments=95451, nogoods=1017, foundSolutions=3, bestBound=168
18.33/16.26 nFilterCalls=2904774, avgTableProportion=0.9991596639056147, avgTableSize=1189.0
18.33/16.26
19.86/17.79 num=77, depth=19..27, filters=2992309, ccks=111, wck=15.58, mem=63M514
19.86/17.79 decisions=294899, wrong=146646, backtracks=42809, failedAssignments=105006, nogoods=1050, foundSolutions=3, bestBound=168
19.86/17.79 nFilterCalls=3230776, avgTableProportion=0.9991596639066257, avgTableSize=1189.0
19.86/17.79
21.46/19.38 num=78, depth=12..23, filters=3281995, ccks=111, wck=17.163, mem=166M960
21.46/19.38 decisions=323553, wrong=160965, backtracks=46684, failedAssignments=115517, nogoods=1091, foundSolutions=3, bestBound=168
21.46/19.38 nFilterCalls=3551974, avgTableProportion=0.9991596639074403, avgTableSize=1189.0
21.46/19.38
23.40/21.28 num=79, depth=14..24, filters=3639796, ccks=111, wck=19.067, mem=64M268
23.40/21.28 decisions=354531, wrong=176444, backtracks=50712, failedAssignments=127079, nogoods=1117, foundSolutions=3, bestBound=168
23.40/21.28 nFilterCalls=3943870, avgTableProportion=0.9991596639082545, avgTableSize=1189.0
23.40/21.28
25.21/23.04 num=80, depth=18..26, filters=3987921, ccks=111, wck=20.828, mem=181M178
25.21/23.04 decisions=390853, wrong=194594, backtracks=56323, failedAssignments=139797, nogoods=1129, foundSolutions=3, bestBound=168
25.21/23.04 nFilterCalls=4315344, avgTableProportion=0.9991596639088897, avgTableSize=1189.0
25.21/23.04
27.30/25.13 num=81, depth=16..26, filters=4385478, ccks=111, wck=22.919, mem=304M242
27.30/25.13 decisions=429910, wrong=214113, backtracks=61983, failedAssignments=153787, nogoods=1151, foundSolutions=3, bestBound=168
27.30/25.13 nFilterCalls=4746976, avgTableProportion=0.999159663909503, avgTableSize=1189.0
27.30/25.13
29.93/27.72 num=82, depth=16..25, filters=4861997, ccks=111, wck=25.505, mem=170M69
29.93/27.72 decisions=475974, wrong=237135, backtracks=69704, failedAssignments=169176, nogoods=1179, foundSolutions=3, bestBound=168
29.93/27.72 nFilterCalls=5283840, avgTableProportion=0.9991596639101259, avgTableSize=1189.0
29.93/27.72
33.06/30.80 num=83, depth=16..25, filters=5417814, ccks=111, wck=28.591, mem=64M446
33.06/30.80 decisions=527302, wrong=262789, backtracks=78530, failedAssignments=186104, nogoods=1210, foundSolutions=3, bestBound=168
33.06/30.80 nFilterCalls=5919892, avgTableProportion=0.9991596639107178, avgTableSize=1189.0
33.06/30.80
35.96/33.71 num=84, depth=19..29, filters=6022612, ccks=111, wck=31.498, mem=266M126
35.96/33.71 decisions=580024, wrong=289139, backtracks=86392, failedAssignments=204725, nogoods=1234, foundSolutions=3, bestBound=168
35.96/33.71 nFilterCalls=6538287, avgTableProportion=0.9991596639111827, avgTableSize=1189.0
35.96/33.71
38.59/36.32 num=85, depth=18..27, filters=6545692, ccks=111, wck=34.108, mem=98M84
38.59/36.32 decisions=637153, wrong=317693, backtracks=94700, failedAssignments=225209, nogoods=1274, foundSolutions=3, bestBound=168
38.59/36.32 nFilterCalls=7086919, avgTableProportion=0.9991596639115273, avgTableSize=1189.0
38.59/36.32
41.69/39.44 num=86, depth=18..28, filters=7159381, ccks=111, wck=37.224, mem=328M650
41.69/39.44 decisions=698469, wrong=348340, backtracks=103062, failedAssignments=247741, nogoods=1303, foundSolutions=3, bestBound=168
41.69/39.44 nFilterCalls=7717002, avgTableProportion=0.9991596639118626, avgTableSize=1189.0
41.69/39.44
45.73/43.48 num=87, depth=15..26, filters=7906944, ccks=111, wck=41.269, mem=217M811
45.73/43.48 decisions=769436, wrong=383813, backtracks=114050, failedAssignments=272526, nogoods=1319, foundSolutions=3, bestBound=168
45.73/43.48 nFilterCalls=8542513, avgTableProportion=0.999159663912227, avgTableSize=1189.0
45.73/43.48
50.04/47.75 num=88, depth=16..25, filters=8692866, ccks=111, wck=45.537, mem=172M621
50.04/47.75 decisions=844327, wrong=421248, backtracks=124387, failedAssignments=299790, nogoods=1347, foundSolutions=3, bestBound=168
50.04/47.75 nFilterCalls=9389630, avgTableProportion=0.9991596639125344, avgTableSize=1189.0
50.04/47.75
54.15/51.88 num=89, depth=18..29, filters=9570207, ccks=111, wck=49.665, mem=97M964
54.15/51.88 decisions=927839, wrong=462993, backtracks=136676, failedAssignments=329780, nogoods=1360, foundSolutions=3, bestBound=168
54.15/51.88 nFilterCalls=10257210, avgTableProportion=0.9991596639127965, avgTableSize=1189.0
54.15/51.88
59.55/57.26 num=90, depth=18..28, filters=10656570, ccks=111, wck=55.044, mem=126M951
59.55/57.26 decisions=1028388, wrong=513256, backtracks=154349, failedAssignments=362769, nogoods=1383, foundSolutions=3, bestBound=168
59.55/57.26 nFilterCalls=11430635, avgTableProportion=0.9991596639130879, avgTableSize=1189.0
59.55/57.26
64.77/62.49 num=91, depth=17..26, filters=11709071, ccks=111, wck=60.281, mem=142M45
64.77/62.49 decisions=1130844, wrong=564475, backtracks=169715, failedAssignments=399057, nogoods=1417, foundSolutions=3, bestBound=168
64.77/62.49 nFilterCalls=12537691, avgTableProportion=0.9991596639133127, avgTableSize=1189.0
64.77/62.49
70.78/68.49 num=92, depth=18..27, filters=12878060, ccks=111, wck=66.272, mem=279M643
70.78/68.49 decisions=1243413, wrong=620749, backtracks=186453, failedAssignments=438974, nogoods=1450, foundSolutions=3, bestBound=168
70.78/68.49 nFilterCalls=13774485, avgTableProportion=0.9991596639135212, avgTableSize=1189.0
70.78/68.49
76.59/74.23 num=93, depth=18..27, filters=14029108, ccks=111, wck=72.013, mem=115M768
76.59/74.23 decisions=1363878, wrong=680970, backtracks=203316, failedAssignments=482883, nogoods=1500, foundSolutions=3, bestBound=168
76.59/74.23 nFilterCalls=14966337, avgTableProportion=0.9991596639136894, avgTableSize=1189.0
76.59/74.23
83.20/80.82 num=94, depth=17..28, filters=15374736, ccks=111, wck=78.607, mem=37M118
83.20/80.82 decisions=1500112, wrong=749076, backtracks=223637, failedAssignments=531183, nogoods=1525, foundSolutions=3, bestBound=168
83.20/80.82 nFilterCalls=16371909, avgTableProportion=0.9991596639138564, avgTableSize=1189.0
83.20/80.82
90.52/88.16 num=95, depth=17..27, filters=16835125, ccks=111, wck=85.949, mem=246M904
90.52/88.16 decisions=1652457, wrong=825237, backtracks=247357, failedAssignments=584313, nogoods=1541, foundSolutions=3, bestBound=168
90.52/88.16 nFilterCalls=17916969, avgTableProportion=0.9991596639140097, avgTableSize=1189.0
90.52/88.16
97.53/95.11 num=96, depth=19..30, filters=18256199, ccks=111, wck=92.896, mem=249M967
97.53/95.11 decisions=1815113, wrong=906553, backtracks=271157, failedAssignments=642756, nogoods=1586, foundSolutions=3, bestBound=168
97.53/95.11 nFilterCalls=19394253, avgTableProportion=0.9991596639141335, avgTableSize=1189.0
97.53/95.11
103.74/101.32 num=97, depth=22..33, filters=19777924, ccks=111, wck=99.107, mem=183M305
103.74/101.32 decisions=1990974, wrong=994470, backtracks=296598, failedAssignments=707043, nogoods=1614, foundSolutions=3, bestBound=168
103.74/101.32 nFilterCalls=20833473, avgTableProportion=0.999159663914237, avgTableSize=1189.0
103.74/101.32
115.26/112.84 num=98, depth=18..29, filters=22130937, ccks=111, wck=110.629, mem=71M839
115.26/112.84 decisions=2193218, wrong=1095581, backtracks=327765, failedAssignments=777759, nogoods=1629, foundSolutions=3, bestBound=168
115.26/112.84 nFilterCalls=23235579, avgTableProportion=0.9991596639143815, avgTableSize=1189.0
115.26/112.84
127.08/124.68 num=99, depth=15..27, filters=24370980, ccks=111, wck=122.462, mem=135M317
127.08/124.68 decisions=2416658, wrong=1207292, backtracks=362905, failedAssignments=855546, nogoods=1653, foundSolutions=3, bestBound=168
127.08/124.68 nFilterCalls=25682526, avgTableProportion=0.9991596639145008, avgTableSize=1189.0
127.08/124.68
136.10/133.66 num=100, depth=22..32, filters=26785167, ccks=111, wck=131.45, mem=84M45
136.10/133.66 decisions=2666530, wrong=1332215, backtracks=403968, failedAssignments=941112, nogoods=1673, foundSolutions=3, bestBound=168
136.10/133.66 nFilterCalls=27898222, avgTableProportion=0.9991596639145909, avgTableSize=1189.0
136.10/133.66
149.73/147.24 num=101, depth=20..29, filters=29533179, ccks=111, wck=145.022, mem=150M905
149.73/147.24 decisions=2931971, wrong=1464923, backtracks=443605, failedAssignments=1035235, nogoods=1707, foundSolutions=3, bestBound=168
149.73/147.24 nFilterCalls=30736501, avgTableProportion=0.9991596639146872, avgTableSize=1189.0
149.73/147.24
166.18/163.67 num=102, depth=16..27, filters=32513657, ccks=111, wck=161.455, mem=76M888
166.18/163.67 decisions=3226469, wrong=1612162, backtracks=488401, failedAssignments=1138770, nogoods=1740, foundSolutions=3, bestBound=168
166.18/163.67 nFilterCalls=34095319, avgTableProportion=0.9991596639147804, avgTableSize=1189.0
166.18/163.67
183.64/181.05 num=103, depth=14..25, filters=35647056, ccks=111, wck=178.839, mem=137M872
183.64/181.05 decisions=3550833, wrong=1774334, backtracks=537695, failedAssignments=1252659, nogoods=1779, foundSolutions=3, bestBound=168
183.64/181.05 nFilterCalls=37699534, avgTableProportion=0.999159663914862, avgTableSize=1189.0
183.64/181.05
203.53/200.88 num=104, depth=12..26, filters=39188737, ccks=111, wck=198.663, mem=37M112
203.53/200.88 decisions=3917294, wrong=1957556, backtracks=596911, failedAssignments=1377937, nogoods=1835, foundSolutions=3, bestBound=168
203.53/200.88 nFilterCalls=41690245, avgTableProportion=0.9991596639149359, avgTableSize=1189.0
203.53/200.88
220.00/217.25 num=105, depth=20..30, filters=42774603, ccks=111, wck=215.039, mem=84M492
220.00/217.25 decisions=4289667, wrong=2143731, backtracks=646993, failedAssignments=1515743, nogoods=1849, foundSolutions=3, bestBound=168
220.00/217.25 nFilterCalls=45216011, avgTableProportion=0.9991596639149903, avgTableSize=1189.0
220.00/217.25
242.20/239.38 num=106, depth=17..26, filters=47146875, ccks=111, wck=237.169, mem=52M664
242.20/239.38 decisions=4718158, wrong=2357966, backtracks=711643, failedAssignments=1667329, nogoods=1898, foundSolutions=3, bestBound=168
242.20/239.38 nFilterCalls=49790361, avgTableProportion=0.9991596639150495, avgTableSize=1189.0
242.20/239.38
265.39/262.49 num=107, depth=18..29, filters=52216410, ccks=111, wck=260.276, mem=67M138
265.39/262.49 decisions=5194437, wrong=2596095, backtracks=785074, failedAssignments=1834074, nogoods=1924, foundSolutions=3, bestBound=168
265.39/262.49 nFilterCalls=54887521, avgTableProportion=0.9991596639151038, avgTableSize=1189.0
265.39/262.49
288.10/285.08 num=108, depth=18..33, filters=57624572, ccks=111, wck=282.867, mem=70M321
288.10/285.08 decisions=5707045, wrong=2852387, backtracks=867793, failedAssignments=2017493, nogoods=1984, foundSolutions=3, bestBound=168
288.10/285.08 nFilterCalls=60058046, avgTableProportion=0.9991596639151494, avgTableSize=1189.0
288.10/285.08
319.03/315.82 num=109, depth=15..27, filters=63199393, ccks=111, wck=313.609, mem=22M981
319.03/315.82 decisions=6270506, wrong=3134107, backtracks=949404, failedAssignments=2219254, nogoods=1999, foundSolutions=3, bestBound=168
319.03/315.82 nFilterCalls=66473176, avgTableProportion=0.9991596639151963, avgTableSize=1189.0
319.03/315.82
355.16/351.86 num=110, depth=15..29, filters=69968630, ccks=111, wck=349.647, mem=54M333
355.16/351.86 decisions=6934062, wrong=3465875, backtracks=1062838, failedAssignments=2441192, nogoods=2035, foundSolutions=3, bestBound=168
355.16/351.86 nFilterCalls=73975846, avgTableProportion=0.9991596639152406, avgTableSize=1189.0
355.16/351.86
396.42/392.90 num=111, depth=17..29, filters=77881574, ccks=111, wck=390.683, mem=32M749
396.42/392.90 decisions=7656424, wrong=3827045, backtracks=1182527, failedAssignments=2685323, nogoods=2053, foundSolutions=3, bestBound=168
396.42/392.90 nFilterCalls=82596339, avgTableProportion=0.9991596639152817, avgTableSize=1189.0
396.42/392.90
431.85/428.21 num=112, depth=19..31, filters=85486758, ccks=111, wck=425.999, mem=50M62
431.85/428.21 decisions=8406634, wrong=4202139, backtracks=1292621, failedAssignments=2953868, nogoods=2069, foundSolutions=3, bestBound=168
431.85/428.21 nFilterCalls=90177779, avgTableProportion=0.9991596639153113, avgTableSize=1189.0
431.85/428.21
477.61/473.82 num=113, depth=17..28, filters=94026037, ccks=111, wck=471.604, mem=37M118
477.61/473.82 decisions=9262900, wrong=4630261, backtracks=1428215, failedAssignments=3249267, nogoods=2100, foundSolutions=3, bestBound=168
477.61/473.82 nFilterCalls=99474411, avgTableProportion=0.9991596639153415, avgTableSize=1189.0
477.61/473.82
520.07/516.14 num=114, depth=17..30, filters=102564637, ccks=111, wck=513.927, mem=73M864
520.07/516.14 decisions=10167868, wrong=5082733, backtracks=1559365, failedAssignments=3574206, nogoods=2117, foundSolutions=3, bestBound=168
520.07/516.14 nFilterCalls=108411597, avgTableProportion=0.9991596639153656, avgTableSize=1189.0
520.07/516.14
558.11/554.06 num=115, depth=18..30, filters=110995723, ccks=111, wck=551.843, mem=38M239
558.11/554.06 decisions=11148286, wrong=5572930, backtracks=1699495, failedAssignments=3931639, nogoods=2150, foundSolutions=3, bestBound=168
558.11/554.06 nFilterCalls=116801416, avgTableProportion=0.9991596639153849, avgTableSize=1189.0
558.11/554.06
602.06/597.83 num=116, depth=20..34, filters=120992676, ccks=111, wck=595.619, mem=64M184
602.06/597.83 decisions=12276796, wrong=6137173, backtracks=1880968, failedAssignments=4324815, nogoods=2185, foundSolutions=3, bestBound=168
602.06/597.83 nFilterCalls=126837792, avgTableProportion=0.9991596639154046, avgTableSize=1189.0
602.06/597.83
663.14/658.78 num=117, depth=18..31, filters=133190517, ccks=111, wck=656.566, mem=65M289
663.14/658.78 decisions=13502748, wrong=6750138, backtracks=2067395, failedAssignments=4757309, nogoods=2225, foundSolutions=3, bestBound=168
663.14/658.78 nFilterCalls=139555714, avgTableProportion=0.9991596639154255, avgTableSize=1189.0
663.14/658.78
720.21/715.67 num=118, depth=18..32, filters=145781525, ccks=111, wck=713.458, mem=29M673
720.21/715.67 decisions=14833159, wrong=7415332, backtracks=2266396, failedAssignments=5233053, nogoods=2249, foundSolutions=3, bestBound=168
720.21/715.67 nFilterCalls=152367526, avgTableProportion=0.9991596639154431, avgTableSize=1189.0
720.21/715.67
803.85/799.01 num=119, depth=15..30, filters=160988898, ccks=111, wck=796.795, mem=59M938
803.85/799.01 decisions=16355341, wrong=8176412, backtracks=2512720, failedAssignments=5756371, nogoods=2278, foundSolutions=3, bestBound=168
803.85/799.01 nFilterCalls=169658514, avgTableProportion=0.9991596639154625, avgTableSize=1189.0
803.85/799.01
863.73/858.73 num=120, depth=19..34, filters=175318070, ccks=111, wck=856.518, mem=71M843
863.73/858.73 decisions=17930797, wrong=8964127, backtracks=2742867, failedAssignments=6332021, nogoods=2306, foundSolutions=3, bestBound=168
863.73/858.73 nFilterCalls=183335104, avgTableProportion=0.9991596639154753, avgTableSize=1189.0
863.73/858.73
938.04/932.86 num=121, depth=18..33, filters=192084533, ccks=111, wck=930.646, mem=70M796
938.04/932.86 decisions=19690847, wrong=9844141, backtracks=3004027, failedAssignments=6965236, nogoods=2361, foundSolutions=3, bestBound=168
938.04/932.86 nFilterCalls=199492604, avgTableProportion=0.9991596639154882, avgTableSize=1189.0
938.04/932.86
1032.70/1027.28 num=122, depth=17..30, filters=212058798, ccks=111, wck=1025.067, mem=47M76
1032.70/1027.28 decisions=21698543, wrong=10847978, backtracks=3320147, failedAssignments=7661772, nogoods=2394, foundSolutions=3, bestBound=168
1032.70/1027.28 nFilterCalls=219862915, avgTableProportion=0.9991596639155017, avgTableSize=1189.0
1032.70/1027.28
1158.21/1152.46 num=123, depth=14..28, filters=235127954, ccks=111, wck=1150.242, mem=55M733
1158.21/1152.46 decisions=23906809, wrong=11952100, backtracks=3668307, failedAssignments=8427962, nogoods=2426, foundSolutions=3, bestBound=168
1158.21/1152.46 nFilterCalls=245876949, avgTableProportion=0.9991596639155157, avgTableSize=1189.0
1158.21/1152.46
1305.58/1299.41 num=124, depth=16..28, filters=262647506, ccks=111, wck=1297.196, mem=62M237
1305.58/1299.41 decisions=26234351, wrong=13115861, backtracks=3994926, failedAssignments=9270771, nogoods=2452, foundSolutions=3, bestBound=168
1305.58/1299.41 nFilterCalls=275246255, avgTableProportion=0.999159663202533, avgTableSize=1189.0
1305.58/1299.41
1450.24/1443.78 num=125, depth=14..27, filters=288923816, ccks=111, wck=1441.562, mem=71M990
1450.24/1443.78 decisions=28809449, wrong=14403399, backtracks=4365648, failedAssignments=10197861, nogoods=2472, foundSolutions=3, bestBound=168
1450.24/1443.78 nFilterCalls=304419779, avgTableProportion=0.9991596604148196, avgTableSize=1189.0
1450.24/1443.78
1577.19/1570.34 num=126, depth=20..34, filters=317746876, ccks=111, wck=1568.126, mem=33M134
1577.19/1570.34 decisions=31732157, wrong=15864740, backtracks=4825115, failedAssignments=11217660, nogoods=2531, foundSolutions=3, bestBound=168
1577.19/1570.34 nFilterCalls=332317382, avgTableProportion=0.9991596582068429, avgTableSize=1189.0
1577.19/1570.34
1690.91/1683.71 num=127, depth=19..33, filters=344869319, ccks=111, wck=1681.496, mem=27M758
1690.91/1683.71 decisions=34821403, wrong=17409351, backtracks=5283277, failedAssignments=12339439, nogoods=2567, foundSolutions=3, bestBound=168
1690.91/1683.71 nFilterCalls=358389293, avgTableProportion=0.9991596564540998, avgTableSize=1189.0
1690.91/1683.71
1895.72/1888.04 num=128, depth=15..28, filters=383243893, ccks=111, wck=1885.826, mem=62M352
1895.72/1888.04 decisions=38475516, wrong=19236397, backtracks=5886771, failedAssignments=13573396, nogoods=2595, foundSolutions=3, bestBound=168
1895.72/1888.04 nFilterCalls=399886037, avgTableProportion=0.9991596541357644, avgTableSize=1189.0
1895.72/1888.04
2061.73/2053.61 num=129, depth=17..33, filters=419907552, ccks=111, wck=2051.399, mem=63M457
2061.73/2053.61 decisions=42270653, wrong=21133953, backtracks=6460242, failedAssignments=14930749, nogoods=2645, foundSolutions=3, bestBound=168
2061.73/2053.61 nFilterCalls=435390486, avgTableProportion=0.999159652503009, avgTableSize=1189.0
2061.73/2053.61
2214.69/2206.27 num=130, depth=18..34, filters=458367115, ccks=111, wck=2204.052, mem=32M168
2214.69/2206.27 decisions=46394669, wrong=23195949, backtracks=7065322, failedAssignments=16423837, nogoods=2689, foundSolutions=3, bestBound=168
2214.69/2206.27 nFilterCalls=471123758, avgTableProportion=0.9991596511082076, avgTableSize=1189.0
2214.69/2206.27
2375.10/2366.25 o 167
2375.10/2366.25 num=131, depth=18..69, filters=494565945, ccks=148, wck=2364.033, mem=39M981
2375.10/2366.25 decisions=50153323, wrong=25075262, backtracks=7635807, failedAssignments=17799147, nogoods=2757, foundSolutions=4, bestBound=167
2375.10/2366.25 nFilterCalls=506516057, avgTableProportion=0.9991596499207064, avgTableSize=1189.0
2375.10/2366.25
2400.09/2391.01
2400.09/2391.01 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>
2400.09/2391.01 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 (10446 MiB free)
memory of node 1: 16384 MiB (15699 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391317-1568390776/watcher-4391317-1568390776 -o /tmp/evaluation-result-4391317-1568390776/solver-4391317-1568390776 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568390535-19498 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391317-1568390776.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19800, runsolver pid=19797
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.68 1.34 1.21 4/228 19815
/proc/meminfo: memFree=26758932/32770624 swapFree=67020316/67108860
[pid=19800] ppid=19797 vsize=10659884 memory=29280 CPUtime=0.13 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 5832 0 0 0 12 1 0 0 20 0 15 0 415350267 10915721216 7320 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2664971 7320 2912 1 0 2627468 0
[pid=19800/tid=19802] ppid=19797 vsize=10659884 memory=-8125511277465734529 CPUtime=0.09 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) R 19797 19800 17678 0 -1 4202560 3207 0 0 0 8 1 0 0 20 0 15 0 415350268 10915721216 7320 33554432000 4194304 4196468 140723990924304 140554158427792 140554154208662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553645048864 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553643996016 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0.02 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) R 19797 19800 17678 0 -1 4202560 579 0 0 0 2 0 0 0 20 0 15 0 415350273 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553639783000 140554132876126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7320 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29280 KiB
[startup+0.210738 s]*
/proc/loadavg: 1.68 1.34 1.21 2/228 19815
/proc/meminfo: memFree=26754416/32770624 swapFree=67020316/67108860
[pid=19800] ppid=19797 vsize=10659884 memory=30956 CPUtime=0.21 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 6200 0 0 0 19 2 0 0 20 0 15 0 415350267 10915721216 7739 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2664971 7739 2934 1 0 2627468 0
[pid=19800/tid=19802] ppid=19797 vsize=10659884 memory=7022364594140610616 CPUtime=0.12 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) D 19797 19800 17678 0 -1 4202560 3468 0 0 0 11 1 0 0 20 0 15 0 415350268 10915721216 7739 33554432000 4194304 4196468 140723990924304 140554158428656 140554154218653 0 4 0 16800975 18446744072100301957 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10659884 memory=3833890268859377312 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553645048864 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553643996016 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 15 0 415350273 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 415350273 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0.04 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) S 19797 19800 17678 0 -1 1077944384 609 0 0 0 4 0 0 0 20 0 15 0 415350273 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553639787120 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 7739 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30956 KiB
[startup+0.310175 s]*
/proc/loadavg: 1.68 1.34 1.21 3/228 19815
/proc/meminfo: memFree=26751184/32770624 swapFree=67020316/67108860
[pid=19800] ppid=19797 vsize=10659884 memory=34948 CPUtime=0.35 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 6840 0 0 0 33 2 0 0 20 0 15 0 415350267 10915721216 8737 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2664971 8737 2989 1 0 2627468 0
[pid=19800/tid=19802] ppid=19797 vsize=10659884 memory=7311146985107750967 CPUtime=0.22 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) R 19797 19800 17678 0 -1 4202560 3848 0 0 0 21 1 0 0 20 0 15 0 415350268 10915721216 8737 33554432000 4194304 4196468 140723990924304 140554158423088 140554154218653 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10659884 memory=3760706774914606752 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553645048864 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553643996016 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 678 0 0 0 3 0 0 0 20 0 15 0 415350273 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 15 0 415350273 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0.05 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) S 19797 19800 17678 0 -1 1077944384 627 0 0 0 5 0 0 0 20 0 15 0 415350273 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553639787120 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10659884 memory=140375875167872 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 8737 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34948 KiB
[startup+0.702036 s]
/proc/loadavg: 1.68 1.34 1.21 3/228 19815
/proc/meminfo: memFree=26737104/32770624 swapFree=67020316/67108860
[pid=19800] ppid=19797 vsize=10659884 memory=58672 CPUtime=1 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 12832 0 0 0 95 5 0 0 20 0 15 0 415350267 10915721216 14668 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2664971 14668 3058 1 0 2627468 0
[pid=19800/tid=19802] ppid=19797 vsize=10659884 memory=1844 CPUtime=0.6 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) R 19797 19800 17678 0 -1 4202560 8604 0 0 0 57 3 0 0 20 0 15 0 415350268 10915721216 14668 33554432000 4194304 4196468 140723990924304 140554158429088 140554133847472 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10659884 memory=4964 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10659884 memory=10092 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10659884 memory=1908 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10659884 memory=1360 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350268 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10659884 memory=7420 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10659884 memory=860 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553645048864 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10659884 memory=776 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350270 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553643996016 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10659884 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10659884 memory=7014751519599842897 CPUtime=0.1 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 1022 0 0 0 10 0 0 0 20 0 15 0 415350273 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10659884 memory=6081666446975789422 CPUtime=0.1 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 703 0 0 0 10 0 0 0 20 0 15 0 415350273 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10659884 memory=5787213848606435153 CPUtime=0.17 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) S 19797 19800 17678 0 -1 1077944384 1144 0 0 0 17 0 0 0 20 0 15 0 415350273 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553639787120 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10659884 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350273 10915721216 14668 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 58672 KiB
[startup+1.50066 s]
/proc/loadavg: 1.68 1.34 1.21 3/228 19815
/proc/meminfo: memFree=26717996/32770624 swapFree=67020316/67108860
[pid=19800] ppid=19797 vsize=10663980 memory=75664 CPUtime=1.92 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 18489 0 0 0 186 6 0 0 20 0 15 0 415350267 10919915520 18916 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2665995 18916 3094 1 0 2628492 0
[pid=19800/tid=19802] ppid=19797 vsize=10663980 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) R 19797 19800 17678 0 -1 4202560 12936 0 0 0 136 4 0 0 20 0 15 0 415350268 10919915520 18916 33554432000 4194304 4196468 140723990924304 140554158422608 140554154218653 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10919915520 18916 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10919915520 18916 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350268 10919915520 18916 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10663980 memory=-7096649868621430206 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350268 10919915520 18916 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 415350270 10919915520 18916 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
################
# More data... #
################
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 7599 0 0 0 220 11 0 0 20 0 16 0 415350268 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10746276 memory=302308 CPUtime=1.69 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 10481 0 0 0 158 11 0 0 20 0 16 0 415350270 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10746276 memory=302308 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553645048928 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10746276 memory=288293281132184406 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553643996032 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10746276 memory=302308 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10746276 memory=4426639978525455914 CPUtime=0.78 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 4159 0 0 0 77 1 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10746276 memory=6791534058613427641 CPUtime=0.78 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 4581 0 0 0 77 1 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10746276 memory=1736 CPUtime=0.56 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) S 19797 19800 17678 0 -1 1077944384 10296 0 0 0 55 1 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553639787120 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10746276 memory=302308 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10746276 memory=302308 CPUtime=0.47 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1081 0 0 0 20 27 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19816] ppid=19797 vsize=10746276 memory=302308 CPUtime=2255.51 cores=1,3,5,7
/proc/19800/task/19816/stat : 19816 (java) R 19797 19800 17678 0 -1 4202560 27791 0 0 0 225540 11 0 0 20 0 16 0 415350462 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553620725200 140553766056898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 2270.99 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 302308 KiB
[startup+2322.3 s]
/proc/loadavg: 1.25 1.36 1.39 2/207 20081
/proc/meminfo: memFree=26904268/32770624 swapFree=67020376/67108860
[pid=19800] ppid=19797 vsize=10746276 memory=302308 CPUtime=2331.12 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 104111 0 0 0 233017 95 0 0 20 0 16 0 415350267 11004186624 75577 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2686569 75577 3369 1 0 2646705 0
[pid=19800/tid=19802] ppid=19797 vsize=10746276 memory=302308 CPUtime=1.85 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) S 19797 19800 17678 0 -1 1077944384 15363 0 0 0 179 6 0 0 20 0 16 0 415350268 11004186624 75577 33554432000 4194304 4196468 140723990924304 140554158439600 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10746276 memory=302308 CPUtime=2.36 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 6155 0 0 0 225 11 0 0 20 0 16 0 415350268 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10746276 memory=302308 CPUtime=2.35 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 6022 0 0 0 222 13 0 0 20 0 16 0 415350268 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10746276 memory=302308 CPUtime=2.35 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 8735 0 0 0 223 12 0 0 20 0 16 0 415350268 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10746276 memory=302308 CPUtime=2.35 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 7612 0 0 0 224 11 0 0 20 0 16 0 415350268 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10746276 memory=302308 CPUtime=1.74 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 10668 0 0 0 163 11 0 0 20 0 16 0 415350270 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10746276 memory=302308 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553645048928 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10746276 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553643996032 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10746276 memory=13240 CPUtime=0.78 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 4161 0 0 0 77 1 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10746276 memory=302308 CPUtime=0.78 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 4583 0 0 0 77 1 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10746276 memory=1908 CPUtime=0.56 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) S 19797 19800 17678 0 -1 1077944384 10299 0 0 0 55 1 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553639787120 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10746276 memory=288230583166042426 CPUtime=0.49 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1098 0 0 0 21 28 0 0 20 0 16 0 415350273 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19816] ppid=19797 vsize=10746276 memory=15819993182898827 CPUtime=2315.38 cores=1,3,5,7
/proc/19800/task/19816/stat : 19816 (java) R 19797 19800 17678 0 -1 4202560 28019 0 0 0 231526 12 0 0 20 0 16 0 415350462 11004186624 75577 33554432000 4194304 4196468 140723990924304 140553620725200 140553762435902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 2331.12 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 302308 KiB
[startup+2382.3 s]
/proc/loadavg: 0.94 1.25 1.36 2/207 20085
/proc/meminfo: memFree=26904716/32770624 swapFree=67020376/67108860
[pid=19800] ppid=19797 vsize=10746276 memory=302312 CPUtime=2391.36 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 105960 0 0 0 239039 97 0 0 20 0 16 0 415350267 11004186624 75578 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2686569 75578 3369 1 0 2646705 0
[pid=19800/tid=19802] ppid=19797 vsize=10746276 memory=302312 CPUtime=1.85 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) S 19797 19800 17678 0 -1 1077944384 15363 0 0 0 179 6 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140554158439600 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10746276 memory=302312 CPUtime=2.42 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 6431 0 0 0 231 11 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10746276 memory=302312 CPUtime=2.42 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 6033 0 0 0 229 13 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10746276 memory=302312 CPUtime=2.41 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 8770 0 0 0 229 12 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10746276 memory=302312 CPUtime=2.42 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 7645 0 0 0 230 12 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10746276 memory=302312 CPUtime=1.79 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 10856 0 0 0 168 11 0 0 20 0 16 0 415350270 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10746276 memory=302312 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553645048928 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10746276 memory=302312 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553643996032 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10746276 memory=302312 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10746276 memory=4120 CPUtime=0.8 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 4222 0 0 0 79 1 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10746276 memory=302312 CPUtime=0.8 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 4890 0 0 0 79 1 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10746276 memory=7420 CPUtime=0.57 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) S 19797 19800 17678 0 -1 1077944384 10495 0 0 0 56 1 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553639787120 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10746276 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10746276 memory=-8341965534556230502 CPUtime=0.5 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1115 0 0 0 21 29 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19816] ppid=19797 vsize=10746276 memory=302312 CPUtime=2375.26 cores=1,3,5,7
/proc/19800/task/19816/stat : 19816 (java) R 19797 19800 17678 0 -1 4202560 28744 0 0 0 237514 12 0 0 20 0 16 0 415350462 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553620725280 140553766043852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 2391.36 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 302312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2391 s]*
/proc/loadavg: 0.79 1.21 1.34 2/207 20085
/proc/meminfo: memFree=26904508/32770624 swapFree=67020376/67108860
[pid=19800] ppid=19797 vsize=10746276 memory=302312 CPUtime=2400.09 cores=1,3,5,7
/proc/19800/stat : 19800 (java) S 19797 19800 17678 0 -1 1077944320 105971 0 0 0 239912 97 0 0 20 0 16 0 415350267 11004186624 75578 33554432000 4194304 4196468 140723990924304 140723990906848 140554154196727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
/proc/19800/statm: 2686569 75578 3369 1 0 2646705 0
[pid=19800/tid=19802] ppid=19797 vsize=10746276 memory=1398720917958146503 CPUtime=1.85 cores=1,3,5,7
/proc/19800/task/19802/stat : 19802 (java) S 19797 19800 17678 0 -1 1077944384 15363 0 0 0 179 6 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140554158439600 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19803] ppid=19797 vsize=10746276 memory=4872558044660077418 CPUtime=2.43 cores=1,3,5,7
/proc/19800/task/19803/stat : 19803 (java) S 19797 19800 17678 0 -1 1077944384 6431 0 0 0 232 11 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553761057936 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19804] ppid=19797 vsize=10746276 memory=5938397865958926185 CPUtime=2.42 cores=1,3,5,7
/proc/19800/task/19804/stat : 19804 (java) S 19797 19800 17678 0 -1 1077944384 6033 0 0 0 229 13 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553760005136 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19805] ppid=19797 vsize=10746276 memory=5938397865958926185 CPUtime=2.42 cores=1,3,5,7
/proc/19800/task/19805/stat : 19805 (java) S 19797 19800 17678 0 -1 1077944384 8770 0 0 0 230 12 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553758952336 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19806] ppid=19797 vsize=10746276 memory=7596839641301870912 CPUtime=2.43 cores=1,3,5,7
/proc/19800/task/19806/stat : 19806 (java) S 19797 19800 17678 0 -1 1077944384 7645 0 0 0 231 12 0 0 20 0 16 0 415350268 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553757899536 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19807] ppid=19797 vsize=10746276 memory=7666083580385323373 CPUtime=1.79 cores=1,3,5,7
/proc/19800/task/19807/stat : 19807 (java) S 19797 19800 17678 0 -1 1077944384 10856 0 0 0 168 11 0 0 20 0 16 0 415350270 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553646102896 140554154207874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19808] ppid=19797 vsize=10746276 memory=7666083580385323373 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19808/stat : 19808 (java) S 19797 19800 17678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553645048928 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19809] ppid=19797 vsize=10746276 memory=7595993012968313449 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19809/stat : 19809 (java) S 19797 19800 17678 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415350270 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553643996032 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19810] ppid=19797 vsize=10746276 memory=7373327627696039787 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19810/stat : 19810 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553642944336 140554154215323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19811] ppid=19797 vsize=10746276 memory=7373327627696039787 CPUtime=0.8 cores=1,3,5,7
/proc/19800/task/19811/stat : 19811 (java) S 19797 19800 17678 0 -1 1077944384 4222 0 0 0 79 1 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553641892720 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19812] ppid=19797 vsize=10746276 memory=6003977171811920743 CPUtime=0.8 cores=1,3,5,7
/proc/19800/task/19812/stat : 19812 (java) S 19797 19800 17678 0 -1 1077944384 4890 0 0 0 79 1 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553640839920 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19813] ppid=19797 vsize=10746276 memory=7595993012968313449 CPUtime=0.57 cores=1,3,5,7
/proc/19800/task/19813/stat : 19813 (java) S 19797 19800 17678 0 -1 1077944384 10495 0 0 0 56 1 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553639787120 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19814] ppid=19797 vsize=10746276 memory=6003977171811920743 CPUtime=0 cores=1,3,5,7
/proc/19800/task/19814/stat : 19814 (java) S 19797 19800 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553638734560 140554154206933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19815] ppid=19797 vsize=10746276 memory=7014757085961741165 CPUtime=0.5 cores=1,3,5,7
/proc/19800/task/19815/stat : 19815 (java) S 19797 19800 17678 0 -1 1077944384 1115 0 0 0 21 29 0 0 20 0 16 0 415350273 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553637681840 140554154207874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
[pid=19800/tid=19816] ppid=19797 vsize=10746276 memory=6003977171811920743 CPUtime=2383.95 cores=1,3,5,7
/proc/19800/task/19816/stat : 19816 (java) R 19797 19800 17678 0 -1 4202560 28755 0 0 0 238383 12 0 0 20 0 16 0 415350462 11004186624 75578 33554432000 4194304 4196468 140723990924304 140553620725168 140553766058018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35233792 140723990930443 140723990930546 140723990930546 140723990933455 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 302312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2391.02 s]
# the end of solver process 19800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.14 s, system=0.981709 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2391.02
CPU time (s): 2400.12
CPU user time (s): 2399.14
CPU system time (s): 0.981709
CPU usage (%): 100.38
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 464416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.14
system time used= 0.981709
maximum resident set size= 465852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97389
involuntary context switches= 3338
# summary of solver processes directly reported to runsolver:
# pid: 19800
# total CPU time (s): 2400.12
# total CPU user time (s): 2399.14
# total CPU system time (s): 0.981709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3199 second user time and 21.291 second system time
The end