2.38/1.88
2.38/1.88 AbsCon 2
2.38/1.90
2.88/2.09 Instance
2.88/2.09 name=instance-4391002-1568385445, framework=COP, bounds=-infty..+infty
2.88/2.09
2.88/2.09 Loading variables...
3.19/2.13 Loading constraints...
3.50/2.27
3.50/2.27 Domains
3.50/2.27 nTypes=2, nValues=16000, sizes=[60#100,100#100]
3.50/2.27 Variables
3.50/2.27 count=200, degrees=[2#100,3#100]
3.50/2.27 Objectives
3.50/2.27 way=min, type=SumSimpleLE
3.50/2.28 Constraints
3.50/2.28 count=102, nSpecific=102, arities=[3#100,100#2]
3.50/2.28 distribution=[AllDifferent#1,CtrExtensionCT-Table#100,SumSimpleLE#1]
3.50/2.28 tables=[9900#100], nTotalTuples=990000
3.50/2.28 nExtStructures=(1,shared:99)
3.50/2.28 wck=0.424, cpu=2.237, mem=74M481
3.50/2.30 Solver SolverBacktrack being built...
3.50/2.30
3.82/2.32
3.82/2.32 Solver
3.82/2.32 guaranteedGAC=true
3.82/2.32 wck=0.47, cpu=2.282, mem=90M448
3.82/2.34
3.82/2.34 Preprocessing
3.82/2.34 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.82/2.34 wck=0.017, cpu=2.301, mem=90M448
3.82/2.34
4.10/2.49 o 1674
4.41/2.50 num=0, depth=201..199, filters=1058, ccks=102, wck=0.184, mem=98M449
4.41/2.50 decisions=99, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=1674
4.41/2.50 nFilterCalls=5247, avgTableProportion=0.9998989898989483, avgTableSize=9899.0
4.41/2.50
4.41/2.60 o 1673
4.41/2.60 num=1, depth=201..199, filters=2116, ccks=204, wck=0.28, mem=101M92
4.41/2.60 decisions=197, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=1673
4.41/2.60 nFilterCalls=10398, avgTableProportion=0.9998989898989742, avgTableSize=9899.0
4.41/2.60
4.76/2.68 o 1636
4.76/2.68 num=2, depth=201..199, filters=3151, ccks=306, wck=0.363, mem=101M92
4.76/2.68 decisions=296, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=1636
4.76/2.68 nFilterCalls=15481, avgTableProportion=0.9998989898991536, avgTableSize=9899.0
4.76/2.68
5.03/2.76 num=3, depth=95..98, filters=4367, ccks=306, wck=0.439, mem=101M92
5.03/2.76 decisions=423, wrong=16, backtracks=5, failedAssignments=11, nogoods=6, foundSolutions=3, bestBound=1636
5.03/2.76 nFilterCalls=20755, avgTableProportion=0.9998989898992467, avgTableSize=9899.0
5.03/2.76
5.28/2.84 o 533
5.28/2.84 num=4, depth=24..199, filters=5299, ccks=408, wck=0.524, mem=103M759
5.28/2.84 decisions=540, wrong=24, backtracks=8, failedAssignments=16, nogoods=7, foundSolutions=4, bestBound=533
5.28/2.84 nFilterCalls=25650, avgTableProportion=0.999898989899299, avgTableSize=9899.0
5.28/2.84
5.52/2.91 num=5, depth=94..96, filters=6108, ccks=408, wck=0.585, mem=106M402
5.52/2.91 decisions=667, wrong=40, backtracks=12, failedAssignments=28, nogoods=13, foundSolutions=4, bestBound=533
5.52/2.91 nFilterCalls=30503, avgTableProportion=0.9998989898993342, avgTableSize=9899.0
5.52/2.91
5.52/2.96 num=6, depth=68..71, filters=6903, ccks=408, wck=0.637, mem=106M402
5.52/2.96 decisions=767, wrong=56, backtracks=18, failedAssignments=39, nogoods=18, foundSolutions=4, bestBound=533
5.52/2.96 nFilterCalls=35332, avgTableProportion=0.9998989898990961, avgTableSize=9899.0
5.52/2.96
5.66/3.01 num=7, depth=56..57, filters=7982, ccks=408, wck=0.691, mem=106M402
5.66/3.01 decisions=851, wrong=70, backtracks=20, failedAssignments=51, nogoods=24, foundSolutions=4, bestBound=533
5.66/3.01 nFilterCalls=40129, avgTableProportion=0.999898989898712, avgTableSize=9899.0
5.66/3.01
5.66/3.07 num=8, depth=47..50, filters=8997, ccks=408, wck=0.745, mem=109M44
5.66/3.07 decisions=935, wrong=88, backtracks=25, failedAssignments=64, nogoods=32, foundSolutions=4, bestBound=533
5.66/3.07 nFilterCalls=44846, avgTableProportion=0.9998989898984143, avgTableSize=9899.0
5.66/3.07
5.78/3.12 num=9, depth=71..72, filters=10081, ccks=408, wck=0.796, mem=109M44
5.78/3.12 decisions=1036, wrong=103, backtracks=26, failedAssignments=78, nogoods=42, foundSolutions=4, bestBound=533
5.78/3.12 nFilterCalls=49612, avgTableProportion=0.9998989898981712, avgTableSize=9899.0
5.78/3.12
5.78/3.18 num=10, depth=57..58, filters=11834, ccks=408, wck=0.862, mem=109M44
5.78/3.18 decisions=1138, wrong=125, backtracks=32, failedAssignments=94, nogoods=52, foundSolutions=4, bestBound=533
5.78/3.18 nFilterCalls=55394, avgTableProportion=0.9998989898979322, avgTableSize=9899.0
5.78/3.18
5.87/3.24 num=11, depth=53..55, filters=13080, ccks=408, wck=0.916, mem=111M686
5.87/3.24 decisions=1236, wrong=147, backtracks=37, failedAssignments=111, nogoods=65, foundSolutions=4, bestBound=533
5.87/3.24 nFilterCalls=60102, avgTableProportion=0.9998989898977717, avgTableSize=9899.0
5.87/3.24
5.98/3.30 num=12, depth=46..50, filters=14746, ccks=408, wck=0.982, mem=111M686
5.98/3.30 decisions=1337, wrong=173, backtracks=45, failedAssignments=130, nogoods=67, foundSolutions=4, bestBound=533
5.98/3.30 nFilterCalls=65560, avgTableProportion=0.9998989898976163, avgTableSize=9899.0
5.98/3.30
5.98/3.37 num=13, depth=50..54, filters=16566, ccks=408, wck=1.052, mem=114M329
5.98/3.37 decisions=1449, wrong=204, backtracks=56, failedAssignments=151, nogoods=76, foundSolutions=4, bestBound=533
5.98/3.37 nFilterCalls=71198, avgTableProportion=0.9998989898980551, avgTableSize=9899.0
5.98/3.37
6.08/3.43 num=14, depth=50..57, filters=18140, ccks=408, wck=1.113, mem=114M329
6.08/3.43 decisions=1567, wrong=236, backtracks=65, failedAssignments=174, nogoods=78, foundSolutions=4, bestBound=533
6.08/3.43 nFilterCalls=76670, avgTableProportion=0.9998989898984194, avgTableSize=9899.0
6.08/3.43
6.08/3.50 num=15, depth=51..53, filters=19721, ccks=408, wck=1.175, mem=116M972
6.08/3.50 decisions=1682, wrong=268, backtracks=72, failedAssignments=199, nogoods=81, foundSolutions=4, bestBound=533
6.08/3.50 nFilterCalls=81837, avgTableProportion=0.9998989898987186, avgTableSize=9899.0
6.08/3.50
6.19/3.56 num=16, depth=47..51, filters=21338, ccks=408, wck=1.243, mem=116M972
6.19/3.56 decisions=1800, wrong=303, backtracks=79, failedAssignments=227, nogoods=92, foundSolutions=4, bestBound=533
6.19/3.56 nFilterCalls=86913, avgTableProportion=0.999898989898978, avgTableSize=9899.0
6.19/3.56
6.29/3.66 num=17, depth=48..53, filters=24467, ccks=408, wck=1.339, mem=119M639
6.29/3.66 decisions=1951, wrong=353, backtracks=98, failedAssignments=258, nogoods=96, foundSolutions=4, bestBound=533
6.29/3.66 nFilterCalls=94811, avgTableProportion=0.9998989898993261, avgTableSize=9899.0
6.29/3.66
6.39/3.74 num=18, depth=52..57, filters=26472, ccks=408, wck=1.417, mem=122M281
6.39/3.74 decisions=2103, wrong=403, backtracks=114, failedAssignments=292, nogoods=99, foundSolutions=4, bestBound=533
6.39/3.74 nFilterCalls=101445, avgTableProportion=0.9998989898995768, avgTableSize=9899.0
6.39/3.74
6.50/3.84 num=19, depth=51..57, filters=29844, ccks=408, wck=1.516, mem=124M924
6.50/3.84 decisions=2266, wrong=456, backtracks=130, failedAssignments=329, nogoods=114, foundSolutions=4, bestBound=533
6.50/3.84 nFilterCalls=108822, avgTableProportion=0.9998989898998196, avgTableSize=9899.0
6.50/3.84
6.60/3.93 num=20, depth=51..54, filters=32734, ccks=408, wck=1.614, mem=127M566
6.60/3.93 decisions=2427, wrong=510, backtracks=143, failedAssignments=370, nogoods=121, foundSolutions=4, bestBound=533
6.60/3.93 nFilterCalls=115983, avgTableProportion=0.9998989899000258, avgTableSize=9899.0
6.60/3.93
6.71/4.03 num=21, depth=47..50, filters=35243, ccks=408, wck=1.708, mem=130M209
6.71/4.03 decisions=2589, wrong=567, backtracks=155, failedAssignments=415, nogoods=131, foundSolutions=4, bestBound=533
6.71/4.03 nFilterCalls=122834, avgTableProportion=0.9998989899002004, avgTableSize=9899.0
6.71/4.03
6.82/4.12 num=22, depth=49..51, filters=37470, ccks=408, wck=1.801, mem=135M494
6.82/4.12 decisions=2759, wrong=627, backtracks=165, failedAssignments=465, nogoods=135, foundSolutions=4, bestBound=533
6.82/4.12 nFilterCalls=130953, avgTableProportion=0.9998989899003838, avgTableSize=9899.0
6.82/4.12
6.92/4.22 num=23, depth=67..71, filters=40540, ccks=408, wck=1.899, mem=138M136
6.92/4.22 decisions=2955, wrong=691, backtracks=174, failedAssignments=520, nogoods=144, foundSolutions=4, bestBound=533
6.92/4.22 nFilterCalls=138339, avgTableProportion=0.999898989899769, avgTableSize=9899.0
6.92/4.22
7.01/4.33 num=24, depth=67..72, filters=43785, ccks=408, wck=2.008, mem=140M779
7.01/4.33 decisions=3179, wrong=768, backtracks=192, failedAssignments=581, nogoods=153, foundSolutions=4, bestBound=533
7.01/4.33 nFilterCalls=147152, avgTableProportion=0.9998989898991004, avgTableSize=9899.0
7.01/4.33
7.12/4.42 num=25, depth=58..61, filters=46495, ccks=408, wck=2.102, mem=142M778
7.12/4.42 decisions=3397, wrong=847, backtracks=204, failedAssignments=648, nogoods=165, foundSolutions=4, bestBound=533
7.12/4.42 nFilterCalls=153766, avgTableProportion=0.9998989898986491, avgTableSize=9899.0
7.12/4.42
7.30/4.56 num=26, depth=62..67, filters=50151, ccks=408, wck=2.238, mem=75M297
7.30/4.56 decisions=3656, wrong=944, backtracks=227, failedAssignments=722, nogoods=179, foundSolutions=4, bestBound=533
7.30/4.56 nFilterCalls=162371, avgTableProportion=0.9998989898981169, avgTableSize=9899.0
7.30/4.56
7.40/4.68 num=27, depth=64..67, filters=54922, ccks=408, wck=2.36, mem=80M526
7.40/4.68 decisions=3932, wrong=1049, backtracks=251, failedAssignments=803, nogoods=183, foundSolutions=4, bestBound=533
7.40/4.68 nFilterCalls=173382, avgTableProportion=0.9998989898975129, avgTableSize=9899.0
7.40/4.68
7.61/4.80 num=28, depth=55..60, filters=58891, ccks=408, wck=2.478, mem=84M461
7.61/4.80 decisions=4206, wrong=1157, backtracks=270, failedAssignments=892, nogoods=200, foundSolutions=4, bestBound=533
7.61/4.80 nFilterCalls=182317, avgTableProportion=0.9998989898970764, avgTableSize=9899.0
7.61/4.80
7.71/4.91 num=29, depth=58..63, filters=62622, ccks=408, wck=2.593, mem=89M691
7.71/4.91 decisions=4519, wrong=1283, backtracks=298, failedAssignments=990, nogoods=216, foundSolutions=4, bestBound=533
7.71/4.91 nFilterCalls=191791, avgTableProportion=0.999898989896658, avgTableSize=9899.0
7.71/4.91
7.82/5.08 num=30, depth=64..68, filters=69096, ccks=408, wck=2.761, mem=92M305
7.82/5.08 decisions=4887, wrong=1434, backtracks=341, failedAssignments=1098, nogoods=225, foundSolutions=4, bestBound=533
7.82/5.08 nFilterCalls=205120, avgTableProportion=0.9998989898961348, avgTableSize=9899.0
7.82/5.08
8.01/5.21 num=31, depth=54..60, filters=72628, ccks=408, wck=2.886, mem=100M149
8.01/5.21 decisions=5208, wrong=1567, backtracks=356, failedAssignments=1217, nogoods=236, foundSolutions=4, bestBound=533
8.01/5.21 nFilterCalls=214456, avgTableProportion=0.999898989895807, avgTableSize=9899.0
8.01/5.21
8.11/5.36 num=32, depth=57..62, filters=78279, ccks=408, wck=3.035, mem=102M763
8.11/5.36 decisions=5602, wrong=1734, backtracks=393, failedAssignments=1348, nogoods=240, foundSolutions=4, bestBound=533
8.11/5.36 nFilterCalls=224902, avgTableProportion=0.9998989898954727, avgTableSize=9899.0
8.11/5.36
8.44/5.60 num=33, depth=61..65, filters=87878, ccks=408, wck=3.279, mem=110M607
8.44/5.60 decisions=6067, wrong=1936, backtracks=451, failedAssignments=1492, nogoods=255, foundSolutions=4, bestBound=533
8.44/5.60 nFilterCalls=242901, avgTableProportion=0.9998989898949638, avgTableSize=9899.0
8.44/5.60
8.64/5.84 num=34, depth=53..58, filters=97458, ccks=408, wck=3.524, mem=121M65
8.64/5.84 decisions=6522, wrong=2136, backtracks=493, failedAssignments=1650, nogoods=267, foundSolutions=4, bestBound=533
8.64/5.84 nFilterCalls=262448, avgTableProportion=0.9998989898945212, avgTableSize=9899.0
8.64/5.84
8.86/6.01 num=35, depth=55..62, filters=104341, ccks=408, wck=3.687, mem=123M680
8.86/6.01 decisions=7005, wrong=2348, backtracks=531, failedAssignments=1824, nogoods=283, foundSolutions=4, bestBound=533
8.86/6.01 nFilterCalls=274561, avgTableProportion=0.9998989898955443, avgTableSize=9899.0
8.86/6.01
9.05/6.28 num=36, depth=62..67, filters=117523, ccks=408, wck=3.959, mem=131M523
9.05/6.28 decisions=7596, wrong=2611, backtracks=603, failedAssignments=2015, nogoods=311, foundSolutions=4, bestBound=533
9.05/6.28 nFilterCalls=295787, avgTableProportion=0.999898989897135, avgTableSize=9899.0
9.05/6.28
9.40/6.57 num=37, depth=60..64, filters=132527, ccks=408, wck=4.247, mem=141M981
9.40/6.57 decisions=8222, wrong=2893, backtracks=674, failedAssignments=2226, nogoods=336, foundSolutions=4, bestBound=533
9.40/6.57 nFilterCalls=318728, avgTableProportion=0.9998989898986159, avgTableSize=9899.0
9.40/6.57
9.71/6.87 num=38, depth=59..65, filters=143751, ccks=408, wck=4.548, mem=155M54
9.71/6.87 decisions=8865, wrong=3184, backtracks=735, failedAssignments=2458, nogoods=339, foundSolutions=4, bestBound=533
9.71/6.87 nFilterCalls=337395, avgTableProportion=0.9998989898996723, avgTableSize=9899.0
9.71/6.87
10.11/7.29 num=39, depth=68..74, filters=161064, ccks=408, wck=4.967, mem=165M512
10.11/7.29 decisions=9755, wrong=3594, backtracks=890, failedAssignments=2713, nogoods=351, foundSolutions=4, bestBound=533
10.11/7.29 nFilterCalls=366549, avgTableProportion=0.999898989901107, avgTableSize=9899.0
10.11/7.29
10.42/7.55 num=40, depth=58..64, filters=171789, ccks=408, wck=5.229, mem=175M970
10.42/7.55 decisions=10534, wrong=3954, backtracks=970, failedAssignments=2994, nogoods=368, foundSolutions=4, bestBound=533
10.42/7.55 nFilterCalls=384922, avgTableProportion=0.9998989899018995, avgTableSize=9899.0
10.42/7.55
10.72/7.83 num=41, depth=61..67, filters=181894, ccks=408, wck=5.51, mem=189M43
10.72/7.83 decisions=11362, wrong=4336, backtracks=1043, failedAssignments=3303, nogoods=388, foundSolutions=4, bestBound=533
10.72/7.83 nFilterCalls=403921, avgTableProportion=0.9998989899026433, avgTableSize=9899.0
10.72/7.83
11.15/8.24 num=42, depth=65..74, filters=197886, ccks=408, wck=5.919, mem=72M758
11.15/8.24 decisions=12338, wrong=4789, backtracks=1160, failedAssignments=3643, nogoods=399, foundSolutions=4, bestBound=533
11.15/8.24 nFilterCalls=434783, avgTableProportion=0.9998989899037127, avgTableSize=9899.0
11.15/8.24
11.54/8.65 num=43, depth=56..64, filters=211647, ccks=408, wck=6.329, mem=96M294
11.54/8.65 decisions=13318, wrong=5249, backtracks=1246, failedAssignments=4017, nogoods=406, foundSolutions=4, bestBound=533
11.54/8.65 nFilterCalls=462681, avgTableProportion=0.9998989899045567, avgTableSize=9899.0
11.54/8.65
11.86/9.01 num=44, depth=61..67, filters=223787, ccks=408, wck=6.685, mem=122M444
11.86/9.01 decisions=14387, wrong=5752, backtracks=1338, failedAssignments=4428, nogoods=427, foundSolutions=4, bestBound=533
11.86/9.01 nFilterCalls=491245, avgTableProportion=0.9998989899053216, avgTableSize=9899.0
11.86/9.01
12.26/9.38 num=45, depth=65..70, filters=237557, ccks=408, wck=7.065, mem=145M979
12.26/9.38 decisions=15528, wrong=6289, backtracks=1426, failedAssignments=4880, nogoods=439, foundSolutions=4, bestBound=533
12.26/9.38 nFilterCalls=519829, avgTableProportion=0.9998989899060028, avgTableSize=9899.0
12.26/9.38
12.86/9.92 num=46, depth=58..65, filters=260008, ccks=408, wck=7.599, mem=164M285
12.86/9.92 decisions=17056, wrong=7023, backtracks=1665, failedAssignments=5377, nogoods=448, foundSolutions=4, bestBound=533
12.86/9.92 nFilterCalls=557548, avgTableProportion=0.9998989899067948, avgTableSize=9899.0
12.86/9.92
13.47/10.51 num=47, depth=63..69, filters=284815, ccks=408, wck=8.194, mem=195M665
13.47/10.51 decisions=18482, wrong=7703, backtracks=1800, failedAssignments=5924, nogoods=456, foundSolutions=4, bestBound=533
13.47/10.51 nFilterCalls=600877, avgTableProportion=0.999898989907582, avgTableSize=9899.0
13.47/10.51
14.14/11.19 num=48, depth=54..59, filters=313109, ccks=408, wck=8.873, mem=92M72
14.14/11.19 decisions=20079, wrong=8473, backtracks=1971, failedAssignments=6526, nogoods=475, foundSolutions=4, bestBound=533
14.14/11.19 nFilterCalls=649450, avgTableProportion=0.9998989899083395, avgTableSize=9899.0
14.14/11.19
15.14/12.15 num=49, depth=53..60, filters=350022, ccks=408, wck=9.831, mem=124M880
15.14/12.15 decisions=22107, wrong=9460, backtracks=2301, failedAssignments=7188, nogoods=505, foundSolutions=4, bestBound=533
15.14/12.15 nFilterCalls=713595, avgTableProportion=0.9998989899091818, avgTableSize=9899.0
15.14/12.15
15.93/12.93 num=50, depth=58..63, filters=380223, ccks=408, wck=10.605, mem=175M914
15.93/12.93 decisions=23932, wrong=10343, backtracks=2458, failedAssignments=7916, nogoods=520, foundSolutions=4, bestBound=533
15.93/12.93 nFilterCalls=767894, avgTableProportion=0.9998989899097849, avgTableSize=9899.0
15.93/12.93
16.44/13.43 num=51, depth=71..77, filters=401151, ccks=408, wck=11.107, mem=212M367
16.44/13.43 decisions=25857, wrong=11269, backtracks=2583, failedAssignments=8717, nogoods=572, foundSolutions=4, bestBound=533
16.44/13.43 nFilterCalls=806830, avgTableProportion=0.9998989899101673, avgTableSize=9899.0
16.44/13.43
17.54/14.58 num=52, depth=66..74, filters=453621, ccks=408, wck=12.262, mem=252M465
17.54/14.58 decisions=28657, wrong=12633, backtracks=3069, failedAssignments=9598, nogoods=599, foundSolutions=4, bestBound=533
17.54/14.58 nFilterCalls=889074, avgTableProportion=0.9998989899108651, avgTableSize=9899.0
17.54/14.58
18.68/15.63 num=53, depth=68..75, filters=511487, ccks=408, wck=13.311, mem=99M512
18.68/15.63 decisions=31505, wrong=14022, backtracks=3490, failedAssignments=10568, nogoods=628, foundSolutions=4, bestBound=533
18.68/15.63 nFilterCalls=968434, avgTableProportion=0.9998989899114261, avgTableSize=9899.0
18.68/15.63
19.58/16.57 num=54, depth=68..75, filters=565623, ccks=408, wck=14.246, mem=139M706
19.58/16.57 decisions=34510, wrong=15489, backtracks=3900, failedAssignments=11635, nogoods=642, foundSolutions=4, bestBound=533
19.58/16.57 nFilterCalls=1044755, avgTableProportion=0.9998989899118852, avgTableSize=9899.0
19.58/16.57
20.88/17.83 num=55, depth=58..70, filters=620400, ccks=408, wck=15.514, mem=201M823
20.88/17.83 decisions=37643, wrong=17026, backtracks=4266, failedAssignments=12808, nogoods=672, foundSolutions=4, bestBound=533
20.88/17.83 nFilterCalls=1131382, avgTableProportion=0.9998989899123312, avgTableSize=9899.0
20.88/17.83
21.98/18.98 num=56, depth=66..73, filters=680226, ccks=408, wck=16.66, mem=252M978
21.98/18.98 decisions=41021, wrong=18681, backtracks=4630, failedAssignments=14099, nogoods=695, foundSolutions=4, bestBound=533
21.98/18.98 nFilterCalls=1219894, avgTableProportion=0.9998989899127215, avgTableSize=9899.0
21.98/18.98
23.13/20.10 num=57, depth=66..71, filters=735752, ccks=408, wck=17.777, mem=124M225
23.13/20.10 decisions=44555, wrong=20414, backtracks=4944, failedAssignments=15519, nogoods=726, foundSolutions=4, bestBound=533
23.13/20.10 nFilterCalls=1294864, avgTableProportion=0.9998989899130103, avgTableSize=9899.0
23.13/20.10
24.62/21.57 num=58, depth=63..69, filters=807737, ccks=408, wck=19.247, mem=202M686
24.62/21.57 decisions=48532, wrong=22370, backtracks=5338, failedAssignments=17081, nogoods=740, foundSolutions=4, bestBound=533
24.62/21.57 nFilterCalls=1397783, avgTableProportion=0.9998989899133565, avgTableSize=9899.0
24.62/21.57
26.52/23.48 num=59, depth=61..68, filters=890515, ccks=408, wck=21.158, mem=256M628
26.52/23.48 decisions=53049, wrong=24596, backtracks=5856, failedAssignments=18799, nogoods=778, foundSolutions=4, bestBound=533
26.52/23.48 nFilterCalls=1518559, avgTableProportion=0.9998989899137027, avgTableSize=9899.0
26.52/23.48
28.35/25.23 num=60, depth=69..77, filters=990581, ccks=408, wck=22.908, mem=85M25
28.35/25.23 decisions=58145, wrong=27108, backtracks=6486, failedAssignments=20689, nogoods=793, foundSolutions=4, bestBound=533
28.35/25.23 nFilterCalls=1651164, avgTableProportion=0.9998989899140246, avgTableSize=9899.0
28.35/25.23
29.85/26.71 num=61, depth=67..77, filters=1049229, ccks=408, wck=24.391, mem=183M199
29.85/26.71 decisions=62932, wrong=29467, backtracks=6767, failedAssignments=22768, nogoods=834, foundSolutions=4, bestBound=533
29.85/26.71 nFilterCalls=1756678, avgTableProportion=0.999898989914246, avgTableSize=9899.0
29.85/26.71
31.35/28.27 num=62, depth=60..66, filters=1107432, ccks=408, wck=25.955, mem=281M374
31.35/28.27 decisions=68232, wrong=32086, backtracks=7099, failedAssignments=25055, nogoods=859, foundSolutions=4, bestBound=533
31.35/28.27 nFilterCalls=1861888, avgTableProportion=0.9998989899144417, avgTableSize=9899.0
31.35/28.27
33.69/30.53 num=63, depth=56..62, filters=1202198, ccks=408, wck=28.208, mem=152M751
33.69/30.53 decisions=74481, wrong=35182, backtracks=7688, failedAssignments=27571, nogoods=889, foundSolutions=4, bestBound=533
33.69/30.53 nFilterCalls=2012931, avgTableProportion=0.999898989914687, avgTableSize=9899.0
33.69/30.53
35.89/32.80 num=64, depth=68..82, filters=1322053, ccks=408, wck=30.477, mem=228M786
35.89/32.80 decisions=82240, wrong=39025, backtracks=8791, failedAssignments=30339, nogoods=913, foundSolutions=4, bestBound=533
35.89/32.80 nFilterCalls=2190869, avgTableProportion=0.9998989899049954, avgTableSize=9899.0
35.89/32.80
38.31/35.12 num=65, depth=60..65, filters=1419763, ccks=408, wck=32.799, mem=380M856
38.31/35.12 decisions=89364, wrong=42555, backtracks=9282, failedAssignments=33383, nogoods=939, foundSolutions=4, bestBound=533
38.31/35.12 nFilterCalls=2353517, avgTableProportion=0.9998989898897835, avgTableSize=9899.0
38.31/35.12
41.24/38.09 num=66, depth=63..70, filters=1537195, ccks=408, wck=35.766, mem=218M288
41.24/38.09 decisions=97762, wrong=46721, backtracks=10107, failedAssignments=36732, nogoods=968, foundSolutions=4, bestBound=533
41.24/38.09 nFilterCalls=2544289, avgTableProportion=0.9998989898744197, avgTableSize=9899.0
41.24/38.09
45.03/41.89 num=67, depth=62..71, filters=1709842, ccks=408, wck=39.565, mem=378M469
45.03/41.89 decisions=107379, wrong=51496, backtracks=11206, failedAssignments=40416, nogoods=995, foundSolutions=4, bestBound=533
45.03/41.89 nFilterCalls=2797070, avgTableProportion=0.9998989898572903, avgTableSize=9899.0
45.03/41.89
48.10/44.82 num=68, depth=69..78, filters=1874516, ccks=408, wck=42.502, mem=232M256
48.10/44.82 decisions=117884, wrong=56712, backtracks=12397, failedAssignments=44468, nogoods=1021, foundSolutions=4, bestBound=533
48.10/44.82 nFilterCalls=3038025, avgTableProportion=0.9998989898436159, avgTableSize=9899.0
48.10/44.82
52.65/49.39 num=69, depth=68..78, filters=2120091, ccks=408, wck=47.068, mem=111M185
52.65/49.39 decisions=130315, wrong=62893, backtracks=14141, failedAssignments=48925, nogoods=1047, foundSolutions=4, bestBound=533
52.65/49.39 nFilterCalls=3378800, avgTableProportion=0.9998989898276063, avgTableSize=9899.0
52.65/49.39
56.25/53.00 num=70, depth=62..70, filters=2291899, ccks=408, wck=50.679, mem=256M889
56.25/53.00 decisions=142443, wrong=68925, backtracks=15287, failedAssignments=53828, nogoods=1081, foundSolutions=4, bestBound=533
56.25/53.00 nFilterCalls=3623752, avgTableProportion=0.9998989898179586, avgTableSize=9899.0
56.25/53.00
60.29/56.96 num=71, depth=68..77, filters=2490737, ccks=408, wck=54.642, mem=161M174
60.29/56.96 decisions=156364, wrong=75850, backtracks=16859, failedAssignments=59222, nogoods=1109, foundSolutions=4, bestBound=533
60.29/56.96 nFilterCalls=3945867, avgTableProportion=0.9998989898070948, avgTableSize=9899.0
60.29/56.96
63.40/60.04 num=72, depth=74..83, filters=2648101, ccks=408, wck=57.722, mem=348M336
63.40/60.04 decisions=170186, wrong=82721, backtracks=17804, failedAssignments=65155, nogoods=1151, foundSolutions=4, bestBound=533
63.40/60.04 nFilterCalls=4177346, avgTableProportion=0.9998989898003225, avgTableSize=9899.0
63.40/60.04
67.24/63.88 num=73, depth=69..81, filters=2850385, ccks=408, wck=61.555, mem=208M323
67.24/63.88 decisions=186307, wrong=90744, backtracks=19332, failedAssignments=71681, nogoods=1189, foundSolutions=4, bestBound=533
67.24/63.88 nFilterCalls=4454352, avgTableProportion=0.9998989897931434, avgTableSize=9899.0
67.24/63.88
72.29/68.86 num=74, depth=71..82, filters=3131973, ccks=408, wck=66.541, mem=97M391
72.29/68.86 decisions=205956, wrong=100531, backtracks=21970, failedAssignments=78860, nogoods=1218, foundSolutions=4, bestBound=533
72.29/68.86 nFilterCalls=4813613, avgTableProportion=0.9998989897850632, avgTableSize=9899.0
72.29/68.86
79.53/76.09 num=75, depth=69..79, filters=3499397, ccks=408, wck=73.771, mem=75M744
79.53/76.09 decisions=228746, wrong=111889, backtracks=25462, failedAssignments=86757, nogoods=1245, foundSolutions=4, bestBound=533
79.53/76.09 nFilterCalls=5345067, avgTableProportion=0.9998989897751022, avgTableSize=9899.0
79.53/76.09
86.58/83.06 num=76, depth=68..77, filters=3862747, ccks=408, wck=80.738, mem=157M124
86.58/83.06 decisions=250032, wrong=122496, backtracks=27414, failedAssignments=95444, nogoods=1267, foundSolutions=4, bestBound=533
86.58/83.06 nFilterCalls=5875467, avgTableProportion=0.9998989897669575, avgTableSize=9899.0
86.58/83.06
93.20/89.60 num=77, depth=73..82, filters=4265299, ccks=408, wck=87.278, mem=130M778
93.20/89.60 decisions=276167, wrong=135525, backtracks=30931, failedAssignments=104999, nogoods=1292, foundSolutions=4, bestBound=533
93.20/89.60 nFilterCalls=6391787, avgTableProportion=0.9998989897603273, avgTableSize=9899.0
93.20/89.60
99.41/95.84 num=78, depth=74..84, filters=4603677, ccks=408, wck=93.524, mem=226M180
99.41/95.84 decisions=302082, wrong=148444, backtracks=33375, failedAssignments=115510, nogoods=1331, foundSolutions=4, bestBound=533
99.41/95.84 nFilterCalls=6885073, avgTableProportion=0.9998989897549218, avgTableSize=9899.0
99.41/95.84
105.51/101.90 num=79, depth=74..84, filters=4947009, ccks=408, wck=99.579, mem=307M654
105.51/101.90 decisions=330450, wrong=162590, backtracks=35994, failedAssignments=127072, nogoods=1360, foundSolutions=4, bestBound=533
105.51/101.90 nFilterCalls=7369482, avgTableProportion=0.9998989897503178, avgTableSize=9899.0
105.51/101.90
115.93/112.39 num=80, depth=65..73, filters=5406577, ccks=408, wck=110.074, mem=154M720
115.93/112.39 decisions=361453, wrong=178057, backtracks=38769, failedAssignments=139790, nogoods=1391, foundSolutions=4, bestBound=533
115.93/112.39 nFilterCalls=8083713, avgTableProportion=0.9998989897445361, avgTableSize=9899.0
115.93/112.39
128.67/125.06 num=81, depth=71..82, filters=6173643, ccks=408, wck=122.737, mem=159M397
128.67/125.06 decisions=401288, wrong=197938, backtracks=44830, failedAssignments=153780, nogoods=1404, foundSolutions=4, bestBound=533
128.67/125.06 nFilterCalls=9121206, avgTableProportion=0.9998989898124659, avgTableSize=9899.0
128.67/125.06
141.57/137.96 num=82, depth=68..77, filters=6917769, ccks=408, wck=135.636, mem=231M580
141.57/137.96 decisions=441105, wrong=217810, backtracks=49370, failedAssignments=169169, nogoods=1444, foundSolutions=4, bestBound=533
141.57/137.96 nFilterCalls=10103947, avgTableProportion=0.9998989898906399, avgTableSize=9899.0
141.57/137.96
154.23/150.53 num=83, depth=66..76, filters=7552046, ccks=408, wck=148.214, mem=97M733
154.23/150.53 decisions=484490, wrong=239468, backtracks=54222, failedAssignments=186097, nogoods=1516, foundSolutions=4, bestBound=533
154.23/150.53 nFilterCalls=10972723, avgTableProportion=0.9998989899480869, avgTableSize=9899.0
154.23/150.53
167.56/163.82 num=84, depth=67..76, filters=8196511, ccks=408, wck=161.502, mem=85M337
167.56/163.82 decisions=529504, wrong=261940, backtracks=58119, failedAssignments=204718, nogoods=1554, foundSolutions=4, bestBound=533
167.56/163.82 nFilterCalls=11974025, avgTableProportion=0.9998989900039567, avgTableSize=9899.0
167.56/163.82
182.52/178.79 num=85, depth=72..85, filters=9082457, ccks=408, wck=176.468, mem=204M886
182.52/178.79 decisions=581945, wrong=288121, backtracks=63885, failedAssignments=225202, nogoods=1578, foundSolutions=4, bestBound=533
182.52/178.79 nFilterCalls=13134677, avgTableProportion=0.999898990058058, avgTableSize=9899.0
182.52/178.79
195.25/191.47 num=86, depth=75..82, filters=9870708, ccks=408, wck=189.148, mem=184M43
195.25/191.47 decisions=634966, wrong=314593, backtracks=67843, failedAssignments=247734, nogoods=1621, foundSolutions=4, bestBound=533
195.25/191.47 nFilterCalls=14249219, avgTableProportion=0.9998989901017148, avgTableSize=9899.0
195.25/191.47
211.20/207.36 num=87, depth=71..80, filters=10599950, ccks=408, wck=205.043, mem=137M213
211.20/207.36 decisions=695151, wrong=344648, backtracks=73177, failedAssignments=272519, nogoods=1646, foundSolutions=4, bestBound=533
211.20/207.36 nFilterCalls=15464036, avgTableProportion=0.9998989901421317, avgTableSize=9899.0
211.20/207.36
232.53/228.66 num=88, depth=67..81, filters=11782904, ccks=408, wck=226.339, mem=98M264
232.53/228.66 decisions=769757, wrong=381914, backtracks=83957, failedAssignments=299783, nogoods=1703, foundSolutions=4, bestBound=533
232.53/228.66 nFilterCalls=17151380, avgTableProportion=0.9998989901483203, avgTableSize=9899.0
232.53/228.66
254.37/250.44 num=89, depth=73..87, filters=13043326, ccks=408, wck=248.117, mem=96M105
254.37/250.44 decisions=857589, wrong=425790, backtracks=98153, failedAssignments=329773, nogoods=1738, foundSolutions=4, bestBound=533
254.37/250.44 nFilterCalls=18935941, avgTableProportion=0.999898990016875, avgTableSize=9899.0
254.37/250.44
275.74/271.79 num=90, depth=75..85, filters=14219599, ccks=408, wck=269.47, mem=153M291
275.74/271.79 decisions=937097, wrong=465504, backtracks=104951, failedAssignments=362762, nogoods=1779, foundSolutions=4, bestBound=533
275.74/271.79 nFilterCalls=20582078, avgTableProportion=0.9998989899158359, avgTableSize=9899.0
275.74/271.79
295.01/290.96 num=91, depth=77..87, filters=15369474, ccks=408, wck=288.64, mem=99M188
295.01/290.96 decisions=1025316, wrong=509573, backtracks=112839, failedAssignments=399050, nogoods=1830, foundSolutions=4, bestBound=533
295.01/290.96 nFilterCalls=22099093, avgTableProportion=0.9998989898360501, avgTableSize=9899.0
295.01/290.96
337.51/333.30 num=92, depth=73..84, filters=17890674, ccks=408, wck=330.978, mem=108M263
337.51/333.30 decisions=1139002, wrong=566377, backtracks=130080, failedAssignments=438967, nogoods=1857, foundSolutions=4, bestBound=533
337.51/333.30 nFilterCalls=25191961, avgTableProportion=0.9998989897031503, avgTableSize=9899.0
337.51/333.30
373.63/369.37 num=93, depth=66..78, filters=19867102, ccks=408, wck=367.052, mem=104M408
373.63/369.37 decisions=1246792, wrong=620238, backtracks=140248, failedAssignments=482876, nogoods=1869, foundSolutions=4, bestBound=533
373.63/369.37 nFilterCalls=27893160, avgTableProportion=0.9998989896111908, avgTableSize=9899.0
373.63/369.37
399.96/395.59 num=94, depth=71..81, filters=21307011, ccks=408, wck=393.267, mem=92M395
399.96/395.59 decisions=1359359, wrong=676484, backtracks=148297, failedAssignments=531176, nogoods=1918, foundSolutions=4, bestBound=533
399.96/395.59 nFilterCalls=29973899, avgTableProportion=0.9998989895516553, avgTableSize=9899.0
399.96/395.59
434.98/430.41 num=95, depth=68..79, filters=23255465, ccks=408, wck=428.092, mem=90M267
434.98/430.41 decisions=1496994, wrong=745265, backtracks=164204, failedAssignments=584306, nogoods=1962, foundSolutions=4, bestBound=533
434.98/430.41 nFilterCalls=32692549, avgTableProportion=0.999898989485287, avgTableSize=9899.0
434.98/430.41
464.60/459.94 num=96, depth=75..87, filters=25129736, ccks=408, wck=457.618, mem=92M460
464.60/459.94 decisions=1644268, wrong=818862, backtracks=179520, failedAssignments=642749, nogoods=1999, foundSolutions=4, bestBound=533
464.60/459.94 nFilterCalls=35119569, avgTableProportion=0.9998989896003807, avgTableSize=9899.0
464.60/459.94
513.54/508.77 num=97, depth=72..85, filters=27803309, ccks=408, wck=506.447, mem=111M933
513.54/508.77 decisions=1818139, wrong=905759, backtracks=202466, failedAssignments=707036, nogoods=2031, foundSolutions=4, bestBound=533
513.54/508.77 nFilterCalls=38584184, avgTableProportion=0.9998989898588487, avgTableSize=9899.0
513.54/508.77
556.38/551.46 num=98, depth=74..85, filters=30066962, ccks=408, wck=549.136, mem=93M597
556.38/551.46 decisions=1992757, wrong=993029, backtracks=219093, failedAssignments=777752, nogoods=2076, foundSolutions=4, bestBound=533
556.38/551.46 nFilterCalls=41871752, avgTableProportion=0.9998989900645584, avgTableSize=9899.0
556.38/551.46
611.95/606.83 num=99, depth=70..81, filters=32804589, ccks=408, wck=604.511, mem=114M143
611.95/606.83 decisions=2187942, wrong=1090584, backtracks=239093, failedAssignments=855539, nogoods=2103, foundSolutions=4, bestBound=533
611.95/606.83 nFilterCalls=46004229, avgTableProportion=0.9998989902814297, avgTableSize=9899.0
611.95/606.83
667.89/662.62 num=100, depth=66..84, filters=35999280, ccks=408, wck=660.304, mem=87M158
667.89/662.62 decisions=2407135, wrong=1200143, backtracks=264085, failedAssignments=941105, nogoods=2158, foundSolutions=4, bestBound=533
667.89/662.62 nFilterCalls=50332456, avgTableProportion=0.9998989904703917, avgTableSize=9899.0
667.89/662.62
738.82/733.30 num=101, depth=68..78, filters=39443762, ccks=408, wck=730.982, mem=91M519
738.82/733.30 decisions=2629976, wrong=1311528, backtracks=281489, failedAssignments=1035228, nogoods=2201, foundSolutions=4, bestBound=533
738.82/733.30 nFilterCalls=55402745, avgTableProportion=0.9998989906541994, avgTableSize=9899.0
738.82/733.30
816.86/811.19 num=102, depth=67..77, filters=43511512, ccks=408, wck=808.873, mem=91M552
816.86/811.19 decisions=2882237, wrong=1437623, backtracks=304133, failedAssignments=1138763, nogoods=2247, foundSolutions=4, bestBound=533
816.86/811.19 nFilterCalls=61126496, avgTableProportion=0.9998989908250554, avgTableSize=9899.0
816.86/811.19
891.12/885.21 num=103, depth=78..92, filters=48333736, ccks=408, wck=882.889, mem=108M865
891.12/885.21 decisions=3181537, wrong=1587232, backtracks=341064, failedAssignments=1252652, nogoods=2275, foundSolutions=4, bestBound=533
891.12/885.21 nFilterCalls=67401054, avgTableProportion=0.999898990947462, avgTableSize=9899.0
891.12/885.21
999.89/993.74 num=104, depth=66..78, filters=54420728, ccks=408, wck=991.421, mem=117M538
999.89/993.74 decisions=3507845, wrong=1750351, backtracks=379421, failedAssignments=1377930, nogoods=2311, foundSolutions=4, bestBound=533
999.89/993.74 nFilterCalls=76335439, avgTableProportion=0.9998989902546729, avgTableSize=9899.0
999.89/993.74
1118.35/1111.92 num=105, depth=65..78, filters=60717698, ccks=408, wck=1109.603, mem=105M683
1118.35/1111.92 decisions=3864989, wrong=1928886, backtracks=420338, failedAssignments=1515736, nogoods=2358, foundSolutions=4, bestBound=533
1118.35/1111.92 nFilterCalls=84819186, avgTableProportion=0.9998989897319196, avgTableSize=9899.0
1118.35/1111.92
1199.46/1192.88 num=106, depth=73..85, filters=66038371, ccks=408, wck=1190.558, mem=77M626
1199.46/1192.88 decisions=4225435, wrong=2109069, backtracks=449542, failedAssignments=1667322, nogoods=2477, foundSolutions=4, bestBound=533
1199.46/1192.88 nFilterCalls=90972067, avgTableProportion=0.9998989894137889, avgTableSize=9899.0
1199.46/1192.88
1311.31/1304.44 num=107, depth=65..76, filters=70903224, ccks=408, wck=1302.115, mem=76M620
1311.31/1304.44 decisions=4644173, wrong=2318402, backtracks=492496, failedAssignments=1834067, nogoods=2541, foundSolutions=4, bestBound=533
1311.31/1304.44 nFilterCalls=97477378, avgTableProportion=0.9998989891211139, avgTableSize=9899.0
1311.31/1304.44
1506.08/1498.82 num=108, depth=65..76, filters=80419032, ccks=408, wck=1496.502, mem=103M662
1506.08/1498.82 decisions=5120906, wrong=2556734, backtracks=547810, failedAssignments=2017486, nogoods=2619, foundSolutions=4, bestBound=533
1506.08/1498.82 nFilterCalls=109946961, avgTableProportion=0.9998989886569256, avgTableSize=9899.0
1506.08/1498.82
1655.84/1648.25 num=109, depth=66..80, filters=88778193, ccks=408, wck=1645.929, mem=95M63
1655.84/1648.25 decisions=5626802, wrong=2809645, backtracks=599825, failedAssignments=2219247, nogoods=2666, foundSolutions=4, bestBound=533
1655.84/1648.25 nFilterCalls=121613078, avgTableProportion=0.9998989883088351, avgTableSize=9899.0
1655.84/1648.25
1752.45/1744.67 num=110, depth=79..92, filters=95166079, ccks=408, wck=1742.345, mem=88M615
1752.45/1744.67 decisions=6180087, wrong=3086245, backtracks=656609, failedAssignments=2441185, nogoods=2709, foundSolutions=4, bestBound=533
1752.45/1744.67 nFilterCalls=130589602, avgTableProportion=0.999898988083334, avgTableSize=9899.0
1752.45/1744.67
1889.73/1881.63 num=111, depth=75..89, filters=102707608, ccks=408, wck=1879.315, mem=109M185
1889.73/1881.63 decisions=6801845, wrong=3397084, backtracks=724214, failedAssignments=2685316, nogoods=2754, foundSolutions=4, bestBound=533
1889.73/1881.63 nFilterCalls=141220350, avgTableProportion=0.9998989885908212, avgTableSize=9899.0
1889.73/1881.63
2092.11/2083.51 num=112, depth=66..81, filters=111088303, ccks=408, wck=2081.192, mem=118M938
2092.11/2083.51 decisions=7486000, wrong=3739126, backtracks=799093, failedAssignments=2953861, nogoods=2779, foundSolutions=4, bestBound=533
2092.11/2083.51 nFilterCalls=155426253, avgTableProportion=0.9998989896271657, avgTableSize=9899.0
2092.11/2083.51
2363.70/2354.64 num=113, depth=65..77, filters=124581340, ccks=408, wck=2352.315, mem=83M313
2363.70/2354.64 decisions=8269052, wrong=4130618, backtracks=896964, failedAssignments=3249260, nogoods=2818, foundSolutions=4, bestBound=533
2363.70/2354.64 nFilterCalls=175340909, avgTableProportion=0.9998989907972635, avgTableSize=9899.0
2363.70/2354.64
2520.00/2510.50
2520.00/2510.50 v <instantiation id='sol4' type='solution' cost='533'> <list> c[] d[] </list> <values> 83 86 93 98 97 81 77 19 60 44 45 47 48 42 10 16 13 14 17 22 35 36 26 37 32 38 49 51 55 61 67 66 72 69 71 74 78 76 82 85 92 89 95 99 91 80 79 88 90 94 96 87 84 75 70 64 73 68 58 59 57 52 50 34 30 29 33 28 39 27 20 18 11 9 8 7 6 54 56 62 65 63 53 46 43 41 40 31 25 24 23 21 15 12 3 5 4 1 0 2 2 5 4 3 11 2 37 19 8 2 2 2 3 27 5 8 2 2 4 5 2 3 3 3 2 6 1 2 4 3 1 2 3 3 2 4 2 4 1 4 3 2 9 4 5 1 4 3 1 7 5 3 6 5 4 4 3 8 1 4 3 1 12 1 2 2 2 4 4 4 1 6 3 1 4 42 36 1 4 5 4 6 4 1 3 4 3 4 2 2 1 4 3 4 6 3 1 1 7 42 </values> </instantiation>
2520.00/2510.50 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 (14199 MiB free)
memory of node 1: 16384 MiB (15425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391002-1568385445/watcher-4391002-1568385445 -o /tmp/evaluation-result-4391002-1568385445/solver-4391002-1568385445 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568380618-26494 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391002-1568385445.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27486, runsolver pid=27483
[startup+0.100301 s]*
/proc/loadavg: 1.97 1.97 1.89 4/226 27501
/proc/meminfo: memFree=30321108/32770624 swapFree=66932016/67108860
[pid=27486] ppid=27483 vsize=10659884 memory=27964 CPUtime=0.14 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 5502 0 0 0 13 1 0 0 20 0 15 0 414812349 10915721216 6991 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2664971 6991 2901 1 0 2627468 0
[pid=27486/tid=27488] ppid=27483 vsize=10659884 memory=-7254949962136774010 CPUtime=0.09 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) R 27483 27486 26463 0 -1 4202560 3201 0 0 0 9 0 0 0 20 0 15 0 414812349 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715936867144 140715560682866 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10659884 memory=5793855244703746489 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812351 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812352 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715490751776 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812352 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715489699440 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812354 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) S 27483 27486 26463 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 15 0 414812354 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715487594608 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) R 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812354 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0.02 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) R 27483 27486 26463 0 -1 4202560 416 0 0 0 2 0 0 0 20 0 15 0 414812354 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715485485432 140715911316033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812355 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812355 10915721216 6991 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27964 KiB
[startup+0.210798 s]*
/proc/loadavg: 1.97 1.97 1.89 3/226 27501
/proc/meminfo: memFree=30313704/32770624 swapFree=66932016/67108860
[pid=27486] ppid=27483 vsize=10659884 memory=35060 CPUtime=0.32 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 6915 0 0 0 31 1 0 0 20 0 15 0 414812349 10915721216 8765 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2664971 8765 2990 1 0 2627468 0
[pid=27486/tid=27488] ppid=27483 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) R 27483 27486 26463 0 -1 4202560 3855 0 0 0 19 1 0 0 20 0 15 0 414812349 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715936871008 140715932660893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10659884 memory=4211973719898643850 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812351 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812352 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715490751776 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812352 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715489699440 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812354 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) S 27483 27486 26463 0 -1 1077944384 607 0 0 0 3 0 0 0 20 0 15 0 414812354 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715487594608 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) S 27483 27486 26463 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 414812354 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0.05 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) S 27483 27486 26463 0 -1 1077944384 715 0 0 0 5 0 0 0 20 0 15 0 414812354 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715485489520 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812355 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812355 10915721216 8765 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35060 KiB
[startup+0.310086 s]*
/proc/loadavg: 1.97 1.97 1.89 3/226 27501
/proc/meminfo: memFree=30305724/32770624 swapFree=66932016/67108860
[pid=27486] ppid=27483 vsize=10659884 memory=40448 CPUtime=0.47 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 9420 0 0 0 44 3 0 0 20 0 15 0 414812349 10915721216 10112 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2664971 10112 3003 1 0 2627468 0
[pid=27486/tid=27488] ppid=27483 vsize=10659884 memory=279987173196016 CPUtime=0.29 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) R 27483 27486 26463 0 -1 4202560 6300 0 0 0 27 2 0 0 20 0 15 0 414812349 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715936871376 140715932660314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10659884 memory=4211973719898643850 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10659884 memory=139993693855727 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10659884 memory=139993586731119 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10659884 memory=139993586711503 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812350 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10659884 memory=139993693879802 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812351 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10659884 memory=139993586711503 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812352 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715490751776 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10659884 memory=279987173443728 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812352 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715489699440 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10659884 memory=279987173441424 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812354 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) S 27483 27486 26463 0 -1 1077944384 634 0 0 0 4 0 0 0 20 0 15 0 414812354 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715487594608 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) S 27483 27486 26463 0 -1 1077944384 393 0 0 0 3 0 0 0 20 0 15 0 414812354 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0.08 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) R 27483 27486 26463 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 414812354 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715485485248 140715924876094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812355 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10659884 memory=139993693853312 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812355 10915721216 10112 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40448 KiB
[startup+0.700802 s]
/proc/loadavg: 1.97 1.97 1.89 3/226 27502
/proc/meminfo: memFree=30297868/32770624 swapFree=66932016/67108860
[pid=27486] ppid=27483 vsize=10661932 memory=62352 CPUtime=1.08 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 12708 0 0 0 103 5 0 0 20 0 15 0 414812349 10917818368 15588 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2665483 15588 3071 1 0 2627980 0
[pid=27486/tid=27488] ppid=27483 vsize=10661932 memory=2832 CPUtime=0.68 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) R 27483 27486 26463 0 -1 4202560 8879 0 0 0 64 4 0 0 20 0 15 0 414812349 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715936871296 140715918376161 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10661932 memory=772 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812350 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10661932 memory=5787213848925131109 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812351 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812352 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715490751776 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812352 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715489699440 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812354 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10661932 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) R 27483 27486 26463 0 -1 4202560 699 0 0 0 9 0 0 0 20 0 15 0 414812354 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715487594608 140715918702384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10661932 memory=11 CPUtime=0.1 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) S 27483 27486 26463 0 -1 1077944384 669 0 0 0 10 0 0 0 20 0 15 0 414812354 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10661932 memory=1365 CPUtime=0.19 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) S 27483 27486 26463 0 -1 1077944384 1102 0 0 0 19 0 0 0 20 0 15 0 414812354 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715485489520 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10661932 memory=279987173620720 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812355 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812355 10917818368 15588 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62352 KiB
[startup+1.50082 s]
/proc/loadavg: 2.05 1.99 1.90 3/226 27502
/proc/meminfo: memFree=30282064/32770624 swapFree=66932016/67108860
[pid=27486] ppid=27483 vsize=10663980 memory=75264 CPUtime=1.99 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 18423 0 0 0 193 6 0 0 20 0 15 0 414812349 10919915520 18816 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2665995 18816 3097 1 0 2628492 0
[pid=27486/tid=27488] ppid=27483 vsize=10663980 memory=70872 CPUtime=1.47 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) R 27483 27486 26463 0 -1 4202560 13159 0 0 0 143 4 0 0 20 0 15 0 414812349 10919915520 18816 33554432000 4194304 4196468 140727762870576 140715936870992 140715932660893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10663980 memory=279987173506816 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10919915520 18816 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10919915520 18816 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812350 10919915520 18816 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812350 10919915520 18816 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414812351 10919915520 18816 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
################
# More data... #
################
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 4159 0 0 0 190 12 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10748324 memory=279987173489056 CPUtime=1.36 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 7252 0 0 0 127 9 0 0 20 0 16 0 414812351 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10748324 memory=265848 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715490751840 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10748324 memory=265848 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715489699456 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10748324 memory=265848 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10748324 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) S 27483 27486 26463 0 -1 1077944384 5545 0 0 0 124 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715487594608 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.15 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) S 27483 27486 26463 0 -1 1077944384 6489 0 0 0 114 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10748324 memory=265848 CPUtime=0.66 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) S 27483 27486 26463 0 -1 1077944384 8410 0 0 0 65 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715485489520 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10748324 memory=38864 CPUtime=0.89 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 816 0 0 0 44 45 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27503] ppid=27483 vsize=10748324 memory=265848 CPUtime=2436.29 cores=0,2,4,6
/proc/27486/task/27503/stat : 27503 (java) R 27483 27486 26463 0 -1 4202560 21944 0 0 0 243621 8 0 0 20 0 16 0 414812537 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715477728944 140715567267936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 2451.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 265848 KiB
[startup+2502.3 s]
/proc/loadavg: 1.68 1.73 1.75 3/228 27920
/proc/meminfo: memFree=30237940/32770624 swapFree=66932036/67108860
[pid=27486] ppid=27483 vsize=10748324 memory=265848 CPUtime=2511.78 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 88789 0 0 0 251071 107 0 0 20 0 16 0 414812349 11006283776 66462 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2687081 66462 3380 1 0 2647217 0
[pid=27486/tid=27488] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.85 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) S 27483 27486 26463 0 -1 1077944384 15413 0 0 0 179 6 0 0 20 0 16 0 414812349 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715936881840 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.07 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 3452 0 0 0 195 12 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.06 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 7642 0 0 0 191 15 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.07 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 5855 0 0 0 193 14 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.07 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 4165 0 0 0 194 13 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.4 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 7428 0 0 0 131 9 0 0 20 0 16 0 414812351 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10748324 memory=265848 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715490751840 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10748324 memory=265848 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715489699456 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10748324 memory=11421096130 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10748324 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) S 27483 27486 26463 0 -1 1077944384 5547 0 0 0 124 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715487594608 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.15 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) S 27483 27486 26463 0 -1 1077944384 6491 0 0 0 114 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10748324 memory=1984 CPUtime=0.66 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) S 27483 27486 26463 0 -1 1077944384 8412 0 0 0 65 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715485489520 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10748324 memory=780 CPUtime=0.91 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 833 0 0 0 45 46 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27503] ppid=27483 vsize=10748324 memory=265848 CPUtime=2496.19 cores=0,2,4,6
/proc/27486/task/27503/stat : 27503 (java) R 27483 27486 26463 0 -1 4202560 22156 0 0 0 249611 8 0 0 20 0 16 0 414812537 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715477728944 140715566315382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 2511.78 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 265848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.5 s]
/proc/loadavg: 1.71 1.74 1.75 3/228 27920
/proc/meminfo: memFree=30237940/32770624 swapFree=66932036/67108860
[pid=27486] ppid=27483 vsize=10748324 memory=265848 CPUtime=2520 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 88801 0 0 0 251892 108 0 0 20 0 16 0 414812349 11006283776 66462 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2687081 66462 3380 1 0 2647217 0
[pid=27486/tid=27488] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.85 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) S 27483 27486 26463 0 -1 1077944384 15413 0 0 0 179 6 0 0 20 0 16 0 414812349 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715936881840 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.08 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 3452 0 0 0 196 12 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.07 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 7642 0 0 0 192 15 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.08 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 5855 0 0 0 194 14 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.07 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 4165 0 0 0 194 13 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10748324 memory=2016 CPUtime=1.4 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 7430 0 0 0 131 9 0 0 20 0 16 0 414812351 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10748324 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715490751840 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10748324 memory=265848 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715489699456 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10748324 memory=38872 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10748324 memory=988 CPUtime=1.25 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) S 27483 27486 26463 0 -1 1077944384 5547 0 0 0 124 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715487594608 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.15 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) S 27483 27486 26463 0 -1 1077944384 6491 0 0 0 114 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10748324 memory=265848 CPUtime=0.66 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) S 27483 27486 26463 0 -1 1077944384 8412 0 0 0 65 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715485489520 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10748324 memory=125 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10748324 memory=115 CPUtime=0.91 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 835 0 0 0 45 46 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27503] ppid=27483 vsize=10748324 memory=3620 CPUtime=2504.37 cores=0,2,4,6
/proc/27486/task/27503/stat : 27503 (java) R 27483 27486 26463 0 -1 4202560 22164 0 0 0 250429 8 0 0 20 0 16 0 414812537 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715477728944 140715566302471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 265848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.51 s]
# the end of solver process 27486 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.94 s, system=1.08562 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2510.5 s]
/proc/loadavg: 1.71 1.74 1.75 3/228 27920
/proc/meminfo: memFree=30237940/32770624 swapFree=66932036/67108860
[pid=27486] ppid=27483 vsize=10748324 memory=265848 CPUtime=2520 cores=0,2,4,6
/proc/27486/stat : 27486 (java) S 27483 27486 26463 0 -1 1077944320 88801 0 0 0 251892 108 0 0 20 0 16 0 414812349 11006283776 66462 33554432000 4194304 4196468 140727762870576 140727762853120 140715932638967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
/proc/27486/statm: 2687081 66462 3380 1 0 2647217 0
[pid=27486/tid=27488] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.85 cores=0,2,4,6
/proc/27486/task/27488/stat : 27488 (java) S 27483 27486 26463 0 -1 1077944384 15413 0 0 0 179 6 0 0 20 0 16 0 414812349 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715936881840 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27489] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.08 cores=0,2,4,6
/proc/27486/task/27489/stat : 27489 (java) S 27483 27486 26463 0 -1 1077944384 3452 0 0 0 196 12 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715885259152 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27490] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.07 cores=0,2,4,6
/proc/27486/task/27490/stat : 27490 (java) S 27483 27486 26463 0 -1 1077944384 7642 0 0 0 192 15 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715884206352 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27491] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.08 cores=0,2,4,6
/proc/27486/task/27491/stat : 27491 (java) S 27483 27486 26463 0 -1 1077944384 5855 0 0 0 194 14 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715883154064 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27492] ppid=27483 vsize=10748324 memory=265848 CPUtime=2.07 cores=0,2,4,6
/proc/27486/task/27492/stat : 27492 (java) S 27483 27486 26463 0 -1 1077944384 4165 0 0 0 194 13 0 0 20 0 16 0 414812350 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715882101264 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27493] ppid=27483 vsize=10748324 memory=2016 CPUtime=1.4 cores=0,2,4,6
/proc/27486/task/27493/stat : 27493 (java) S 27483 27486 26463 0 -1 1077944384 7430 0 0 0 131 9 0 0 20 0 16 0 414812351 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715491805808 140715932650114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27494] ppid=27483 vsize=10748324 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27494/stat : 27494 (java) S 27483 27486 26463 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715490751840 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27495] ppid=27483 vsize=10748324 memory=265848 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27495/stat : 27495 (java) S 27483 27486 26463 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414812352 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715489699456 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27496] ppid=27483 vsize=10748324 memory=38872 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27496/stat : 27496 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715488647760 140715932657563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27497] ppid=27483 vsize=10748324 memory=988 CPUtime=1.25 cores=0,2,4,6
/proc/27486/task/27497/stat : 27497 (java) S 27483 27486 26463 0 -1 1077944384 5547 0 0 0 124 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715487594608 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27498] ppid=27483 vsize=10748324 memory=265848 CPUtime=1.15 cores=0,2,4,6
/proc/27486/task/27498/stat : 27498 (java) S 27483 27486 26463 0 -1 1077944384 6491 0 0 0 114 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715486541808 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27499] ppid=27483 vsize=10748324 memory=265848 CPUtime=0.66 cores=0,2,4,6
/proc/27486/task/27499/stat : 27499 (java) S 27483 27486 26463 0 -1 1077944384 8412 0 0 0 65 1 0 0 20 0 16 0 414812354 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715485489520 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27500] ppid=27483 vsize=10748324 memory=125 CPUtime=0 cores=0,2,4,6
/proc/27486/task/27500/stat : 27500 (java) S 27483 27486 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715484436960 140715932649173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27501] ppid=27483 vsize=10748324 memory=115 CPUtime=0.91 cores=0,2,4,6
/proc/27486/task/27501/stat : 27501 (java) S 27483 27486 26463 0 -1 1077944384 835 0 0 0 45 46 0 0 20 0 16 0 414812355 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715483384752 140715932650114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
[pid=27486/tid=27503] ppid=27483 vsize=10748324 memory=3620 CPUtime=2504.37 cores=0,2,4,6
/proc/27486/task/27503/stat : 27503 (java) R 27483 27486 26463 0 -1 4202560 22164 0 0 0 250429 8 0 0 20 0 16 0 414812537 11006283776 66462 33554432000 4194304 4196468 140727762870576 140715477728944 140715566302471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140727762879499 140727762879602 140727762879602 140727762882511 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 265848 KiB
Child status: 143
Real time (s): 2510.51
CPU time (s): 2520.02
CPU user time (s): 2518.94
CPU system time (s): 1.08562
CPU usage (%): 100.379
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 497280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.94
system time used= 1.08561
maximum resident set size= 501324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87443
involuntary context switches= 3890
# summary of solver processes directly reported to runsolver:
# pid: 27486
# total CPU time (s): 2520.02
# total CPU user time (s): 2518.94
# total CPU system time (s): 1.08562
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7006 second user time and 23.1508 second system time
The end