2.33/1.89
2.33/1.89 AbsCon 2
2.60/1.91
2.85/2.04 Instance
2.85/2.04 name=instance-4390802-1568380567, framework=COP, bounds=-infty..+infty
2.85/2.04
2.85/2.04 Loading variables...
2.85/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
2.85/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15668ec6
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b50236
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5d4f8
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca83473
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e65cef
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db3392
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ad3e4
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d361dd8
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f76bf7
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78fd44bc
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e91e5
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.12/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c165fb7
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c165fb7
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c165fb7
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c165fb7
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c165fb7
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124c83f6
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124c83f6
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124c83f6
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124c83f6
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498fa84f
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498fa84f
3.12/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc72ee9
3.12/2.19
3.12/2.19
3.12/2.19 Domains
3.12/2.19 nTypes=2, nValues=671, sizes=[2#320,31#1]
3.12/2.19 Variables
3.12/2.19 count=321, degrees=[12#4,13#76,14#240,46#1]
3.12/2.19 Objectives
3.12/2.19 way=min, type=ObjVarLE
3.12/2.19 Constraints
3.12/2.19 count=96, nSpecific=96, arities=[1#1,20#31,32#10,64#9,65#45]
3.12/2.19 distribution=[LexicographicLe#40,ObjVarLE#1,SumScalarBooleanLEVar#45,SumSimpleEQ#10]
3.12/2.19 wck=0.327, cpu=2.152, mem=26M520
3.12/2.19 Solver SolverBacktrack being built...
3.12/2.19
3.41/2.22
3.41/2.22 Solver
3.41/2.22 guaranteedGAC=true
3.41/2.22 wck=0.359, cpu=2.182, mem=37M163
3.41/2.23
3.41/2.23 Preprocessing
3.41/2.23 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.41/2.23 wck=0.007, cpu=2.191, mem=39M805
3.41/2.23
3.41/2.25 num=0, depth=40..106, filters=122, wck=0.025, mem=39M805
3.41/2.25 decisions=150, wrong=24, backtracks=22, failedAssignments=10, nogoods=2
3.41/2.25
3.41/2.27 o 9
3.41/2.28 num=1, depth=4..320, filters=398, ccks=96, wck=0.055, mem=39M805
3.41/2.28 decisions=247, wrong=36, backtracks=25, failedAssignments=19, nogoods=10, foundSolutions=1, bestBound=9
3.41/2.28
3.41/2.29 num=2, depth=3..116, filters=715, ccks=96, wck=0.07, mem=39M805
3.41/2.29 decisions=390, wrong=55, backtracks=32, failedAssignments=31, nogoods=22, foundSolutions=1, bestBound=9
3.41/2.29
3.71/2.30 num=3, depth=5..24, filters=1045, ccks=96, wck=0.078, mem=39M805
3.71/2.30 decisions=440, wrong=74, backtracks=41, failedAssignments=42, nogoods=26, foundSolutions=1, bestBound=9
3.71/2.30
3.71/2.31 o 8
3.71/2.31 num=4, depth=0..320, filters=1249, ccks=192, wck=0.091, mem=39M805
3.71/2.31 decisions=564, wrong=85, backtracks=41, failedAssignments=53, nogoods=36, foundSolutions=2, bestBound=8
3.71/2.31
3.71/2.32 num=5, depth=49..86, filters=1418, ccks=192, wck=0.096, mem=39M805
3.71/2.32 decisions=694, wrong=108, backtracks=52, failedAssignments=66, nogoods=39, foundSolutions=2, bestBound=8
3.71/2.32
3.71/2.32 num=6, depth=6..57, filters=1502, ccks=192, wck=0.099, mem=39M805
3.71/2.32 decisions=773, wrong=123, backtracks=61, failedAssignments=77, nogoods=45, foundSolutions=2, bestBound=8
3.71/2.32
3.71/2.32 num=7, depth=35..43, filters=1620, ccks=192, wck=0.102, mem=39M805
3.71/2.32 decisions=849, wrong=142, backtracks=73, failedAssignments=89, nogoods=48, foundSolutions=2, bestBound=8
3.71/2.32
3.71/2.33 num=8, depth=16..43, filters=1913, ccks=192, wck=0.107, mem=39M805
3.71/2.33 decisions=948, wrong=172, backtracks=94, failedAssignments=102, nogoods=53, foundSolutions=2, bestBound=8
3.71/2.33
3.71/2.33 num=9, depth=31..127, filters=2042, ccks=192, wck=0.111, mem=39M805
3.71/2.33 decisions=1096, wrong=189, backtracks=103, failedAssignments=116, nogoods=61, foundSolutions=2, bestBound=8
3.71/2.33
3.71/2.34 num=10, depth=19..128, filters=2203, ccks=192, wck=0.115, mem=39M805
3.71/2.34 decisions=1247, wrong=208, backtracks=107, failedAssignments=132, nogoods=75, foundSolutions=2, bestBound=8
3.71/2.34
3.71/2.34 o 6
3.71/2.34 num=11, depth=10..320, filters=2320, ccks=288, wck=0.121, mem=39M805
3.71/2.34 decisions=1371, wrong=212, backtracks=107, failedAssignments=136, nogoods=79, foundSolutions=3, bestBound=6
3.71/2.34
3.71/2.35 num=12, depth=10..123, filters=2473, ccks=288, wck=0.126, mem=39M805
3.71/2.35 decisions=1521, wrong=233, backtracks=113, failedAssignments=155, nogoods=94, foundSolutions=3, bestBound=6
3.71/2.35
3.71/2.35 num=13, depth=8..61, filters=2585, ccks=288, wck=0.129, mem=39M805
3.71/2.35 decisions=1605, wrong=248, backtracks=122, failedAssignments=166, nogoods=99, foundSolutions=3, bestBound=6
3.71/2.35
3.71/2.35 num=14, depth=11..56, filters=2702, ccks=288, wck=0.132, mem=39M805
3.71/2.35 decisions=1682, wrong=262, backtracks=128, failedAssignments=178, nogoods=108, foundSolutions=3, bestBound=6
3.71/2.35
3.71/2.35 num=15, depth=17..49, filters=2846, ccks=288, wck=0.135, mem=39M805
3.71/2.35 decisions=1764, wrong=282, backtracks=140, failedAssignments=191, nogoods=115, foundSolutions=3, bestBound=6
3.71/2.35
3.71/2.36 num=16, depth=6..35, filters=3107, ccks=288, wck=0.138, mem=39M805
3.71/2.36 decisions=1842, wrong=307, backtracks=156, failedAssignments=205, nogoods=122, foundSolutions=3, bestBound=6
3.71/2.36
3.71/2.36 num=17, depth=5..105, filters=3299, ccks=288, wck=0.142, mem=39M805
3.71/2.36 decisions=1974, wrong=327, backtracks=168, failedAssignments=221, nogoods=130, foundSolutions=3, bestBound=6
3.71/2.36
3.71/2.37 num=18, depth=8..61, filters=3428, ccks=288, wck=0.145, mem=39M805
3.71/2.37 decisions=2068, wrong=349, backtracks=184, failedAssignments=238, nogoods=138, foundSolutions=3, bestBound=6
3.71/2.37
3.71/2.37 num=19, depth=11..115, filters=3620, ccks=288, wck=0.15, mem=39M805
3.71/2.37 decisions=2215, wrong=372, backtracks=196, failedAssignments=257, nogoods=150, foundSolutions=3, bestBound=6
3.71/2.37
3.71/2.38 num=20, depth=11..44, filters=4001, ccks=288, wck=0.155, mem=39M805
3.71/2.38 decisions=2335, wrong=413, backtracks=226, failedAssignments=278, nogoods=156, foundSolutions=3, bestBound=6
3.71/2.38
3.71/2.38 num=21, depth=8..50, filters=4328, ccks=288, wck=0.159, mem=39M805
3.71/2.38 decisions=2453, wrong=452, backtracks=257, failedAssignments=301, nogoods=162, foundSolutions=3, bestBound=6
3.71/2.38
3.71/2.39 num=22, depth=16..57, filters=4916, ccks=288, wck=0.167, mem=39M805
3.71/2.39 decisions=2579, wrong=498, backtracks=283, failedAssignments=326, nogoods=167, foundSolutions=3, bestBound=6
3.71/2.39
3.71/2.39 num=23, depth=13..115, filters=5088, ccks=288, wck=0.171, mem=39M805
3.71/2.39 decisions=2746, wrong=532, backtracks=307, failedAssignments=354, nogoods=176, foundSolutions=3, bestBound=6
3.71/2.39
3.71/2.40 num=24, depth=6..58, filters=5336, ccks=288, wck=0.176, mem=39M805
3.71/2.40 decisions=2887, wrong=580, backtracks=333, failedAssignments=385, nogoods=186, foundSolutions=3, bestBound=6
3.71/2.40
4.04/2.40 o 5
4.04/2.40 num=25, depth=7..320, filters=5528, ccks=384, wck=0.183, mem=39M805
4.04/2.40 decisions=3084, wrong=618, backtracks=350, failedAssignments=418, nogoods=206, foundSolutions=4, bestBound=5
4.04/2.40
4.04/2.41 num=26, depth=34..53, filters=5986, ccks=384, wck=0.19, mem=39M805
4.04/2.41 decisions=3301, wrong=704, backtracks=424, failedAssignments=455, nogoods=211, foundSolutions=4, bestBound=5
4.04/2.41
4.04/2.41 num=27, depth=3..87, filters=6098, ccks=384, wck=0.192, mem=39M805
4.04/2.41 decisions=3400, wrong=715, backtracks=424, failedAssignments=466, nogoods=222, foundSolutions=4, bestBound=5
4.04/2.41
4.04/2.41 num=28, depth=4..30, filters=6173, ccks=384, wck=0.193, mem=39M805
4.04/2.41 decisions=3445, wrong=728, backtracks=425, failedAssignments=478, nogoods=234, foundSolutions=4, bestBound=5
4.04/2.41
4.04/2.42 num=29, depth=4..97, filters=6304, ccks=384, wck=0.195, mem=39M805
4.04/2.42 decisions=3569, wrong=745, backtracks=434, failedAssignments=491, nogoods=243, foundSolutions=4, bestBound=5
4.04/2.42
4.04/2.42 num=30, depth=4..48, filters=6555, ccks=384, wck=0.197, mem=39M805
4.04/2.42 decisions=3658, wrong=772, backtracks=453, failedAssignments=505, nogoods=251, foundSolutions=4, bestBound=5
4.04/2.42
4.04/2.42 num=31, depth=3..98, filters=6717, ccks=384, wck=0.2, mem=39M805
4.04/2.42 decisions=3779, wrong=790, backtracks=460, failedAssignments=521, nogoods=262, foundSolutions=4, bestBound=5
4.04/2.42
4.04/2.42 num=32, depth=4..125, filters=6956, ccks=384, wck=0.203, mem=39M805
4.04/2.42 decisions=3944, wrong=818, backtracks=473, failedAssignments=538, nogoods=272, foundSolutions=4, bestBound=5
4.04/2.42
4.04/2.43 num=33, depth=5..52, filters=7142, ccks=384, wck=0.205, mem=39M805
4.04/2.43 decisions=4045, wrong=847, backtracks=496, failedAssignments=557, nogoods=280, foundSolutions=4, bestBound=5
4.04/2.43
4.04/2.43 num=34, depth=1..113, filters=7362, ccks=384, wck=0.208, mem=39M805
4.04/2.43 decisions=4200, wrong=876, backtracks=509, failedAssignments=578, nogoods=296, foundSolutions=4, bestBound=5
4.04/2.43
4.04/2.43 num=35, depth=5..53, filters=7539, ccks=384, wck=0.21, mem=39M805
4.04/2.43 decisions=4309, wrong=910, backtracks=533, failedAssignments=601, nogoods=301, foundSolutions=4, bestBound=5
4.04/2.43
4.04/2.43 num=36, depth=4..77, filters=7730, ccks=384, wck=0.213, mem=39M805
4.04/2.43 decisions=4435, wrong=942, backtracks=547, failedAssignments=626, nogoods=317, foundSolutions=4, bestBound=5
4.04/2.43
4.04/2.44 num=37, depth=13..54, filters=8160, ccks=384, wck=0.216, mem=39M805
4.04/2.44 decisions=4574, wrong=989, backtracks=585, failedAssignments=654, nogoods=324, foundSolutions=4, bestBound=5
4.04/2.44
4.04/2.44 num=38, depth=14..81, filters=8404, ccks=384, wck=0.22, mem=39M805
4.04/2.44 decisions=4743, wrong=1040, backtracks=629, failedAssignments=685, nogoods=329, foundSolutions=4, bestBound=5
4.04/2.44
4.04/2.44 num=39, depth=13..144, filters=8648, ccks=384, wck=0.224, mem=39M805
4.04/2.44 decisions=4951, wrong=1081, backtracks=657, failedAssignments=719, nogoods=343, foundSolutions=4, bestBound=5
4.04/2.44
4.04/2.45 num=40, depth=15..52, filters=8911, ccks=384, wck=0.227, mem=42M448
4.04/2.45 decisions=5128, wrong=1150, backtracks=717, failedAssignments=756, nogoods=352, foundSolutions=4, bestBound=5
4.04/2.45
4.04/2.45 num=41, depth=28..45, filters=9470, ccks=384, wck=0.231, mem=42M448
4.04/2.45 decisions=5308, wrong=1222, backtracks=786, failedAssignments=797, nogoods=356, foundSolutions=4, bestBound=5
4.04/2.45
4.04/2.45 num=42, depth=6..66, filters=9724, ccks=384, wck=0.234, mem=42M448
4.04/2.45 decisions=5520, wrong=1301, backtracks=857, failedAssignments=842, nogoods=364, foundSolutions=4, bestBound=5
4.04/2.45
4.04/2.46 num=43, depth=7..52, filters=10119, ccks=384, wck=0.238, mem=42M448
4.04/2.46 decisions=5726, wrong=1384, backtracks=929, failedAssignments=892, nogoods=374, foundSolutions=4, bestBound=5
4.04/2.46
4.04/2.46 num=44, depth=6..133, filters=10528, ccks=384, wck=0.243, mem=42M448
4.04/2.46 decisions=6040, wrong=1485, backtracks=1013, failedAssignments=947, nogoods=390, foundSolutions=4, bestBound=5
4.04/2.46
4.04/2.47 o 4
4.04/2.47 num=45, depth=9..320, filters=10808, ccks=480, wck=0.249, mem=42M448
4.04/2.47 decisions=6251, wrong=1524, backtracks=1030, failedAssignments=976, nogoods=411, foundSolutions=5, bestBound=4
4.04/2.47
4.04/2.47 num=46, depth=10..54, filters=11481, ccks=480, wck=0.255, mem=42M448
4.04/2.47 decisions=6526, wrong=1642, backtracks=1127, failedAssignments=1043, nogoods=424, foundSolutions=5, bestBound=4
4.04/2.47
4.04/2.48 num=47, depth=12..33, filters=11581, ccks=480, wck=0.256, mem=42M448
4.04/2.48 decisions=6580, wrong=1657, backtracks=1132, failedAssignments=1054, nogoods=434, foundSolutions=5, bestBound=4
4.04/2.48
4.04/2.48 num=48, depth=11..33, filters=11677, ccks=480, wck=0.257, mem=42M448
4.04/2.48 decisions=6633, wrong=1673, backtracks=1136, failedAssignments=1066, nogoods=446, foundSolutions=5, bestBound=4
4.04/2.48
4.04/2.48 num=49, depth=11..56, filters=11777, ccks=480, wck=0.259, mem=42M448
4.04/2.48 decisions=6707, wrong=1688, backtracks=1141, failedAssignments=1079, nogoods=457, foundSolutions=5, bestBound=4
4.04/2.48
4.04/2.48 num=50, depth=13..62, filters=11926, ccks=480, wck=0.26, mem=42M448
4.04/2.48 decisions=6809, wrong=1716, backtracks=1159, failedAssignments=1093, nogoods=466, foundSolutions=5, bestBound=4
4.04/2.48
4.04/2.48 num=51, depth=10..57, filters=12109, ccks=480, wck=0.262, mem=42M448
4.04/2.48 decisions=6909, wrong=1745, backtracks=1181, failedAssignments=1109, nogoods=474, foundSolutions=5, bestBound=4
4.04/2.48
4.04/2.48 num=52, depth=12..51, filters=12343, ccks=480, wck=0.264, mem=42M448
4.04/2.48 decisions=7014, wrong=1777, backtracks=1203, failedAssignments=1126, nogoods=484, foundSolutions=5, bestBound=4
4.04/2.48
4.04/2.49 num=53, depth=9..53, filters=12566, ccks=480, wck=0.266, mem=42M448
4.04/2.49 decisions=7144, wrong=1819, backtracks=1235, failedAssignments=1145, nogoods=491, foundSolutions=5, bestBound=4
4.04/2.49
4.04/2.49 num=54, depth=10..53, filters=12760, ccks=480, wck=0.268, mem=42M448
4.04/2.49 decisions=7248, wrong=1851, backtracks=1256, failedAssignments=1166, nogoods=502, foundSolutions=5, bestBound=4
4.04/2.49
4.04/2.49 num=55, depth=6..49, filters=13043, ccks=480, wck=0.27, mem=42M448
4.04/2.49 decisions=7375, wrong=1894, backtracks=1291, failedAssignments=1189, nogoods=511, foundSolutions=5, bestBound=4
4.04/2.49
4.04/2.49 num=56, depth=13..55, filters=13304, ccks=480, wck=0.273, mem=42M448
4.04/2.49 decisions=7517, wrong=1943, backtracks=1328, failedAssignments=1214, nogoods=520, foundSolutions=5, bestBound=4
4.04/2.49
4.04/2.50 num=57, depth=5..49, filters=13731, ccks=480, wck=0.276, mem=42M448
4.04/2.50 decisions=7655, wrong=1994, backtracks=1370, failedAssignments=1242, nogoods=525, foundSolutions=5, bestBound=4
4.04/2.50
4.35/2.50 num=58, depth=7..51, filters=14143, ccks=480, wck=0.28, mem=42M448
4.35/2.50 decisions=7857, wrong=2075, backtracks=1441, failedAssignments=1273, nogoods=532, foundSolutions=5, bestBound=4
4.35/2.50
4.35/2.50 num=59, depth=10..112, filters=14486, ccks=480, wck=0.283, mem=42M448
4.35/2.50 decisions=8054, wrong=2128, backtracks=1476, failedAssignments=1307, nogoods=546, foundSolutions=5, bestBound=4
4.35/2.50
4.35/2.51 num=60, depth=5..57, filters=15070, ccks=480, wck=0.287, mem=42M448
4.35/2.51 decisions=8270, wrong=2214, backtracks=1546, failedAssignments=1344, nogoods=557, foundSolutions=5, bestBound=4
4.35/2.51
4.35/2.51 num=61, depth=5..56, filters=15612, ccks=480, wck=0.291, mem=42M448
4.35/2.51 decisions=8485, wrong=2300, backtracks=1621, failedAssignments=1385, nogoods=569, foundSolutions=5, bestBound=4
4.35/2.51
4.35/2.52 num=62, depth=7..58, filters=16250, ccks=480, wck=0.295, mem=42M448
4.35/2.52 decisions=8665, wrong=2369, backtracks=1681, failedAssignments=1430, nogoods=580, foundSolutions=5, bestBound=4
4.35/2.52
4.35/2.52 num=63, depth=7..62, filters=16930, ccks=480, wck=0.3, mem=42M448
4.35/2.52 decisions=8887, wrong=2460, backtracks=1759, failedAssignments=1480, nogoods=590, foundSolutions=5, bestBound=4
4.35/2.52
4.35/2.53 num=64, depth=18..55, filters=17792, ccks=480, wck=0.305, mem=42M448
4.35/2.53 decisions=9188, wrong=2589, backtracks=1873, failedAssignments=1535, nogoods=599, foundSolutions=5, bestBound=4
4.35/2.53
4.35/2.53 num=65, depth=34..107, filters=18320, ccks=480, wck=0.31, mem=42M448
4.35/2.53 decisions=9480, wrong=2691, backtracks=1955, failedAssignments=1596, nogoods=618, foundSolutions=5, bestBound=4
4.35/2.53
4.35/2.54 num=66, depth=32..53, filters=19146, ccks=480, wck=0.315, mem=42M448
4.35/2.54 decisions=9760, wrong=2811, backtracks=2062, failedAssignments=1663, nogoods=628, foundSolutions=5, bestBound=4
4.35/2.54
4.35/2.54 num=67, depth=6..49, filters=20087, ccks=480, wck=0.322, mem=42M448
4.35/2.54 decisions=10181, wrong=3005, backtracks=2231, failedAssignments=1737, nogoods=637, foundSolutions=5, bestBound=4
4.35/2.54
4.35/2.55 num=68, depth=10..54, filters=21085, ccks=480, wck=0.328, mem=42M448
4.35/2.55 decisions=10556, wrong=3171, backtracks=2385, failedAssignments=1818, nogoods=646, foundSolutions=5, bestBound=4
4.35/2.55
4.35/2.56 num=69, depth=1..50, filters=22584, ccks=480, wck=0.337, mem=42M448
4.35/2.56 decisions=10984, wrong=3368, backtracks=2560, failedAssignments=1907, nogoods=652, foundSolutions=5, bestBound=4
4.35/2.56
4.35/2.56 num=70, depth=8..49, filters=23784, ccks=480, wck=0.344, mem=42M448
4.35/2.56 decisions=11473, wrong=3599, backtracks=2774, failedAssignments=2005, nogoods=657, foundSolutions=5, bestBound=4
4.35/2.56
4.35/2.57 num=71, depth=10..145, filters=25246, ccks=480, wck=0.354, mem=42M448
4.35/2.57 decisions=12135, wrong=3869, backtracks=3016, failedAssignments=2113, nogoods=671, foundSolutions=5, bestBound=4
4.35/2.57
4.35/2.58 num=72, depth=16..132, filters=26195, ccks=480, wck=0.361, mem=42M448
4.35/2.58 decisions=12665, wrong=4076, backtracks=3204, failedAssignments=2232, nogoods=687, foundSolutions=5, bestBound=4
4.35/2.58
4.66/2.60 num=73, depth=8..28, filters=30988, ccks=480, wck=0.382, mem=42M448
4.66/2.60 decisions=13481, wrong=4478, backtracks=3569, failedAssignments=2363, nogoods=689, foundSolutions=5, bestBound=4
4.66/2.60
4.66/2.61 num=74, depth=4..46, filters=33586, ccks=480, wck=0.394, mem=42M448
4.66/2.61 decisions=14137, wrong=4789, backtracks=3853, failedAssignments=2507, nogoods=696, foundSolutions=5, bestBound=4
4.66/2.61
4.66/2.63 num=75, depth=21..57, filters=36228, ccks=480, wck=0.407, mem=45M90
4.66/2.63 decisions=14819, wrong=5109, backtracks=4160, failedAssignments=2665, nogoods=705, foundSolutions=5, bestBound=4
4.66/2.63
4.66/2.64 num=76, depth=4..109, filters=37797, ccks=480, wck=0.415, mem=45M90
4.66/2.64 decisions=15712, wrong=5513, backtracks=4535, failedAssignments=2839, nogoods=720, foundSolutions=5, bestBound=4
4.66/2.64
4.66/2.65 num=77, depth=3..98, filters=40232, ccks=480, wck=0.428, mem=45M90
4.66/2.65 decisions=16746, wrong=5999, backtracks=4950, failedAssignments=3030, nogoods=734, foundSolutions=5, bestBound=4
4.66/2.65
4.66/2.66 num=78, depth=2..110, filters=41904, ccks=480, wck=0.437, mem=45M90
4.66/2.66 decisions=17798, wrong=6486, backtracks=5414, failedAssignments=3241, nogoods=751, foundSolutions=5, bestBound=4
4.66/2.66
4.66/2.67 num=79, depth=3..138, filters=43401, ccks=480, wck=0.446, mem=45M90
4.66/2.67 decisions=18698, wrong=6879, backtracks=5779, failedAssignments=3473, nogoods=769, foundSolutions=5, bestBound=4
4.66/2.67
4.66/2.68 num=80, depth=2..119, filters=45845, ccks=480, wck=0.459, mem=45M90
4.66/2.68 decisions=20150, wrong=7558, backtracks=6428, failedAssignments=3728, nogoods=787, foundSolutions=5, bestBound=4
4.66/2.68
4.66/2.70 num=81, depth=1..61, filters=49350, ccks=480, wck=0.475, mem=45M90
4.66/2.70 decisions=21432, wrong=8180, backtracks=7010, failedAssignments=4009, nogoods=797, foundSolutions=5, bestBound=4
4.66/2.70
4.88/2.71 num=82, depth=1..153, filters=51484, ccks=480, wck=0.488, mem=45M90
4.88/2.71 decisions=22619, wrong=8713, backtracks=7494, failedAssignments=4318, nogoods=824, foundSolutions=5, bestBound=4
4.88/2.71
4.88/2.72 num=83, depth=2..78, filters=54610, ccks=480, wck=0.504, mem=45M90
4.88/2.72 decisions=24286, wrong=9517, backtracks=8250, failedAssignments=4658, nogoods=835, foundSolutions=5, bestBound=4
4.88/2.72
4.88/2.74 num=84, depth=16..82, filters=57948, ccks=480, wck=0.521, mem=45M90
4.88/2.74 decisions=25822, wrong=10262, backtracks=8857, failedAssignments=5032, nogoods=848, foundSolutions=5, bestBound=4
4.88/2.74
4.88/2.76 num=85, depth=3..69, filters=62146, ccks=480, wck=0.54, mem=45M90
4.88/2.76 decisions=27501, wrong=11080, backtracks=9551, failedAssignments=5443, nogoods=859, foundSolutions=5, bestBound=4
4.88/2.76
4.88/2.79 num=86, depth=8..87, filters=67793, ccks=480, wck=0.567, mem=45M90
4.88/2.79 decisions=29758, wrong=12180, backtracks=10501, failedAssignments=5895, nogoods=881, foundSolutions=5, bestBound=4
4.88/2.79
4.98/2.81 num=87, depth=2..76, filters=73014, ccks=480, wck=0.591, mem=45M90
4.98/2.81 decisions=31909, wrong=13233, backtracks=11443, failedAssignments=6392, nogoods=899, foundSolutions=5, bestBound=4
4.98/2.81
4.98/2.85 num=88, depth=7..69, filters=81700, ccks=480, wck=0.628, mem=45M90
4.98/2.85 decisions=34188, wrong=14349, backtracks=12500, failedAssignments=6939, nogoods=907, foundSolutions=5, bestBound=4
4.98/2.85
4.98/2.87 num=89, depth=9..66, filters=87222, ccks=480, wck=0.654, mem=45M90
4.98/2.87 decisions=36720, wrong=15592, backtracks=13517, failedAssignments=7541, nogoods=919, foundSolutions=5, bestBound=4
4.98/2.87
5.08/2.90 num=90, depth=6..79, filters=92776, ccks=480, wck=0.681, mem=47M732
5.08/2.90 decisions=39368, wrong=16890, backtracks=14737, failedAssignments=8203, nogoods=936, foundSolutions=5, bestBound=4
5.08/2.90
5.08/2.93 num=91, depth=14..63, filters=99676, ccks=480, wck=0.714, mem=47M732
5.08/2.93 decisions=43629, wrong=18996, backtracks=16736, failedAssignments=8931, nogoods=944, foundSolutions=5, bestBound=4
5.08/2.93
5.08/2.97 num=92, depth=29..139, filters=106402, ccks=480, wck=0.745, mem=47M732
5.08/2.97 decisions=47208, wrong=20735, backtracks=18345, failedAssignments=9732, nogoods=966, foundSolutions=5, bestBound=4
5.08/2.97
5.08/2.97 o 3
5.08/2.98 num=93, depth=29..320, filters=107967, ccks=576, wck=0.755, mem=47M732
5.08/2.98 decisions=47701, wrong=20928, backtracks=18502, failedAssignments=9830, nogoods=990, foundSolutions=6, bestBound=3
5.08/2.98
5.19/3.03 num=94, depth=29..127, filters=117985, ccks=576, wck=0.805, mem=47M732
5.19/3.03 decisions=52673, wrong=23365, backtracks=20859, failedAssignments=10800, nogoods=1016, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.03 num=95, depth=27..52, filters=118121, ccks=576, wck=0.807, mem=47M732
5.19/3.03 decisions=52743, wrong=23379, backtracks=20862, failedAssignments=10811, nogoods=1026, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.03 num=96, depth=26..48, filters=118344, ccks=576, wck=0.808, mem=47M732
5.19/3.03 decisions=52851, wrong=23412, backtracks=20888, failedAssignments=10823, nogoods=1033, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.03 num=97, depth=27..43, filters=118518, ccks=576, wck=0.81, mem=47M732
5.19/3.03 decisions=52924, wrong=23432, backtracks=20901, failedAssignments=10836, nogoods=1039, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.03 num=98, depth=28..66, filters=118660, ccks=576, wck=0.811, mem=47M732
5.19/3.03 decisions=53019, wrong=23458, backtracks=20916, failedAssignments=10850, nogoods=1048, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.03 num=99, depth=28..52, filters=118918, ccks=576, wck=0.812, mem=47M732
5.19/3.03 decisions=53108, wrong=23483, backtracks=20934, failedAssignments=10866, nogoods=1054, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.03 num=100, depth=28..58, filters=119087, ccks=576, wck=0.814, mem=47M732
5.19/3.03 decisions=53200, wrong=23505, backtracks=20945, failedAssignments=10883, nogoods=1065, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.04 num=101, depth=29..50, filters=119283, ccks=576, wck=0.815, mem=47M732
5.19/3.04 decisions=53296, wrong=23533, backtracks=20967, failedAssignments=10902, nogoods=1071, foundSolutions=6, bestBound=3
5.19/3.04
5.19/3.04 num=102, depth=28..53, filters=119640, ccks=576, wck=0.817, mem=47M732
5.19/3.04 decisions=53425, wrong=23577, backtracks=21000, failedAssignments=10923, nogoods=1082, foundSolutions=6, bestBound=3
5.19/3.04
5.19/3.04 num=103, depth=28..64, filters=119948, ccks=576, wck=0.819, mem=47M732
5.19/3.04 decisions=53564, wrong=23622, backtracks=21027, failedAssignments=10946, nogoods=1097, foundSolutions=6, bestBound=3
5.19/3.04
5.19/3.04 num=104, depth=28..69, filters=120329, ccks=576, wck=0.822, mem=47M732
5.19/3.04 decisions=53717, wrong=23675, backtracks=21063, failedAssignments=10971, nogoods=1111, foundSolutions=6, bestBound=3
5.19/3.04
5.19/3.04 num=105, depth=26..70, filters=120822, ccks=576, wck=0.825, mem=47M732
5.19/3.04 decisions=53908, wrong=23750, backtracks=21122, failedAssignments=10999, nogoods=1122, foundSolutions=6, bestBound=3
5.19/3.04
5.19/3.05 num=106, depth=27..69, filters=121200, ccks=576, wck=0.827, mem=47M732
5.19/3.05 decisions=54070, wrong=23807, backtracks=21162, failedAssignments=11030, nogoods=1137, foundSolutions=6, bestBound=3
5.19/3.05
5.19/3.05 num=107, depth=27..67, filters=121735, ccks=576, wck=0.83, mem=47M732
5.19/3.05 decisions=54255, wrong=23874, backtracks=21207, failedAssignments=11064, nogoods=1154, foundSolutions=6, bestBound=3
5.19/3.05
5.19/3.05 num=108, depth=27..61, filters=122388, ccks=576, wck=0.834, mem=47M732
5.19/3.05 decisions=54482, wrong=23967, backtracks=21291, failedAssignments=11101, nogoods=1160, foundSolutions=6, bestBound=3
5.19/3.05
5.19/3.06 num=109, depth=26..76, filters=122951, ccks=576, wck=0.837, mem=47M732
5.19/3.06 decisions=54743, wrong=24070, backtracks=21376, failedAssignments=11142, nogoods=1174, foundSolutions=6, bestBound=3
5.19/3.06
5.19/3.06 num=110, depth=25..83, filters=123648, ccks=576, wck=0.841, mem=47M732
5.19/3.06 decisions=55007, wrong=24178, backtracks=21463, failedAssignments=11187, nogoods=1191, foundSolutions=6, bestBound=3
5.19/3.06
5.19/3.06 num=111, depth=25..84, filters=124116, ccks=576, wck=0.845, mem=47M732
5.19/3.06 decisions=55233, wrong=24263, backtracks=21520, failedAssignments=11237, nogoods=1216, foundSolutions=6, bestBound=3
5.19/3.06
5.19/3.07 num=112, depth=25..102, filters=124723, ccks=576, wck=0.849, mem=47M732
5.19/3.07 decisions=55558, wrong=24386, backtracks=21623, failedAssignments=11292, nogoods=1236, foundSolutions=6, bestBound=3
5.19/3.07
5.19/3.07 num=113, depth=25..105, filters=125572, ccks=576, wck=0.854, mem=47M732
5.19/3.07 decisions=55942, wrong=24536, backtracks=21747, failedAssignments=11353, nogoods=1256, foundSolutions=6, bestBound=3
5.19/3.07
5.19/3.08 num=114, depth=25..87, filters=126387, ccks=576, wck=0.858, mem=47M732
5.19/3.08 decisions=56301, wrong=24686, backtracks=21876, failedAssignments=11420, nogoods=1270, foundSolutions=6, bestBound=3
5.19/3.08
5.19/3.08 num=115, depth=23..97, filters=126927, ccks=576, wck=0.862, mem=47M732
5.19/3.08 decisions=56661, wrong=24826, backtracks=21996, failedAssignments=11494, nogoods=1284, foundSolutions=6, bestBound=3
5.19/3.08
5.19/3.09 num=116, depth=23..103, filters=127579, ccks=576, wck=0.866, mem=47M732
5.19/3.09 decisions=57066, wrong=24988, backtracks=22134, failedAssignments=11575, nogoods=1304, foundSolutions=6, bestBound=3
5.19/3.09
5.19/3.09 num=117, depth=23..111, filters=128266, ccks=576, wck=0.871, mem=47M732
5.19/3.09 decisions=57464, wrong=25144, backtracks=22262, failedAssignments=11664, nogoods=1327, foundSolutions=6, bestBound=3
5.19/3.09
5.19/3.10 num=118, depth=21..80, filters=129297, ccks=576, wck=0.877, mem=47M732
5.19/3.10 decisions=57981, wrong=25371, backtracks=22473, failedAssignments=11762, nogoods=1338, foundSolutions=6, bestBound=3
5.19/3.10
5.19/3.10 num=119, depth=19..110, filters=130174, ccks=576, wck=0.882, mem=47M732
5.19/3.10 decisions=58573, wrong=25628, backtracks=22705, failedAssignments=11870, nogoods=1362, foundSolutions=6, bestBound=3
5.19/3.10
5.30/3.11 num=120, depth=19..106, filters=131407, ccks=576, wck=0.889, mem=47M732
5.30/3.11 decisions=59268, wrong=25934, backtracks=22983, failedAssignments=11989, nogoods=1384, foundSolutions=6, bestBound=3
5.30/3.11
5.30/3.12 num=121, depth=3..93, filters=133193, ccks=576, wck=0.899, mem=50M375
5.30/3.12 decisions=59885, wrong=26219, backtracks=23247, failedAssignments=12120, nogoods=1395, foundSolutions=6, bestBound=3
5.30/3.12
5.30/3.13 num=122, depth=3..110, filters=134909, ccks=576, wck=0.908, mem=50M375
5.30/3.13 decisions=60706, wrong=26585, backtracks=23578, failedAssignments=12264, nogoods=1414, foundSolutions=6, bestBound=3
5.30/3.13
5.30/3.14 num=123, depth=3..85, filters=137288, ccks=576, wck=0.92, mem=50M375
5.30/3.14 decisions=61512, wrong=26963, backtracks=23924, failedAssignments=12422, nogoods=1432, foundSolutions=6, bestBound=3
5.30/3.14
5.30/3.15 num=124, depth=3..73, filters=139825, ccks=576, wck=0.933, mem=50M375
5.30/3.15 decisions=62206, wrong=27287, backtracks=24218, failedAssignments=12596, nogoods=1448, foundSolutions=6, bestBound=3
5.30/3.15
5.30/3.16 num=125, depth=3..109, filters=141816, ccks=576, wck=0.944, mem=50M375
5.30/3.16 decisions=63213, wrong=27750, backtracks=24626, failedAssignments=12787, nogoods=1473, foundSolutions=6, bestBound=3
5.30/3.16
5.30/3.17 num=126, depth=3..130, filters=143740, ccks=576, wck=0.954, mem=50M375
5.30/3.17 decisions=64148, wrong=28170, backtracks=25006, failedAssignments=12998, nogoods=1503, foundSolutions=6, bestBound=3
5.30/3.17
5.30/3.19 num=127, depth=3..127, filters=145676, ccks=576, wck=0.965, mem=50M375
5.30/3.19 decisions=65097, wrong=28596, backtracks=25388, failedAssignments=13230, nogoods=1531, foundSolutions=6, bestBound=3
5.30/3.19
5.30/3.20 num=128, depth=3..130, filters=147790, ccks=576, wck=0.976, mem=50M375
5.30/3.20 decisions=66173, wrong=29085, backtracks=25844, failedAssignments=13485, nogoods=1551, foundSolutions=6, bestBound=3
5.30/3.20
5.41/3.22 num=129, depth=3..63, filters=152918, ccks=576, wck=1.0, mem=50M375
5.41/3.22 decisions=67301, wrong=29627, backtracks=26346, failedAssignments=13766, nogoods=1563, foundSolutions=6, bestBound=3
5.41/3.22
5.41/3.24 num=130, depth=4..55, filters=156529, ccks=576, wck=1.018, mem=50M375
5.41/3.24 decisions=68358, wrong=30136, backtracks=26796, failedAssignments=14075, nogoods=1574, foundSolutions=6, bestBound=3
5.41/3.24
5.41/3.26 num=131, depth=4..50, filters=161057, ccks=576, wck=1.041, mem=50M375
5.41/3.26 decisions=69814, wrong=30848, backtracks=27459, failedAssignments=14415, nogoods=1583, foundSolutions=6, bestBound=3
5.41/3.26
5.41/3.28 num=132, depth=4..98, filters=164649, ccks=576, wck=1.06, mem=50M375
5.41/3.28 decisions=71803, wrong=31806, backtracks=28383, failedAssignments=14789, nogoods=1604, foundSolutions=6, bestBound=3
5.41/3.28
5.52/3.30 num=133, depth=3..84, filters=168184, ccks=576, wck=1.078, mem=50M375
5.52/3.30 decisions=73494, wrong=32623, backtracks=29002, failedAssignments=15200, nogoods=1625, foundSolutions=6, bestBound=3
5.52/3.30
5.52/3.33 num=134, depth=3..54, filters=174672, ccks=576, wck=1.108, mem=50M375
5.52/3.33 decisions=75256, wrong=33486, backtracks=29796, failedAssignments=15652, nogoods=1636, foundSolutions=6, bestBound=3
5.52/3.33
5.52/3.35 num=135, depth=5..87, filters=180511, ccks=576, wck=1.134, mem=50M375
5.52/3.35 decisions=77326, wrong=34505, backtracks=30643, failedAssignments=16149, nogoods=1647, foundSolutions=6, bestBound=3
5.52/3.35
5.52/3.38 num=136, depth=6..48, filters=186580, ccks=576, wck=1.162, mem=53M17
5.52/3.38 decisions=79496, wrong=35574, backtracks=31621, failedAssignments=16696, nogoods=1656, foundSolutions=6, bestBound=3
5.52/3.38
5.62/3.43 num=137, depth=25..59, filters=196016, ccks=576, wck=1.208, mem=53M17
5.62/3.43 decisions=81806, wrong=36713, backtracks=32577, failedAssignments=17298, nogoods=1668, foundSolutions=6, bestBound=3
5.62/3.43
5.62/3.49 num=138, depth=5..55, filters=209727, ccks=576, wck=1.271, mem=53M17
5.62/3.49 decisions=84333, wrong=37959, backtracks=33742, failedAssignments=17960, nogoods=1678, foundSolutions=6, bestBound=3
5.62/3.49
5.72/3.53 num=139, depth=3..57, filters=217890, ccks=576, wck=1.312, mem=53M17
5.72/3.53 decisions=87276, wrong=39410, backtracks=35054, failedAssignments=18688, nogoods=1686, foundSolutions=6, bestBound=3
5.72/3.53
5.72/3.58 num=140, depth=3..51, filters=228978, ccks=576, wck=1.364, mem=53M17
5.72/3.58 decisions=90348, wrong=40931, backtracks=36459, failedAssignments=19489, nogoods=1696, foundSolutions=6, bestBound=3
5.72/3.58
5.82/3.64 num=141, depth=4..79, filters=241779, ccks=576, wck=1.425, mem=53M17
5.82/3.64 decisions=95080, wrong=43272, backtracks=38533, failedAssignments=20370, nogoods=1711, foundSolutions=6, bestBound=3
5.82/3.64
5.92/3.70 num=142, depth=7..57, filters=255292, ccks=576, wck=1.484, mem=55M660
5.92/3.70 decisions=99092, wrong=45257, backtracks=40307, failedAssignments=21340, nogoods=1720, foundSolutions=6, bestBound=3
5.92/3.70
5.92/3.76 num=143, depth=4..69, filters=266113, ccks=576, wck=1.538, mem=55M660
5.92/3.76 decisions=103228, wrong=47301, backtracks=42172, failedAssignments=22407, nogoods=1732, foundSolutions=6, bestBound=3
5.92/3.76
6.02/3.83 num=144, depth=10..68, filters=281218, ccks=576, wck=1.61, mem=55M660
6.02/3.83 decisions=108666, wrong=49996, backtracks=44566, failedAssignments=23580, nogoods=1746, foundSolutions=6, bestBound=3
6.02/3.83
6.14/3.90 num=145, depth=14..111, filters=295076, ccks=576, wck=1.676, mem=55M660
6.14/3.90 decisions=114867, wrong=53051, backtracks=47398, failedAssignments=24871, nogoods=1769, foundSolutions=6, bestBound=3
6.14/3.90
6.14/3.96 num=146, depth=19..82, filters=308566, ccks=576, wck=1.743, mem=55M660
6.14/3.96 decisions=122049, wrong=56617, backtracks=50802, failedAssignments=26291, nogoods=1787, foundSolutions=6, bestBound=3
6.14/3.96
6.27/4.05 num=147, depth=9..129, filters=325320, ccks=576, wck=1.825, mem=58M302
6.27/4.05 decisions=129562, wrong=60328, backtracks=54054, failedAssignments=27853, nogoods=1809, foundSolutions=6, bestBound=3
6.27/4.05
6.38/4.13 num=148, depth=8..144, filters=342838, ccks=576, wck=1.911, mem=58M302
6.38/4.13 decisions=138287, wrong=64643, backtracks=58117, failedAssignments=29571, nogoods=1841, foundSolutions=6, bestBound=3
6.38/4.13
6.48/4.23 num=149, depth=5..62, filters=363850, ccks=576, wck=2.006, mem=58M302
6.48/4.23 decisions=147337, wrong=69152, backtracks=62483, failedAssignments=31461, nogoods=1854, foundSolutions=6, bestBound=3
6.48/4.23
6.69/4.42 num=150, depth=16..45, filters=408247, ccks=576, wck=2.199, mem=60M945
6.69/4.42 decisions=158323, wrong=74633, backtracks=67489, failedAssignments=33540, nogoods=1861, foundSolutions=6, bestBound=3
6.69/4.42
6.79/4.56 num=151, depth=4..40, filters=440471, ccks=576, wck=2.342, mem=60M945
6.79/4.56 decisions=166894, wrong=78907, backtracks=71364, failedAssignments=35827, nogoods=1869, foundSolutions=6, bestBound=3
6.79/4.56
6.99/4.70 num=152, depth=8..133, filters=471887, ccks=576, wck=2.479, mem=63M587
6.99/4.70 decisions=178241, wrong=84536, backtracks=76633, failedAssignments=38343, nogoods=1891, foundSolutions=6, bestBound=3
6.99/4.70
7.09/4.86 num=153, depth=6..100, filters=510091, ccks=576, wck=2.637, mem=63M587
7.09/4.86 decisions=190409, wrong=90588, backtracks=82100, failedAssignments=41111, nogoods=1910, foundSolutions=6, bestBound=3
7.09/4.86
7.30/5.03 num=154, depth=3..130, filters=545031, ccks=576, wck=2.805, mem=66M230
7.30/5.03 decisions=206168, wrong=98427, backtracks=89524, failedAssignments=44155, nogoods=1936, foundSolutions=6, bestBound=3
7.30/5.03
7.49/5.22 num=155, depth=8..109, filters=589238, ccks=576, wck=2.996, mem=66M230
7.49/5.22 decisions=223655, wrong=107134, backtracks=97933, failedAssignments=47504, nogoods=1966, foundSolutions=6, bestBound=3
7.49/5.22
7.61/5.33 num=156, depth=4..123, filters=611040, ccks=576, wck=3.108, mem=68M872
7.61/5.33 decisions=238727, wrong=114626, backtracks=105168, failedAssignments=51188, nogoods=1987, foundSolutions=6, bestBound=3
7.61/5.33
7.81/5.55 num=157, depth=2..108, filters=654852, ccks=576, wck=3.326, mem=68M872
7.81/5.55 decisions=261438, wrong=125949, backtracks=116183, failedAssignments=55240, nogoods=2004, foundSolutions=6, bestBound=3
7.81/5.55
8.01/5.76 num=158, depth=3..111, filters=702243, ccks=576, wck=3.542, mem=71M514
8.01/5.76 decisions=283109, wrong=136755, backtracks=126635, failedAssignments=59697, nogoods=2021, foundSolutions=6, bestBound=3
8.01/5.76
8.21/6.00 num=159, depth=4..139, filters=759934, ccks=576, wck=3.783, mem=74M157
8.21/6.00 decisions=306738, wrong=148524, backtracks=136141, failedAssignments=64600, nogoods=2051, foundSolutions=6, bestBound=3
8.21/6.00
8.51/6.27 num=160, depth=1..127, filters=817575, ccks=576, wck=4.051, mem=74M157
8.51/6.27 decisions=332612, wrong=161419, backtracks=148956, failedAssignments=69994, nogoods=2083, foundSolutions=6, bestBound=3
8.51/6.27
8.81/6.55 num=161, depth=6..144, filters=871513, ccks=576, wck=4.327, mem=76M799
8.81/6.55 decisions=360132, wrong=175127, backtracks=161920, failedAssignments=75927, nogoods=2110, foundSolutions=6, bestBound=3
8.81/6.55
9.11/6.85 num=162, depth=3..143, filters=929303, ccks=576, wck=4.627, mem=79M442
9.11/6.85 decisions=395366, wrong=192703, backtracks=179163, failedAssignments=82453, nogoods=2143, foundSolutions=6, bestBound=3
9.11/6.85
9.51/7.28 num=163, depth=9..100, filters=1024910, ccks=576, wck=5.062, mem=82M84
9.51/7.28 decisions=430021, wrong=209993, backtracks=195472, failedAssignments=89632, nogoods=2154, foundSolutions=6, bestBound=3
9.51/7.28
10.01/7.73 num=164, depth=6..103, filters=1120880, ccks=576, wck=5.505, mem=87M369
10.01/7.73 decisions=465105, wrong=227501, backtracks=211394, failedAssignments=97529, nogoods=2166, foundSolutions=6, bestBound=3
10.01/7.73
10.31/8.10 num=165, depth=6..120, filters=1194631, ccks=576, wck=5.875, mem=90M11
10.31/8.10 decisions=508575, wrong=249193, backtracks=232186, failedAssignments=106216, nogoods=2193, foundSolutions=6, bestBound=3
10.31/8.10
10.91/8.66 num=166, depth=11..140, filters=1302296, ccks=576, wck=6.439, mem=92M654
10.91/8.66 decisions=563878, wrong=276796, backtracks=259283, failedAssignments=115771, nogoods=2222, foundSolutions=6, bestBound=3
10.91/8.66
11.50/9.27 num=167, depth=7..96, filters=1436231, ccks=576, wck=7.047, mem=97M939
11.50/9.27 decisions=609200, wrong=299423, backtracks=279964, failedAssignments=126282, nogoods=2245, foundSolutions=6, bestBound=3
11.50/9.27
12.10/9.86 num=168, depth=7..115, filters=1558340, ccks=576, wck=7.64, mem=103M224
12.10/9.86 decisions=667941, wrong=328756, backtracks=307699, failedAssignments=137844, nogoods=2260, foundSolutions=6, bestBound=3
12.10/9.86
12.50/10.20 o 2
12.50/10.20 num=169, depth=25..320, filters=1627403, ccks=672, wck=7.982, mem=105M866
12.50/10.20 decisions=691973, wrong=340725, backtracks=318983, failedAssignments=142391, nogoods=2294, foundSolutions=7, bestBound=2
12.50/10.20
12.50/10.20 Global
12.50/10.20 filters=1627403, ccks=672, nogoods=2294
12.50/10.20 Stop=FULL_EXPLORATION, wrong=340725, bestBound=2, bestBoundWck=8.341, bestBoundCpu=10.154, foundSolutions=7, firstSolCpu=2.229
12.50/10.20 wck=8.343, cpu=10.156, mem=105M866
12.50/10.20
12.50/10.20 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.50/10.20 s OPTIMUM FOUND
12.50/10.20
12.50/10.20 d WRONG_DECISIONS 340725
12.50/10.20 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 (14221 MiB free)
memory of node 1: 16384 MiB (15431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390802-1568380567/watcher-4390802-1568380567 -o /tmp/evaluation-result-4390802-1568380567/solver-4390802-1568380567 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2530 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390802-1568380567.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2889, runsolver pid=2886
[startup+0.101377 s]*
/proc/loadavg: 1.09 0.32 0.15 8/228 2904
/proc/meminfo: memFree=30348952/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10659884 memory=29268 CPUtime=0.14 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 5780 0 0 0 13 1 0 0 20 0 15 0 413998638 10915721216 7317 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2664971 7317 2907 1 0 2627468 0
[pid=2889/tid=2891] ppid=2886 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) R 2886 2889 2499 0 -1 4202560 3369 0 0 0 9 0 0 0 20 0 15 0 413998638 10915721216 7449 33554432000 4194304 4196468 140726099076848 140110880878168 140110862332200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 7449 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 7449 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 7449 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 7449 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998640 10915721216 7449 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413998641 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110434784416 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413998641 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110433731312 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) R 2886 2889 2499 0 -1 4202560 556 0 0 0 1 0 0 0 20 0 15 0 413998643 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110431620760 140110854478493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0.02 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) R 2886 2889 2499 0 -1 4202560 668 0 0 0 2 0 0 0 20 0 15 0 413998643 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110429518472 140110855607593 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998644 10915721216 7515 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29268 KiB
[startup+0.211409 s]*
/proc/loadavg: 1.09 0.32 0.15 3/209 2913
/proc/meminfo: memFree=30667536/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10659884 memory=38364 CPUtime=0.32 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 8802 0 0 0 30 2 0 0 20 0 15 0 413998638 10915721216 9591 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2664971 9591 2980 1 0 2627468 0
[pid=2889/tid=2891] ppid=2886 vsize=10659884 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) R 2886 2889 2499 0 -1 4202560 5859 0 0 0 18 2 0 0 20 0 15 0 413998638 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110880883296 140110833264517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10659884 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10659884 memory=139954785653686 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998640 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413998641 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110434784416 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413998641 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110433731312 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) S 2886 2889 2499 0 -1 1077944384 710 0 0 0 3 0 0 0 20 0 15 0 413998643 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110431628016 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 15 0 413998643 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0.05 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) S 2886 2889 2499 0 -1 1077944384 736 0 0 0 5 0 0 0 20 0 15 0 413998643 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110429522416 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998644 10915721216 9591 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38364 KiB
[startup+0.30972 s]*
/proc/loadavg: 1.09 0.32 0.15 5/226 2934
/proc/meminfo: memFree=30654332/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10659884 memory=40920 CPUtime=0.47 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 8979 0 0 0 44 3 0 0 20 0 15 0 413998638 10915721216 10230 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2664971 10230 3019 1 0 2627468 0
[pid=2889/tid=2891] ppid=2886 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) R 2886 2889 2499 0 -1 4202560 5975 0 0 0 28 2 0 0 20 0 15 0 413998638 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110880884832 140110876673181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10659884 memory=301934113341551232 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10659884 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10659884 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998639 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10659884 memory=665110729153510121 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998640 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413998641 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110434784416 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413998641 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110433731312 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) S 2886 2889 2499 0 -1 1077944384 737 0 0 0 5 0 0 0 20 0 15 0 413998643 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110431628016 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 152 0 0 0 3 0 0 0 20 0 15 0 413998643 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0.07 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) R 2886 2889 2499 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 15 0 413998643 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110429522416 140110876672602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10659884 memory=139954782701184 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998644 10915721216 10230 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40920 KiB
[startup+0.700807 s]
/proc/loadavg: 1.09 0.32 0.15 6/226 2934
/proc/meminfo: memFree=30625764/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10661932 memory=61028 CPUtime=1.07 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 12314 0 0 0 103 4 0 0 20 0 15 0 413998638 10917818368 15257 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2665483 15257 3074 1 0 2627980 0
[pid=2889/tid=2891] ppid=2886 vsize=10661932 memory=3804 CPUtime=0.68 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) R 2886 2889 2499 0 -1 4202560 8515 0 0 0 65 3 0 0 20 0 15 0 413998638 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110880872592 140110860731742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10661932 memory=2616 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10661932 memory=2616 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10661932 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10661932 memory=7878030832041546859 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998639 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10661932 memory=5866335886792610159 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998640 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10661932 memory=7453288515408060760 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413998641 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110434784416 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10661932 memory=7229515728515262272 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413998641 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110433731312 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10661932 memory=7452160317777406567 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10661932 memory=-8918989755622569014 CPUtime=0.1 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) S 2886 2889 2499 0 -1 1077944384 979 0 0 0 10 0 0 0 20 0 15 0 413998643 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110431628016 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10661932 memory=7681905605394137875 CPUtime=0.08 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 15 0 413998643 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10661932 memory=6944656591801718942 CPUtime=0.19 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) S 2886 2889 2499 0 -1 1077944384 1126 0 0 0 19 0 0 0 20 0 15 0 413998643 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110429522416 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413998643 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10661932 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998644 10917818368 15257 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61028 KiB
[startup+1.50078 s]
/proc/loadavg: 1.09 0.32 0.15 3/227 2980
/proc/meminfo: memFree=30624728/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10663980 memory=75968 CPUtime=1.96 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 15494 0 0 0 191 5 0 0 20 0 15 0 413998638 10919915520 18992 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2665995 18992 3090 1 0 2628492 0
[pid=2889/tid=2891] ppid=2886 vsize=10663980 memory=2321 CPUtime=1.47 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) R 2886 2889 2499 0 -1 4202560 11101 0 0 0 144 3 0 0 20 0 15 0 413998638 10919915520 18992 33554432000 4194304 4196468 140726099076848 140110880883584 140110876673181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10919915520 18992 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10663980 memory=4638778398332703073 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10919915520 18992 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10663980 memory=5787213827046332526 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413998639 10919915520 18992 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10663980 memory=4638778398332764256 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413998639 10919915520 18992 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10663980 memory=5787213827046332524 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 413998640 10919915520 18992 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
################
# More data... #
################
[startup+8.00057 s]*
/proc/loadavg: 1.23 0.37 0.17 3/228 3062
/proc/meminfo: memFree=30470720/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10748324 memory=185416 CPUtime=10.31 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 27133 0 0 0 1019 12 0 0 20 0 16 0 413998638 11006283776 46354 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2687081 46354 3352 1 0 2647217 0
[pid=2889/tid=2891] ppid=2886 vsize=10748324 memory=8317482817917895235 CPUtime=1.86 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) S 2886 2889 2499 0 -1 1077944384 12785 0 0 0 182 4 0 0 20 0 16 0 413998638 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110880894128 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10748324 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 16 0 413998639 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10748324 memory=279909327702544 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10748324 memory=-5155626912087446868 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10748324 memory=7235694030634709093 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10748324 memory=7596553703937696357 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 16 0 413998640 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10748324 memory=279909327026152 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110434784480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10748324 memory=4548 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110433731328 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10748324 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) S 2886 2889 2499 0 -1 1077944384 2775 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110431628016 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10748324 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 2450 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10748324 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) S 2886 2889 2499 0 -1 1077944384 3013 0 0 0 55 0 0 0 20 0 16 0 413998643 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110429522416 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 16 0 413998644 11006283776 46354 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2981] ppid=2886 vsize=10748324 memory=6943526294502006880 CPUtime=6.06 cores=0,2,4,6
/proc/2889/task/2981/stat : 2981 (java) R 2886 2889 2499 0 -1 4202560 4366 0 0 0 604 2 0 0 20 0 16 0 413998827 11006283776 46354 33554432000 4194304 4196468 140726099076848 140109511732736 140110512537631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 10.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 185416 KiB
[startup+9.60057 s]
/proc/loadavg: 1.23 0.37 0.17 5/228 3062
/proc/meminfo: memFree=30435268/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10748324 memory=197748 CPUtime=11.9 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 27523 0 0 0 1178 12 0 0 20 0 16 0 413998638 11006283776 49437 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2687081 49437 3352 1 0 2647217 0
[pid=2889/tid=2891] ppid=2886 vsize=10748324 memory=179272 CPUtime=1.86 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) S 2886 2889 2499 0 -1 1077944384 12785 0 0 0 182 4 0 0 20 0 16 0 413998638 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110880894128 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10748324 memory=57409 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 16 0 413998639 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10748324 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10748324 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10748324 memory=14 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 413998640 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10748324 memory=14 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110434784480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10748324 memory=19 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110433731328 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10748324 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) S 2886 2889 2499 0 -1 1077944384 2775 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110431628016 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10748324 memory=55 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 2450 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10748324 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) S 2886 2889 2499 0 -1 1077944384 3125 0 0 0 55 0 0 0 20 0 16 0 413998643 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110429522416 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10748324 memory=416 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 16 0 413998644 11006283776 49437 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2981] ppid=2886 vsize=10748324 memory=17 CPUtime=7.66 cores=0,2,4,6
/proc/2889/task/2981/stat : 2981 (java) R 2886 2889 2499 0 -1 4202560 4636 0 0 0 763 3 0 0 20 0 16 0 413998827 11006283776 49437 33554432000 4194304 4196468 140726099076848 140109511732720 140110512537675 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 11.9 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 197748 KiB
[startup+10.0006 s]*
/proc/loadavg: 1.23 0.37 0.17 3/229 3063
/proc/meminfo: memFree=30364208/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10748324 memory=199796 CPUtime=12.31 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 28005 0 0 0 1219 12 0 0 20 0 16 0 413998638 11006283776 49949 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2687081 49949 3352 1 0 2647217 0
[pid=2889/tid=2891] ppid=2886 vsize=10748324 memory=7822038051842263955 CPUtime=1.86 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) S 2886 2889 2499 0 -1 1077944384 12785 0 0 0 182 4 0 0 20 0 16 0 413998638 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110880894128 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10748324 memory=-9181546050914066336 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 16 0 413998639 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10748324 memory=4044433117565191818 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10748324 memory=7091588763816061011 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10748324 memory=2321378147248910367 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10748324 memory=4121272401722587572 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 413998640 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10748324 memory=3474019375176233247 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110434784480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10748324 memory=7883924334592025708 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110433731328 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10748324 memory=7883924334592025708 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10748324 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) S 2886 2889 2499 0 -1 1077944384 2775 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110431628016 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10748324 memory=3760559776186249503 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 2450 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10748324 memory=4122121332124071863 CPUtime=0.55 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) S 2886 2889 2499 0 -1 1077944384 3125 0 0 0 55 0 0 0 20 0 16 0 413998643 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110429522416 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10748324 memory=3904937742977736751 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10748324 memory=3979409116623977393 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 16 0 413998644 11006283776 49949 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2981] ppid=2886 vsize=10748324 memory=3684000781611578399 CPUtime=8.06 cores=0,2,4,6
/proc/2889/task/2981/stat : 2981 (java) R 2886 2889 2499 0 -1 4202560 5099 0 0 0 803 3 0 0 20 0 16 0 413998827 11006283776 49949 33554432000 4194304 4196468 140726099076848 140109511732720 140110512875675 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 12.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 199796 KiB
[startup+10.2006 s]
/proc/loadavg: 1.23 0.37 0.17 3/229 3063
/proc/meminfo: memFree=30364208/32770624 swapFree=66945104/67108860
[pid=2889] ppid=2886 vsize=10748324 memory=201844 CPUtime=12.5 cores=0,2,4,6
/proc/2889/stat : 2889 (java) S 2886 2889 2499 0 -1 1077944320 28088 0 0 0 1238 12 0 0 20 0 16 0 413998638 11006283776 50461 33554432000 4194304 4196468 140726099076848 140726099059392 140110876651255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
/proc/2889/statm: 2687081 50461 3352 1 0 2647217 0
[pid=2889/tid=2891] ppid=2886 vsize=10748324 memory=317785472934084944 CPUtime=1.86 cores=0,2,4,6
/proc/2889/task/2891/stat : 2891 (java) S 2886 2889 2499 0 -1 1077944384 12785 0 0 0 182 4 0 0 20 0 16 0 413998638 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110880894128 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2892] ppid=2886 vsize=10748324 memory=15254852796156667 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2892/stat : 2892 (java) S 2886 2889 2499 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 16 0 413998639 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110829272080 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2893] ppid=2886 vsize=10748324 memory=4783210246327787616 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2893/stat : 2893 (java) S 2886 2889 2499 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110828219536 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2894] ppid=2886 vsize=10748324 memory=8475934422144292502 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2894/stat : 2894 (java) S 2886 2889 2499 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110827166480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2895] ppid=2886 vsize=10748324 memory=-7684191407570971757 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2895/stat : 2895 (java) S 2886 2889 2499 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 413998639 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110480464784 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2896] ppid=2886 vsize=10748324 memory=6645459911560372124 CPUtime=0.01 cores=0,2,4,6
/proc/2889/task/2896/stat : 2896 (java) S 2886 2889 2499 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 16 0 413998640 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110435838192 140110876662402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2897] ppid=2886 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2897/stat : 2897 (java) S 2886 2889 2499 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110434784480 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2898] ppid=2886 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2898/stat : 2898 (java) S 2886 2889 2499 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 413998641 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110433731328 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2899] ppid=2886 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2899/stat : 2899 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110432679888 140110876669851 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2900] ppid=2886 vsize=10748324 memory=6944656592455359580 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2900/stat : 2900 (java) S 2886 2889 2499 0 -1 1077944384 2775 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110431628016 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2901] ppid=2886 vsize=10748324 memory=-3621219749712857441 CPUtime=0.85 cores=0,2,4,6
/proc/2889/task/2901/stat : 2901 (java) S 2886 2889 2499 0 -1 1077944384 2450 0 0 0 85 0 0 0 20 0 16 0 413998643 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110430575472 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2902] ppid=2886 vsize=10748324 memory=7084820200048181347 CPUtime=0.55 cores=0,2,4,6
/proc/2889/task/2902/stat : 2902 (java) S 2886 2889 2499 0 -1 1077944384 3125 0 0 0 55 0 0 0 20 0 16 0 413998643 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110429522416 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2903] ppid=2886 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2903/stat : 2903 (java) S 2886 2889 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413998643 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110428470112 140110876661461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2904] ppid=2886 vsize=10748324 memory=3762113720102075056 CPUtime=0 cores=0,2,4,6
/proc/2889/task/2904/stat : 2904 (java) S 2886 2889 2499 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 16 0 413998644 11006283776 50461 33554432000 4194304 4196468 140726099076848 140110427417136 140110876662402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
[pid=2889/tid=2981] ppid=2886 vsize=10748324 memory=7014751519734649955 CPUtime=8.26 cores=0,2,4,6
/proc/2889/task/2981/stat : 2981 (java) R 2886 2889 2499 0 -1 4202560 5103 0 0 0 823 3 0 0 20 0 16 0 413998827 11006283776 50461 33554432000 4194304 4196468 140726099076848 140109511732720 140110512936539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36872192 140726099084299 140726099084402 140726099084402 140726099087311 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 201844 KiB
Child status: 0
Real time (s): 10.2292
CPU time (s): 12.542
CPU user time (s): 12.405
CPU system time (s): 0.136949
CPU usage (%): 122.609
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 201844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.405
system time used= 0.136949
maximum resident set size= 206340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29871
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= 2800
involuntary context switches= 83
# summary of solver processes directly reported to runsolver:
# pid: 2889
# total CPU time (s): 12.542
# total CPU user time (s): 12.405
# total CPU system time (s): 0.136949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077925 second user time and 0.15301 second system time
The end