2.41/1.88
2.41/1.88 AbsCon 2
2.65/1.90
2.92/2.04 Instance
2.92/2.04 name=instance-4391102-1568389122, framework=COP, bounds=-infty..+infty
2.92/2.04
2.92/2.04 Loading variables...
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
2.92/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d30a286
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f845a5c
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19c99fa
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52db8319
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fd3c07b
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d42df01
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68def11a
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a805296
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55243e5c
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@245c5921
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943092f
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649f5502
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb95cea
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb95cea
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb95cea
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb95cea
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb95cea
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb95cea
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f47c5ab
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f47c5ab
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f47c5ab
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f47c5ab
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f47c5ab
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@171cd82c
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@171cd82c
2.92/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@171cd82c
3.22/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@171cd82c
3.22/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d24b1e
3.22/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d24b1e
3.22/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d24b1e
3.22/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff1eb1b
3.22/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff1eb1b
3.22/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752440ab
3.22/2.18
3.22/2.18
3.22/2.18 Domains
3.22/2.18 nTypes=2, nValues=671, sizes=[2#320,31#1]
3.22/2.18 Variables
3.22/2.18 count=321, degrees=[12#4,13#76,14#240,46#1]
3.22/2.18 Objectives
3.22/2.18 way=min, type=ObjVarLE
3.22/2.18 Constraints
3.22/2.18 count=96, nSpecific=96, arities=[1#1,20#31,32#10,64#9,65#45]
3.22/2.18 distribution=[LexicographicLe#40,ObjVarLE#1,SumScalarBooleanLEVar#45,SumSimpleEQ#10]
3.22/2.18 wck=0.331, cpu=2.151, mem=26M521
3.22/2.19 Solver SolverBacktrack being built...
3.22/2.19
3.47/2.21
3.47/2.21 Solver
3.47/2.21 guaranteedGAC=true
3.47/2.21 wck=0.364, cpu=2.182, mem=37M163
3.47/2.22
3.47/2.22 Preprocessing
3.47/2.22 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.47/2.22 wck=0.006, cpu=2.19, mem=39M806
3.47/2.22
3.47/2.24 num=0, depth=40..106, filters=122, wck=0.023, mem=39M806
3.47/2.24 decisions=150, wrong=24, backtracks=22, failedAssignments=10, nogoods=2
3.47/2.24
3.47/2.26 o 9
3.47/2.27 num=1, depth=4..320, filters=398, ccks=96, wck=0.053, mem=39M806
3.47/2.27 decisions=247, wrong=36, backtracks=25, failedAssignments=19, nogoods=10, foundSolutions=1, bestBound=9
3.47/2.27
3.47/2.29 num=2, depth=3..116, filters=715, ccks=96, wck=0.069, mem=39M806
3.47/2.29 decisions=390, wrong=55, backtracks=32, failedAssignments=31, nogoods=22, foundSolutions=1, bestBound=9
3.47/2.29
3.47/2.29 num=3, depth=5..24, filters=1045, ccks=96, wck=0.078, mem=39M806
3.47/2.29 decisions=440, wrong=74, backtracks=41, failedAssignments=42, nogoods=26, foundSolutions=1, bestBound=9
3.47/2.29
3.77/2.31 o 8
3.77/2.31 num=4, depth=0..320, filters=1249, ccks=192, wck=0.092, mem=39M806
3.77/2.31 decisions=564, wrong=85, backtracks=41, failedAssignments=53, nogoods=36, foundSolutions=2, bestBound=8
3.77/2.31
3.77/2.32 num=5, depth=49..86, filters=1418, ccks=192, wck=0.103, mem=39M806
3.77/2.32 decisions=694, wrong=108, backtracks=52, failedAssignments=66, nogoods=39, foundSolutions=2, bestBound=8
3.77/2.32
3.77/2.32 num=6, depth=6..57, filters=1502, ccks=192, wck=0.108, mem=39M806
3.77/2.32 decisions=773, wrong=123, backtracks=61, failedAssignments=77, nogoods=45, foundSolutions=2, bestBound=8
3.77/2.32
3.77/2.33 num=7, depth=35..43, filters=1620, ccks=192, wck=0.114, mem=39M806
3.77/2.33 decisions=849, wrong=142, backtracks=73, failedAssignments=89, nogoods=48, foundSolutions=2, bestBound=8
3.77/2.33
3.77/2.34 num=8, depth=16..43, filters=1913, ccks=192, wck=0.124, mem=39M806
3.77/2.34 decisions=948, wrong=172, backtracks=94, failedAssignments=102, nogoods=53, foundSolutions=2, bestBound=8
3.77/2.34
3.77/2.35 num=9, depth=31..127, filters=2042, ccks=192, wck=0.134, mem=39M806
3.77/2.35 decisions=1096, wrong=189, backtracks=103, failedAssignments=116, nogoods=61, foundSolutions=2, bestBound=8
3.77/2.35
3.77/2.36 num=10, depth=19..128, filters=2203, ccks=192, wck=0.142, mem=39M806
3.77/2.36 decisions=1247, wrong=208, backtracks=107, failedAssignments=132, nogoods=75, foundSolutions=2, bestBound=8
3.77/2.36
3.77/2.36 o 6
3.77/2.36 num=11, depth=10..320, filters=2320, ccks=288, wck=0.146, mem=39M806
3.77/2.36 decisions=1371, wrong=212, backtracks=107, failedAssignments=136, nogoods=79, foundSolutions=3, bestBound=6
3.77/2.36
3.77/2.37 num=12, depth=10..123, filters=2473, ccks=288, wck=0.15, mem=39M806
3.77/2.37 decisions=1521, wrong=233, backtracks=113, failedAssignments=155, nogoods=94, foundSolutions=3, bestBound=6
3.77/2.37
3.77/2.37 num=13, depth=8..61, filters=2585, ccks=288, wck=0.152, mem=39M806
3.77/2.37 decisions=1605, wrong=248, backtracks=122, failedAssignments=166, nogoods=99, foundSolutions=3, bestBound=6
3.77/2.37
3.77/2.37 num=14, depth=11..56, filters=2702, ccks=288, wck=0.154, mem=39M806
3.77/2.37 decisions=1682, wrong=262, backtracks=128, failedAssignments=178, nogoods=108, foundSolutions=3, bestBound=6
3.77/2.37
3.77/2.37 num=15, depth=17..49, filters=2846, ccks=288, wck=0.156, mem=39M806
3.77/2.37 decisions=1764, wrong=282, backtracks=140, failedAssignments=191, nogoods=115, foundSolutions=3, bestBound=6
3.77/2.37
3.77/2.38 num=16, depth=6..35, filters=3107, ccks=288, wck=0.16, mem=39M806
3.77/2.38 decisions=1842, wrong=307, backtracks=156, failedAssignments=205, nogoods=122, foundSolutions=3, bestBound=6
3.77/2.38
3.77/2.38 num=17, depth=5..105, filters=3299, ccks=288, wck=0.164, mem=39M806
3.77/2.38 decisions=1974, wrong=327, backtracks=168, failedAssignments=221, nogoods=130, foundSolutions=3, bestBound=6
3.77/2.38
3.77/2.38 num=18, depth=8..61, filters=3428, ccks=288, wck=0.166, mem=39M806
3.77/2.38 decisions=2068, wrong=349, backtracks=184, failedAssignments=238, nogoods=138, foundSolutions=3, bestBound=6
3.77/2.38
3.77/2.39 num=19, depth=11..115, filters=3620, ccks=288, wck=0.17, mem=39M806
3.77/2.39 decisions=2215, wrong=372, backtracks=196, failedAssignments=257, nogoods=150, foundSolutions=3, bestBound=6
3.77/2.39
3.77/2.39 num=20, depth=11..44, filters=4001, ccks=288, wck=0.174, mem=39M806
3.77/2.39 decisions=2335, wrong=413, backtracks=226, failedAssignments=278, nogoods=156, foundSolutions=3, bestBound=6
3.77/2.39
3.77/2.39 num=21, depth=8..50, filters=4328, ccks=288, wck=0.178, mem=39M806
3.77/2.39 decisions=2453, wrong=452, backtracks=257, failedAssignments=301, nogoods=162, foundSolutions=3, bestBound=6
3.77/2.39
4.10/2.40 num=22, depth=16..57, filters=4916, ccks=288, wck=0.185, mem=39M806
4.10/2.40 decisions=2579, wrong=498, backtracks=283, failedAssignments=326, nogoods=167, foundSolutions=3, bestBound=6
4.10/2.40
4.10/2.40 num=23, depth=13..115, filters=5088, ccks=288, wck=0.189, mem=39M806
4.10/2.40 decisions=2746, wrong=532, backtracks=307, failedAssignments=354, nogoods=176, foundSolutions=3, bestBound=6
4.10/2.40
4.10/2.41 num=24, depth=6..58, filters=5336, ccks=288, wck=0.193, mem=39M806
4.10/2.41 decisions=2887, wrong=580, backtracks=333, failedAssignments=385, nogoods=186, foundSolutions=3, bestBound=6
4.10/2.41
4.10/2.41 o 5
4.10/2.41 num=25, depth=7..320, filters=5528, ccks=384, wck=0.199, mem=39M806
4.10/2.41 decisions=3084, wrong=618, backtracks=350, failedAssignments=418, nogoods=206, foundSolutions=4, bestBound=5
4.10/2.41
4.10/2.42 num=26, depth=34..53, filters=5986, ccks=384, wck=0.205, mem=39M806
4.10/2.42 decisions=3301, wrong=704, backtracks=424, failedAssignments=455, nogoods=211, foundSolutions=4, bestBound=5
4.10/2.42
4.10/2.42 num=27, depth=3..87, filters=6098, ccks=384, wck=0.207, mem=39M806
4.10/2.42 decisions=3400, wrong=715, backtracks=424, failedAssignments=466, nogoods=222, foundSolutions=4, bestBound=5
4.10/2.42
4.10/2.42 num=28, depth=4..30, filters=6173, ccks=384, wck=0.209, mem=39M806
4.10/2.42 decisions=3445, wrong=728, backtracks=425, failedAssignments=478, nogoods=234, foundSolutions=4, bestBound=5
4.10/2.42
4.10/2.43 num=29, depth=4..97, filters=6304, ccks=384, wck=0.212, mem=39M806
4.10/2.43 decisions=3569, wrong=745, backtracks=434, failedAssignments=491, nogoods=243, foundSolutions=4, bestBound=5
4.10/2.43
4.10/2.43 num=30, depth=4..48, filters=6555, ccks=384, wck=0.215, mem=39M806
4.10/2.43 decisions=3658, wrong=772, backtracks=453, failedAssignments=505, nogoods=251, foundSolutions=4, bestBound=5
4.10/2.43
4.10/2.44 num=31, depth=3..98, filters=6717, ccks=384, wck=0.218, mem=39M806
4.10/2.44 decisions=3779, wrong=790, backtracks=460, failedAssignments=521, nogoods=262, foundSolutions=4, bestBound=5
4.10/2.44
4.10/2.44 num=32, depth=4..125, filters=6956, ccks=384, wck=0.222, mem=39M806
4.10/2.44 decisions=3944, wrong=818, backtracks=473, failedAssignments=538, nogoods=272, foundSolutions=4, bestBound=5
4.10/2.44
4.10/2.44 num=33, depth=5..52, filters=7142, ccks=384, wck=0.225, mem=39M806
4.10/2.44 decisions=4045, wrong=847, backtracks=496, failedAssignments=557, nogoods=280, foundSolutions=4, bestBound=5
4.10/2.44
4.10/2.44 num=34, depth=1..113, filters=7362, ccks=384, wck=0.229, mem=39M806
4.10/2.44 decisions=4200, wrong=876, backtracks=509, failedAssignments=578, nogoods=296, foundSolutions=4, bestBound=5
4.10/2.44
4.10/2.45 num=35, depth=5..53, filters=7539, ccks=384, wck=0.232, mem=39M806
4.10/2.45 decisions=4309, wrong=910, backtracks=533, failedAssignments=601, nogoods=301, foundSolutions=4, bestBound=5
4.10/2.45
4.10/2.45 num=36, depth=4..77, filters=7730, ccks=384, wck=0.235, mem=39M806
4.10/2.45 decisions=4435, wrong=942, backtracks=547, failedAssignments=626, nogoods=317, foundSolutions=4, bestBound=5
4.10/2.45
4.10/2.46 num=37, depth=13..54, filters=8160, ccks=384, wck=0.24, mem=39M806
4.10/2.46 decisions=4574, wrong=989, backtracks=585, failedAssignments=654, nogoods=324, foundSolutions=4, bestBound=5
4.10/2.46
4.10/2.46 num=38, depth=14..81, filters=8404, ccks=384, wck=0.245, mem=39M806
4.10/2.46 decisions=4743, wrong=1040, backtracks=629, failedAssignments=685, nogoods=329, foundSolutions=4, bestBound=5
4.10/2.46
4.10/2.47 num=39, depth=13..144, filters=8648, ccks=384, wck=0.25, mem=39M806
4.10/2.47 decisions=4951, wrong=1081, backtracks=657, failedAssignments=719, nogoods=343, foundSolutions=4, bestBound=5
4.10/2.47
4.10/2.47 num=40, depth=15..52, filters=8911, ccks=384, wck=0.254, mem=42M448
4.10/2.47 decisions=5128, wrong=1150, backtracks=717, failedAssignments=756, nogoods=352, foundSolutions=4, bestBound=5
4.10/2.47
4.10/2.47 num=41, depth=28..45, filters=9470, ccks=384, wck=0.258, mem=42M448
4.10/2.47 decisions=5308, wrong=1222, backtracks=786, failedAssignments=797, nogoods=356, foundSolutions=4, bestBound=5
4.10/2.47
4.10/2.48 num=42, depth=6..66, filters=9724, ccks=384, wck=0.262, mem=42M448
4.10/2.48 decisions=5520, wrong=1301, backtracks=857, failedAssignments=842, nogoods=364, foundSolutions=4, bestBound=5
4.10/2.48
4.10/2.48 num=43, depth=7..52, filters=10119, ccks=384, wck=0.265, mem=42M448
4.10/2.48 decisions=5726, wrong=1384, backtracks=929, failedAssignments=892, nogoods=374, foundSolutions=4, bestBound=5
4.10/2.48
4.10/2.49 num=44, depth=6..133, filters=10528, ccks=384, wck=0.27, mem=42M448
4.10/2.49 decisions=6040, wrong=1485, backtracks=1013, failedAssignments=947, nogoods=390, foundSolutions=4, bestBound=5
4.10/2.49
4.10/2.49 o 4
4.10/2.49 num=45, depth=9..320, filters=10808, ccks=480, wck=0.275, mem=42M448
4.10/2.49 decisions=6251, wrong=1524, backtracks=1030, failedAssignments=976, nogoods=411, foundSolutions=5, bestBound=4
4.10/2.49
4.10/2.50 num=46, depth=10..54, filters=11481, ccks=480, wck=0.281, mem=42M448
4.10/2.50 decisions=6526, wrong=1642, backtracks=1127, failedAssignments=1043, nogoods=424, foundSolutions=5, bestBound=4
4.10/2.50
4.41/2.50 num=47, depth=12..33, filters=11581, ccks=480, wck=0.283, mem=42M448
4.41/2.50 decisions=6580, wrong=1657, backtracks=1132, failedAssignments=1054, nogoods=434, foundSolutions=5, bestBound=4
4.41/2.50
4.41/2.50 num=48, depth=11..33, filters=11677, ccks=480, wck=0.284, mem=42M448
4.41/2.50 decisions=6633, wrong=1673, backtracks=1136, failedAssignments=1066, nogoods=446, foundSolutions=5, bestBound=4
4.41/2.50
4.41/2.50 num=49, depth=11..56, filters=11777, ccks=480, wck=0.285, mem=42M448
4.41/2.50 decisions=6707, wrong=1688, backtracks=1141, failedAssignments=1079, nogoods=457, foundSolutions=5, bestBound=4
4.41/2.50
4.41/2.50 num=50, depth=13..62, filters=11926, ccks=480, wck=0.287, mem=42M448
4.41/2.50 decisions=6809, wrong=1716, backtracks=1159, failedAssignments=1093, nogoods=466, foundSolutions=5, bestBound=4
4.41/2.50
4.41/2.50 num=51, depth=10..57, filters=12109, ccks=480, wck=0.289, mem=42M448
4.41/2.50 decisions=6909, wrong=1745, backtracks=1181, failedAssignments=1109, nogoods=474, foundSolutions=5, bestBound=4
4.41/2.50
4.41/2.51 num=52, depth=12..51, filters=12343, ccks=480, wck=0.291, mem=42M448
4.41/2.51 decisions=7014, wrong=1777, backtracks=1203, failedAssignments=1126, nogoods=484, foundSolutions=5, bestBound=4
4.41/2.51
4.41/2.51 num=53, depth=9..53, filters=12566, ccks=480, wck=0.293, mem=42M448
4.41/2.51 decisions=7144, wrong=1819, backtracks=1235, failedAssignments=1145, nogoods=491, foundSolutions=5, bestBound=4
4.41/2.51
4.41/2.51 num=54, depth=10..53, filters=12760, ccks=480, wck=0.295, mem=42M448
4.41/2.51 decisions=7248, wrong=1851, backtracks=1256, failedAssignments=1166, nogoods=502, foundSolutions=5, bestBound=4
4.41/2.51
4.41/2.51 num=55, depth=6..49, filters=13043, ccks=480, wck=0.298, mem=42M448
4.41/2.51 decisions=7375, wrong=1894, backtracks=1291, failedAssignments=1189, nogoods=511, foundSolutions=5, bestBound=4
4.41/2.51
4.41/2.52 num=56, depth=13..55, filters=13304, ccks=480, wck=0.3, mem=42M448
4.41/2.52 decisions=7517, wrong=1943, backtracks=1328, failedAssignments=1214, nogoods=520, foundSolutions=5, bestBound=4
4.41/2.52
4.41/2.52 num=57, depth=5..49, filters=13731, ccks=480, wck=0.303, mem=42M448
4.41/2.52 decisions=7655, wrong=1994, backtracks=1370, failedAssignments=1242, nogoods=525, foundSolutions=5, bestBound=4
4.41/2.52
4.41/2.52 num=58, depth=7..51, filters=14143, ccks=480, wck=0.307, mem=42M448
4.41/2.52 decisions=7857, wrong=2075, backtracks=1441, failedAssignments=1273, nogoods=532, foundSolutions=5, bestBound=4
4.41/2.52
4.41/2.53 num=59, depth=10..112, filters=14486, ccks=480, wck=0.31, mem=42M448
4.41/2.53 decisions=8054, wrong=2128, backtracks=1476, failedAssignments=1307, nogoods=546, foundSolutions=5, bestBound=4
4.41/2.53
4.41/2.53 num=60, depth=5..57, filters=15070, ccks=480, wck=0.314, mem=42M448
4.41/2.53 decisions=8270, wrong=2214, backtracks=1546, failedAssignments=1344, nogoods=557, foundSolutions=5, bestBound=4
4.41/2.53
4.41/2.53 num=61, depth=5..56, filters=15612, ccks=480, wck=0.318, mem=42M448
4.41/2.53 decisions=8485, wrong=2300, backtracks=1621, failedAssignments=1385, nogoods=569, foundSolutions=5, bestBound=4
4.41/2.53
4.41/2.54 num=62, depth=7..58, filters=16250, ccks=480, wck=0.322, mem=42M448
4.41/2.54 decisions=8665, wrong=2369, backtracks=1681, failedAssignments=1430, nogoods=580, foundSolutions=5, bestBound=4
4.41/2.54
4.41/2.54 num=63, depth=7..62, filters=16930, ccks=480, wck=0.326, mem=42M448
4.41/2.54 decisions=8887, wrong=2460, backtracks=1759, failedAssignments=1480, nogoods=590, foundSolutions=5, bestBound=4
4.41/2.54
4.41/2.55 num=64, depth=18..55, filters=17792, ccks=480, wck=0.332, mem=42M448
4.41/2.55 decisions=9188, wrong=2589, backtracks=1873, failedAssignments=1535, nogoods=599, foundSolutions=5, bestBound=4
4.41/2.55
4.41/2.55 num=65, depth=34..107, filters=18320, ccks=480, wck=0.336, mem=42M448
4.41/2.55 decisions=9480, wrong=2691, backtracks=1955, failedAssignments=1596, nogoods=618, foundSolutions=5, bestBound=4
4.41/2.55
4.41/2.56 num=66, depth=32..53, filters=19146, ccks=480, wck=0.342, mem=42M448
4.41/2.56 decisions=9760, wrong=2811, backtracks=2062, failedAssignments=1663, nogoods=628, foundSolutions=5, bestBound=4
4.41/2.56
4.41/2.56 num=67, depth=6..49, filters=20087, ccks=480, wck=0.348, mem=42M448
4.41/2.56 decisions=10181, wrong=3005, backtracks=2231, failedAssignments=1737, nogoods=637, foundSolutions=5, bestBound=4
4.41/2.56
4.41/2.57 num=68, depth=10..54, filters=21085, ccks=480, wck=0.354, mem=42M448
4.41/2.57 decisions=10556, wrong=3171, backtracks=2385, failedAssignments=1818, nogoods=646, foundSolutions=5, bestBound=4
4.41/2.57
4.41/2.58 num=69, depth=1..50, filters=22584, ccks=480, wck=0.363, mem=42M448
4.41/2.58 decisions=10984, wrong=3368, backtracks=2560, failedAssignments=1907, nogoods=652, foundSolutions=5, bestBound=4
4.41/2.58
4.41/2.59 num=70, depth=8..49, filters=23784, ccks=480, wck=0.371, mem=42M448
4.41/2.59 decisions=11473, wrong=3599, backtracks=2774, failedAssignments=2005, nogoods=657, foundSolutions=5, bestBound=4
4.41/2.59
4.41/2.60 num=71, depth=10..145, filters=25246, ccks=480, wck=0.38, mem=42M448
4.41/2.60 decisions=12135, wrong=3869, backtracks=3016, failedAssignments=2113, nogoods=671, foundSolutions=5, bestBound=4
4.41/2.60
4.72/2.60 num=72, depth=16..132, filters=26195, ccks=480, wck=0.388, mem=42M448
4.72/2.60 decisions=12665, wrong=4076, backtracks=3204, failedAssignments=2232, nogoods=687, foundSolutions=5, bestBound=4
4.72/2.60
4.72/2.62 num=73, depth=8..28, filters=30988, ccks=480, wck=0.408, mem=42M448
4.72/2.62 decisions=13481, wrong=4478, backtracks=3569, failedAssignments=2363, nogoods=689, foundSolutions=5, bestBound=4
4.72/2.62
4.72/2.64 num=74, depth=4..46, filters=33586, ccks=480, wck=0.42, mem=42M448
4.72/2.64 decisions=14137, wrong=4789, backtracks=3853, failedAssignments=2507, nogoods=696, foundSolutions=5, bestBound=4
4.72/2.64
4.72/2.65 num=75, depth=21..57, filters=36228, ccks=480, wck=0.433, mem=45M91
4.72/2.65 decisions=14819, wrong=5109, backtracks=4160, failedAssignments=2665, nogoods=705, foundSolutions=5, bestBound=4
4.72/2.65
4.72/2.66 num=76, depth=4..109, filters=37797, ccks=480, wck=0.441, mem=45M91
4.72/2.66 decisions=15712, wrong=5513, backtracks=4535, failedAssignments=2839, nogoods=720, foundSolutions=5, bestBound=4
4.72/2.66
4.72/2.67 num=77, depth=3..98, filters=40232, ccks=480, wck=0.453, mem=45M91
4.72/2.67 decisions=16746, wrong=5999, backtracks=4950, failedAssignments=3030, nogoods=734, foundSolutions=5, bestBound=4
4.72/2.67
4.72/2.68 num=78, depth=2..110, filters=41904, ccks=480, wck=0.463, mem=45M91
4.72/2.68 decisions=17798, wrong=6486, backtracks=5414, failedAssignments=3241, nogoods=751, foundSolutions=5, bestBound=4
4.72/2.68
4.72/2.69 num=79, depth=3..138, filters=43401, ccks=480, wck=0.471, mem=45M91
4.72/2.69 decisions=18698, wrong=6879, backtracks=5779, failedAssignments=3473, nogoods=769, foundSolutions=5, bestBound=4
4.72/2.69
4.98/2.70 num=80, depth=2..119, filters=45845, ccks=480, wck=0.485, mem=45M91
4.98/2.70 decisions=20150, wrong=7558, backtracks=6428, failedAssignments=3728, nogoods=787, foundSolutions=5, bestBound=4
4.98/2.70
4.98/2.72 num=81, depth=1..61, filters=49350, ccks=480, wck=0.502, mem=45M91
4.98/2.72 decisions=21432, wrong=8180, backtracks=7010, failedAssignments=4009, nogoods=797, foundSolutions=5, bestBound=4
4.98/2.72
4.98/2.73 num=82, depth=1..153, filters=51484, ccks=480, wck=0.513, mem=45M91
4.98/2.73 decisions=22619, wrong=8713, backtracks=7494, failedAssignments=4318, nogoods=824, foundSolutions=5, bestBound=4
4.98/2.73
4.98/2.75 num=83, depth=2..78, filters=54610, ccks=480, wck=0.53, mem=45M91
4.98/2.75 decisions=24286, wrong=9517, backtracks=8250, failedAssignments=4658, nogoods=835, foundSolutions=5, bestBound=4
4.98/2.75
4.98/2.76 num=84, depth=16..82, filters=57948, ccks=480, wck=0.546, mem=45M91
4.98/2.76 decisions=25822, wrong=10262, backtracks=8857, failedAssignments=5032, nogoods=848, foundSolutions=5, bestBound=4
4.98/2.76
4.98/2.78 num=85, depth=3..69, filters=62146, ccks=480, wck=0.566, mem=45M91
4.98/2.78 decisions=27501, wrong=11080, backtracks=9551, failedAssignments=5443, nogoods=859, foundSolutions=5, bestBound=4
4.98/2.78
5.09/2.81 num=86, depth=8..87, filters=67793, ccks=480, wck=0.593, mem=45M91
5.09/2.81 decisions=29758, wrong=12180, backtracks=10501, failedAssignments=5895, nogoods=881, foundSolutions=5, bestBound=4
5.09/2.81
5.09/2.83 num=87, depth=2..76, filters=73014, ccks=480, wck=0.617, mem=45M91
5.09/2.83 decisions=31909, wrong=13233, backtracks=11443, failedAssignments=6392, nogoods=899, foundSolutions=5, bestBound=4
5.09/2.83
5.09/2.87 num=88, depth=7..69, filters=81700, ccks=480, wck=0.654, mem=45M91
5.09/2.87 decisions=34188, wrong=14349, backtracks=12500, failedAssignments=6939, nogoods=907, foundSolutions=5, bestBound=4
5.09/2.87
5.09/2.90 num=89, depth=9..66, filters=87222, ccks=480, wck=0.68, mem=45M91
5.09/2.90 decisions=36720, wrong=15592, backtracks=13517, failedAssignments=7541, nogoods=919, foundSolutions=5, bestBound=4
5.09/2.90
5.19/2.92 num=90, depth=6..79, filters=92776, ccks=480, wck=0.707, mem=47M733
5.19/2.92 decisions=39368, wrong=16890, backtracks=14737, failedAssignments=8203, nogoods=936, foundSolutions=5, bestBound=4
5.19/2.92
5.19/2.96 num=91, depth=14..63, filters=99676, ccks=480, wck=0.74, mem=47M733
5.19/2.96 decisions=43629, wrong=18996, backtracks=16736, failedAssignments=8931, nogoods=944, foundSolutions=5, bestBound=4
5.19/2.96
5.19/2.99 num=92, depth=29..139, filters=106402, ccks=480, wck=0.771, mem=47M733
5.19/2.99 decisions=47208, wrong=20735, backtracks=18345, failedAssignments=9732, nogoods=966, foundSolutions=5, bestBound=4
5.19/2.99
5.19/3.00 o 3
5.19/3.00 num=93, depth=29..320, filters=107967, ccks=576, wck=0.788, mem=47M733
5.19/3.00 decisions=47701, wrong=20928, backtracks=18502, failedAssignments=9830, nogoods=990, foundSolutions=6, bestBound=3
5.19/3.00
5.30/3.05 num=94, depth=29..127, filters=117985, ccks=576, wck=0.835, mem=47M733
5.30/3.05 decisions=52673, wrong=23365, backtracks=20859, failedAssignments=10800, nogoods=1016, foundSolutions=6, bestBound=3
5.30/3.05
5.30/3.05 num=95, depth=27..52, filters=118121, ccks=576, wck=0.836, mem=47M733
5.30/3.05 decisions=52743, wrong=23379, backtracks=20862, failedAssignments=10811, nogoods=1026, foundSolutions=6, bestBound=3
5.30/3.05
5.30/3.05 num=96, depth=26..48, filters=118344, ccks=576, wck=0.837, mem=47M733
5.30/3.05 decisions=52851, wrong=23412, backtracks=20888, failedAssignments=10823, nogoods=1033, foundSolutions=6, bestBound=3
5.30/3.05
5.30/3.05 num=97, depth=27..43, filters=118518, ccks=576, wck=0.838, mem=47M733
5.30/3.05 decisions=52924, wrong=23432, backtracks=20901, failedAssignments=10836, nogoods=1039, foundSolutions=6, bestBound=3
5.30/3.05
5.30/3.06 num=98, depth=28..66, filters=118660, ccks=576, wck=0.84, mem=47M733
5.30/3.06 decisions=53019, wrong=23458, backtracks=20916, failedAssignments=10850, nogoods=1048, foundSolutions=6, bestBound=3
5.30/3.06
5.30/3.06 num=99, depth=28..52, filters=118918, ccks=576, wck=0.841, mem=47M733
5.30/3.06 decisions=53108, wrong=23483, backtracks=20934, failedAssignments=10866, nogoods=1054, foundSolutions=6, bestBound=3
5.30/3.06
5.30/3.06 num=100, depth=28..58, filters=119087, ccks=576, wck=0.843, mem=47M733
5.30/3.06 decisions=53200, wrong=23505, backtracks=20945, failedAssignments=10883, nogoods=1065, foundSolutions=6, bestBound=3
5.30/3.06
5.30/3.06 num=101, depth=29..50, filters=119283, ccks=576, wck=0.844, mem=47M733
5.30/3.06 decisions=53296, wrong=23533, backtracks=20967, failedAssignments=10902, nogoods=1071, foundSolutions=6, bestBound=3
5.30/3.06
5.30/3.06 num=102, depth=28..53, filters=119640, ccks=576, wck=0.846, mem=47M733
5.30/3.06 decisions=53425, wrong=23577, backtracks=21000, failedAssignments=10923, nogoods=1082, foundSolutions=6, bestBound=3
5.30/3.06
5.30/3.06 num=103, depth=28..64, filters=119948, ccks=576, wck=0.848, mem=47M733
5.30/3.06 decisions=53564, wrong=23622, backtracks=21027, failedAssignments=10946, nogoods=1097, foundSolutions=6, bestBound=3
5.30/3.06
5.30/3.07 num=104, depth=28..69, filters=120329, ccks=576, wck=0.85, mem=47M733
5.30/3.07 decisions=53717, wrong=23675, backtracks=21063, failedAssignments=10971, nogoods=1111, foundSolutions=6, bestBound=3
5.30/3.07
5.30/3.07 num=105, depth=26..70, filters=120822, ccks=576, wck=0.853, mem=47M733
5.30/3.07 decisions=53908, wrong=23750, backtracks=21122, failedAssignments=10999, nogoods=1122, foundSolutions=6, bestBound=3
5.30/3.07
5.30/3.07 num=106, depth=27..69, filters=121200, ccks=576, wck=0.856, mem=47M733
5.30/3.07 decisions=54070, wrong=23807, backtracks=21162, failedAssignments=11030, nogoods=1137, foundSolutions=6, bestBound=3
5.30/3.07
5.30/3.07 num=107, depth=27..67, filters=121735, ccks=576, wck=0.859, mem=47M733
5.30/3.07 decisions=54255, wrong=23874, backtracks=21207, failedAssignments=11064, nogoods=1154, foundSolutions=6, bestBound=3
5.30/3.07
5.30/3.08 num=108, depth=27..61, filters=122388, ccks=576, wck=0.863, mem=47M733
5.30/3.08 decisions=54482, wrong=23967, backtracks=21291, failedAssignments=11101, nogoods=1160, foundSolutions=6, bestBound=3
5.30/3.08
5.30/3.08 num=109, depth=26..76, filters=122951, ccks=576, wck=0.866, mem=47M733
5.30/3.08 decisions=54743, wrong=24070, backtracks=21376, failedAssignments=11142, nogoods=1174, foundSolutions=6, bestBound=3
5.30/3.08
5.30/3.09 num=110, depth=25..83, filters=123648, ccks=576, wck=0.87, mem=47M733
5.30/3.09 decisions=55007, wrong=24178, backtracks=21463, failedAssignments=11187, nogoods=1191, foundSolutions=6, bestBound=3
5.30/3.09
5.30/3.09 num=111, depth=25..84, filters=124116, ccks=576, wck=0.873, mem=47M733
5.30/3.09 decisions=55233, wrong=24263, backtracks=21520, failedAssignments=11237, nogoods=1216, foundSolutions=6, bestBound=3
5.30/3.09
5.30/3.09 num=112, depth=25..102, filters=124723, ccks=576, wck=0.877, mem=47M733
5.30/3.09 decisions=55558, wrong=24386, backtracks=21623, failedAssignments=11292, nogoods=1236, foundSolutions=6, bestBound=3
5.30/3.09
5.30/3.10 num=113, depth=25..105, filters=125572, ccks=576, wck=0.882, mem=47M733
5.30/3.10 decisions=55942, wrong=24536, backtracks=21747, failedAssignments=11353, nogoods=1256, foundSolutions=6, bestBound=3
5.30/3.10
5.30/3.10 num=114, depth=25..87, filters=126387, ccks=576, wck=0.887, mem=47M733
5.30/3.10 decisions=56301, wrong=24686, backtracks=21876, failedAssignments=11420, nogoods=1270, foundSolutions=6, bestBound=3
5.30/3.10
5.41/3.11 num=115, depth=23..97, filters=126927, ccks=576, wck=0.89, mem=47M733
5.41/3.11 decisions=56661, wrong=24826, backtracks=21996, failedAssignments=11494, nogoods=1284, foundSolutions=6, bestBound=3
5.41/3.11
5.41/3.11 num=116, depth=23..103, filters=127579, ccks=576, wck=0.895, mem=47M733
5.41/3.11 decisions=57066, wrong=24988, backtracks=22134, failedAssignments=11575, nogoods=1304, foundSolutions=6, bestBound=3
5.41/3.11
5.41/3.11 num=117, depth=23..111, filters=128266, ccks=576, wck=0.899, mem=47M733
5.41/3.11 decisions=57464, wrong=25144, backtracks=22262, failedAssignments=11664, nogoods=1327, foundSolutions=6, bestBound=3
5.41/3.11
5.41/3.12 num=118, depth=21..80, filters=129297, ccks=576, wck=0.905, mem=47M733
5.41/3.12 decisions=57981, wrong=25371, backtracks=22473, failedAssignments=11762, nogoods=1338, foundSolutions=6, bestBound=3
5.41/3.12
5.41/3.13 num=119, depth=19..110, filters=130174, ccks=576, wck=0.91, mem=47M733
5.41/3.13 decisions=58573, wrong=25628, backtracks=22705, failedAssignments=11870, nogoods=1362, foundSolutions=6, bestBound=3
5.41/3.13
5.41/3.13 num=120, depth=19..106, filters=131407, ccks=576, wck=0.917, mem=47M733
5.41/3.13 decisions=59268, wrong=25934, backtracks=22983, failedAssignments=11989, nogoods=1384, foundSolutions=6, bestBound=3
5.41/3.13
5.41/3.14 num=121, depth=3..93, filters=133193, ccks=576, wck=0.927, mem=50M376
5.41/3.14 decisions=59885, wrong=26219, backtracks=23247, failedAssignments=12120, nogoods=1395, foundSolutions=6, bestBound=3
5.41/3.14
5.41/3.15 num=122, depth=3..110, filters=134909, ccks=576, wck=0.936, mem=50M376
5.41/3.15 decisions=60706, wrong=26585, backtracks=23578, failedAssignments=12264, nogoods=1414, foundSolutions=6, bestBound=3
5.41/3.15
5.41/3.16 num=123, depth=3..85, filters=137288, ccks=576, wck=0.948, mem=50M376
5.41/3.16 decisions=61512, wrong=26963, backtracks=23924, failedAssignments=12422, nogoods=1432, foundSolutions=6, bestBound=3
5.41/3.16
5.41/3.18 num=124, depth=3..73, filters=139825, ccks=576, wck=0.96, mem=50M376
5.41/3.18 decisions=62206, wrong=27287, backtracks=24218, failedAssignments=12596, nogoods=1448, foundSolutions=6, bestBound=3
5.41/3.18
5.41/3.19 num=125, depth=3..109, filters=141816, ccks=576, wck=0.971, mem=50M376
5.41/3.19 decisions=63213, wrong=27750, backtracks=24626, failedAssignments=12787, nogoods=1473, foundSolutions=6, bestBound=3
5.41/3.19
5.52/3.20 num=126, depth=3..130, filters=143740, ccks=576, wck=0.982, mem=50M376
5.52/3.20 decisions=64148, wrong=28170, backtracks=25006, failedAssignments=12998, nogoods=1503, foundSolutions=6, bestBound=3
5.52/3.20
5.52/3.21 num=127, depth=3..127, filters=145676, ccks=576, wck=0.993, mem=50M376
5.52/3.21 decisions=65097, wrong=28596, backtracks=25388, failedAssignments=13230, nogoods=1531, foundSolutions=6, bestBound=3
5.52/3.21
5.52/3.22 num=128, depth=3..130, filters=147790, ccks=576, wck=1.004, mem=50M376
5.52/3.22 decisions=66173, wrong=29085, backtracks=25844, failedAssignments=13485, nogoods=1551, foundSolutions=6, bestBound=3
5.52/3.22
5.52/3.24 num=129, depth=3..63, filters=152918, ccks=576, wck=1.027, mem=50M376
5.52/3.24 decisions=67301, wrong=29627, backtracks=26346, failedAssignments=13766, nogoods=1563, foundSolutions=6, bestBound=3
5.52/3.24
5.52/3.26 num=130, depth=4..55, filters=156529, ccks=576, wck=1.044, mem=50M376
5.52/3.26 decisions=68358, wrong=30136, backtracks=26796, failedAssignments=14075, nogoods=1574, foundSolutions=6, bestBound=3
5.52/3.26
5.52/3.28 num=131, depth=4..50, filters=161057, ccks=576, wck=1.067, mem=50M376
5.52/3.28 decisions=69814, wrong=30848, backtracks=27459, failedAssignments=14415, nogoods=1583, foundSolutions=6, bestBound=3
5.52/3.28
5.63/3.30 num=132, depth=4..98, filters=164649, ccks=576, wck=1.086, mem=50M376
5.63/3.30 decisions=71803, wrong=31806, backtracks=28383, failedAssignments=14789, nogoods=1604, foundSolutions=6, bestBound=3
5.63/3.30
5.63/3.32 num=133, depth=3..84, filters=168184, ccks=576, wck=1.104, mem=50M376
5.63/3.32 decisions=73494, wrong=32623, backtracks=29002, failedAssignments=15200, nogoods=1625, foundSolutions=6, bestBound=3
5.63/3.32
5.63/3.35 num=134, depth=3..54, filters=174672, ccks=576, wck=1.133, mem=50M376
5.63/3.35 decisions=75256, wrong=33486, backtracks=29796, failedAssignments=15652, nogoods=1636, foundSolutions=6, bestBound=3
5.63/3.35
5.63/3.38 num=135, depth=5..87, filters=180511, ccks=576, wck=1.159, mem=50M376
5.63/3.38 decisions=77326, wrong=34505, backtracks=30643, failedAssignments=16149, nogoods=1647, foundSolutions=6, bestBound=3
5.63/3.38
5.73/3.40 num=136, depth=6..48, filters=186580, ccks=576, wck=1.187, mem=50M376
5.73/3.40 decisions=79496, wrong=35574, backtracks=31621, failedAssignments=16696, nogoods=1656, foundSolutions=6, bestBound=3
5.73/3.40
5.73/3.45 num=137, depth=25..59, filters=196016, ccks=576, wck=1.232, mem=53M18
5.73/3.45 decisions=81806, wrong=36713, backtracks=32577, failedAssignments=17298, nogoods=1668, foundSolutions=6, bestBound=3
5.73/3.45
5.83/3.51 num=138, depth=5..55, filters=209727, ccks=576, wck=1.295, mem=53M18
5.83/3.51 decisions=84333, wrong=37959, backtracks=33742, failedAssignments=17960, nogoods=1678, foundSolutions=6, bestBound=3
5.83/3.51
5.83/3.55 num=139, depth=3..57, filters=217890, ccks=576, wck=1.336, mem=53M18
5.83/3.55 decisions=87276, wrong=39410, backtracks=35054, failedAssignments=18688, nogoods=1686, foundSolutions=6, bestBound=3
5.83/3.55
5.93/3.60 num=140, depth=3..51, filters=228978, ccks=576, wck=1.388, mem=53M18
5.93/3.60 decisions=90348, wrong=40931, backtracks=36459, failedAssignments=19489, nogoods=1696, foundSolutions=6, bestBound=3
5.93/3.60
5.93/3.66 num=141, depth=4..79, filters=241779, ccks=576, wck=1.447, mem=53M18
5.93/3.66 decisions=95080, wrong=43272, backtracks=38533, failedAssignments=20370, nogoods=1711, foundSolutions=6, bestBound=3
5.93/3.66
6.03/3.72 num=142, depth=7..57, filters=255292, ccks=576, wck=1.506, mem=55M661
6.03/3.72 decisions=99092, wrong=45257, backtracks=40307, failedAssignments=21340, nogoods=1720, foundSolutions=6, bestBound=3
6.03/3.72
6.03/3.77 num=143, depth=4..69, filters=266113, ccks=576, wck=1.559, mem=55M661
6.03/3.77 decisions=103228, wrong=47301, backtracks=42172, failedAssignments=22407, nogoods=1732, foundSolutions=6, bestBound=3
6.03/3.77
6.13/3.85 num=144, depth=10..68, filters=281218, ccks=576, wck=1.63, mem=55M661
6.13/3.85 decisions=108666, wrong=49996, backtracks=44566, failedAssignments=23580, nogoods=1746, foundSolutions=6, bestBound=3
6.13/3.85
6.24/3.91 num=145, depth=14..111, filters=295076, ccks=576, wck=1.696, mem=55M661
6.24/3.91 decisions=114867, wrong=53051, backtracks=47398, failedAssignments=24871, nogoods=1769, foundSolutions=6, bestBound=3
6.24/3.91
6.24/3.98 num=146, depth=19..82, filters=308566, ccks=576, wck=1.762, mem=55M661
6.24/3.98 decisions=122049, wrong=56617, backtracks=50802, failedAssignments=26291, nogoods=1787, foundSolutions=6, bestBound=3
6.24/3.98
6.36/4.06 num=147, depth=9..129, filters=325320, ccks=576, wck=1.841, mem=58M303
6.36/4.06 decisions=129562, wrong=60328, backtracks=54054, failedAssignments=27853, nogoods=1809, foundSolutions=6, bestBound=3
6.36/4.06
6.48/4.14 num=148, depth=8..144, filters=342838, ccks=576, wck=1.922, mem=58M303
6.48/4.14 decisions=138287, wrong=64643, backtracks=58117, failedAssignments=29571, nogoods=1841, foundSolutions=6, bestBound=3
6.48/4.14
6.59/4.23 num=149, depth=5..62, filters=363850, ccks=576, wck=2.014, mem=58M303
6.59/4.23 decisions=147337, wrong=69152, backtracks=62483, failedAssignments=31461, nogoods=1854, foundSolutions=6, bestBound=3
6.59/4.23
6.79/4.42 num=150, depth=16..45, filters=408247, ccks=576, wck=2.199, mem=60M945
6.79/4.42 decisions=158323, wrong=74633, backtracks=67489, failedAssignments=33540, nogoods=1861, foundSolutions=6, bestBound=3
6.79/4.42
6.89/4.56 num=151, depth=4..40, filters=440471, ccks=576, wck=2.341, mem=60M945
6.89/4.56 decisions=166894, wrong=78907, backtracks=71364, failedAssignments=35827, nogoods=1869, foundSolutions=6, bestBound=3
6.89/4.56
6.99/4.69 num=152, depth=8..133, filters=471887, ccks=576, wck=2.476, mem=63M588
6.99/4.69 decisions=178241, wrong=84536, backtracks=76633, failedAssignments=38343, nogoods=1891, foundSolutions=6, bestBound=3
6.99/4.69
7.19/4.85 num=153, depth=6..100, filters=510091, ccks=576, wck=2.632, mem=63M588
7.19/4.85 decisions=190409, wrong=90588, backtracks=82100, failedAssignments=41111, nogoods=1910, foundSolutions=6, bestBound=3
7.19/4.85
7.39/5.01 num=154, depth=3..130, filters=545031, ccks=576, wck=2.799, mem=66M230
7.39/5.01 decisions=206168, wrong=98427, backtracks=89524, failedAssignments=44155, nogoods=1936, foundSolutions=6, bestBound=3
7.39/5.01
7.59/5.20 num=155, depth=8..109, filters=589238, ccks=576, wck=2.988, mem=66M230
7.59/5.20 decisions=223655, wrong=107134, backtracks=97933, failedAssignments=47504, nogoods=1966, foundSolutions=6, bestBound=3
7.59/5.20
7.70/5.31 num=156, depth=4..123, filters=611040, ccks=576, wck=3.098, mem=68M873
7.70/5.31 decisions=238727, wrong=114626, backtracks=105168, failedAssignments=51188, nogoods=1987, foundSolutions=6, bestBound=3
7.70/5.31
7.90/5.53 num=157, depth=2..108, filters=654852, ccks=576, wck=3.312, mem=68M873
7.90/5.53 decisions=261438, wrong=125949, backtracks=116183, failedAssignments=55240, nogoods=2004, foundSolutions=6, bestBound=3
7.90/5.53
8.10/5.74 num=158, depth=3..111, filters=702243, ccks=576, wck=3.526, mem=71M515
8.10/5.74 decisions=283109, wrong=136755, backtracks=126635, failedAssignments=59697, nogoods=2021, foundSolutions=6, bestBound=3
8.10/5.74
8.30/5.98 num=159, depth=4..139, filters=759934, ccks=576, wck=3.766, mem=74M158
8.30/5.98 decisions=306738, wrong=148524, backtracks=136141, failedAssignments=64600, nogoods=2051, foundSolutions=6, bestBound=3
8.30/5.98
8.60/6.24 num=160, depth=1..127, filters=817575, ccks=576, wck=4.029, mem=74M158
8.60/6.24 decisions=332612, wrong=161419, backtracks=148956, failedAssignments=69994, nogoods=2083, foundSolutions=6, bestBound=3
8.60/6.24
8.90/6.51 num=161, depth=6..144, filters=871513, ccks=576, wck=4.299, mem=76M800
8.90/6.51 decisions=360132, wrong=175127, backtracks=161920, failedAssignments=75927, nogoods=2110, foundSolutions=6, bestBound=3
8.90/6.51
9.20/6.80 num=162, depth=3..143, filters=929303, ccks=576, wck=4.587, mem=79M442
9.20/6.80 decisions=395366, wrong=192703, backtracks=179163, failedAssignments=82453, nogoods=2143, foundSolutions=6, bestBound=3
9.20/6.80
9.60/7.21 num=163, depth=9..100, filters=1024910, ccks=576, wck=4.998, mem=82M85
9.60/7.21 decisions=430021, wrong=209993, backtracks=195472, failedAssignments=89632, nogoods=2154, foundSolutions=6, bestBound=3
9.60/7.21
10.01/7.65 num=164, depth=6..103, filters=1120880, ccks=576, wck=5.431, mem=87M370
10.01/7.65 decisions=465105, wrong=227501, backtracks=211394, failedAssignments=97529, nogoods=2166, foundSolutions=6, bestBound=3
10.01/7.65
10.42/8.01 num=165, depth=6..120, filters=1194631, ccks=576, wck=5.795, mem=90M12
10.42/8.01 decisions=508575, wrong=249193, backtracks=232186, failedAssignments=106216, nogoods=2193, foundSolutions=6, bestBound=3
10.42/8.01
10.91/8.56 num=166, depth=11..140, filters=1302296, ccks=576, wck=6.347, mem=92M655
10.91/8.56 decisions=563878, wrong=276796, backtracks=259283, failedAssignments=115771, nogoods=2222, foundSolutions=6, bestBound=3
10.91/8.56
11.52/9.15 num=167, depth=7..96, filters=1436231, ccks=576, wck=6.938, mem=97M940
11.52/9.15 decisions=609200, wrong=299423, backtracks=279964, failedAssignments=126282, nogoods=2245, foundSolutions=6, bestBound=3
11.52/9.15
12.11/9.73 num=168, depth=7..115, filters=1558340, ccks=576, wck=7.518, mem=103M224
12.11/9.73 decisions=667941, wrong=328756, backtracks=307699, failedAssignments=137844, nogoods=2260, foundSolutions=6, bestBound=3
12.11/9.73
12.42/10.07 o 2
12.42/10.07 num=169, depth=25..320, filters=1627403, ccks=672, wck=7.854, mem=105M867
12.42/10.07 decisions=691973, wrong=340725, backtracks=318983, failedAssignments=142391, nogoods=2294, foundSolutions=7, bestBound=2
12.42/10.07
12.42/10.07 Global
12.42/10.07 filters=1627403, ccks=672, nogoods=2294
12.42/10.07 Stop=FULL_EXPLORATION, wrong=340725, bestBound=2, bestBoundWck=8.217, bestBoundCpu=10.023, foundSolutions=7, firstSolCpu=2.228
12.42/10.07 wck=8.219, cpu=10.024, mem=105M867
12.42/10.07
12.42/10.07 v <instantiation id='sol7' type='solution' cost='2'> <list> z x[][] </list> <values> 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 </values> </instantiation>
12.42/10.07 s OPTIMUM FOUND
12.42/10.07
12.42/10.07 d WRONG_DECISIONS 340725
12.42/10.07 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 (15119 MiB free)
memory of node 1: 16384 MiB (15735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391102-1568389122/watcher-4391102-1568389122 -o /tmp/evaluation-result-4391102-1568389122/solver-4391102-1568389122 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568389059-22410 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391102-1568389122.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
Current StackSize limit: 8192 KiB
solver pid=22532, runsolver pid=22529
[startup+0.100059 s]*
/proc/loadavg: 1.24 1.09 1.33 4/228 22547
/proc/meminfo: memFree=31578684/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10659884 memory=27900 CPUtime=0.14 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 5439 0 0 0 13 1 0 0 20 0 15 0 415165274 10915721216 6975 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2664971 6975 2897 1 0 2627468 0
[pid=22532/tid=22534] ppid=22529 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) R 22529 22532 22378 0 -1 4202560 3225 0 0 0 9 0 0 0 20 0 15 0 415165274 10915721216 6975 33554432000 4194304 4196468 140724793152736 139880152021952 139880147803542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10659884 memory=4122113485274224288 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165276 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415165276 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879705880096 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415165277 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879704827248 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) S 22529 22532 22378 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879634688368 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) S 22529 22532 22378 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879633635568 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0.02 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) R 22529 22532 22378 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 415165279 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879632577120 139880132957153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 6975 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27900 KiB
[startup+0.210765 s]*
/proc/loadavg: 1.24 1.09 1.33 3/228 22547
/proc/meminfo: memFree=31567132/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10659884 memory=37652 CPUtime=0.33 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 9189 0 0 0 31 2 0 0 20 0 15 0 415165274 10915721216 9413 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2664971 9413 2987 1 0 2627468 0
[pid=22532/tid=22534] ppid=22529 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) R 22529 22532 22378 0 -1 4202560 6129 0 0 0 18 2 0 0 20 0 15 0 415165274 10915721216 9413 33554432000 4194304 4196468 140724793152736 139880152028624 139880147813533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10659884 memory=139843259319851 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165276 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415165276 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879705880096 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415165277 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879704827248 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) S 22529 22532 22378 0 -1 1077944384 758 0 0 0 3 0 0 0 20 0 15 0 415165279 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879634688368 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) S 22529 22532 22378 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 415165279 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879633635568 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0.05 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) S 22529 22532 22378 0 -1 1077944384 712 0 0 0 5 0 0 0 20 0 15 0 415165279 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879632582768 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 9413 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37652 KiB
[startup+0.310171 s]*
/proc/loadavg: 1.24 1.09 1.33 3/228 22547
/proc/meminfo: memFree=31565196/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10659884 memory=40712 CPUtime=0.48 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 9527 0 0 0 45 3 0 0 20 0 15 0 415165274 10915721216 10178 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2664971 10178 3034 1 0 2627468 0
[pid=22532/tid=22534] ppid=22529 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) R 22529 22532 22378 0 -1 4202560 6397 0 0 0 28 2 0 0 20 0 15 0 415165274 10915721216 10178 33554432000 4194304 4196468 140724793152736 139880152011760 139880147813533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10659884 memory=139843259330651 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165276 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415165276 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879705880096 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415165277 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879704827248 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) R 22529 22532 22378 0 -1 1077944384 793 0 0 0 5 0 0 0 20 0 15 0 415165279 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879634688464 139880147801813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) R 22529 22532 22378 0 -1 4202560 237 0 0 0 3 0 0 0 20 0 15 0 415165279 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879633626080 139880132689115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0.08 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) S 22529 22532 22378 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 415165279 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879632582768 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10659884 memory=139843256063616 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165279 10915721216 10178 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40712 KiB
[startup+0.701296 s]
/proc/loadavg: 1.24 1.09 1.33 3/228 22547
/proc/meminfo: memFree=31554928/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10661932 memory=63788 CPUtime=1.12 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 13000 0 0 0 107 5 0 0 20 0 15 0 415165274 10917818368 15947 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2665483 15947 3059 1 0 2627980 0
[pid=22532/tid=22534] ppid=22529 vsize=10661932 memory=39564 CPUtime=0.68 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) R 22529 22532 22378 0 -1 4202560 8829 0 0 0 64 4 0 0 20 0 15 0 415165274 10917818368 15947 33554432000 4194304 4196468 140724793152736 139880152023632 139880132957160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165275 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165275 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165276 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415165276 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879705880096 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415165277 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879704827248 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10661932 memory=3 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) S 22529 22532 22378 0 -1 1077944384 1054 0 0 0 11 0 0 0 20 0 15 0 415165279 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879634688368 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10661932 memory=11 CPUtime=0.11 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) R 22529 22532 22378 0 -1 4202560 536 0 0 0 11 0 0 0 20 0 15 0 415165279 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879633622112 139880129314856 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10661932 memory=735 CPUtime=0.18 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) S 22529 22532 22378 0 -1 1077944384 1220 0 0 0 18 0 0 0 20 0 15 0 415165279 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879632582768 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165279 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165279 10917818368 15947 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63788 KiB
[startup+1.50071 s]
/proc/loadavg: 1.24 1.09 1.33 3/228 22547
/proc/meminfo: memFree=31538240/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10663980 memory=75892 CPUtime=2.01 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 18538 0 0 0 196 5 0 0 20 0 15 0 415165274 10919915520 18973 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2665995 18973 3092 1 0 2628492 0
[pid=22532/tid=22534] ppid=22529 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) R 22529 22532 22378 0 -1 4202560 13049 0 0 0 144 4 0 0 20 0 15 0 415165274 10919915520 18973 33554432000 4194304 4196468 140724793152736 139880152023632 139880131872094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10663980 memory=39564 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415165275 10919915520 18973 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415165275 10919915520 18973 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10919915520 18973 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415165275 10919915520 18973 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 415165276 10919915520 18973 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
################
# More data... #
################
[startup+8.00062 s]*
/proc/loadavg: 1.35 1.12 1.33 3/230 22550
/proc/meminfo: memFree=31388772/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10748324 memory=189496 CPUtime=10.42 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 31259 0 0 0 1029 13 0 0 20 0 16 0 415165274 11006283776 47374 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2687081 47374 3345 1 0 2647217 0
[pid=22532/tid=22534] ppid=22529 vsize=10748324 memory=7822038051842263955 CPUtime=1.86 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) S 22529 22532 22378 0 -1 1077944384 15303 0 0 0 181 5 0 0 20 0 16 0 415165274 11006283776 47374 33554432000 4194304 4196468 140724793152736 139880152034480 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10748324 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10748324 memory=139843256063616 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10748324 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10748324 memory=139843256063616 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 16 0 415165276 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10748324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415165276 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879705880160 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10748324 memory=6485400618181 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415165277 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879704827264 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10748324 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10748324 memory=14689699524512400 CPUtime=0.91 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) S 22529 22532 22378 0 -1 1077944384 3171 0 0 0 90 1 0 0 20 0 16 0 415165279 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879634688368 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10748324 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) S 22529 22532 22378 0 -1 1077944384 2796 0 0 0 89 0 0 0 20 0 16 0 415165279 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879633635568 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10748324 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) S 22529 22532 22378 0 -1 1077944384 2665 0 0 0 56 1 0 0 20 0 16 0 415165279 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879632582768 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22550] ppid=22529 vsize=10748324 memory=0 CPUtime=6.07 cores=1,3,5,7
/proc/22532/task/22550/stat : 22550 (java) R 22529 22532 22378 0 -1 4202560 4554 0 0 0 605 2 0 0 20 0 16 0 415165462 11006283776 47374 33554432000 4194304 4196468 140724793152736 139879613808512 139879790320318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 10.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 189496 KiB
[startup+8.80062 s]
/proc/loadavg: 1.35 1.12 1.33 3/230 22550
/proc/meminfo: memFree=31388772/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10748324 memory=193608 CPUtime=11.21 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 31480 0 0 0 1108 13 0 0 20 0 16 0 415165274 11006283776 48402 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2687081 48402 3345 1 0 2647217 0
[pid=22532/tid=22534] ppid=22529 vsize=10748324 memory=7380385388137112419 CPUtime=1.86 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) S 22529 22532 22378 0 -1 1077944384 15303 0 0 0 181 5 0 0 20 0 16 0 415165274 11006283776 48402 33554432000 4194304 4196468 140724793152736 139880152034480 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10748324 memory=3234065 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10748324 memory=3907212680906762343 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10748324 memory=7230930967637615973 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 16 0 415165276 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10748324 memory=7878874192138098017 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415165276 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879705880160 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10748324 memory=11421449055 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415165277 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879704827264 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10748324 memory=279686257644576 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10748324 memory=279686257514216 CPUtime=0.91 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) S 22529 22532 22378 0 -1 1077944384 3174 0 0 0 90 1 0 0 20 0 16 0 415165279 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879634688368 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10748324 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) S 22529 22532 22378 0 -1 1077944384 2799 0 0 0 89 0 0 0 20 0 16 0 415165279 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879633635568 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10748324 memory=-7604262568725289114 CPUtime=0.57 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) S 22529 22532 22378 0 -1 1077944384 2844 0 0 0 56 1 0 0 20 0 16 0 415165279 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879632582768 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22550] ppid=22529 vsize=10748324 memory=96838627668008 CPUtime=6.86 cores=1,3,5,7
/proc/22532/task/22550/stat : 22550 (java) R 22529 22532 22378 0 -1 4202560 4590 0 0 0 684 2 0 0 20 0 16 0 415165462 11006283776 48402 33554432000 4194304 4196468 140724793152736 139879613808512 139879790175940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 11.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193608 KiB
[startup+9.60063 s]
/proc/loadavg: 1.35 1.12 1.33 3/230 22550
/proc/meminfo: memFree=31374684/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10748324 memory=199752 CPUtime=12.01 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 31536 0 0 0 1188 13 0 0 20 0 16 0 415165274 11006283776 49938 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2687081 49938 3345 1 0 2647217 0
[pid=22532/tid=22534] ppid=22529 vsize=10748324 memory=2012 CPUtime=1.86 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) S 22529 22532 22378 0 -1 1077944384 15303 0 0 0 181 5 0 0 20 0 16 0 415165274 11006283776 49938 33554432000 4194304 4196468 140724793152736 139880152034480 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10748324 memory=1388 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10748324 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10748324 memory=166704 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10748324 memory=181304 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 1154 0 0 0 1 0 0 0 20 0 16 0 415165276 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10748324 memory=177208 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415165276 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879705880160 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10748324 memory=139843128962905 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415165277 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879704827264 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10748324 memory=279686257889776 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10748324 memory=6655300316396806240 CPUtime=0.91 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) S 22529 22532 22378 0 -1 1077944384 3174 0 0 0 90 1 0 0 20 0 16 0 415165279 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879634688368 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10748324 memory=6656426216303648864 CPUtime=0.89 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) S 22529 22532 22378 0 -1 1077944384 2799 0 0 0 89 0 0 0 20 0 16 0 415165279 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879633635568 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10748324 memory=-8383301583103180171 CPUtime=0.57 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) S 22529 22532 22378 0 -1 1077944384 2844 0 0 0 56 1 0 0 20 0 16 0 415165279 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879632582768 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10748324 memory=7230934257566049637 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22550] ppid=22529 vsize=10748324 memory=236647396535882 CPUtime=7.66 cores=1,3,5,7
/proc/22532/task/22550/stat : 22550 (java) R 22529 22532 22378 0 -1 4202560 4601 0 0 0 764 2 0 0 20 0 16 0 415165462 11006283776 49938 33554432000 4194304 4196468 140724793152736 139879613813824 139879790320288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 12.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 199752 KiB
[startup+10.0006 s]*
/proc/loadavg: 1.35 1.12 1.33 3/230 22550
/proc/meminfo: memFree=31362664/32770624 swapFree=66996928/67108860
[pid=22532] ppid=22529 vsize=10748324 memory=201800 CPUtime=12.42 cores=1,3,5,7
/proc/22532/stat : 22532 (java) S 22529 22532 22378 0 -1 1077944320 31559 0 0 0 1229 13 0 0 20 0 16 0 415165274 11006283776 50450 33554432000 4194304 4196468 140724793152736 140724793135280 139880147791607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
/proc/22532/statm: 2687081 50450 3345 1 0 2647217 0
[pid=22532/tid=22534] ppid=22529 vsize=10748324 memory=8317482817917895235 CPUtime=1.86 cores=1,3,5,7
/proc/22532/task/22534/stat : 22534 (java) S 22529 22532 22378 0 -1 1077944384 15303 0 0 0 181 5 0 0 20 0 16 0 415165274 11006283776 50450 33554432000 4194304 4196468 140724793152736 139880152034480 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22535] ppid=22529 vsize=10748324 memory=7679937539709960979 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22535/stat : 22535 (java) S 22529 22532 22378 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879754050192 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22536] ppid=22529 vsize=10748324 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22536/stat : 22536 (java) S 22529 22532 22378 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879752997392 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22537] ppid=22529 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22537/stat : 22537 (java) S 22529 22532 22378 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 415165275 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879751944592 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22538] ppid=22529 vsize=10748324 memory=6944656592455359545 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22538/stat : 22538 (java) S 22529 22532 22378 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 16 0 415165275 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879750891792 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22539] ppid=22529 vsize=10748324 memory=8187704045996132563 CPUtime=0.01 cores=1,3,5,7
/proc/22532/task/22539/stat : 22539 (java) S 22529 22532 22378 0 -1 1077944384 1154 0 0 0 1 0 0 0 20 0 16 0 415165276 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879706934128 139880147802754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22540] ppid=22529 vsize=10748324 memory=6933690305039933585 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22540/stat : 22540 (java) S 22529 22532 22378 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415165276 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879705880160 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22541] ppid=22529 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22541/stat : 22541 (java) S 22529 22532 22378 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415165277 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879704827264 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22542] ppid=22529 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22542/stat : 22542 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879635741008 139880147810203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22543] ppid=22529 vsize=10748324 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/22532/task/22543/stat : 22543 (java) S 22529 22532 22378 0 -1 1077944384 3174 0 0 0 90 1 0 0 20 0 16 0 415165279 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879634688368 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22544] ppid=22529 vsize=10748324 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/22532/task/22544/stat : 22544 (java) S 22529 22532 22378 0 -1 1077944384 2799 0 0 0 89 0 0 0 20 0 16 0 415165279 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879633635568 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22545] ppid=22529 vsize=10748324 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/22532/task/22545/stat : 22545 (java) S 22529 22532 22378 0 -1 1077944384 2844 0 0 0 56 1 0 0 20 0 16 0 415165279 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879632582768 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22546] ppid=22529 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22546/stat : 22546 (java) S 22529 22532 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879631530208 139880147801813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22547] ppid=22529 vsize=10748324 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/22532/task/22547/stat : 22547 (java) S 22529 22532 22378 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 415165279 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879630478512 139880147802754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
[pid=22532/tid=22550] ppid=22529 vsize=10748324 memory=7599669750024139874 CPUtime=8.07 cores=1,3,5,7
/proc/22532/task/22550/stat : 22550 (java) R 22529 22532 22378 0 -1 4202560 4624 0 0 0 804 3 0 0 20 0 16 0 415165462 11006283776 50450 33554432000 4194304 4196468 140724793152736 139879613808496 139879790348177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24633344 140724793156619 140724793156722 140724793156722 140724793159631 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 201800 KiB
Child status: 0
Real time (s): 10.093
CPU time (s): 12.511
CPU user time (s): 12.3673
CPU system time (s): 0.143758
CPU usage (%): 123.958
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 201800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3673
system time used= 0.143758
maximum resident set size= 208452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33032
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= 2722
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 22532
# total CPU time (s): 12.511
# total CPU user time (s): 12.3673
# total CPU system time (s): 0.143758
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09258 second user time and 0.140156 second system time
The end