2.42/1.88
2.42/1.88 AbsCon 2
2.42/1.89
2.94/2.09 Instance
2.94/2.09 name=instance-4391302-1568390780, framework=COP, bounds=-infty..+infty
2.94/2.09
2.94/2.09 Loading variables...
3.24/2.13 Loading constraints...
3.53/2.27
3.53/2.27 Domains
3.53/2.27 nTypes=2, nValues=16000, sizes=[60#100,100#100]
3.53/2.27 Variables
3.53/2.27 count=200, degrees=[2#100,3#100]
3.53/2.27 Objectives
3.53/2.27 way=min, type=SumSimpleLE
3.53/2.27 Constraints
3.53/2.27 count=102, nSpecific=102, arities=[3#100,100#2]
3.53/2.27 distribution=[AllDifferent#1,CtrExtensionCT-Table#100,SumSimpleLE#1]
3.53/2.27 tables=[9900#100], nTotalTuples=990000
3.53/2.27 nExtStructures=(1,shared:99)
3.53/2.27 wck=0.424, cpu=2.238, mem=74M481
3.53/2.29 Solver SolverBacktrack being built...
3.53/2.29
3.84/2.32
3.84/2.32 Solver
3.84/2.32 guaranteedGAC=true
3.84/2.32 wck=0.472, cpu=2.283, mem=90M448
3.84/2.34
3.84/2.34 Preprocessing
3.84/2.34 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.84/2.34 wck=0.017, cpu=2.302, mem=90M448
3.84/2.34
4.14/2.49 o 1674
4.45/2.50 num=0, depth=201..199, filters=1058, ccks=102, wck=0.186, mem=98M450
4.45/2.50 decisions=99, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=1674
4.45/2.50 nFilterCalls=5247, avgTableProportion=0.9998989898989483, avgTableSize=9899.0
4.45/2.50
4.45/2.59 o 1673
4.77/2.60 num=1, depth=201..199, filters=2116, ccks=204, wck=0.28, mem=101M92
4.77/2.60 decisions=197, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=1673
4.77/2.60 nFilterCalls=10398, avgTableProportion=0.9998989898989742, avgTableSize=9899.0
4.77/2.60
4.77/2.68 o 1636
4.77/2.68 num=2, depth=201..199, filters=3151, ccks=306, wck=0.364, mem=101M92
4.77/2.68 decisions=296, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=1636
4.77/2.68 nFilterCalls=15481, avgTableProportion=0.9998989898991536, avgTableSize=9899.0
4.77/2.68
5.04/2.75 num=3, depth=95..98, filters=4367, ccks=306, wck=0.429, mem=101M92
5.04/2.75 decisions=423, wrong=16, backtracks=5, failedAssignments=11, nogoods=6, foundSolutions=3, bestBound=1636
5.04/2.75 nFilterCalls=20755, avgTableProportion=0.9998989898992467, avgTableSize=9899.0
5.04/2.75
5.27/2.83 o 533
5.27/2.84 num=4, depth=24..199, filters=5299, ccks=408, wck=0.518, mem=103M759
5.27/2.84 decisions=540, wrong=24, backtracks=8, failedAssignments=16, nogoods=7, foundSolutions=4, bestBound=533
5.27/2.84 nFilterCalls=25650, avgTableProportion=0.999898989899299, avgTableSize=9899.0
5.27/2.84
5.27/2.89 num=5, depth=94..96, filters=6108, ccks=408, wck=0.568, mem=106M402
5.27/2.89 decisions=667, wrong=40, backtracks=12, failedAssignments=28, nogoods=13, foundSolutions=4, bestBound=533
5.27/2.89 nFilterCalls=30503, avgTableProportion=0.9998989898993342, avgTableSize=9899.0
5.27/2.89
5.48/2.94 num=6, depth=68..71, filters=6903, ccks=408, wck=0.623, mem=106M402
5.48/2.94 decisions=767, wrong=56, backtracks=18, failedAssignments=39, nogoods=18, foundSolutions=4, bestBound=533
5.48/2.94 nFilterCalls=35332, avgTableProportion=0.9998989898990961, avgTableSize=9899.0
5.48/2.94
5.48/2.99 num=7, depth=56..57, filters=7982, ccks=408, wck=0.677, mem=106M402
5.48/2.99 decisions=851, wrong=70, backtracks=20, failedAssignments=51, nogoods=24, foundSolutions=4, bestBound=533
5.48/2.99 nFilterCalls=40129, avgTableProportion=0.999898989898712, avgTableSize=9899.0
5.48/2.99
5.65/3.05 num=8, depth=47..50, filters=8997, ccks=408, wck=0.732, mem=109M44
5.65/3.05 decisions=935, wrong=88, backtracks=25, failedAssignments=64, nogoods=32, foundSolutions=4, bestBound=533
5.65/3.05 nFilterCalls=44846, avgTableProportion=0.9998989898984143, avgTableSize=9899.0
5.65/3.05
5.65/3.10 num=9, depth=71..72, filters=10081, ccks=408, wck=0.783, mem=109M44
5.65/3.10 decisions=1036, wrong=103, backtracks=26, failedAssignments=78, nogoods=42, foundSolutions=4, bestBound=533
5.65/3.10 nFilterCalls=49612, avgTableProportion=0.9998989898981712, avgTableSize=9899.0
5.65/3.10
5.76/3.17 num=10, depth=57..58, filters=11834, ccks=408, wck=0.85, mem=109M44
5.76/3.17 decisions=1138, wrong=125, backtracks=32, failedAssignments=94, nogoods=52, foundSolutions=4, bestBound=533
5.76/3.17 nFilterCalls=55394, avgTableProportion=0.9998989898979322, avgTableSize=9899.0
5.76/3.17
5.85/3.22 num=11, depth=53..55, filters=13080, ccks=408, wck=0.904, mem=111M687
5.85/3.22 decisions=1236, wrong=147, backtracks=37, failedAssignments=111, nogoods=65, foundSolutions=4, bestBound=533
5.85/3.22 nFilterCalls=60102, avgTableProportion=0.9998989898977717, avgTableSize=9899.0
5.85/3.22
5.85/3.29 num=12, depth=46..50, filters=14746, ccks=408, wck=0.97, mem=111M687
5.85/3.29 decisions=1337, wrong=173, backtracks=45, failedAssignments=130, nogoods=67, foundSolutions=4, bestBound=533
5.85/3.29 nFilterCalls=65560, avgTableProportion=0.9998989898976163, avgTableSize=9899.0
5.85/3.29
5.95/3.36 num=13, depth=50..54, filters=16566, ccks=408, wck=1.039, mem=114M329
5.95/3.36 decisions=1449, wrong=204, backtracks=56, failedAssignments=151, nogoods=76, foundSolutions=4, bestBound=533
5.95/3.36 nFilterCalls=71198, avgTableProportion=0.9998989898980551, avgTableSize=9899.0
5.95/3.36
6.06/3.42 num=14, depth=50..57, filters=18140, ccks=408, wck=1.1, mem=114M329
6.06/3.42 decisions=1567, wrong=236, backtracks=65, failedAssignments=174, nogoods=78, foundSolutions=4, bestBound=533
6.06/3.42 nFilterCalls=76670, avgTableProportion=0.9998989898984194, avgTableSize=9899.0
6.06/3.42
6.06/3.48 num=15, depth=51..53, filters=19721, ccks=408, wck=1.163, mem=116M972
6.06/3.48 decisions=1682, wrong=268, backtracks=72, failedAssignments=199, nogoods=81, foundSolutions=4, bestBound=533
6.06/3.48 nFilterCalls=81837, avgTableProportion=0.9998989898987186, avgTableSize=9899.0
6.06/3.48
6.16/3.55 num=16, depth=47..51, filters=21338, ccks=408, wck=1.23, mem=116M972
6.16/3.55 decisions=1800, wrong=303, backtracks=79, failedAssignments=227, nogoods=92, foundSolutions=4, bestBound=533
6.16/3.55 nFilterCalls=86913, avgTableProportion=0.999898989898978, avgTableSize=9899.0
6.16/3.55
6.26/3.64 num=17, depth=48..53, filters=24467, ccks=408, wck=1.327, mem=119M639
6.26/3.64 decisions=1951, wrong=353, backtracks=98, failedAssignments=258, nogoods=96, foundSolutions=4, bestBound=533
6.26/3.64 nFilterCalls=94811, avgTableProportion=0.9998989898993261, avgTableSize=9899.0
6.26/3.64
6.37/3.72 num=18, depth=52..57, filters=26472, ccks=408, wck=1.407, mem=122M281
6.37/3.72 decisions=2103, wrong=403, backtracks=114, failedAssignments=292, nogoods=99, foundSolutions=4, bestBound=533
6.37/3.72 nFilterCalls=101445, avgTableProportion=0.9998989898995768, avgTableSize=9899.0
6.37/3.72
6.47/3.82 num=19, depth=51..57, filters=29844, ccks=408, wck=1.506, mem=124M924
6.47/3.82 decisions=2266, wrong=456, backtracks=130, failedAssignments=329, nogoods=114, foundSolutions=4, bestBound=533
6.47/3.82 nFilterCalls=108822, avgTableProportion=0.9998989898998196, avgTableSize=9899.0
6.47/3.82
6.58/3.92 num=20, depth=51..54, filters=32734, ccks=408, wck=1.603, mem=127M566
6.58/3.92 decisions=2427, wrong=510, backtracks=143, failedAssignments=370, nogoods=121, foundSolutions=4, bestBound=533
6.58/3.92 nFilterCalls=115983, avgTableProportion=0.9998989899000258, avgTableSize=9899.0
6.58/3.92
6.69/4.01 num=21, depth=47..50, filters=35243, ccks=408, wck=1.696, mem=130M209
6.69/4.01 decisions=2589, wrong=567, backtracks=155, failedAssignments=415, nogoods=131, foundSolutions=4, bestBound=533
6.69/4.01 nFilterCalls=122834, avgTableProportion=0.9998989899002004, avgTableSize=9899.0
6.69/4.01
6.80/4.11 num=22, depth=49..51, filters=37470, ccks=408, wck=1.79, mem=135M494
6.80/4.11 decisions=2759, wrong=627, backtracks=165, failedAssignments=465, nogoods=135, foundSolutions=4, bestBound=533
6.80/4.11 nFilterCalls=130953, avgTableProportion=0.9998989899003838, avgTableSize=9899.0
6.80/4.11
6.90/4.21 num=23, depth=67..71, filters=40540, ccks=408, wck=1.888, mem=138M136
6.90/4.21 decisions=2955, wrong=691, backtracks=174, failedAssignments=520, nogoods=144, foundSolutions=4, bestBound=533
6.90/4.21 nFilterCalls=138339, avgTableProportion=0.999898989899769, avgTableSize=9899.0
6.90/4.21
7.00/4.32 num=24, depth=67..72, filters=43785, ccks=408, wck=2.0, mem=140M779
7.00/4.32 decisions=3179, wrong=768, backtracks=192, failedAssignments=581, nogoods=153, foundSolutions=4, bestBound=533
7.00/4.32 nFilterCalls=147152, avgTableProportion=0.9998989898991004, avgTableSize=9899.0
7.00/4.32
7.10/4.41 num=25, depth=58..61, filters=46495, ccks=408, wck=2.093, mem=142M778
7.10/4.41 decisions=3397, wrong=847, backtracks=204, failedAssignments=648, nogoods=165, foundSolutions=4, bestBound=533
7.10/4.41 nFilterCalls=153766, avgTableProportion=0.9998989898986491, avgTableSize=9899.0
7.10/4.41
7.27/4.55 num=26, depth=62..67, filters=50151, ccks=408, wck=2.229, mem=75M297
7.27/4.55 decisions=3656, wrong=944, backtracks=227, failedAssignments=722, nogoods=179, foundSolutions=4, bestBound=533
7.27/4.55 nFilterCalls=162371, avgTableProportion=0.9998989898981169, avgTableSize=9899.0
7.27/4.55
7.37/4.67 num=27, depth=64..67, filters=54922, ccks=408, wck=2.351, mem=80M527
7.37/4.67 decisions=3932, wrong=1049, backtracks=251, failedAssignments=803, nogoods=183, foundSolutions=4, bestBound=533
7.37/4.67 nFilterCalls=173382, avgTableProportion=0.9998989898975129, avgTableSize=9899.0
7.37/4.67
7.47/4.79 num=28, depth=55..60, filters=58891, ccks=408, wck=2.469, mem=84M462
7.47/4.79 decisions=4206, wrong=1157, backtracks=270, failedAssignments=892, nogoods=200, foundSolutions=4, bestBound=533
7.47/4.79 nFilterCalls=182317, avgTableProportion=0.9998989898970764, avgTableSize=9899.0
7.47/4.79
7.68/4.90 num=29, depth=58..63, filters=62622, ccks=408, wck=2.583, mem=89M692
7.68/4.90 decisions=4519, wrong=1283, backtracks=298, failedAssignments=990, nogoods=216, foundSolutions=4, bestBound=533
7.68/4.90 nFilterCalls=191791, avgTableProportion=0.999898989896658, avgTableSize=9899.0
7.68/4.90
7.79/5.07 num=30, depth=64..68, filters=69096, ccks=408, wck=2.751, mem=92M306
7.79/5.07 decisions=4887, wrong=1434, backtracks=341, failedAssignments=1098, nogoods=225, foundSolutions=4, bestBound=533
7.79/5.07 nFilterCalls=205120, avgTableProportion=0.9998989898961348, avgTableSize=9899.0
7.79/5.07
7.89/5.19 num=31, depth=54..60, filters=72628, ccks=408, wck=2.875, mem=100M150
7.89/5.19 decisions=5208, wrong=1567, backtracks=356, failedAssignments=1217, nogoods=236, foundSolutions=4, bestBound=533
7.89/5.19 nFilterCalls=214456, avgTableProportion=0.999898989895807, avgTableSize=9899.0
7.89/5.19
8.08/5.34 num=32, depth=57..62, filters=78279, ccks=408, wck=3.024, mem=102M765
8.08/5.34 decisions=5602, wrong=1734, backtracks=393, failedAssignments=1348, nogoods=240, foundSolutions=4, bestBound=533
8.08/5.34 nFilterCalls=224902, avgTableProportion=0.9998989898954727, avgTableSize=9899.0
8.08/5.34
8.28/5.58 num=33, depth=61..65, filters=87878, ccks=408, wck=3.267, mem=110M609
8.28/5.58 decisions=6067, wrong=1936, backtracks=451, failedAssignments=1492, nogoods=255, foundSolutions=4, bestBound=533
8.28/5.58 nFilterCalls=242901, avgTableProportion=0.9998989898949638, avgTableSize=9899.0
8.28/5.58
8.62/5.83 num=34, depth=53..58, filters=97458, ccks=408, wck=3.513, mem=123M710
8.62/5.83 decisions=6522, wrong=2136, backtracks=493, failedAssignments=1650, nogoods=267, foundSolutions=4, bestBound=533
8.62/5.83 nFilterCalls=262448, avgTableProportion=0.9998989898945212, avgTableSize=9899.0
8.62/5.83
8.73/5.99 num=35, depth=55..62, filters=104341, ccks=408, wck=3.674, mem=126M325
8.73/5.99 decisions=7005, wrong=2348, backtracks=531, failedAssignments=1824, nogoods=283, foundSolutions=4, bestBound=533
8.73/5.99 nFilterCalls=274561, avgTableProportion=0.9998989898955443, avgTableSize=9899.0
8.73/5.99
9.03/6.26 num=36, depth=62..67, filters=117523, ccks=408, wck=3.944, mem=134M168
9.03/6.26 decisions=7596, wrong=2611, backtracks=603, failedAssignments=2015, nogoods=311, foundSolutions=4, bestBound=533
9.03/6.26 nFilterCalls=295787, avgTableProportion=0.999898989897135, avgTableSize=9899.0
9.03/6.26
9.36/6.55 num=37, depth=60..64, filters=132527, ccks=408, wck=4.231, mem=144M627
9.36/6.55 decisions=8222, wrong=2893, backtracks=674, failedAssignments=2226, nogoods=336, foundSolutions=4, bestBound=533
9.36/6.55 nFilterCalls=318728, avgTableProportion=0.9998989898986159, avgTableSize=9899.0
9.36/6.55
9.67/6.85 num=38, depth=59..65, filters=143751, ccks=408, wck=4.532, mem=157M700
9.67/6.85 decisions=8865, wrong=3184, backtracks=735, failedAssignments=2458, nogoods=339, foundSolutions=4, bestBound=533
9.67/6.85 nFilterCalls=337395, avgTableProportion=0.9998989898996723, avgTableSize=9899.0
9.67/6.85
10.07/7.27 num=39, depth=68..74, filters=161064, ccks=408, wck=4.948, mem=168M159
10.07/7.27 decisions=9755, wrong=3594, backtracks=890, failedAssignments=2713, nogoods=351, foundSolutions=4, bestBound=533
10.07/7.27 nFilterCalls=366549, avgTableProportion=0.999898989901107, avgTableSize=9899.0
10.07/7.27
10.39/7.53 num=40, depth=58..64, filters=171789, ccks=408, wck=5.208, mem=178M617
10.39/7.53 decisions=10534, wrong=3954, backtracks=970, failedAssignments=2994, nogoods=368, foundSolutions=4, bestBound=533
10.39/7.53 nFilterCalls=384922, avgTableProportion=0.9998989899018995, avgTableSize=9899.0
10.39/7.53
10.70/7.81 num=41, depth=61..67, filters=181894, ccks=408, wck=5.491, mem=191M691
10.70/7.81 decisions=11362, wrong=4336, backtracks=1043, failedAssignments=3303, nogoods=388, foundSolutions=4, bestBound=533
10.70/7.81 nFilterCalls=403921, avgTableProportion=0.9998989899026433, avgTableSize=9899.0
10.70/7.81
11.14/8.21 num=42, depth=65..74, filters=197886, ccks=408, wck=5.895, mem=75M312
11.14/8.21 decisions=12338, wrong=4789, backtracks=1160, failedAssignments=3643, nogoods=399, foundSolutions=4, bestBound=533
11.14/8.21 nFilterCalls=434783, avgTableProportion=0.9998989899037127, avgTableSize=9899.0
11.14/8.21
11.54/8.62 num=43, depth=56..64, filters=211647, ccks=408, wck=6.306, mem=98M681
11.54/8.62 decisions=13318, wrong=5249, backtracks=1246, failedAssignments=4017, nogoods=406, foundSolutions=4, bestBound=533
11.54/8.62 nFilterCalls=462681, avgTableProportion=0.9998989899045567, avgTableSize=9899.0
11.54/8.62
11.85/8.98 num=44, depth=61..67, filters=223787, ccks=408, wck=6.662, mem=124M647
11.85/8.98 decisions=14387, wrong=5752, backtracks=1338, failedAssignments=4428, nogoods=427, foundSolutions=4, bestBound=533
11.85/8.98 nFilterCalls=491245, avgTableProportion=0.9998989899053216, avgTableSize=9899.0
11.85/8.98
12.26/9.36 num=45, depth=65..70, filters=237557, ccks=408, wck=7.041, mem=148M17
12.26/9.36 decisions=15528, wrong=6289, backtracks=1426, failedAssignments=4880, nogoods=439, foundSolutions=4, bestBound=533
12.26/9.36 nFilterCalls=519829, avgTableProportion=0.9998989899060028, avgTableSize=9899.0
12.26/9.36
12.76/9.89 num=46, depth=58..65, filters=260008, ccks=408, wck=7.574, mem=166M193
12.76/9.89 decisions=17056, wrong=7023, backtracks=1665, failedAssignments=5377, nogoods=448, foundSolutions=4, bestBound=533
12.76/9.89 nFilterCalls=557548, avgTableProportion=0.9998989899067948, avgTableSize=9899.0
12.76/9.89
13.37/10.49 num=47, depth=63..69, filters=284815, ccks=408, wck=8.17, mem=197M353
13.37/10.49 decisions=18482, wrong=7703, backtracks=1800, failedAssignments=5924, nogoods=456, foundSolutions=4, bestBound=533
13.37/10.49 nFilterCalls=600877, avgTableProportion=0.999898989907582, avgTableSize=9899.0
13.37/10.49
14.13/11.17 num=48, depth=54..59, filters=313109, ccks=408, wck=8.851, mem=95M519
14.13/11.17 decisions=20079, wrong=8473, backtracks=1971, failedAssignments=6526, nogoods=475, foundSolutions=4, bestBound=533
14.13/11.17 nFilterCalls=649450, avgTableProportion=0.9998989899083395, avgTableSize=9899.0
14.13/11.17
15.13/12.12 num=49, depth=53..60, filters=350022, ccks=408, wck=9.805, mem=128M84
15.13/12.12 decisions=22107, wrong=9460, backtracks=2301, failedAssignments=7188, nogoods=505, foundSolutions=4, bestBound=533
15.13/12.12 nFilterCalls=713595, avgTableProportion=0.9998989899091818, avgTableSize=9899.0
15.13/12.12
15.82/12.89 num=50, depth=58..63, filters=380223, ccks=408, wck=10.576, mem=178M740
15.82/12.89 decisions=23932, wrong=10343, backtracks=2458, failedAssignments=7916, nogoods=520, foundSolutions=4, bestBound=533
15.82/12.89 nFilterCalls=767894, avgTableProportion=0.9998989899097849, avgTableSize=9899.0
15.82/12.89
16.33/13.39 num=51, depth=71..77, filters=401151, ccks=408, wck=11.077, mem=214M923
16.33/13.39 decisions=25857, wrong=11269, backtracks=2583, failedAssignments=8717, nogoods=572, foundSolutions=4, bestBound=533
16.33/13.39 nFilterCalls=806830, avgTableProportion=0.9998989899101673, avgTableSize=9899.0
16.33/13.39
17.53/14.55 num=52, depth=66..74, filters=453621, ccks=408, wck=12.234, mem=253M168
17.53/14.55 decisions=28657, wrong=12633, backtracks=3069, failedAssignments=9598, nogoods=599, foundSolutions=4, bestBound=533
17.53/14.55 nFilterCalls=889074, avgTableProportion=0.9998989899108651, avgTableSize=9899.0
17.53/14.55
18.67/15.60 num=53, depth=68..75, filters=511487, ccks=408, wck=13.282, mem=102M903
18.67/15.60 decisions=31505, wrong=14022, backtracks=3490, failedAssignments=10568, nogoods=628, foundSolutions=4, bestBound=533
18.67/15.60 nFilterCalls=968434, avgTableProportion=0.9998989899114261, avgTableSize=9899.0
18.67/15.60
19.57/16.53 num=54, depth=68..75, filters=565623, ccks=408, wck=14.217, mem=142M863
19.57/16.53 decisions=34510, wrong=15489, backtracks=3900, failedAssignments=11635, nogoods=642, foundSolutions=4, bestBound=533
19.57/16.53 nFilterCalls=1044755, avgTableProportion=0.9998989899118852, avgTableSize=9899.0
19.57/16.53
20.87/17.81 num=55, depth=58..70, filters=620400, ccks=408, wck=15.49, mem=204M619
20.87/17.81 decisions=37643, wrong=17026, backtracks=4266, failedAssignments=12808, nogoods=672, foundSolutions=4, bestBound=533
20.87/17.81 nFilterCalls=1131382, avgTableProportion=0.9998989899123312, avgTableSize=9899.0
20.87/17.81
21.97/18.98 num=56, depth=66..73, filters=680226, ccks=408, wck=16.659, mem=75M183
21.97/18.98 decisions=41021, wrong=18681, backtracks=4630, failedAssignments=14099, nogoods=695, foundSolutions=4, bestBound=533
21.97/18.98 nFilterCalls=1219894, avgTableProportion=0.9998989899127215, avgTableSize=9899.0
21.97/18.98
23.13/20.09 num=57, depth=66..71, filters=735752, ccks=408, wck=17.77, mem=128M906
23.13/20.09 decisions=44555, wrong=20414, backtracks=4944, failedAssignments=15519, nogoods=726, foundSolutions=4, bestBound=533
23.13/20.09 nFilterCalls=1294864, avgTableProportion=0.9998989899130103, avgTableSize=9899.0
23.13/20.09
24.62/21.55 num=58, depth=63..69, filters=807737, ccks=408, wck=19.236, mem=207M50
24.62/21.55 decisions=48532, wrong=22370, backtracks=5338, failedAssignments=17081, nogoods=740, foundSolutions=4, bestBound=533
24.62/21.55 nFilterCalls=1397783, avgTableProportion=0.9998989899133565, avgTableSize=9899.0
24.62/21.55
26.52/23.46 num=59, depth=61..68, filters=890515, ccks=408, wck=21.147, mem=260M773
26.52/23.46 decisions=53049, wrong=24596, backtracks=5856, failedAssignments=18799, nogoods=778, foundSolutions=4, bestBound=533
26.52/23.46 nFilterCalls=1518559, avgTableProportion=0.9998989899137027, avgTableSize=9899.0
26.52/23.46
28.36/25.22 num=60, depth=69..77, filters=990581, ccks=408, wck=22.905, mem=89M867
28.36/25.22 decisions=58145, wrong=27108, backtracks=6486, failedAssignments=20689, nogoods=793, foundSolutions=4, bestBound=533
28.36/25.22 nFilterCalls=1651164, avgTableProportion=0.9998989899140246, avgTableSize=9899.0
28.36/25.22
29.87/26.71 num=61, depth=67..77, filters=1049229, ccks=408, wck=24.392, mem=187M710
29.87/26.71 decisions=62932, wrong=29467, backtracks=6767, failedAssignments=22768, nogoods=834, foundSolutions=4, bestBound=533
29.87/26.71 nFilterCalls=1756678, avgTableProportion=0.999898989914246, avgTableSize=9899.0
29.87/26.71
31.37/28.29 num=62, depth=60..66, filters=1107432, ccks=408, wck=25.97, mem=285M553
31.37/28.29 decisions=68232, wrong=32086, backtracks=7099, failedAssignments=25055, nogoods=859, foundSolutions=4, bestBound=533
31.37/28.29 nFilterCalls=1861888, avgTableProportion=0.9998989899144417, avgTableSize=9899.0
31.37/28.29
33.71/30.54 num=63, depth=56..62, filters=1202198, ccks=408, wck=28.221, mem=159M904
33.71/30.54 decisions=74481, wrong=35182, backtracks=7688, failedAssignments=27571, nogoods=889, foundSolutions=4, bestBound=533
33.71/30.54 nFilterCalls=2012931, avgTableProportion=0.999898989914687, avgTableSize=9899.0
33.71/30.54
35.91/32.79 num=64, depth=68..82, filters=1322053, ccks=408, wck=30.47, mem=230M237
35.91/32.79 decisions=82240, wrong=39025, backtracks=8791, failedAssignments=30339, nogoods=913, foundSolutions=4, bestBound=533
35.91/32.79 nFilterCalls=2190869, avgTableProportion=0.9998989899049954, avgTableSize=9899.0
35.91/32.79
38.23/35.10 num=65, depth=60..65, filters=1419763, ccks=408, wck=32.778, mem=383M690
38.23/35.10 decisions=89364, wrong=42555, backtracks=9282, failedAssignments=33383, nogoods=939, foundSolutions=4, bestBound=533
38.23/35.10 nFilterCalls=2353517, avgTableProportion=0.9998989898897835, avgTableSize=9899.0
38.23/35.10
41.26/38.06 num=66, depth=63..70, filters=1537195, ccks=408, wck=35.745, mem=219M703
41.26/38.06 decisions=97762, wrong=46721, backtracks=10107, failedAssignments=36732, nogoods=968, foundSolutions=4, bestBound=533
41.26/38.06 nFilterCalls=2544289, avgTableProportion=0.9998989898744197, avgTableSize=9899.0
41.26/38.06
45.05/41.85 num=67, depth=62..71, filters=1709842, ccks=408, wck=39.537, mem=381M433
45.05/41.85 decisions=107379, wrong=51496, backtracks=11206, failedAssignments=40416, nogoods=995, foundSolutions=4, bestBound=533
45.05/41.85 nFilterCalls=2797070, avgTableProportion=0.9998989898572903, avgTableSize=9899.0
45.05/41.85
48.01/44.77 num=68, depth=69..78, filters=1874516, ccks=408, wck=42.448, mem=233M632
48.01/44.77 decisions=117884, wrong=56712, backtracks=12397, failedAssignments=44468, nogoods=1021, foundSolutions=4, bestBound=533
48.01/44.77 nFilterCalls=3038025, avgTableProportion=0.9998989898436159, avgTableSize=9899.0
48.01/44.77
52.58/49.29 num=69, depth=68..78, filters=2120091, ccks=408, wck=46.975, mem=105M697
52.58/49.29 decisions=130315, wrong=62893, backtracks=14141, failedAssignments=48925, nogoods=1047, foundSolutions=4, bestBound=533
52.58/49.29 nFilterCalls=3378800, avgTableProportion=0.9998989898276063, avgTableSize=9899.0
52.58/49.29
56.18/52.88 num=70, depth=62..70, filters=2291899, ccks=408, wck=50.56, mem=252M678
56.18/52.88 decisions=142443, wrong=68925, backtracks=15287, failedAssignments=53828, nogoods=1081, foundSolutions=4, bestBound=533
56.18/52.88 nFilterCalls=3623752, avgTableProportion=0.9998989898179586, avgTableSize=9899.0
56.18/52.88
60.22/56.82 num=71, depth=68..77, filters=2490737, ccks=408, wck=54.502, mem=156M278
60.22/56.82 decisions=156364, wrong=75850, backtracks=16859, failedAssignments=59222, nogoods=1109, foundSolutions=4, bestBound=533
60.22/56.82 nFilterCalls=3945867, avgTableProportion=0.9998989898070948, avgTableSize=9899.0
60.22/56.82
63.22/59.88 num=72, depth=74..83, filters=2648101, ccks=408, wck=57.561, mem=339M419
63.22/59.88 decisions=170186, wrong=82721, backtracks=17804, failedAssignments=65155, nogoods=1151, foundSolutions=4, bestBound=533
63.22/59.88 nFilterCalls=4177346, avgTableProportion=0.9998989898003225, avgTableSize=9899.0
63.22/59.88
67.16/63.71 num=73, depth=69..81, filters=2850385, ccks=408, wck=61.391, mem=198M504
67.16/63.71 decisions=186307, wrong=90744, backtracks=19332, failedAssignments=71681, nogoods=1189, foundSolutions=4, bestBound=533
67.16/63.71 nFilterCalls=4454352, avgTableProportion=0.9998989897931434, avgTableSize=9899.0
67.16/63.71
72.21/68.70 num=74, depth=71..82, filters=3131973, ccks=408, wck=66.382, mem=86M780
72.21/68.70 decisions=205956, wrong=100531, backtracks=21970, failedAssignments=78860, nogoods=1218, foundSolutions=4, bestBound=533
72.21/68.70 nFilterCalls=4813613, avgTableProportion=0.9998989897850632, avgTableSize=9899.0
72.21/68.70
79.33/75.89 num=75, depth=69..79, filters=3499397, ccks=408, wck=73.568, mem=330M695
79.33/75.89 decisions=228746, wrong=111889, backtracks=25462, failedAssignments=86757, nogoods=1245, foundSolutions=4, bestBound=533
79.33/75.89 nFilterCalls=5345067, avgTableProportion=0.9998989897751022, avgTableSize=9899.0
79.33/75.89
86.40/82.85 num=76, depth=68..77, filters=3862747, ccks=408, wck=80.533, mem=137M310
86.40/82.85 decisions=250032, wrong=122496, backtracks=27414, failedAssignments=95444, nogoods=1267, foundSolutions=4, bestBound=533
86.40/82.85 nFilterCalls=5875467, avgTableProportion=0.9998989897669575, avgTableSize=9899.0
86.40/82.85
92.95/89.39 num=77, depth=73..82, filters=4265299, ccks=408, wck=87.077, mem=111M205
92.95/89.39 decisions=276167, wrong=135525, backtracks=30931, failedAssignments=104999, nogoods=1292, foundSolutions=4, bestBound=533
92.95/89.39 nFilterCalls=6391787, avgTableProportion=0.9998989897603273, avgTableSize=9899.0
92.95/89.39
99.26/95.64 num=78, depth=74..84, filters=4603677, ccks=408, wck=93.326, mem=202M854
99.26/95.64 decisions=302082, wrong=148444, backtracks=33375, failedAssignments=115510, nogoods=1331, foundSolutions=4, bestBound=533
99.26/95.64 nFilterCalls=6885073, avgTableProportion=0.9998989897549218, avgTableSize=9899.0
99.26/95.64
105.37/101.72 num=79, depth=74..84, filters=4947009, ccks=408, wck=99.407, mem=284M966
105.37/101.72 decisions=330450, wrong=162590, backtracks=35994, failedAssignments=127072, nogoods=1360, foundSolutions=4, bestBound=533
105.37/101.72 nFilterCalls=7369482, avgTableProportion=0.9998989897503178, avgTableSize=9899.0
105.37/101.72
115.99/112.31 num=80, depth=65..73, filters=5406577, ccks=408, wck=109.988, mem=128M671
115.99/112.31 decisions=361453, wrong=178057, backtracks=38769, failedAssignments=139790, nogoods=1391, foundSolutions=4, bestBound=533
115.99/112.31 nFilterCalls=8083713, avgTableProportion=0.9998989897445361, avgTableSize=9899.0
115.99/112.31
128.61/124.99 num=81, depth=71..82, filters=6173643, ccks=408, wck=122.673, mem=130M248
128.61/124.99 decisions=401288, wrong=197938, backtracks=44830, failedAssignments=153780, nogoods=1404, foundSolutions=4, bestBound=533
128.61/124.99 nFilterCalls=9121206, avgTableProportion=0.9998989898124659, avgTableSize=9899.0
128.61/124.99
141.74/138.01 num=82, depth=68..77, filters=6917769, ccks=408, wck=135.697, mem=203M943
141.74/138.01 decisions=441105, wrong=217810, backtracks=49370, failedAssignments=169169, nogoods=1444, foundSolutions=4, bestBound=533
141.74/138.01 nFilterCalls=10103947, avgTableProportion=0.9998989898906399, avgTableSize=9899.0
141.74/138.01
154.18/150.49 num=83, depth=66..76, filters=7552046, ccks=408, wck=148.174, mem=263M295
154.18/150.49 decisions=484490, wrong=239468, backtracks=54222, failedAssignments=186097, nogoods=1516, foundSolutions=4, bestBound=533
154.18/150.49 nFilterCalls=10972723, avgTableProportion=0.9998989899480869, avgTableSize=9899.0
154.18/150.49
167.52/163.73 num=84, depth=67..76, filters=8196511, ccks=408, wck=161.415, mem=233M605
167.52/163.73 decisions=529504, wrong=261940, backtracks=58119, failedAssignments=204718, nogoods=1554, foundSolutions=4, bestBound=533
167.52/163.73 nFilterCalls=11974025, avgTableProportion=0.9998989900039567, avgTableSize=9899.0
167.52/163.73
182.58/178.74 num=85, depth=72..85, filters=9082457, ccks=408, wck=176.423, mem=175M646
182.58/178.74 decisions=581945, wrong=288121, backtracks=63885, failedAssignments=225202, nogoods=1578, foundSolutions=4, bestBound=533
182.58/178.74 nFilterCalls=13134677, avgTableProportion=0.999898990058058, avgTableSize=9899.0
182.58/178.74
195.21/191.37 num=86, depth=75..82, filters=9870708, ccks=408, wck=189.056, mem=154M480
195.21/191.37 decisions=634966, wrong=314593, backtracks=67843, failedAssignments=247734, nogoods=1621, foundSolutions=4, bestBound=533
195.21/191.37 nFilterCalls=14249219, avgTableProportion=0.9998989901017148, avgTableSize=9899.0
195.21/191.37
211.26/207.35 num=87, depth=71..80, filters=10599950, ccks=408, wck=205.03, mem=108M384
211.26/207.35 decisions=695151, wrong=344648, backtracks=73177, failedAssignments=272519, nogoods=1646, foundSolutions=4, bestBound=533
211.26/207.35 nFilterCalls=15464036, avgTableProportion=0.9998989901421317, avgTableSize=9899.0
211.26/207.35
232.59/228.64 num=88, depth=67..81, filters=11782904, ccks=408, wck=226.327, mem=191M947
232.59/228.64 decisions=769757, wrong=381914, backtracks=83957, failedAssignments=299783, nogoods=1703, foundSolutions=4, bestBound=533
232.59/228.64 nFilterCalls=17151380, avgTableProportion=0.9998989901483203, avgTableSize=9899.0
232.59/228.64
254.54/250.50 num=89, depth=73..87, filters=13043326, ccks=408, wck=248.186, mem=179M492
254.54/250.50 decisions=857589, wrong=425790, backtracks=98153, failedAssignments=329773, nogoods=1738, foundSolutions=4, bestBound=533
254.54/250.50 nFilterCalls=18935941, avgTableProportion=0.999898990016875, avgTableSize=9899.0
254.54/250.50
275.91/271.84 num=90, depth=75..85, filters=14219599, ccks=408, wck=269.527, mem=124M183
275.91/271.84 decisions=937097, wrong=465504, backtracks=104951, failedAssignments=362762, nogoods=1779, foundSolutions=4, bestBound=533
275.91/271.84 nFilterCalls=20582078, avgTableProportion=0.9998989899158359, avgTableSize=9899.0
275.91/271.84
295.18/291.04 num=91, depth=77..87, filters=15369474, ccks=408, wck=288.724, mem=156M576
295.18/291.04 decisions=1025316, wrong=509573, backtracks=112839, failedAssignments=399050, nogoods=1830, foundSolutions=4, bestBound=533
295.18/291.04 nFilterCalls=22099093, avgTableProportion=0.9998989898360501, avgTableSize=9899.0
295.18/291.04
337.39/333.19 num=92, depth=73..84, filters=17890674, ccks=408, wck=330.871, mem=79M119
337.39/333.19 decisions=1139002, wrong=566377, backtracks=130080, failedAssignments=438967, nogoods=1857, foundSolutions=4, bestBound=533
337.39/333.19 nFilterCalls=25191961, avgTableProportion=0.9998989897031503, avgTableSize=9899.0
337.39/333.19
373.51/369.16 num=93, depth=66..78, filters=19867102, ccks=408, wck=366.838, mem=76M672
373.51/369.16 decisions=1246792, wrong=620238, backtracks=140248, failedAssignments=482876, nogoods=1869, foundSolutions=4, bestBound=533
373.51/369.16 nFilterCalls=27893160, avgTableProportion=0.9998989896111908, avgTableSize=9899.0
373.51/369.16
399.64/395.17 num=94, depth=71..81, filters=21307011, ccks=408, wck=392.856, mem=117M218
399.64/395.17 decisions=1359359, wrong=676484, backtracks=148297, failedAssignments=531176, nogoods=1918, foundSolutions=4, bestBound=533
399.64/395.17 nFilterCalls=29973899, avgTableProportion=0.9998989895516553, avgTableSize=9899.0
399.64/395.17
434.44/429.81 num=95, depth=68..79, filters=23255465, ccks=408, wck=427.494, mem=116M162
434.44/429.81 decisions=1496994, wrong=745265, backtracks=164204, failedAssignments=584306, nogoods=1962, foundSolutions=4, bestBound=533
434.44/429.81 nFilterCalls=32692549, avgTableProportion=0.999898989485287, avgTableSize=9899.0
434.44/429.81
463.96/459.24 num=96, depth=75..87, filters=25129736, ccks=408, wck=456.92, mem=117M267
463.96/459.24 decisions=1644268, wrong=818862, backtracks=179520, failedAssignments=642749, nogoods=1999, foundSolutions=4, bestBound=533
463.96/459.24 nFilterCalls=35119569, avgTableProportion=0.9998989896003807, avgTableSize=9899.0
463.96/459.24
513.01/508.13 num=97, depth=72..85, filters=27803309, ccks=408, wck=505.809, mem=82M730
513.01/508.13 decisions=1818139, wrong=905759, backtracks=202466, failedAssignments=707036, nogoods=2031, foundSolutions=4, bestBound=533
513.01/508.13 nFilterCalls=38584184, avgTableProportion=0.9998989898588487, avgTableSize=9899.0
513.01/508.13
555.55/550.59 num=98, depth=74..85, filters=30066962, ccks=408, wck=548.272, mem=119M468
555.55/550.59 decisions=1992757, wrong=993029, backtracks=219093, failedAssignments=777752, nogoods=2076, foundSolutions=4, bestBound=533
555.55/550.59 nFilterCalls=41871752, avgTableProportion=0.9998989900645584, avgTableSize=9899.0
555.55/550.59
611.03/605.81 num=99, depth=70..81, filters=32804589, ccks=408, wck=603.488, mem=84M940
611.03/605.81 decisions=2187942, wrong=1090584, backtracks=239093, failedAssignments=855539, nogoods=2103, foundSolutions=4, bestBound=533
611.03/605.81 nFilterCalls=46004229, avgTableProportion=0.9998989902814297, avgTableSize=9899.0
611.03/605.81
667.87/662.57 num=100, depth=66..84, filters=35999280, ccks=408, wck=660.254, mem=111M973
667.87/662.57 decisions=2407135, wrong=1200143, backtracks=264085, failedAssignments=941105, nogoods=2158, foundSolutions=4, bestBound=533
667.87/662.57 nFilterCalls=50332456, avgTableProportion=0.9998989904703917, avgTableSize=9899.0
667.87/662.57
739.60/734.01 num=101, depth=68..78, filters=39443762, ccks=408, wck=731.692, mem=116M326
739.60/734.01 decisions=2629976, wrong=1311528, backtracks=281489, failedAssignments=1035228, nogoods=2201, foundSolutions=4, bestBound=533
739.60/734.01 nFilterCalls=55402745, avgTableProportion=0.9998989906541994, avgTableSize=9899.0
739.60/734.01
817.34/811.59 num=102, depth=67..77, filters=43511512, ccks=408, wck=809.274, mem=116M367
817.34/811.59 decisions=2882237, wrong=1437623, backtracks=304133, failedAssignments=1138763, nogoods=2247, foundSolutions=4, bestBound=533
817.34/811.59 nFilterCalls=61126496, avgTableProportion=0.9998989908250554, avgTableSize=9899.0
817.34/811.59
891.83/885.86 num=103, depth=78..92, filters=48333736, ccks=408, wck=883.543, mem=79M670
891.83/885.86 decisions=3181537, wrong=1587232, backtracks=341064, failedAssignments=1252652, nogoods=2275, foundSolutions=4, bestBound=533
891.83/885.86 nFilterCalls=67401054, avgTableProportion=0.999898990947462, avgTableSize=9899.0
891.83/885.86
1001.59/995.31 num=104, depth=66..78, filters=54420728, ccks=408, wck=992.987, mem=88M335
1001.59/995.31 decisions=3507845, wrong=1750351, backtracks=379421, failedAssignments=1377930, nogoods=2311, foundSolutions=4, bestBound=533
1001.59/995.31 nFilterCalls=76335439, avgTableProportion=0.9998989902546729, avgTableSize=9899.0
1001.59/995.31
1119.68/1113.16 num=105, depth=65..78, filters=60717698, ccks=408, wck=1110.841, mem=76M471
1119.68/1113.16 decisions=3864989, wrong=1928886, backtracks=420338, failedAssignments=1515736, nogoods=2358, foundSolutions=4, bestBound=533
1119.68/1113.16 nFilterCalls=84819186, avgTableProportion=0.9998989897319196, avgTableSize=9899.0
1119.68/1113.16
1200.37/1193.67 num=106, depth=73..85, filters=66038371, ccks=408, wck=1191.357, mem=102M425
1200.37/1193.67 decisions=4225435, wrong=2109069, backtracks=449542, failedAssignments=1667322, nogoods=2477, foundSolutions=4, bestBound=533
1200.37/1193.67 nFilterCalls=90972067, avgTableProportion=0.9998989894137889, avgTableSize=9899.0
1200.37/1193.67
1313.54/1306.52 num=107, depth=65..76, filters=70903224, ccks=408, wck=1304.207, mem=101M410
1313.54/1306.52 decisions=4644173, wrong=2318402, backtracks=492496, failedAssignments=1834067, nogoods=2541, foundSolutions=4, bestBound=533
1313.54/1306.52 nFilterCalls=97477378, avgTableProportion=0.9998989891211139, avgTableSize=9899.0
1313.54/1306.52
1507.42/1500.10 num=108, depth=65..76, filters=80419032, ccks=408, wck=1497.787, mem=74M451
1507.42/1500.10 decisions=5120906, wrong=2556734, backtracks=547810, failedAssignments=2017486, nogoods=2619, foundSolutions=4, bestBound=533
1507.42/1500.10 nFilterCalls=109946961, avgTableProportion=0.9998989886569256, avgTableSize=9899.0
1507.42/1500.10
1657.59/1649.88 num=109, depth=66..80, filters=88778193, ccks=408, wck=1647.564, mem=120M933
1657.59/1649.88 decisions=5626802, wrong=2809645, backtracks=599825, failedAssignments=2219247, nogoods=2666, foundSolutions=4, bestBound=533
1657.59/1649.88 nFilterCalls=121613078, avgTableProportion=0.9998989883088351, avgTableSize=9899.0
1657.59/1649.88
1753.80/1745.86 num=110, depth=79..92, filters=95166079, ccks=408, wck=1743.547, mem=114M485
1753.80/1745.86 decisions=6180087, wrong=3086245, backtracks=656609, failedAssignments=2441185, nogoods=2709, foundSolutions=4, bestBound=533
1753.80/1745.86 nFilterCalls=130589602, avgTableProportion=0.999898988083334, avgTableSize=9899.0
1753.80/1745.86
1889.68/1881.45 num=111, depth=75..89, filters=102707608, ccks=408, wck=1879.137, mem=79M974
1889.68/1881.45 decisions=6801845, wrong=3397084, backtracks=724214, failedAssignments=2685316, nogoods=2754, foundSolutions=4, bestBound=533
1889.68/1881.45 nFilterCalls=141220350, avgTableProportion=0.9998989885908212, avgTableSize=9899.0
1889.68/1881.45
2095.27/2086.52 num=112, depth=66..81, filters=111088303, ccks=408, wck=2084.206, mem=89M718
2095.27/2086.52 decisions=7486000, wrong=3739126, backtracks=799093, failedAssignments=2953861, nogoods=2779, foundSolutions=4, bestBound=533
2095.27/2086.52 nFilterCalls=155426253, avgTableProportion=0.9998989896271657, avgTableSize=9899.0
2095.27/2086.52
2367.89/2358.61 num=113, depth=65..77, filters=124581340, ccks=408, wck=2356.294, mem=108M104
2367.89/2358.61 decisions=8269052, wrong=4130618, backtracks=896964, failedAssignments=3249260, nogoods=2818, foundSolutions=4, bestBound=533
2367.89/2358.61 nFilterCalls=175340909, avgTableProportion=0.9998989907972635, avgTableSize=9899.0
2367.89/2358.61
2400.03/2390.60
2400.03/2390.60 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>
2400.03/2390.60 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 (10408 MiB free)
memory of node 1: 16384 MiB (12997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391302-1568390780/watcher-4391302-1568390780 -o /tmp/evaluation-result-4391302-1568390780/solver-4391302-1568390780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568390530-31343 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391302-1568390780.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31560, runsolver pid=31557
Current StackSize limit: 8192 KiB
[startup+0.100441 s]*
/proc/loadavg: 1.67 1.42 1.41 4/228 31575
/proc/meminfo: memFree=23950052/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10659884 memory=29144 CPUtime=0.14 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 5750 0 0 0 13 1 0 0 20 0 15 0 415015355 10915721216 7286 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2664971 7286 2897 1 0 2627468 0
[pid=31560/tid=31562] ppid=31557 vsize=10659884 memory=-8125511277465473410 CPUtime=0.09 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) R 31557 31560 29438 0 -1 4202560 3394 0 0 0 9 0 0 0 20 0 15 0 415015355 10915721216 7286 33554432000 4194304 4196468 140729165022368 140669951859832 140669947641238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 7286 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 7286 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 7286 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 7286 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669250950176 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669249897328 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) S 31557 31560 29438 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669247794032 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0.02 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) R 31557 31560 29438 0 -1 4202560 557 0 0 0 2 0 0 0 20 0 15 0 415015361 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669245685240 140669925997942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 7352 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29144 KiB
[startup+0.211063 s]*
/proc/loadavg: 1.67 1.42 1.41 3/228 31575
/proc/meminfo: memFree=23939492/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10659884 memory=37484 CPUtime=0.32 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 9132 0 0 0 30 2 0 0 20 0 15 0 415015355 10915721216 9371 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2664971 9371 2974 1 0 2627468 0
[pid=31560/tid=31562] ppid=31557 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) R 31557 31560 29438 0 -1 4202560 6150 0 0 0 18 2 0 0 20 0 15 0 415015355 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669951861392 140669947651229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10659884 memory=139955477740907 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669250950176 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669249897328 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) S 31557 31560 29438 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 415015361 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669247794032 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 15 0 415015361 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0.05 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) S 31557 31560 29438 0 -1 1077944384 731 0 0 0 5 0 0 0 20 0 15 0 415015361 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669245688432 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 9371 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37484 KiB
[startup+0.310114 s]*
/proc/loadavg: 1.67 1.42 1.41 5/228 31575
/proc/meminfo: memFree=23937072/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10659884 memory=40556 CPUtime=0.47 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 9337 0 0 0 44 3 0 0 20 0 15 0 415015355 10915721216 10139 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2664971 10139 3030 1 0 2627468 0
[pid=31560/tid=31562] ppid=31557 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) R 31557 31560 29438 0 -1 4202560 6279 0 0 0 28 2 0 0 20 0 15 0 415015355 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669951861456 140669947651229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10659884 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10659884 memory=139955477740292 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015356 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669250950176 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415015358 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669249897328 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) R 31557 31560 29438 0 -1 1077944384 595 0 0 0 4 0 0 0 20 0 15 0 415015361 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669247794032 140669947640450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 350 0 0 0 3 0 0 0 20 0 15 0 415015361 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0.08 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) R 31557 31560 29438 0 -1 4202560 752 0 0 0 8 0 0 0 20 0 15 0 415015361 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669245688432 140669926033801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10659884 memory=139955477710464 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015361 10915721216 10139 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40556 KiB
[startup+0.70074 s]
/proc/loadavg: 1.67 1.42 1.41 3/228 31575
/proc/meminfo: memFree=23927052/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10661932 memory=63548 CPUtime=1.1 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 12921 0 0 0 106 4 0 0 20 0 15 0 415015355 10917818368 15887 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2665483 15887 3063 1 0 2627980 0
[pid=31560/tid=31562] ppid=31557 vsize=10661932 memory=1792 CPUtime=0.68 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) R 31557 31560 29438 0 -1 4202560 8833 0 0 0 65 3 0 0 20 0 15 0 415015355 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669951861328 140669947651229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10661932 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10661932 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10661932 memory=5536 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10661932 memory=4540 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015356 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015358 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10661932 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415015358 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669250950176 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415015358 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669249897328 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10661932 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10661932 memory=7302135314614015849 CPUtime=0.11 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) R 31557 31560 29438 0 -1 4202560 920 0 0 0 11 0 0 0 20 0 15 0 415015361 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669247794032 140669931128172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10661932 memory=6010460991946777682 CPUtime=0.1 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 605 0 0 0 10 0 0 0 20 0 15 0 415015361 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10661932 memory=7588935152971043413 CPUtime=0.19 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) S 31557 31560 29438 0 -1 1077944384 1202 0 0 0 19 0 0 0 20 0 15 0 415015361 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669245688432 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415015361 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015361 10917818368 15887 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63548 KiB
[startup+1.50074 s]
/proc/loadavg: 1.67 1.42 1.41 3/228 31575
/proc/meminfo: memFree=23911480/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10663980 memory=75500 CPUtime=2 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 17114 0 0 0 195 5 0 0 20 0 15 0 415015355 10919915520 18875 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2665995 18875 3092 1 0 2628492 0
[pid=31560/tid=31562] ppid=31557 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) R 31557 31560 29438 0 -1 4202560 11851 0 0 0 144 4 0 0 20 0 15 0 415015355 10919915520 18875 33554432000 4194304 4196468 140729165022368 140669951855184 140669931709790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10919915520 18875 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10919915520 18875 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415015356 10919915520 18875 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10663980 memory=-7096649868621430206 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415015356 10919915520 18875 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415015358 10919915520 18875 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
################
# More data... #
################
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 4634 0 0 0 179 12 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.16 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 7107 0 0 0 105 11 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669250950240 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10748324 memory=2433 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669249897344 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.23 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) S 31557 31560 29438 0 -1 1077944384 6640 0 0 0 122 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669247794032 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.12 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 5875 0 0 0 111 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10748324 memory=268476 CPUtime=0.67 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) S 31557 31560 29438 0 -1 1077944384 8233 0 0 0 66 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669245688432 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10748324 memory=2008 CPUtime=0.69 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 808 0 0 0 32 37 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31576] ppid=31557 vsize=10748324 memory=0 CPUtime=2256.91 cores=1,3,5,7
/proc/31560/task/31576/stat : 31576 (java) R 31557 31560 29438 0 -1 4202560 26433 0 0 0 225682 9 0 0 20 0 16 0 415015543 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669240024496 140669590718792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 2271.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268476 KiB
[startup+2322.3 s]
/proc/loadavg: 1.59 1.67 1.65 3/230 31872
/proc/meminfo: memFree=23681008/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10748324 memory=268476 CPUtime=2331.54 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 91008 0 0 0 233046 108 0 0 20 0 16 0 415015355 11006283776 67119 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2687081 67119 3379 1 0 2647217 0
[pid=31560/tid=31562] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.86 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) S 31557 31560 29438 0 -1 1077944384 13793 0 0 0 180 6 0 0 20 0 16 0 415015355 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669951872176 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.95 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 3780 0 0 0 183 12 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.96 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 5380 0 0 0 182 14 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.95 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 6510 0 0 0 182 13 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.95 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 4904 0 0 0 182 13 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.19 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 7128 0 0 0 108 11 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669250950240 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669249897344 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10748324 memory=1228 CPUtime=1.23 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) S 31557 31560 29438 0 -1 1077944384 6642 0 0 0 122 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669247794032 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.12 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 5877 0 0 0 111 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10748324 memory=6791534058613427641 CPUtime=0.67 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) S 31557 31560 29438 0 -1 1077944384 8235 0 0 0 66 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669245688432 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10748324 memory=40084 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10748324 memory=1228 CPUtime=0.72 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 814 0 0 0 34 38 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31576] ppid=31557 vsize=10748324 memory=268476 CPUtime=2316.84 cores=1,3,5,7
/proc/31560/task/31576/stat : 31576 (java) R 31557 31560 29438 0 -1 4202560 26548 0 0 0 231675 9 0 0 20 0 16 0 415015543 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669240024496 140669590190594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 2331.54 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268476 KiB
[startup+2382.3 s]
/proc/loadavg: 1.64 1.67 1.66 3/229 31876
/proc/meminfo: memFree=23680712/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10748324 memory=268476 CPUtime=2391.71 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 92023 0 0 0 239061 110 0 0 20 0 16 0 415015355 11006283776 67119 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2687081 67119 3379 1 0 2647217 0
[pid=31560/tid=31562] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.86 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) S 31557 31560 29438 0 -1 1077944384 13793 0 0 0 180 6 0 0 20 0 16 0 415015355 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669951872176 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10748324 memory=268476 CPUtime=2.01 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 3825 0 0 0 189 12 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10748324 memory=268476 CPUtime=2.02 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 5391 0 0 0 187 15 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10748324 memory=268476 CPUtime=2 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 6518 0 0 0 187 13 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10748324 memory=268476 CPUtime=2 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 4982 0 0 0 187 13 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10748324 memory=6791534058613427641 CPUtime=1.22 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 7298 0 0 0 111 11 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10748324 memory=2352 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669250950240 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669249897344 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10748324 memory=40084 CPUtime=1.23 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) S 31557 31560 29438 0 -1 1077944384 6642 0 0 0 122 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669247794032 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10748324 memory=1228 CPUtime=1.12 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 5877 0 0 0 111 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10748324 memory=268476 CPUtime=0.67 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) S 31557 31560 29438 0 -1 1077944384 8530 0 0 0 66 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669245688432 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10748324 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10748324 memory=752 CPUtime=0.73 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 842 0 0 0 34 39 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31576] ppid=31557 vsize=10748324 memory=1636 CPUtime=2376.74 cores=1,3,5,7
/proc/31560/task/31576/stat : 31576 (java) R 31557 31560 29438 0 -1 4202560 26928 0 0 0 237665 9 0 0 20 0 16 0 415015543 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669240024544 140669590192584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 2391.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2390.6 s]
/proc/loadavg: 1.67 1.67 1.66 3/229 31876
/proc/meminfo: memFree=23680688/32770624 swapFree=67108848/67108860
[pid=31560] ppid=31557 vsize=10748324 memory=268476 CPUtime=2400.03 cores=1,3,5,7
/proc/31560/stat : 31560 (java) S 31557 31560 29438 0 -1 1077944320 92031 0 0 0 239893 110 0 0 20 0 16 0 415015355 11006283776 67119 33554432000 4194304 4196468 140729165022368 140729165004912 140669947629303 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
/proc/31560/statm: 2687081 67119 3379 1 0 2647217 0
[pid=31560/tid=31562] ppid=31557 vsize=10748324 memory=40084 CPUtime=1.86 cores=1,3,5,7
/proc/31560/task/31562/stat : 31562 (java) S 31557 31560 29438 0 -1 1077944384 13793 0 0 0 180 6 0 0 20 0 16 0 415015355 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669951872176 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31563] ppid=31557 vsize=10748324 memory=6791534058613427641 CPUtime=2.01 cores=1,3,5,7
/proc/31560/task/31563/stat : 31563 (java) S 31557 31560 29438 0 -1 1077944384 3825 0 0 0 189 12 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669553925264 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31564] ppid=31557 vsize=10748324 memory=1840 CPUtime=2.02 cores=1,3,5,7
/proc/31560/task/31564/stat : 31564 (java) S 31557 31560 29438 0 -1 1077944384 5391 0 0 0 187 15 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669552872464 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31565] ppid=31557 vsize=10748324 memory=1384 CPUtime=2 cores=1,3,5,7
/proc/31560/task/31565/stat : 31565 (java) S 31557 31560 29438 0 -1 1077944384 6518 0 0 0 187 13 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669551819664 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31566] ppid=31557 vsize=10748324 memory=7172 CPUtime=2.01 cores=1,3,5,7
/proc/31560/task/31566/stat : 31566 (java) S 31557 31560 29438 0 -1 1077944384 4982 0 0 0 188 13 0 0 20 0 16 0 415015356 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669550766864 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31567] ppid=31557 vsize=10748324 memory=1100 CPUtime=1.23 cores=1,3,5,7
/proc/31560/task/31567/stat : 31567 (java) S 31557 31560 29438 0 -1 1077944384 7298 0 0 0 112 11 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669252004208 140669947640450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31568] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31568/stat : 31568 (java) S 31557 31560 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669250950240 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31569] ppid=31557 vsize=10748324 memory=268476 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31569/stat : 31569 (java) S 31557 31560 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415015358 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669249897344 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31570] ppid=31557 vsize=10748324 memory=5536 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31570/stat : 31570 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669248845648 140669947647899 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31571] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.23 cores=1,3,5,7
/proc/31560/task/31571/stat : 31571 (java) S 31557 31560 29438 0 -1 1077944384 6642 0 0 0 122 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669247794032 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31572] ppid=31557 vsize=10748324 memory=268476 CPUtime=1.12 cores=1,3,5,7
/proc/31560/task/31572/stat : 31572 (java) S 31557 31560 29438 0 -1 1077944384 5877 0 0 0 111 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669246741232 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31573] ppid=31557 vsize=10748324 memory=268476 CPUtime=0.67 cores=1,3,5,7
/proc/31560/task/31573/stat : 31573 (java) S 31557 31560 29438 0 -1 1077944384 8530 0 0 0 66 1 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669245688432 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31574] ppid=31557 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31560/task/31574/stat : 31574 (java) S 31557 31560 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669244635872 140669947639509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31575] ppid=31557 vsize=10748324 memory=2008 CPUtime=0.73 cores=1,3,5,7
/proc/31560/task/31575/stat : 31575 (java) S 31557 31560 29438 0 -1 1077944384 842 0 0 0 34 39 0 0 20 0 16 0 415015361 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669243583152 140669947640450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
[pid=31560/tid=31576] ppid=31557 vsize=10748324 memory=111636 CPUtime=2385.03 cores=1,3,5,7
/proc/31560/task/31576/stat : 31576 (java) R 31557 31560 29438 0 -1 4202560 26936 0 0 0 238494 9 0 0 20 0 16 0 415015543 11006283776 67119 33554432000 4194304 4196468 140729165022368 140669240024384 140669591139660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20484096 140729165030411 140729165030514 140729165030514 140729165033423 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2390.61 s]
# the end of solver process 31560 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.94 s, system=1.10766 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2390.61
CPU time (s): 2400.05
CPU user time (s): 2398.94
CPU system time (s): 1.10766
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 497196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.94
system time used= 1.10766
maximum resident set size= 500732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82642
involuntary context switches= 2049
# summary of solver processes directly reported to runsolver:
# pid: 31560
# total CPU time (s): 2400.05
# total CPU user time (s): 2398.94
# total CPU system time (s): 1.10766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4482 second user time and 22.2141 second system time
The end