2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
2.66/2.00 Instance
2.66/2.00 name=instance-4391198-1568391863, framework=COP, bounds=-infty..+infty
2.66/2.00
2.66/2.00 Loading variables...
2.92/2.02 Loading constraints...
2.92/2.10
2.92/2.10 Domains
2.92/2.10 nTypes=2, nValues=3654, sizes=[81#36,82#9]
2.92/2.10 Variables
2.92/2.10 count=45, degrees=[2#36,8#8,9#1]
2.92/2.10 Objectives
2.92/2.10 way=min, type=ObjVarLE
2.92/2.10 Constraints
2.92/2.10 count=38, nSpecific=2, arities=[1#1,3#36,36#1]
2.92/2.10 distribution=[AllDifferent#1,CtrIntension#36,ObjVarLE#1]
2.92/2.10 nIntStructures=(1,shared:35)
2.92/2.10 wck=0.261, cpu=2.072, mem=21M227
2.92/2.11 Solver SolverBacktrack being built...
2.92/2.11
3.15/2.13
3.15/2.13 Solver
3.15/2.13 guaranteedGAC=true
3.15/2.13 wck=0.289, cpu=2.097, mem=31M870
3.51/2.30
3.51/2.30 Preprocessing
3.51/2.30 filters=87, revisions=(379,useless=234), ccks=1692905, nACremovedValues=240, nTotalRemovedValues=240, inconcistency=false
3.51/2.30 wck=0.174, cpu=2.272, mem=31M870
3.51/2.30
3.83/2.50 o 65
3.83/2.51 num=0, depth=46..44, filters=488, revisions=(1158,useless=532), ccks=3831334, wck=0.378, mem=31M870
3.83/2.51 decisions=9, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=65
3.83/2.51
4.19/2.83 o 51
4.19/2.83 num=1, depth=46..44, filters=939, revisions=(2415,useless=1211), ccks=7806171, wck=0.704, mem=31M870
4.19/2.83 decisions=18, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=51
4.19/2.83
4.45/3.06 num=2, depth=0..1, filters=1341, revisions=(4176,useless=2329), ccks=10141759, wck=0.936, mem=34M512
4.45/3.06 decisions=41, wrong=11, backtracks=0, failedAssignments=11, nogoods=10, foundSolutions=2, bestBound=51
4.45/3.06
4.56/3.16 num=3, depth=0..0, filters=1833, revisions=(5919,useless=3338), ccks=11150060, wck=1.037, mem=34M512
4.56/3.16 decisions=63, wrong=22, backtracks=0, failedAssignments=22, nogoods=10, foundSolutions=2, bestBound=51
4.56/3.16
4.72/3.30 num=4, depth=0..2, filters=2429, revisions=(7678,useless=4312), ccks=12573754, wck=1.168, mem=34M512
4.72/3.30 decisions=89, wrong=34, backtracks=0, failedAssignments=34, nogoods=17, foundSolutions=2, bestBound=51
4.72/3.30
4.83/3.34 o 50
4.83/3.34 num=5, depth=0..44, filters=2873, revisions=(8593,useless=4718), ccks=12903583, wck=1.211, mem=34M512
4.83/3.34 decisions=101, wrong=37, backtracks=0, failedAssignments=37, nogoods=19, foundSolutions=3, bestBound=50
4.83/3.34
5.17/3.61 num=6, depth=1..2, filters=3827, revisions=(11748,useless=6468), ccks=15964234, wck=1.48, mem=34M512
5.17/3.61 decisions=131, wrong=51, backtracks=0, failedAssignments=51, nogoods=33, foundSolutions=3, bestBound=50
5.17/3.61
5.17/3.64 num=7, depth=1..3, filters=4531, revisions=(13421,useless=7307), ccks=16296073, wck=1.514, mem=34M512
5.17/3.64 decisions=163, wrong=66, backtracks=4, failedAssignments=62, nogoods=36, foundSolutions=3, bestBound=50
5.17/3.64
5.17/3.68 num=8, depth=2..4, filters=5294, revisions=(15084,useless=8091), ccks=16687880, wck=1.553, mem=34M512
5.17/3.68 decisions=192, wrong=79, backtracks=6, failedAssignments=74, nogoods=44, foundSolutions=3, bestBound=50
5.17/3.68
5.40/3.87 num=9, depth=0..1, filters=5774, revisions=(16543,useless=8851), ccks=18636762, wck=1.738, mem=34M512
5.40/3.87 decisions=219, wrong=92, backtracks=6, failedAssignments=87, nogoods=50, foundSolutions=3, bestBound=50
5.40/3.87
5.50/3.94 num=10, depth=0..3, filters=6883, revisions=(19228,useless=10210), ccks=19284012, wck=1.807, mem=37M154
5.50/3.94 decisions=255, wrong=109, backtracks=9, failedAssignments=101, nogoods=62, foundSolutions=3, bestBound=50
5.50/3.94
5.50/4.01 num=11, depth=1..4, filters=7757, revisions=(21378,useless=11319), ccks=20039721, wck=1.877, mem=37M154
5.50/4.01 decisions=290, wrong=125, backtracks=9, failedAssignments=117, nogoods=78, foundSolutions=3, bestBound=50
5.50/4.01
5.65/4.08 num=12, depth=0..2, filters=8382, revisions=(22893,useless=12034), ccks=20801246, wck=1.949, mem=37M154
5.65/4.08 decisions=327, wrong=143, backtracks=10, failedAssignments=134, nogoods=79, foundSolutions=3, bestBound=50
5.65/4.08
5.76/4.12 num=13, depth=0..3, filters=9119, revisions=(24594,useless=12907), ccks=21216525, wck=1.991, mem=37M154
5.76/4.12 decisions=371, wrong=164, backtracks=12, failedAssignments=153, nogoods=92, foundSolutions=3, bestBound=50
5.76/4.12
5.85/4.27 num=14, depth=1..3, filters=10144, revisions=(27013,useless=14138), ccks=21972609, wck=2.062, mem=37M154
5.85/4.27 decisions=421, wrong=188, backtracks=15, failedAssignments=174, nogoods=98, foundSolutions=3, bestBound=50
5.85/4.27
5.85/4.27 num=15, depth=0..4, filters=11796, revisions=(30636,useless=15897), ccks=22564308, wck=2.123, mem=37M154
5.85/4.27 decisions=486, wrong=220, backtracks=25, failedAssignments=197, nogoods=104, foundSolutions=3, bestBound=50
5.85/4.27
5.96/4.33 num=16, depth=0..5, filters=13866, revisions=(34902,useless=17877), ccks=23320917, wck=2.2, mem=37M154
5.96/4.33 decisions=561, wrong=256, backtracks=39, failedAssignments=222, nogoods=114, foundSolutions=3, bestBound=50
5.96/4.33
5.96/4.37 num=17, depth=1..3, filters=15493, revisions=(38378,useless=19545), ccks=23748918, wck=2.247, mem=37M154
5.96/4.37 decisions=632, wrong=291, backtracks=46, failedAssignments=250, nogoods=129, foundSolutions=3, bestBound=50
5.96/4.37
6.06/4.40 o 49
6.06/4.40 num=18, depth=2..44, filters=16901, revisions=(41091,useless=20746), ccks=23969918, wck=2.274, mem=37M154
6.06/4.40 decisions=695, wrong=320, backtracks=49, failedAssignments=276, nogoods=144, foundSolutions=4, bestBound=49
6.06/4.40
6.17/4.53 num=19, depth=1..4, filters=18990, revisions=(46212,useless=23358), ccks=25290665, wck=2.4, mem=37M154
6.17/4.53 decisions=782, wrong=362, backtracks=57, failedAssignments=310, nogoods=155, foundSolutions=4, bestBound=49
6.17/4.53
6.17/4.56 num=20, depth=0..3, filters=19839, revisions=(48013,useless=24223), ccks=25552876, wck=2.428, mem=37M154
6.17/4.56 decisions=813, wrong=377, backtracks=61, failedAssignments=321, nogoods=161, foundSolutions=4, bestBound=49
6.17/4.56
6.17/4.58 num=21, depth=1..4, filters=20846, revisions=(50211,useless=25297), ccks=25782169, wck=2.454, mem=39M797
6.17/4.58 decisions=850, wrong=394, backtracks=67, failedAssignments=333, nogoods=171, foundSolutions=4, bestBound=49
6.17/4.58
6.28/4.61 num=22, depth=0..3, filters=21607, revisions=(51909,useless=26137), ccks=26087864, wck=2.486, mem=39M797
6.28/4.61 decisions=883, wrong=410, backtracks=70, failedAssignments=346, nogoods=177, foundSolutions=4, bestBound=49
6.28/4.61
6.28/4.65 num=23, depth=0..4, filters=22743, revisions=(54515,useless=27392), ccks=26466614, wck=2.526, mem=39M797
6.28/4.65 decisions=922, wrong=428, backtracks=75, failedAssignments=360, nogoods=183, foundSolutions=4, bestBound=49
6.28/4.65
6.28/4.67 o 47
6.28/4.67 num=24, depth=2..44, filters=23588, revisions=(56125,useless=28085), ccks=26625276, wck=2.545, mem=39M797
6.28/4.67 decisions=952, wrong=441, backtracks=79, failedAssignments=369, nogoods=191, foundSolutions=5, bestBound=47
6.28/4.67
6.39/4.73 num=25, depth=2..4, filters=24414, revisions=(58315,useless=29166), ccks=27267164, wck=2.607, mem=39M797
6.39/4.73 decisions=990, wrong=458, backtracks=79, failedAssignments=386, nogoods=208, foundSolutions=5, bestBound=47
6.39/4.73
6.39/4.76 num=26, depth=1..3, filters=25363, revisions=(60249,useless=30031), ccks=27471597, wck=2.63, mem=39M797
6.39/4.76 decisions=1021, wrong=473, backtracks=85, failedAssignments=397, nogoods=213, foundSolutions=5, bestBound=47
6.39/4.76
6.39/4.77 num=27, depth=2..4, filters=26108, revisions=(61741,useless=30715), ccks=27585588, wck=2.644, mem=39M797
6.39/4.77 decisions=1051, wrong=487, backtracks=87, failedAssignments=409, nogoods=216, foundSolutions=5, bestBound=47
6.39/4.77
6.39/4.79 num=28, depth=1..3, filters=26923, revisions=(63479,useless=31526), ccks=27782022, wck=2.666, mem=39M797
6.39/4.79 decisions=1085, wrong=503, backtracks=90, failedAssignments=422, nogoods=221, foundSolutions=5, bestBound=47
6.39/4.79
6.51/4.82 num=29, depth=1..5, filters=28160, revisions=(65949,useless=32620), ccks=27981267, wck=2.69, mem=39M797
6.51/4.82 decisions=1130, wrong=524, backtracks=98, failedAssignments=436, nogoods=226, foundSolutions=5, bestBound=47
6.51/4.82
6.51/4.85 num=30, depth=0..5, filters=29606, revisions=(68826,useless=33902), ccks=28274587, wck=2.724, mem=39M797
6.51/4.85 decisions=1182, wrong=548, backtracks=109, failedAssignments=452, nogoods=234, foundSolutions=5, bestBound=47
6.51/4.85
6.51/4.87 num=31, depth=2..4, filters=30736, revisions=(71021,useless=34851), ccks=28418432, wck=2.741, mem=39M797
6.51/4.87 decisions=1231, wrong=571, backtracks=115, failedAssignments=469, nogoods=241, foundSolutions=5, bestBound=47
6.51/4.87
6.62/4.90 num=32, depth=1..4, filters=32266, revisions=(74283,useless=36417), ccks=28669584, wck=2.772, mem=39M797
6.62/4.90 decisions=1283, wrong=596, backtracks=122, failedAssignments=488, nogoods=248, foundSolutions=5, bestBound=47
6.62/4.90
6.62/4.99 num=33, depth=0..3, filters=33575, revisions=(77535,useless=38072), ccks=29556775, wck=2.857, mem=39M797
6.62/4.99 decisions=1330, wrong=619, backtracks=124, failedAssignments=509, nogoods=256, foundSolutions=5, bestBound=47
6.62/4.99
6.74/5.02 num=34, depth=1..4, filters=35181, revisions=(80751,useless=39523), ccks=29805702, wck=2.888, mem=39M797
6.74/5.02 decisions=1393, wrong=650, backtracks=133, failedAssignments=532, nogoods=262, foundSolutions=5, bestBound=47
6.74/5.02
6.74/5.04 num=35, depth=1..4, filters=36538, revisions=(83635,useless=40903), ccks=30055790, wck=2.917, mem=39M797
6.74/5.04 decisions=1461, wrong=683, backtracks=142, failedAssignments=557, nogoods=271, foundSolutions=5, bestBound=47
6.74/5.04
6.74/5.07 num=36, depth=2..4, filters=38913, revisions=(88056,useless=42688), ccks=30240253, wck=2.943, mem=39M797
6.74/5.07 decisions=1560, wrong=731, backtracks=162, failedAssignments=585, nogoods=279, foundSolutions=5, bestBound=47
6.74/5.07
6.88/5.11 num=37, depth=1..5, filters=41194, revisions=(92888,useless=45028), ccks=30526944, wck=2.98, mem=42M439
6.88/5.11 decisions=1652, wrong=776, backtracks=177, failedAssignments=616, nogoods=287, foundSolutions=5, bestBound=47
6.88/5.11
6.88/5.17 num=38, depth=2..4, filters=43455, revisions=(97955,useless=47493), ccks=31104160, wck=3.043, mem=42M439
6.88/5.17 decisions=1743, wrong=820, backtracks=187, failedAssignments=650, nogoods=299, foundSolutions=5, bestBound=47
6.88/5.17
6.98/5.24 num=39, depth=0..5, filters=46109, revisions=(103556,useless=50180), ccks=31791078, wck=3.117, mem=42M439
6.98/5.24 decisions=1845, wrong=870, backtracks=201, failedAssignments=687, nogoods=318, foundSolutions=5, bestBound=47
6.98/5.24
7.09/5.30 num=40, depth=1..4, filters=48701, revisions=(108990,useless=52688), ccks=32260142, wck=3.172, mem=42M439
7.09/5.30 decisions=1949, wrong=921, backtracks=211, failedAssignments=728, nogoods=323, foundSolutions=5, bestBound=47
7.09/5.30
7.09/5.34 num=41, depth=0..4, filters=51382, revisions=(114703,useless=55455), ccks=32639490, wck=3.217, mem=42M439
7.09/5.34 decisions=2069, wrong=980, backtracks=225, failedAssignments=773, nogoods=334, foundSolutions=5, bestBound=47
7.09/5.34
7.09/5.39 num=42, depth=0..5, filters=54667, revisions=(121170,useless=58234), ccks=33021556, wck=3.266, mem=42M439
7.09/5.39 decisions=2212, wrong=1050, backtracks=248, failedAssignments=823, nogoods=339, foundSolutions=5, bestBound=47
7.09/5.39
7.19/5.48 num=43, depth=0..5, filters=59501, revisions=(131226,useless=62910), ccks=33679312, wck=3.348, mem=42M439
7.19/5.48 decisions=2382, wrong=1134, backtracks=279, failedAssignments=878, nogoods=351, foundSolutions=5, bestBound=47
7.19/5.48
7.29/5.56 num=44, depth=0..4, filters=63606, revisions=(139735,useless=66821), ccks=34385433, wck=3.43, mem=45M82
7.29/5.56 decisions=2548, wrong=1216, backtracks=306, failedAssignments=939, nogoods=356, foundSolutions=5, bestBound=47
7.29/5.56
7.40/5.60 num=45, depth=2..4, filters=68324, revisions=(148321,useless=70319), ccks=34630378, wck=3.471, mem=45M82
7.40/5.60 decisions=2749, wrong=1315, backtracks=340, failedAssignments=1006, nogoods=370, foundSolutions=5, bestBound=47
7.40/5.60
7.50/5.74 num=46, depth=0..4, filters=73041, revisions=(159318,useless=75863), ccks=36000024, wck=3.617, mem=45M82
7.50/5.74 decisions=2942, wrong=1411, backtracks=363, failedAssignments=1080, nogoods=374, foundSolutions=5, bestBound=47
7.50/5.74
7.50/5.79 num=47, depth=0..4, filters=78360, revisions=(169898,useless=80626), ccks=36313681, wck=3.667, mem=45M82
7.50/5.79 decisions=3175, wrong=1527, backtracks=399, failedAssignments=1161, nogoods=383, foundSolutions=5, bestBound=47
7.50/5.79
7.70/5.99 num=48, depth=1..5, filters=84770, revisions=(184143,useless=87389), ccks=38114653, wck=3.86, mem=45M82
7.70/5.99 decisions=3419, wrong=1648, backtracks=436, failedAssignments=1250, nogoods=408, foundSolutions=5, bestBound=47
7.70/5.99
7.81/6.07 num=49, depth=1..4, filters=90604, revisions=(195667,useless=92333), ccks=38690177, wck=3.938, mem=47M724
7.81/6.07 decisions=3680, wrong=1777, backtracks=474, failedAssignments=1348, nogoods=417, foundSolutions=5, bestBound=47
7.81/6.07
7.96/6.11 num=50, depth=1..4, filters=96582, revisions=(206763,useless=97160), ccks=38899813, wck=3.981, mem=47M724
7.96/6.11 decisions=3971, wrong=1921, backtracks=515, failedAssignments=1456, nogoods=429, foundSolutions=5, bestBound=47
7.96/6.11
8.05/6.24 num=51, depth=0..5, filters=104206, revisions=(222965,useless=104933), ccks=40015954, wck=4.117, mem=47M724
8.05/6.24 decisions=4297, wrong=2082, backtracks=557, failedAssignments=1575, nogoods=441, foundSolutions=5, bestBound=47
8.05/6.24
8.15/6.34 o 45
8.15/6.34 num=52, depth=0..44, filters=111066, revisions=(236759,useless=111301), ccks=40709224, wck=4.211, mem=47M724
8.15/6.34 decisions=4603, wrong=2233, backtracks=605, failedAssignments=1683, nogoods=447, foundSolutions=6, bestBound=45
8.15/6.34
8.36/6.52 num=53, depth=1..6, filters=119360, revisions=(254157,useless=119236), ccks=42255449, wck=4.389, mem=50M367
8.36/6.52 decisions=4974, wrong=2417, backtracks=648, failedAssignments=1827, nogoods=456, foundSolutions=6, bestBound=45
8.36/6.52
8.36/6.53 num=54, depth=2..4, filters=120360, revisions=(256095,useless=120050), ccks=42393954, wck=4.406, mem=50M367
8.36/6.53 decisions=5010, wrong=2434, backtracks=655, failedAssignments=1838, nogoods=458, foundSolutions=6, bestBound=45
8.36/6.53
8.36/6.56 num=55, depth=1..3, filters=121412, revisions=(258401,useless=121178), ccks=42591935, wck=4.429, mem=50M367
8.36/6.56 decisions=5047, wrong=2451, backtracks=660, failedAssignments=1850, nogoods=464, foundSolutions=6, bestBound=45
8.36/6.56
8.36/6.59 num=56, depth=1..3, filters=122569, revisions=(260910,useless=122270), ccks=42887366, wck=4.462, mem=50M367
8.36/6.59 decisions=5087, wrong=2470, backtracks=666, failedAssignments=1863, nogoods=466, foundSolutions=6, bestBound=45
8.36/6.59
8.46/6.61 num=57, depth=1..5, filters=123949, revisions=(263749,useless=123611), ccks=43058473, wck=4.484, mem=50M367
8.46/6.61 decisions=5134, wrong=2493, backtracks=676, failedAssignments=1877, nogoods=471, foundSolutions=6, bestBound=45
8.46/6.61
8.46/6.63 num=58, depth=2..5, filters=124765, revisions=(265487,useless=124400), ccks=43251947, wck=4.506, mem=50M367
8.46/6.63 decisions=5173, wrong=2511, backtracks=680, failedAssignments=1893, nogoods=478, foundSolutions=6, bestBound=45
8.46/6.63
8.46/6.66 num=59, depth=1..4, filters=126015, revisions=(268162,useless=125679), ccks=43460482, wck=4.531, mem=50M367
8.46/6.66 decisions=5222, wrong=2535, backtracks=687, failedAssignments=1910, nogoods=484, foundSolutions=6, bestBound=45
8.46/6.66
8.56/6.73 num=60, depth=0..4, filters=127509, revisions=(271668,useless=127451), ccks=44132275, wck=4.6, mem=50M367
8.56/6.73 decisions=5281, wrong=2563, backtracks=697, failedAssignments=1929, nogoods=490, foundSolutions=6, bestBound=45
8.56/6.73
8.56/6.75 num=61, depth=1..4, filters=129016, revisions=(274688,useless=128868), ccks=44289690, wck=4.621, mem=50M367
8.56/6.75 decisions=5347, wrong=2595, backtracks=708, failedAssignments=1950, nogoods=498, foundSolutions=6, bestBound=45
8.56/6.75
8.56/6.77 num=62, depth=2..4, filters=130801, revisions=(278019,useless=130191), ccks=44435968, wck=4.643, mem=50M367
8.56/6.77 decisions=5418, wrong=2629, backtracks=719, failedAssignments=1973, nogoods=502, foundSolutions=6, bestBound=45
8.56/6.77
8.66/6.85 num=63, depth=0..3, filters=132992, revisions=(282847,useless=132473), ccks=45215323, wck=4.725, mem=53M9
8.66/6.85 decisions=5500, wrong=2669, backtracks=735, failedAssignments=1998, nogoods=503, foundSolutions=6, bestBound=45
8.66/6.85
8.66/6.89 num=64, depth=0..4, filters=134968, revisions=(286834,useless=134281), ccks=45488804, wck=4.758, mem=53M9
8.66/6.89 decisions=5579, wrong=2707, backtracks=747, failedAssignments=2026, nogoods=514, foundSolutions=6, bestBound=45
8.66/6.89
8.76/6.91 num=65, depth=0..4, filters=136733, revisions=(290466,useless=136055), ccks=45710022, wck=4.785, mem=53M9
8.76/6.91 decisions=5670, wrong=2751, backtracks=762, failedAssignments=2057, nogoods=517, foundSolutions=6, bestBound=45
8.76/6.91
8.76/6.94 num=66, depth=2..5, filters=138939, revisions=(294593,useless=137717), ccks=45867784, wck=4.809, mem=53M9
8.76/6.94 decisions=5767, wrong=2798, backtracks=776, failedAssignments=2091, nogoods=525, foundSolutions=6, bestBound=45
8.76/6.94
8.76/6.97 num=67, depth=1..3, filters=141213, revisions=(299407,useless=140037), ccks=46141362, wck=4.844, mem=53M9
8.76/6.97 decisions=5864, wrong=2845, backtracks=786, failedAssignments=2128, nogoods=536, foundSolutions=6, bestBound=45
8.76/6.97
8.76/6.99 num=68, depth=1..4, filters=143564, revisions=(303799,useless=141925), ccks=46269749, wck=4.865, mem=53M9
8.76/6.99 decisions=5979, wrong=2902, backtracks=807, failedAssignments=2169, nogoods=537, foundSolutions=6, bestBound=45
8.76/6.99
8.87/7.03 num=69, depth=1..5, filters=146820, revisions=(310366,useless=144896), ccks=46552104, wck=4.905, mem=53M9
8.87/7.03 decisions=6124, wrong=2974, backtracks=836, failedAssignments=2214, nogoods=542, foundSolutions=6, bestBound=45
8.87/7.03
8.87/7.07 num=70, depth=0..5, filters=149643, revisions=(316111,useless=147532), ccks=46874880, wck=4.947, mem=53M9
8.87/7.07 decisions=6253, wrong=3037, backtracks=853, failedAssignments=2264, nogoods=557, foundSolutions=6, bestBound=45
8.87/7.07
8.97/7.11 num=71, depth=1..4, filters=152853, revisions=(322141,useless=150094), ccks=47087940, wck=4.979, mem=53M9
8.97/7.11 decisions=6400, wrong=3110, backtracks=871, failedAssignments=2319, nogoods=559, foundSolutions=6, bestBound=45
8.97/7.11
8.97/7.18 num=72, depth=0..4, filters=157759, revisions=(332600,useless=155065), ccks=47647551, wck=5.052, mem=53M9
8.97/7.18 decisions=6589, wrong=3204, backtracks=905, failedAssignments=2380, nogoods=566, foundSolutions=6, bestBound=45
8.97/7.18
9.06/7.22 num=73, depth=2..5, filters=161590, revisions=(339882,useless=158099), ccks=47917834, wck=5.093, mem=55M652
9.06/7.22 decisions=6758, wrong=3287, backtracks=926, failedAssignments=2447, nogoods=578, foundSolutions=6, bestBound=45
9.06/7.22
9.16/7.30 num=74, depth=0..4, filters=167339, revisions=(352278,useless=164213), ccks=48524139, wck=5.176, mem=55M652
9.16/7.30 decisions=6998, wrong=3406, backtracks=975, failedAssignments=2521, nogoods=585, foundSolutions=6, bestBound=45
9.16/7.30
9.26/7.42 num=75, depth=0..5, filters=172326, revisions=(363034,useless=169106), ccks=49499553, wck=5.29, mem=55M652
9.26/7.42 decisions=7216, wrong=3513, backtracks=1006, failedAssignments=2602, nogoods=601, foundSolutions=6, bestBound=45
9.26/7.42
9.36/7.59 num=76, depth=0..5, filters=179042, revisions=(378174,useless=176402), ccks=51040359, wck=5.464, mem=55M652
9.36/7.59 decisions=7475, wrong=3641, backtracks=1052, failedAssignments=2691, nogoods=611, foundSolutions=6, bestBound=45
9.36/7.59
9.46/7.68 num=77, depth=1..4, filters=185976, revisions=(392552,useless=183150), ccks=51633617, wck=5.55, mem=58M294
9.46/7.68 decisions=7756, wrong=3780, backtracks=1093, failedAssignments=2789, nogoods=625, foundSolutions=6, bestBound=45
9.46/7.68
9.56/7.77 num=78, depth=1..4, filters=192887, revisions=(406292,useless=189018), ccks=52327785, wck=5.645, mem=58M294
9.56/7.77 decisions=8044, wrong=3923, backtracks=1132, failedAssignments=2897, nogoods=629, foundSolutions=6, bestBound=45
9.56/7.77
9.83/7.94 num=79, depth=0..4, filters=201024, revisions=(424288,useless=197653), ccks=53755597, wck=5.816, mem=58M294
9.83/7.94 decisions=8370, wrong=4085, backtracks=1183, failedAssignments=3016, nogoods=634, foundSolutions=6, bestBound=45
9.83/7.94
9.94/8.02 num=80, depth=0..5, filters=209029, revisions=(440061,useless=204633), ccks=54222429, wck=5.892, mem=60M936
9.94/8.02 decisions=8731, wrong=4264, backtracks=1236, failedAssignments=3147, nogoods=643, foundSolutions=6, bestBound=45
9.94/8.02
10.13/8.23 num=81, depth=1..5, filters=218349, revisions=(459379,useless=212835), ccks=56032752, wck=6.104, mem=60M936
10.13/8.23 decisions=9119, wrong=4457, backtracks=1288, failedAssignments=3291, nogoods=658, foundSolutions=6, bestBound=45
10.13/8.23
10.34/8.44 num=82, depth=0..5, filters=228199, revisions=(480353,useless=222341), ccks=57792024, wck=6.313, mem=60M936
10.34/8.44 decisions=9542, wrong=4667, backtracks=1352, failedAssignments=3449, nogoods=669, foundSolutions=6, bestBound=45
10.34/8.44
10.34/8.47 o 44
10.34/8.47 num=83, depth=2..44, filters=231050, revisions=(485734,useless=224600), ccks=57956311, wck=6.34, mem=63M579
10.34/8.47 decisions=9683, wrong=4735, backtracks=1373, failedAssignments=3499, nogoods=681, foundSolutions=7, bestBound=44
10.34/8.47
10.69/8.72 num=84, depth=1..5, filters=243852, revisions=(512885,useless=236636), ccks=60123550, wck=6.595, mem=63M579
10.69/8.72 decisions=10199, wrong=4991, backtracks=1445, failedAssignments=3690, nogoods=694, foundSolutions=7, bestBound=44
10.69/8.72
10.69/8.75 num=85, depth=0..5, filters=244677, revisions=(514684,useless=237490), ccks=60319507, wck=6.616, mem=63M579
10.69/8.75 decisions=10234, wrong=5007, backtracks=1452, failedAssignments=3701, nogoods=696, foundSolutions=7, bestBound=44
10.69/8.75
10.69/8.76 num=86, depth=1..5, filters=245681, revisions=(516640,useless=238325), ccks=60434272, wck=6.633, mem=63M579
10.69/8.76 decisions=10270, wrong=5024, backtracks=1460, failedAssignments=3713, nogoods=699, foundSolutions=7, bestBound=44
10.69/8.76
10.69/8.79 num=87, depth=1..5, filters=246991, revisions=(519491,useless=239648), ccks=60709874, wck=6.664, mem=63M579
10.69/8.79 decisions=10318, wrong=5047, backtracks=1470, failedAssignments=3726, nogoods=703, foundSolutions=7, bestBound=44
10.69/8.79
10.79/8.83 num=88, depth=0..5, filters=248294, revisions=(522538,useless=241222), ccks=61001669, wck=6.698, mem=63M579
10.79/8.83 decisions=10365, wrong=5070, backtracks=1481, failedAssignments=3740, nogoods=708, foundSolutions=7, bestBound=44
10.79/8.83
10.79/8.84 num=89, depth=1..4, filters=249401, revisions=(524855,useless=242227), ccks=61130454, wck=6.715, mem=63M579
10.79/8.84 decisions=10416, wrong=5094, backtracks=1492, failedAssignments=3756, nogoods=712, foundSolutions=7, bestBound=44
10.79/8.84
10.79/8.86 num=90, depth=3..5, filters=250712, revisions=(527265,useless=243192), ccks=61255048, wck=6.732, mem=63M579
10.79/8.86 decisions=10472, wrong=5120, backtracks=1501, failedAssignments=3773, nogoods=719, foundSolutions=7, bestBound=44
10.79/8.86
10.79/8.88 num=91, depth=1..4, filters=252053, revisions=(530248,useless=244698), ccks=61459358, wck=6.757, mem=63M579
10.79/8.88 decisions=10525, wrong=5146, backtracks=1509, failedAssignments=3792, nogoods=730, foundSolutions=7, bestBound=44
10.79/8.88
10.89/8.91 num=92, depth=2..6, filters=253597, revisions=(533198,useless=245930), ccks=61622880, wck=6.779, mem=66M221
10.89/8.91 decisions=10592, wrong=5178, backtracks=1522, failedAssignments=3813, nogoods=733, foundSolutions=7, bestBound=44
10.89/8.91
10.89/8.94 num=93, depth=0..5, filters=255284, revisions=(536930,useless=247680), ccks=61895083, wck=6.812, mem=66M221
10.89/8.94 decisions=10662, wrong=5212, backtracks=1537, failedAssignments=3836, nogoods=738, foundSolutions=7, bestBound=44
10.89/8.94
10.89/8.97 num=94, depth=2..5, filters=257058, revisions=(540437,useless=249126), ccks=62106847, wck=6.839, mem=66M221
10.89/8.97 decisions=10736, wrong=5247, backtracks=1548, failedAssignments=3861, nogoods=744, foundSolutions=7, bestBound=44
10.89/8.97
11.01/9.01 num=95, depth=2..5, filters=259148, revisions=(544848,useless=251068), ccks=62440975, wck=6.88, mem=66M221
11.01/9.01 decisions=10822, wrong=5289, backtracks=1563, failedAssignments=3889, nogoods=754, foundSolutions=7, bestBound=44
11.01/9.01
11.01/9.03 num=96, depth=1..5, filters=260927, revisions=(548528,useless=252830), ccks=62585374, wck=6.901, mem=66M221
11.01/9.03 decisions=10909, wrong=5332, backtracks=1579, failedAssignments=3920, nogoods=757, foundSolutions=7, bestBound=44
11.01/9.03
11.01/9.09 num=97, depth=1..4, filters=263131, revisions=(553710,useless=255379), ccks=63124756, wck=6.963, mem=66M221
11.01/9.09 decisions=10997, wrong=5375, backtracks=1589, failedAssignments=3954, nogoods=769, foundSolutions=7, bestBound=44
11.01/9.09
11.12/9.17 num=98, depth=0..4, filters=265504, revisions=(559149,useless=257867), ccks=63822378, wck=7.039, mem=66M221
11.12/9.17 decisions=11095, wrong=5423, backtracks=1601, failedAssignments=3991, nogoods=770, foundSolutions=7, bestBound=44
11.12/9.17
11.21/9.25 num=99, depth=1..4, filters=268354, revisions=(565861,useless=261068), ccks=64557393, wck=7.121, mem=66M221
11.21/9.25 decisions=11215, wrong=5482, backtracks=1620, failedAssignments=4032, nogoods=782, foundSolutions=7, bestBound=44
11.21/9.25
11.31/9.30 num=100, depth=0..5, filters=270482, revisions=(570504,useless=263245), ccks=64989826, wck=7.17, mem=66M221
11.31/9.30 decisions=11325, wrong=5536, backtracks=1631, failedAssignments=4077, nogoods=794, foundSolutions=7, bestBound=44
11.31/9.30
11.31/9.35 num=101, depth=1..4, filters=273915, revisions=(578130,useless=267009), ccks=65376401, wck=7.223, mem=68M864
11.31/9.35 decisions=11458, wrong=5601, backtracks=1648, failedAssignments=4127, nogoods=804, foundSolutions=7, bestBound=44
11.31/9.35
11.41/9.48 num=102, depth=1..4, filters=277673, revisions=(586762,useless=270830), ccks=66623856, wck=7.356, mem=68M864
11.41/9.48 decisions=11611, wrong=5676, backtracks=1670, failedAssignments=4182, nogoods=816, foundSolutions=7, bestBound=44
11.41/9.48
11.51/9.54 num=103, depth=0..5, filters=281690, revisions=(595117,useless=274787), ccks=67005272, wck=7.409, mem=68M864
11.51/9.54 decisions=11780, wrong=5760, backtracks=1694, failedAssignments=4243, nogoods=818, foundSolutions=7, bestBound=44
11.51/9.54
11.51/9.58 num=104, depth=1..5, filters=285968, revisions=(603450,useless=278434), ccks=67277124, wck=7.451, mem=68M864
11.51/9.58 decisions=11974, wrong=5855, backtracks=1727, failedAssignments=4310, nogoods=826, foundSolutions=7, bestBound=44
11.51/9.58
11.61/9.64 num=105, depth=1..5, filters=290871, revisions=(613533,useless=283127), ccks=67687434, wck=7.512, mem=68M864
11.61/9.64 decisions=12174, wrong=5954, backtracks=1757, failedAssignments=4384, nogoods=840, foundSolutions=7, bestBound=44
11.61/9.64
11.81/9.80 num=106, depth=1..5, filters=295699, revisions=(624722,useless=288406), ccks=69121444, wck=7.669, mem=68M864
11.81/9.80 decisions=12378, wrong=6055, backtracks=1783, failedAssignments=4465, nogoods=860, foundSolutions=7, bestBound=44
11.81/9.80
11.91/10.00 num=107, depth=0..4, filters=302604, revisions=(639712,useless=294886), ccks=70926259, wck=7.868, mem=71M507
11.91/10.00 decisions=12658, wrong=6193, backtracks=1837, failedAssignments=4554, nogoods=862, foundSolutions=7, bestBound=44
11.91/10.00
12.12/10.15 num=108, depth=1..5, filters=309211, revisions=(653919,useless=301108), ccks=72286418, wck=8.025, mem=71M507
12.12/10.15 decisions=12929, wrong=6327, backtracks=1883, failedAssignments=4652, nogoods=871, foundSolutions=7, bestBound=44
12.12/10.15
12.21/10.23 num=109, depth=1..5, filters=316156, revisions=(667619,useless=306821), ccks=72764847, wck=8.101, mem=71M507
12.21/10.23 decisions=13232, wrong=6477, backtracks=1933, failedAssignments=4760, nogoods=883, foundSolutions=7, bestBound=44
12.21/10.23
12.33/10.33 num=110, depth=0..5, filters=324862, revisions=(685016,useless=314599), ccks=73456092, wck=8.202, mem=74M149
12.33/10.33 decisions=13581, wrong=6651, backtracks=1992, failedAssignments=4879, nogoods=885, foundSolutions=7, bestBound=44
12.33/10.33
12.43/10.47 num=111, depth=0..4, filters=334871, revisions=(706530,useless=324452), ccks=74436048, wck=8.338, mem=74M149
12.43/10.47 decisions=13992, wrong=6855, backtracks=2072, failedAssignments=5010, nogoods=899, foundSolutions=7, bestBound=44
12.43/10.47
12.63/10.61 num=112, depth=0..5, filters=344249, revisions=(726060,useless=333491), ccks=75536530, wck=8.481, mem=74M149
12.63/10.61 decisions=14405, wrong=7061, backtracks=2144, failedAssignments=5154, nogoods=907, foundSolutions=7, bestBound=44
12.63/10.61
12.73/10.73 num=113, depth=0..5, filters=355915, revisions=(750152,useless=344324), ccks=76275714, wck=8.601, mem=76M791
12.73/10.73 decisions=14884, wrong=7299, backtracks=2232, failedAssignments=5312, nogoods=913, foundSolutions=7, bestBound=44
12.73/10.73
12.86/10.87 num=114, depth=0..5, filters=367467, revisions=(774635,useless=355636), ccks=77203848, wck=8.74, mem=76M791
12.86/10.87 decisions=15375, wrong=7544, backtracks=2308, failedAssignments=5486, nogoods=928, foundSolutions=7, bestBound=44
12.86/10.87
13.17/11.17 num=115, depth=0..5, filters=380349, revisions=(803923,useless=370144), ccks=79830810, wck=9.045, mem=79M434
13.17/11.17 decisions=15913, wrong=7812, backtracks=2392, failedAssignments=5677, nogoods=937, foundSolutions=7, bestBound=44
13.17/11.17
13.56/11.54 num=116, depth=0..5, filters=395853, revisions=(838537,useless=386628), ccks=83002804, wck=9.412, mem=79M434
13.56/11.54 decisions=16533, wrong=8121, backtracks=2500, failedAssignments=5888, nogoods=943, foundSolutions=7, bestBound=44
13.56/11.54
13.86/11.82 num=117, depth=0..5, filters=411787, revisions=(870938,useless=400424), ccks=85235719, wck=9.695, mem=82M76
13.86/11.82 decisions=17220, wrong=8463, backtracks=2624, failedAssignments=6120, nogoods=948, foundSolutions=7, bestBound=44
13.86/11.82
14.26/12.24 num=118, depth=0..5, filters=430126, revisions=(911231,useless=419154), ccks=88853166, wck=10.117, mem=84M719
14.26/12.24 decisions=17946, wrong=8825, backtracks=2749, failedAssignments=6375, nogoods=956, foundSolutions=7, bestBound=44
14.26/12.24
14.66/12.61 num=119, depth=0..5, filters=450858, revisions=(953619,useless=437624), ccks=91673354, wck=10.477, mem=87M361
14.66/12.61 decisions=18760, wrong=9230, backtracks=2896, failedAssignments=6656, nogoods=969, foundSolutions=7, bestBound=44
14.66/12.61
15.07/13.03 num=120, depth=0..5, filters=470368, revisions=(996507,useless=458367), ccks=95302219, wck=10.905, mem=90M3
15.07/13.03 decisions=19615, wrong=9657, backtracks=3027, failedAssignments=6965, nogoods=978, foundSolutions=7, bestBound=44
15.07/13.03
15.36/13.38
15.36/13.38 New Bounds: 44..43
15.36/13.38 num=121, depth=0..4, filters=483107, revisions=(1025851,useless=472516), ccks=98464308, wck=11.256, mem=90M3
15.36/13.38 decisions=20113, wrong=9907, backtracks=3105, failedAssignments=7145, foundSolutions=7, bestBound=44
15.36/13.38
15.36/13.38 Global
15.36/13.38 filters=483107, revisions=(1025851,useless=472516), ccks=98464308
15.36/13.38 Stop=FULL_EXPLORATION, wrong=9907, bestBound=44, bestBoundWck=6.629, bestBoundCpu=8.437, foundSolutions=7, firstSolCpu=2.469
15.36/13.38 wck=11.547, cpu=13.354, mem=90M3
15.36/13.39
15.36/13.39 v <instantiation id='sol7' type='solution' cost='44'> <list> x[] y[][] </list> <values> 0 1 5 12 25 27 35 41 44 * 1 5 12 25 27 35 41 44 * * 4 11 24 26 34 40 43 * * * 7 20 22 30 36 39 * * * * 13 15 23 29 32 * * * * * 2 10 16 19 * * * * * * 8 14 17 * * * * * * * 6 9 * * * * * * * * 3 * * * * * * * * * </values> </instantiation>
15.36/13.39 s OPTIMUM FOUND
15.36/13.39
15.36/13.39 d WRONG_DECISIONS 9907
15.36/13.39 d NUMBER_SOLUTIONS 7
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 (13559 MiB free)
memory of node 1: 16384 MiB (14177 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391198-1568391863/watcher-4391198-1568391863 -o /tmp/evaluation-result-4391198-1568391863/solver-4391198-1568391863 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568389883-24253 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391198-1568391863.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=25157, runsolver pid=25154
Current StackSize limit: 8192 KiB
[startup+0.100074 s]*
/proc/loadavg: 2.00 1.84 1.79 5/229 25172
/proc/meminfo: memFree=28385856/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10659884 memory=28472 CPUtime=0.14 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 5575 0 0 0 13 1 0 0 20 0 15 0 415454113 10915721216 7118 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2664971 7118 2911 1 0 2627468 0
[pid=25157/tid=25159] ppid=25154 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) R 25154 25157 24221 0 -1 4202560 3294 0 0 0 9 0 0 0 20 0 15 0 415454114 10915721216 7118 33554432000 4194304 4196468 140724110815152 140337433296136 140337429077398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 7118 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 7118 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 7118 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 7118 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454116 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415454116 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336732362400 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415454117 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336731309296 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) S 25154 25157 24221 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336729204976 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0.02 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) R 25154 25157 24221 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 415454119 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336727095256 140337408199946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 7118 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28472 KiB
[startup+0.210563 s]*
/proc/loadavg: 2.00 1.84 1.79 3/229 25172
/proc/meminfo: memFree=28375296/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10659884 memory=37612 CPUtime=0.33 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 9144 0 0 0 31 2 0 0 20 0 15 0 415454113 10915721216 9403 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2664971 9403 2989 1 0 2627468 0
[pid=25157/tid=25159] ppid=25154 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) R 25154 25157 24221 0 -1 4202560 6117 0 0 0 19 1 0 0 20 0 15 0 415454114 10915721216 9403 33554432000 4194304 4196468 140724110815152 140337433291480 140337429087389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 9403 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10659884 memory=3546215791300421280 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 9403 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 9403 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 9403 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454116 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415454116 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336732362400 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415454117 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336731309296 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) S 25154 25157 24221 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 415454119 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336729204976 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 397 0 0 0 3 0 0 0 20 0 15 0 415454119 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0.05 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) S 25154 25157 24221 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 415454119 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336727099376 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 9403 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37612 KiB
[startup+0.310295 s]*
/proc/loadavg: 2.00 1.84 1.79 3/229 25172
/proc/meminfo: memFree=28373364/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10659884 memory=40400 CPUtime=0.48 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 9367 0 0 0 46 2 0 0 20 0 15 0 415454113 10915721216 10100 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2664971 10100 3002 1 0 2627468 0
[pid=25157/tid=25159] ppid=25154 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) R 25154 25157 24221 0 -1 4202560 6265 0 0 0 29 1 0 0 20 0 15 0 415454114 10915721216 10100 33554432000 4194304 4196468 140724110815152 140337433297264 140337066690097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 10100 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10659884 memory=3760698624042313376 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 10100 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 10100 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454115 10915721216 10100 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454116 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415454116 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336732362400 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415454117 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336731309296 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) S 25154 25157 24221 0 -1 1077944384 576 0 0 0 3 0 0 0 20 0 15 0 415454119 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336729204976 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 438 0 0 0 4 0 0 0 20 0 15 0 415454119 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0.08 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) S 25154 25157 24221 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 415454119 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336727099376 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10659884 memory=139934452393600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454119 10915721216 10100 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40400 KiB
[startup+0.701244 s]
/proc/loadavg: 2.00 1.84 1.79 3/229 25172
/proc/meminfo: memFree=28362472/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10661932 memory=63816 CPUtime=1.11 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 12984 0 0 0 106 5 0 0 20 0 15 0 415454113 10917818368 15954 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2665483 15954 3064 1 0 2627980 0
[pid=25157/tid=25159] ppid=25154 vsize=10661932 memory=1276 CPUtime=0.68 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) R 25154 25157 24221 0 -1 4202560 8812 0 0 0 64 4 0 0 20 0 15 0 415454114 10917818368 15954 33554432000 4194304 4196468 140724110815152 140337433297488 140337412252293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10917818368 15954 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10917818368 15954 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10661932 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10917818368 15954 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10661932 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454115 10917818368 15954 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10661932 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454116 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415454116 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336732362400 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415454117 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336731309296 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10661932 memory=7738707435814409833 CPUtime=0.1 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) R 25154 25157 24221 0 -1 4202560 900 0 0 0 10 0 0 0 20 0 15 0 415454119 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336729191072 140337408311311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10661932 memory=5787213857196369745 CPUtime=0.12 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 690 0 0 0 12 0 0 0 20 0 15 0 415454119 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10661932 memory=5450909908396308010 CPUtime=0.19 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) S 25154 25157 24221 0 -1 1077944384 1222 0 0 0 19 0 0 0 20 0 15 0 415454119 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336727099376 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415454119 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454119 10917818368 15954 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63816 KiB
[startup+1.50074 s]
/proc/loadavg: 2.00 1.84 1.79 3/229 25172
/proc/meminfo: memFree=28346472/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10663980 memory=75600 CPUtime=2 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 17321 0 0 0 195 5 0 0 20 0 15 0 415454113 10919915520 18900 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2665995 18900 3091 1 0 2628492 0
[pid=25157/tid=25159] ppid=25154 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) R 25154 25157 24221 0 -1 4202560 11947 0 0 0 144 4 0 0 20 0 15 0 415454114 10919915520 18900 33554432000 4194304 4196468 140724110815152 140337433297488 140337413145950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10919915520 18900 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10919915520 18900 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415454115 10919915520 18900 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415454115 10919915520 18900 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415454116 10919915520 18900 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
################
# More data... #
################
[pid=25157/tid=25160] ppid=25154 vsize=10746276 memory=-8412661042843906680 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 43433 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10746276 memory=154588 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 43433 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10746276 memory=7811044310603950144 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 43433 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10746276 memory=7883944108235712103 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 43433 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10746276 memory=153588 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 16 0 415454116 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10746276 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415454116 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336732362464 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10746276 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415454117 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336731309312 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10746276 memory=2004 CPUtime=0.71 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) S 25154 25157 24221 0 -1 1077944384 2825 0 0 0 71 0 0 0 20 0 16 0 415454119 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336729204976 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10746276 memory=1276 CPUtime=0.77 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 3039 0 0 0 76 1 0 0 20 0 16 0 415454119 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10746276 memory=1060 CPUtime=0.51 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) S 25154 25157 24221 0 -1 1077944384 3441 0 0 0 51 0 0 0 20 0 16 0 415454119 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336727099376 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10746276 memory=752 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10746276 memory=4465 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25173] ppid=25154 vsize=10746276 memory=4420 CPUtime=10.79 cores=1,3,5,7
/proc/25157/task/25173/stat : 25173 (java) R 25154 25157 24221 0 -1 4202560 5675 0 0 0 1077 2 0 0 20 0 16 0 415454301 11004186624 43433 33554432000 4194304 4196468 140724110815152 140336640737232 140337071060935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 14.76 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 173732 KiB
[startup+13.3966 s]
# the end of solver process 25157 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.3257 s, system=0.143813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 1.92 1.82 1.78 3/231 25175
/proc/meminfo: memFree=28242460/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10746276 memory=175780 CPUtime=14.86 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 31494 0 0 0 1473 13 0 0 20 0 16 0 415454113 11004186624 43945 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2686569 43945 3351 1 0 2646705 0
[pid=25157/tid=25159] ppid=25154 vsize=10746276 memory=4420 CPUtime=1.85 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) S 25154 25157 24221 0 -1 1077944384 14015 0 0 0 180 5 0 0 20 0 16 0 415454114 11004186624 43945 33554432000 4194304 4196468 140724110815152 140337433308336 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10746276 memory=6628 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 43945 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10746276 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 43945 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10746276 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 43945 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 43945 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10746276 memory=6944656592387989600 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 16 0 415454116 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415454116 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336732362464 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10746276 memory=139934329729501 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415454117 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336731309312 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10746276 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) S 25154 25157 24221 0 -1 1077944384 2825 0 0 0 71 0 0 0 20 0 16 0 415454119 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336729204976 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10746276 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 3039 0 0 0 76 1 0 0 20 0 16 0 415454119 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10746276 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) S 25154 25157 24221 0 -1 1077944384 3441 0 0 0 51 0 0 0 20 0 16 0 415454119 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336727099376 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10746276 memory=71 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10746276 memory=77 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25173] ppid=25154 vsize=10746276 memory=50 CPUtime=10.89 cores=1,3,5,7
/proc/25157/task/25173/stat : 25173 (java) R 25154 25157 24221 0 -1 4202560 5677 0 0 0 1087 2 0 0 20 0 16 0 415454301 11004186624 43945 33554432000 4194304 4196468 140724110815152 140336640737232 140337071060928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 14.86 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 175780 KiB
[startup+13.2006 s]
/proc/loadavg: 1.92 1.82 1.78 3/231 25175
/proc/meminfo: memFree=28238364/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10746276 memory=177844 CPUtime=15.26 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 31565 0 0 0 1513 13 0 0 20 0 16 0 415454113 11004186624 44461 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2686569 44461 3351 1 0 2646705 0
[pid=25157/tid=25159] ppid=25154 vsize=10746276 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) S 25154 25157 24221 0 -1 1077944384 14015 0 0 0 180 5 0 0 20 0 16 0 415454114 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337433308336 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10746276 memory=288230617509003574 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10746276 memory=16104775267649398 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10746276 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10746276 memory=1276 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10746276 memory=1060 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 16 0 415454116 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10746276 memory=752 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415454116 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336732362464 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10746276 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415454117 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336731309312 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10746276 memory=17828 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10746276 memory=6935654834955640896 CPUtime=0.71 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) S 25154 25157 24221 0 -1 1077944384 2825 0 0 0 71 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336729204976 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10746276 memory=7230898982595088465 CPUtime=0.77 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 3039 0 0 0 76 1 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10746276 memory=5787213827096801361 CPUtime=0.51 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) S 25154 25157 24221 0 -1 1077944384 3510 0 0 0 51 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336727099376 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10746276 memory=4638778398333163625 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10746276 memory=6363674579349557844 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25173] ppid=25154 vsize=10746276 memory=1564 CPUtime=11.29 cores=1,3,5,7
/proc/25157/task/25173/stat : 25173 (java) R 25154 25157 24221 0 -1 4202560 5679 0 0 0 1127 2 0 0 20 0 16 0 415454301 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336640737232 140337071528693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 177844 KiB
[startup+13.3006 s]
/proc/loadavg: 1.92 1.82 1.78 3/231 25175
/proc/meminfo: memFree=28238364/32770624 swapFree=67004752/67108860
[pid=25157] ppid=25154 vsize=10746276 memory=177844 CPUtime=15.36 cores=1,3,5,7
/proc/25157/stat : 25157 (java) S 25154 25157 24221 0 -1 1077944320 31565 0 0 0 1523 13 0 0 20 0 16 0 415454113 11004186624 44461 33554432000 4194304 4196468 140724110815152 140724110797696 140337429065463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
/proc/25157/statm: 2686569 44461 3351 1 0 2646705 0
[pid=25157/tid=25159] ppid=25154 vsize=10746276 memory=4465 CPUtime=1.85 cores=1,3,5,7
/proc/25157/task/25159/stat : 25159 (java) S 25154 25157 24221 0 -1 1077944384 14015 0 0 0 180 5 0 0 20 0 16 0 415454114 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337433308336 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25160] ppid=25154 vsize=10746276 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25160/stat : 25160 (java) S 25154 25157 24221 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337036057104 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25161] ppid=25154 vsize=10746276 memory=7883944108235712103 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25161/stat : 25161 (java) S 25154 25157 24221 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337035004560 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25162] ppid=25154 vsize=10746276 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25162/stat : 25162 (java) S 25154 25157 24221 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337033951504 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25163] ppid=25154 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25163/stat : 25163 (java) S 25154 25157 24221 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415454115 11004186624 44461 33554432000 4194304 4196468 140724110815152 140337032898960 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25164] ppid=25154 vsize=10746276 memory=2004 CPUtime=0.01 cores=1,3,5,7
/proc/25157/task/25164/stat : 25164 (java) S 25154 25157 24221 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 16 0 415454116 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336733416176 140337429076610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25165] ppid=25154 vsize=10746276 memory=153588 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25165/stat : 25165 (java) S 25154 25157 24221 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415454116 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336732362464 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25166] ppid=25154 vsize=10746276 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25166/stat : 25166 (java) S 25154 25157 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415454117 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336731309312 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25167] ppid=25154 vsize=10746276 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25167/stat : 25167 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336730257872 140337429084059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25168] ppid=25154 vsize=10746276 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/25157/task/25168/stat : 25168 (java) S 25154 25157 24221 0 -1 1077944384 2825 0 0 0 71 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336729204976 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25169] ppid=25154 vsize=10746276 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/25157/task/25169/stat : 25169 (java) S 25154 25157 24221 0 -1 1077944384 3039 0 0 0 76 1 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336728152432 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25170] ppid=25154 vsize=10746276 memory=71 CPUtime=0.51 cores=1,3,5,7
/proc/25157/task/25170/stat : 25170 (java) S 25154 25157 24221 0 -1 1077944384 3510 0 0 0 51 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336727099376 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25171] ppid=25154 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25171/stat : 25171 (java) S 25154 25157 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336726047072 140337429075669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25172] ppid=25154 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25157/task/25172/stat : 25172 (java) S 25154 25157 24221 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 16 0 415454119 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336724995120 140337429076610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
[pid=25157/tid=25173] ppid=25154 vsize=10746276 memory=969 CPUtime=11.39 cores=1,3,5,7
/proc/25157/task/25173/stat : 25173 (java) R 25154 25157 24221 0 -1 4202560 5679 0 0 0 1137 2 0 0 20 0 16 0 415454301 11004186624 44461 33554432000 4194304 4196468 140724110815152 140336640737232 140337071529303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17088512 140724110820363 140724110820466 140724110820466 140724110823375 0
Current children cumulated CPU time: 15.36 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 177844 KiB
Child status: 0
Real time (s): 13.3966
CPU time (s): 15.4695
CPU user time (s): 15.3257
CPU system time (s): 0.143813
CPU usage (%): 115.473
Max. virtual memory (cumulated for all children) (KiB): 10747300
Max. memory (cumulated for all children) (KiB): 177844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3257
system time used= 0.143813
maximum resident set size= 180196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3087
involuntary context switches= 28
# summary of solver processes directly reported to runsolver:
# pid: 25157
# total CPU time (s): 15.4695
# total CPU user time (s): 15.3257
# total CPU system time (s): 0.143813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102152 second user time and 0.173704 second system time
The end