2.42/1.86
2.42/1.86 AbsCon 2
2.42/1.88
2.95/2.02 Instance
2.95/2.02 name=instance-4391197-1568389333, framework=COP, bounds=-infty..+infty
2.95/2.02
2.95/2.02 Loading variables...
2.95/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bb229
2.95/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94e962
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc990b7
2.95/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f687f1
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fe6bf7
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1837fef2
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb34c14
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b5fec80
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@204830df
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3add516c
2.95/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fde2821
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680b66e0
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f05983
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d29cacd
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e6072d
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6a8e74
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4abbd387
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f200e65
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a13e74
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2a5215
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@343de13c
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18566d9d
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9157fd
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea4a09
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@228b327d
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fec19
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e98a86
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13001324
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@766c623c
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf38093
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce1142b
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a428262
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@585c4022
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57527361
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cdfc2d
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53b4a322
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51b3999f
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78105045
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21715b6f
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ffe2f64
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@520aabef
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb631d
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ee3b86
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a75d044
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794abe1e
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760809c1
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166f1e43
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0fa6fb
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511abdc3
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@659cafcd
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1778eb7b
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5c6ff0
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb2e6cf
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db325c7
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5864969
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae75294
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5987d24c
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41eed5a5
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8cb37
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0d0663
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef5d92c
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3a9b48
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@544f6658
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b1f47
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553b3553
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1fa8df
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d1959a
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b614a47
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e074187
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f88cfa0
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27e539db
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54535748
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ba72c2f
3.53/2.20
3.53/2.20
3.53/2.20 Domains
3.53/2.20 nTypes=8, nValues=7056, sizes=[2#189,5#63,7#126,10#63,17#63,19#63,20#63,21#63]
3.53/2.20 Variables
3.53/2.20 count=693, degrees=[3#83,4#610]
3.53/2.20 Objectives
3.53/2.20 way=min, type=SumSimpleLE
3.53/2.20 Constraints
3.53/2.20 count=137, nSpecific=137, arities=[11#63,20#62,63#12]
3.53/2.20 distribution=[LexicographicLe#62,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#63]
3.53/2.20 wck=0.368, cpu=2.169, mem=31M798
3.53/2.21 Solver SolverBacktrack being built...
3.53/2.21
3.53/2.24
3.53/2.24 Solver
3.53/2.24 guaranteedGAC=false
3.53/2.24 wck=0.404, cpu=2.203, mem=45M83
3.53/2.25
3.53/2.25 Preprocessing
3.53/2.25 filters=63, nACremovedValues=5103, nTotalRemovedValues=5103, inconcistency=false
3.53/2.25 wck=0.017, cpu=2.222, mem=45M83
3.53/2.25
3.53/2.28 num=0, depth=0..64, filters=531, wck=0.041, mem=45M83
3.53/2.28 decisions=75, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
3.53/2.28
3.82/2.32 num=1, depth=0..46, filters=2128, wck=0.082, mem=45M83
3.82/2.32 decisions=226, wrong=67, backtracks=46, failedAssignments=21, nogoods=18
3.82/2.32
3.82/2.33 num=2, depth=4..42, filters=2748, wck=0.094, mem=45M83
3.82/2.33 decisions=297, wrong=86, backtracks=59, failedAssignments=33, nogoods=22
3.82/2.33
3.82/2.34 num=3, depth=10..46, filters=3104, wck=0.101, mem=45M83
3.82/2.34 decisions=359, wrong=99, backtracks=59, failedAssignments=46, nogoods=35
3.82/2.34
3.82/2.35 num=4, depth=19..77, filters=3651, wck=0.11, mem=45M83
3.82/2.35 decisions=464, wrong=118, backtracks=67, failedAssignments=60, nogoods=42
3.82/2.35
3.82/2.36 num=5, depth=35..76, filters=4138, wck=0.119, mem=45M83
3.82/2.36 decisions=567, wrong=136, backtracks=72, failedAssignments=76, nogoods=55
3.82/2.36
3.82/2.37 num=6, depth=33..99, filters=5078, wck=0.134, mem=45M83
3.82/2.37 decisions=721, wrong=167, backtracks=86, failedAssignments=93, nogoods=68
3.82/2.37
3.82/2.38 num=7, depth=1..90, filters=5755, wck=0.145, mem=45M83
3.82/2.38 decisions=848, wrong=192, backtracks=94, failedAssignments=112, nogoods=85
3.82/2.38
4.13/2.40 num=8, depth=2..52, filters=7089, wck=0.161, mem=45M83
4.13/2.40 decisions=1014, wrong=258, backtracks=144, failedAssignments=133, nogoods=88
4.13/2.40
4.13/2.42 o 63
4.13/2.42 num=9, depth=34..692, filters=7861, ccks=137, wck=0.185, mem=45M83
4.13/2.42 decisions=1152, wrong=288, backtracks=157, failedAssignments=152, nogoods=100, foundSolutions=1, bestBound=63
4.13/2.42
4.13/2.43 num=10, depth=53..62, filters=8603, ccks=137, wck=0.195, mem=45M83
4.13/2.43 decisions=1285, wrong=328, backtracks=184, failedAssignments=177, nogoods=102, foundSolutions=1, bestBound=63
4.13/2.43
4.13/2.44 num=11, depth=28..42, filters=9088, ccks=137, wck=0.2, mem=45M83
4.13/2.44 decisions=1378, wrong=358, backtracks=207, failedAssignments=188, nogoods=105, foundSolutions=1, bestBound=63
4.13/2.44
4.13/2.44 num=12, depth=7..39, filters=9582, ccks=137, wck=0.205, mem=45M83
4.13/2.44 decisions=1457, wrong=382, backtracks=219, failedAssignments=200, nogoods=116, foundSolutions=1, bestBound=63
4.13/2.44
4.13/2.45 num=13, depth=6..33, filters=10006, ccks=137, wck=0.209, mem=45M83
4.13/2.45 decisions=1520, wrong=402, backtracks=230, failedAssignments=213, nogoods=123, foundSolutions=1, bestBound=63
4.13/2.45
4.13/2.45 num=14, depth=6..37, filters=10483, ccks=137, wck=0.214, mem=45M83
4.13/2.45 decisions=1604, wrong=429, backtracks=245, failedAssignments=227, nogoods=129, foundSolutions=1, bestBound=63
4.13/2.45
4.13/2.47 o 62
4.13/2.47 num=15, depth=7..692, filters=11110, ccks=274, wck=0.227, mem=45M83
4.13/2.47 decisions=1718, wrong=444, backtracks=247, failedAssignments=240, nogoods=141, foundSolutions=2, bestBound=62
4.13/2.47
4.13/2.48 o 61
4.13/2.48 num=16, depth=6..692, filters=11663, ccks=411, wck=0.243, mem=47M725
4.13/2.48 decisions=1821, wrong=458, backtracks=247, failedAssignments=254, nogoods=155, foundSolutions=3, bestBound=61
4.13/2.48
4.13/2.49 num=17, depth=6..73, filters=12169, ccks=411, wck=0.25, mem=47M725
4.13/2.49 decisions=1908, wrong=469, backtracks=247, failedAssignments=265, nogoods=166, foundSolutions=3, bestBound=61
4.13/2.49
4.13/2.49 num=18, depth=8..83, filters=12749, ccks=411, wck=0.257, mem=47M725
4.13/2.49 decisions=2006, wrong=481, backtracks=248, failedAssignments=276, nogoods=176, foundSolutions=3, bestBound=61
4.13/2.49
4.46/2.50 num=19, depth=4..75, filters=13248, ccks=411, wck=0.262, mem=47M725
4.46/2.50 decisions=2101, wrong=494, backtracks=250, failedAssignments=288, nogoods=186, foundSolutions=3, bestBound=61
4.46/2.50
4.46/2.51 num=20, depth=6..95, filters=13751, ccks=411, wck=0.269, mem=47M725
4.46/2.51 decisions=2217, wrong=509, backtracks=253, failedAssignments=301, nogoods=195, foundSolutions=3, bestBound=61
4.46/2.51
4.46/2.51 num=21, depth=7..97, filters=14260, ccks=411, wck=0.276, mem=47M725
4.46/2.51 decisions=2340, wrong=527, backtracks=258, failedAssignments=315, nogoods=208, foundSolutions=3, bestBound=61
4.46/2.51
4.46/2.52 o 53
4.46/2.52 num=22, depth=4..692, filters=14700, ccks=548, wck=0.288, mem=47M725
4.46/2.52 decisions=2435, wrong=538, backtracks=258, failedAssignments=326, nogoods=219, foundSolutions=4, bestBound=53
4.46/2.52
4.46/2.54 o 52
4.46/2.54 num=23, depth=4..692, filters=15318, ccks=685, wck=0.302, mem=47M725
4.46/2.54 decisions=2545, wrong=561, backtracks=269, failedAssignments=338, nogoods=225, foundSolutions=5, bestBound=52
4.46/2.54
4.46/2.54 num=24, depth=5..37, filters=15746, ccks=685, wck=0.308, mem=47M725
4.46/2.54 decisions=2599, wrong=573, backtracks=272, failedAssignments=349, nogoods=234, foundSolutions=5, bestBound=52
4.46/2.54
4.46/2.55 num=25, depth=5..41, filters=16373, ccks=685, wck=0.314, mem=47M725
4.46/2.55 decisions=2678, wrong=595, backtracks=286, failedAssignments=360, nogoods=239, foundSolutions=5, bestBound=52
4.46/2.55
4.46/2.56 num=26, depth=9..53, filters=16988, ccks=685, wck=0.32, mem=47M725
4.46/2.56 decisions=2770, wrong=619, backtracks=300, failedAssignments=372, nogoods=243, foundSolutions=5, bestBound=52
4.46/2.56
4.46/2.56 num=27, depth=9..67, filters=17674, ccks=685, wck=0.327, mem=47M725
4.46/2.56 decisions=2872, wrong=642, backtracks=314, failedAssignments=385, nogoods=251, foundSolutions=5, bestBound=52
4.46/2.56
4.46/2.57 num=28, depth=62..73, filters=18889, ccks=685, wck=0.336, mem=47M725
4.46/2.57 decisions=2998, wrong=670, backtracks=332, failedAssignments=399, nogoods=256, foundSolutions=5, bestBound=52
4.46/2.57
4.46/2.58 num=29, depth=36..47, filters=19713, ccks=685, wck=0.345, mem=47M725
4.46/2.58 decisions=3112, wrong=706, backtracks=354, failedAssignments=415, nogoods=259, foundSolutions=5, bestBound=52
4.46/2.58
4.46/2.59 num=30, depth=7..50, filters=20242, ccks=685, wck=0.353, mem=47M725
4.46/2.59 decisions=3202, wrong=731, backtracks=366, failedAssignments=432, nogoods=272, foundSolutions=5, bestBound=52
4.46/2.59
4.78/2.60 num=31, depth=13..59, filters=21321, ccks=685, wck=0.367, mem=47M725
4.78/2.60 decisions=3332, wrong=775, backtracks=396, failedAssignments=451, nogoods=280, foundSolutions=5, bestBound=52
4.78/2.60
4.78/2.61 num=32, depth=28..56, filters=22045, ccks=685, wck=0.374, mem=47M725
4.78/2.61 decisions=3464, wrong=816, backtracks=427, failedAssignments=472, nogoods=287, foundSolutions=5, bestBound=52
4.78/2.61
4.78/2.62 num=33, depth=13..35, filters=23004, ccks=685, wck=0.381, mem=47M725
4.78/2.62 decisions=3571, wrong=862, backtracks=460, failedAssignments=495, nogoods=289, foundSolutions=5, bestBound=52
4.78/2.62
4.78/2.62 num=34, depth=4..24, filters=24194, ccks=685, wck=0.388, mem=47M725
4.78/2.62 decisions=3719, wrong=929, backtracks=517, failedAssignments=520, nogoods=293, foundSolutions=5, bestBound=52
4.78/2.62
4.78/2.63 num=35, depth=4..53, filters=25286, ccks=685, wck=0.393, mem=47M725
4.78/2.63 decisions=3848, wrong=974, backtracks=535, failedAssignments=548, nogoods=310, foundSolutions=5, bestBound=52
4.78/2.63
4.78/2.64 num=36, depth=5..59, filters=26574, ccks=685, wck=0.4, mem=47M725
4.78/2.64 decisions=4011, wrong=1031, backtracks=569, failedAssignments=579, nogoods=322, foundSolutions=5, bestBound=52
4.78/2.64
4.78/2.65 o 51
4.78/2.65 num=37, depth=4..692, filters=27522, ccks=822, wck=0.409, mem=47M725
4.78/2.65 decisions=4141, wrong=1073, backtracks=590, failedAssignments=604, nogoods=340, foundSolutions=6, bestBound=51
4.78/2.65
4.78/2.66 num=38, depth=5..45, filters=28690, ccks=822, wck=0.418, mem=47M725
4.78/2.66 decisions=4286, wrong=1131, backtracks=631, failedAssignments=641, nogoods=353, foundSolutions=6, bestBound=51
4.78/2.66
4.78/2.66 num=39, depth=5..26, filters=29227, ccks=822, wck=0.422, mem=47M725
4.78/2.66 decisions=4340, wrong=1150, backtracks=641, failedAssignments=652, nogoods=359, foundSolutions=6, bestBound=51
4.78/2.66
4.78/2.66 num=40, depth=7..25, filters=29755, ccks=822, wck=0.425, mem=47M725
4.78/2.66 decisions=4397, wrong=1170, backtracks=652, failedAssignments=664, nogoods=367, foundSolutions=6, bestBound=51
4.78/2.66
4.78/2.66 num=41, depth=7..31, filters=30309, ccks=822, wck=0.428, mem=47M725
4.78/2.66 decisions=4460, wrong=1192, backtracks=666, failedAssignments=677, nogoods=374, foundSolutions=6, bestBound=51
4.78/2.66
4.78/2.67 num=42, depth=4..34, filters=30927, ccks=822, wck=0.433, mem=47M725
4.78/2.67 decisions=4528, wrong=1213, backtracks=679, failedAssignments=691, nogoods=380, foundSolutions=6, bestBound=51
4.78/2.67
4.78/2.67 num=43, depth=6..40, filters=31503, ccks=822, wck=0.437, mem=47M725
4.78/2.67 decisions=4619, wrong=1242, backtracks=699, failedAssignments=707, nogoods=386, foundSolutions=6, bestBound=51
4.78/2.67
4.78/2.68 num=44, depth=7..39, filters=32032, ccks=822, wck=0.44, mem=47M725
4.78/2.68 decisions=4695, wrong=1267, backtracks=709, failedAssignments=724, nogoods=401, foundSolutions=6, bestBound=51
4.78/2.68
4.78/2.68 num=45, depth=7..65, filters=32777, ccks=822, wck=0.445, mem=47M725
4.78/2.68 decisions=4802, wrong=1295, backtracks=721, failedAssignments=743, nogoods=417, foundSolutions=6, bestBound=51
4.78/2.68
4.78/2.69 num=46, depth=7..37, filters=33518, ccks=822, wck=0.45, mem=47M725
4.78/2.69 decisions=4896, wrong=1330, backtracks=745, failedAssignments=764, nogoods=424, foundSolutions=6, bestBound=51
4.78/2.69
4.78/2.69 num=47, depth=7..56, filters=34138, ccks=822, wck=0.455, mem=47M725
4.78/2.69 decisions=4989, wrong=1358, backtracks=758, failedAssignments=787, nogoods=439, foundSolutions=6, bestBound=51
4.78/2.69
4.78/2.70 num=48, depth=5..24, filters=34984, ccks=822, wck=0.459, mem=47M725
4.78/2.70 decisions=5104, wrong=1409, backtracks=795, failedAssignments=812, nogoods=444, foundSolutions=6, bestBound=51
4.78/2.70
5.09/2.70 num=49, depth=3..53, filters=36548, ccks=822, wck=0.467, mem=47M725
5.09/2.70 decisions=5255, wrong=1471, backtracks=837, failedAssignments=840, nogoods=450, foundSolutions=6, bestBound=51
5.09/2.70
5.09/2.71 num=50, depth=5..31, filters=37434, ccks=822, wck=0.471, mem=47M725
5.09/2.71 decisions=5368, wrong=1517, backtracks=864, failedAssignments=871, nogoods=459, foundSolutions=6, bestBound=51
5.09/2.71
5.09/2.72 num=51, depth=8..63, filters=39364, ccks=822, wck=0.48, mem=47M725
5.09/2.72 decisions=5540, wrong=1582, backtracks=906, failedAssignments=905, nogoods=474, foundSolutions=6, bestBound=51
5.09/2.72
5.09/2.72 num=52, depth=9..50, filters=40418, ccks=822, wck=0.486, mem=47M725
5.09/2.72 decisions=5713, wrong=1648, backtracks=949, failedAssignments=942, nogoods=484, foundSolutions=6, bestBound=51
5.09/2.72
5.09/2.73 num=53, depth=25..51, filters=42613, ccks=822, wck=0.495, mem=47M725
5.09/2.73 decisions=5942, wrong=1749, backtracks=1022, failedAssignments=983, nogoods=490, foundSolutions=6, bestBound=51
5.09/2.73
5.09/2.75 o 50
5.09/2.75 num=54, depth=13..692, filters=45044, ccks=959, wck=0.51, mem=50M368
5.09/2.75 decisions=6186, wrong=1840, backtracks=1089, failedAssignments=1027, nogoods=503, foundSolutions=7, bestBound=50
5.09/2.75
5.09/2.75 num=55, depth=30..76, filters=46341, ccks=959, wck=0.517, mem=50M368
5.09/2.75 decisions=6393, wrong=1913, backtracks=1133, failedAssignments=1077, nogoods=521, foundSolutions=7, bestBound=50
5.09/2.75
5.09/2.76 num=56, depth=34..51, filters=47029, ccks=959, wck=0.52, mem=50M368
5.09/2.76 decisions=6472, wrong=1931, backtracks=1145, failedAssignments=1088, nogoods=526, foundSolutions=7, bestBound=50
5.09/2.76
5.09/2.76 num=57, depth=19..46, filters=47378, ccks=959, wck=0.522, mem=50M368
5.09/2.76 decisions=6531, wrong=1943, backtracks=1145, failedAssignments=1100, nogoods=538, foundSolutions=7, bestBound=50
5.09/2.76
5.09/2.76 num=58, depth=36..51, filters=48055, ccks=959, wck=0.525, mem=50M368
5.09/2.76 decisions=6610, wrong=1960, backtracks=1155, failedAssignments=1113, nogoods=544, foundSolutions=7, bestBound=50
5.09/2.76
5.09/2.77 o 48
5.09/2.77 num=59, depth=16..692, filters=48580, ccks=1096, wck=0.53, mem=50M368
5.09/2.77 decisions=6684, wrong=1978, backtracks=1167, failedAssignments=1125, nogoods=550, foundSolutions=8, bestBound=48
5.09/2.77
5.09/2.77 num=60, depth=15..35, filters=49278, ccks=1096, wck=0.534, mem=50M368
5.09/2.77 decisions=6757, wrong=2005, backtracks=1179, failedAssignments=1141, nogoods=561, foundSolutions=8, bestBound=48
5.09/2.77
5.09/2.77 num=61, depth=9..48, filters=49927, ccks=1096, wck=0.538, mem=50M368
5.09/2.77 decisions=6828, wrong=2021, backtracks=1188, failedAssignments=1152, nogoods=566, foundSolutions=8, bestBound=48
5.09/2.77
5.09/2.78 num=62, depth=9..36, filters=50431, ccks=1096, wck=0.54, mem=50M368
5.09/2.78 decisions=6887, wrong=2038, backtracks=1198, failedAssignments=1164, nogoods=570, foundSolutions=8, bestBound=48
5.09/2.78
5.09/2.78 num=63, depth=9..51, filters=51023, ccks=1096, wck=0.543, mem=50M368
5.09/2.78 decisions=6963, wrong=2056, backtracks=1204, failedAssignments=1177, nogoods=578, foundSolutions=8, bestBound=48
5.09/2.78
5.09/2.78 num=64, depth=9..58, filters=51549, ccks=1096, wck=0.546, mem=50M368
5.09/2.78 decisions=7052, wrong=2077, backtracks=1215, failedAssignments=1191, nogoods=586, foundSolutions=8, bestBound=48
5.09/2.78
5.09/2.79 num=65, depth=10..40, filters=52191, ccks=1096, wck=0.549, mem=50M368
5.09/2.79 decisions=7137, wrong=2105, backtracks=1233, failedAssignments=1207, nogoods=590, foundSolutions=8, bestBound=48
5.09/2.79
5.09/2.79 num=66, depth=10..23, filters=52812, ccks=1096, wck=0.552, mem=50M368
5.09/2.79 decisions=7205, wrong=2131, backtracks=1250, failedAssignments=1224, nogoods=599, foundSolutions=8, bestBound=48
5.09/2.79
5.09/2.79 num=67, depth=8..23, filters=53527, ccks=1096, wck=0.555, mem=50M368
5.09/2.79 decisions=7283, wrong=2163, backtracks=1269, failedAssignments=1243, nogoods=605, foundSolutions=8, bestBound=48
5.09/2.79
5.37/2.80 num=68, depth=9..55, filters=54992, ccks=1096, wck=0.56, mem=50M368
5.37/2.80 decisions=7421, wrong=2221, backtracks=1313, failedAssignments=1264, nogoods=608, foundSolutions=8, bestBound=48
5.37/2.80
5.37/2.80 num=69, depth=4..50, filters=55722, ccks=1096, wck=0.565, mem=50M368
5.37/2.80 decisions=7514, wrong=2251, backtracks=1331, failedAssignments=1287, nogoods=617, foundSolutions=8, bestBound=48
5.37/2.80
5.37/2.80 num=70, depth=5..33, filters=56477, ccks=1096, wck=0.568, mem=50M368
5.37/2.80 decisions=7593, wrong=2282, backtracks=1348, failedAssignments=1312, nogoods=631, foundSolutions=8, bestBound=48
5.37/2.80
5.37/2.81 num=71, depth=2..28, filters=57957, ccks=1096, wck=0.575, mem=50M368
5.37/2.81 decisions=7708, wrong=2331, backtracks=1383, failedAssignments=1340, nogoods=640, foundSolutions=8, bestBound=48
5.37/2.81
5.37/2.81 num=72, depth=4..27, filters=58872, ccks=1096, wck=0.578, mem=50M368
5.37/2.81 decisions=7836, wrong=2385, backtracks=1419, failedAssignments=1371, nogoods=650, foundSolutions=8, bestBound=48
5.37/2.81
5.37/2.82 num=73, depth=6..25, filters=60178, ccks=1096, wck=0.584, mem=50M368
5.37/2.82 decisions=7961, wrong=2441, backtracks=1464, failedAssignments=1405, nogoods=654, foundSolutions=8, bestBound=48
5.37/2.82
5.37/2.83 num=74, depth=7..57, filters=61151, ccks=1096, wck=0.589, mem=50M368
5.37/2.83 decisions=8123, wrong=2500, backtracks=1498, failedAssignments=1442, nogoods=665, foundSolutions=8, bestBound=48
5.37/2.83
5.37/2.83 num=75, depth=12..75, filters=63462, ccks=1096, wck=0.597, mem=50M368
5.37/2.83 decisions=8340, wrong=2588, backtracks=1565, failedAssignments=1483, nogoods=671, foundSolutions=8, bestBound=48
5.37/2.83
5.37/2.84 num=76, depth=13..58, filters=65647, ccks=1096, wck=0.605, mem=50M368
5.37/2.84 decisions=8568, wrong=2684, backtracks=1630, failedAssignments=1528, nogoods=678, foundSolutions=8, bestBound=48
5.37/2.84
5.37/2.85 num=77, depth=5..33, filters=68662, ccks=1096, wck=0.617, mem=50M368
5.37/2.85 decisions=8797, wrong=2791, backtracks=1711, failedAssignments=1578, nogoods=683, foundSolutions=8, bestBound=48
5.37/2.85
5.37/2.86 num=78, depth=4..39, filters=71405, ccks=1096, wck=0.628, mem=50M368
5.37/2.86 decisions=9099, wrong=2931, backtracks=1817, failedAssignments=1633, nogoods=686, foundSolutions=8, bestBound=48
5.37/2.86
5.37/2.88 num=79, depth=1..30, filters=74706, ccks=1096, wck=0.641, mem=50M368
5.37/2.88 decisions=9388, wrong=3071, backtracks=1926, failedAssignments=1694, nogoods=694, foundSolutions=8, bestBound=48
5.37/2.88
5.37/2.89 num=80, depth=1..58, filters=79014, ccks=1096, wck=0.658, mem=50M368
5.37/2.89 decisions=9744, wrong=3233, backtracks=2053, failedAssignments=1761, nogoods=701, foundSolutions=8, bestBound=48
5.37/2.89
5.49/2.91 num=81, depth=1..52, filters=81944, ccks=1096, wck=0.669, mem=50M368
5.49/2.91 decisions=10116, wrong=3398, backtracks=2176, failedAssignments=1835, nogoods=710, foundSolutions=8, bestBound=48
5.49/2.91
5.49/2.92 num=82, depth=1..62, filters=85268, ccks=1096, wck=0.681, mem=50M368
5.49/2.92 decisions=10522, wrong=3591, backtracks=2326, failedAssignments=1916, nogoods=721, foundSolutions=8, bestBound=48
5.49/2.92
5.49/2.93 num=83, depth=5..60, filters=88159, ccks=1096, wck=0.694, mem=50M368
5.49/2.93 decisions=10875, wrong=3747, backtracks=2442, failedAssignments=2005, nogoods=731, foundSolutions=8, bestBound=48
5.49/2.93
5.49/2.95 num=84, depth=10..75, filters=91551, ccks=1096, wck=0.709, mem=50M368
5.49/2.95 decisions=11322, wrong=3942, backtracks=2585, failedAssignments=2103, nogoods=742, foundSolutions=8, bestBound=48
5.49/2.95
5.49/2.95 num=85, depth=16..41, filters=93741, ccks=1096, wck=0.718, mem=50M368
5.49/2.95 decisions=11683, wrong=4107, backtracks=2703, failedAssignments=2211, nogoods=754, foundSolutions=8, bestBound=48
5.49/2.95
5.49/2.97 num=86, depth=35..62, filters=98062, ccks=1096, wck=0.735, mem=50M368
5.49/2.97 decisions=12379, wrong=4433, backtracks=2964, failedAssignments=2330, nogoods=759, foundSolutions=8, bestBound=48
5.49/2.97
5.49/2.99 num=87, depth=45..62, filters=102230, ccks=1096, wck=0.75, mem=50M368
5.49/2.99 decisions=12982, wrong=4709, backtracks=3180, failedAssignments=2461, nogoods=769, foundSolutions=8, bestBound=48
5.49/2.99
5.61/3.01 num=88, depth=27..66, filters=110097, ccks=1096, wck=0.776, mem=50M368
5.61/3.01 decisions=13641, wrong=5025, backtracks=3397, failedAssignments=2605, nogoods=771, foundSolutions=8, bestBound=48
5.61/3.01
5.61/3.04 num=89, depth=8..44, filters=117040, ccks=1096, wck=0.802, mem=50M368
5.61/3.04 decisions=14490, wrong=5436, backtracks=3727, failedAssignments=2763, nogoods=776, foundSolutions=8, bestBound=48
5.61/3.04
5.61/3.06 num=90, depth=15..48, filters=122951, ccks=1096, wck=0.824, mem=50M368
5.61/3.06 decisions=15245, wrong=5801, backtracks=4026, failedAssignments=2937, nogoods=785, foundSolutions=8, bestBound=48
5.61/3.06
5.61/3.08 num=91, depth=4..49, filters=129051, ccks=1096, wck=0.845, mem=50M368
5.61/3.08 decisions=16004, wrong=6167, backtracks=4312, failedAssignments=3128, nogoods=792, foundSolutions=8, bestBound=48
5.61/3.08
5.72/3.11 num=92, depth=8..35, filters=137133, ccks=1096, wck=0.877, mem=50M368
5.72/3.11 decisions=16846, wrong=6580, backtracks=4651, failedAssignments=3339, nogoods=801, foundSolutions=8, bestBound=48
5.72/3.11
5.72/3.15 num=93, depth=0..36, filters=146693, ccks=1096, wck=0.912, mem=50M368
5.72/3.15 decisions=17937, wrong=7117, backtracks=5048, failedAssignments=3571, nogoods=802, foundSolutions=8, bestBound=48
5.72/3.15
5.86/3.20 num=94, depth=0..43, filters=160146, ccks=1096, wck=0.962, mem=50M368
5.86/3.20 decisions=19500, wrong=7891, backtracks=5692, failedAssignments=3826, nogoods=810, foundSolutions=8, bestBound=48
5.86/3.20
5.86/3.23 num=95, depth=8..36, filters=168365, ccks=1096, wck=0.99, mem=50M368
5.86/3.23 decisions=20575, wrong=8422, backtracks=6118, failedAssignments=4107, nogoods=813, foundSolutions=8, bestBound=48
5.86/3.23
5.86/3.26 num=96, depth=9..38, filters=179921, ccks=1096, wck=1.027, mem=50M368
5.86/3.26 decisions=22040, wrong=9145, backtracks=6722, failedAssignments=4416, nogoods=822, foundSolutions=8, bestBound=48
5.86/3.26
5.86/3.29 num=97, depth=12..44, filters=187731, ccks=1096, wck=1.053, mem=50M368
5.86/3.29 decisions=23377, wrong=9801, backtracks=7289, failedAssignments=4756, nogoods=826, foundSolutions=8, bestBound=48
5.86/3.29
5.98/3.33 num=98, depth=9..46, filters=198867, ccks=1096, wck=1.092, mem=50M368
5.98/3.33 decisions=25024, wrong=10615, backtracks=7944, failedAssignments=5130, nogoods=836, foundSolutions=8, bestBound=48
5.98/3.33
5.98/3.36 num=99, depth=15..40, filters=208618, ccks=1096, wck=1.123, mem=50M368
5.98/3.36 decisions=26558, wrong=11372, backtracks=8615, failedAssignments=5541, nogoods=844, foundSolutions=8, bestBound=48
5.98/3.36
6.08/3.40 num=100, depth=4..43, filters=221211, ccks=1096, wck=1.166, mem=50M368
6.08/3.40 decisions=28235, wrong=12202, backtracks=9341, failedAssignments=5993, nogoods=855, foundSolutions=8, bestBound=48
6.08/3.40
6.08/3.47 num=101, depth=2..45, filters=241076, ccks=1096, wck=1.235, mem=50M368
6.08/3.47 decisions=30453, wrong=13307, backtracks=10280, failedAssignments=6490, nogoods=863, foundSolutions=8, bestBound=48
6.08/3.47
6.20/3.53 num=102, depth=4..46, filters=256002, ccks=1096, wck=1.29, mem=50M368
6.20/3.53 decisions=33090, wrong=14610, backtracks=11401, failedAssignments=7037, nogoods=872, foundSolutions=8, bestBound=48
6.20/3.53
6.20/3.57 num=103, depth=7..38, filters=272636, ccks=1096, wck=1.336, mem=50M368
6.20/3.57 decisions=35385, wrong=15749, backtracks=12306, failedAssignments=7639, nogoods=882, foundSolutions=8, bestBound=48
6.20/3.57
6.30/3.65 num=104, depth=17..46, filters=293297, ccks=1096, wck=1.413, mem=50M368
6.30/3.65 decisions=38675, wrong=17383, backtracks=13705, failedAssignments=8301, nogoods=889, foundSolutions=8, bestBound=48
6.30/3.65
6.40/3.72 num=105, depth=18..56, filters=314488, ccks=1096, wck=1.486, mem=53M10
6.40/3.72 decisions=41719, wrong=18896, backtracks=14870, failedAssignments=9029, nogoods=892, foundSolutions=8, bestBound=48
6.40/3.72
6.50/3.83 num=106, depth=21..59, filters=344309, ccks=1096, wck=1.59, mem=53M10
6.50/3.83 decisions=45368, wrong=20706, backtracks=16288, failedAssignments=9830, nogoods=901, foundSolutions=8, bestBound=48
6.50/3.83
6.61/3.91 num=107, depth=0..41, filters=371348, ccks=1096, wck=1.678, mem=53M10
6.61/3.91 decisions=48867, wrong=22446, backtracks=17696, failedAssignments=10711, nogoods=907, foundSolutions=8, bestBound=48
6.61/3.91
6.72/4.05 num=108, depth=4..51, filters=409129, ccks=1096, wck=1.809, mem=53M10
6.72/4.05 decisions=53047, wrong=24526, backtracks=19382, failedAssignments=11681, nogoods=916, foundSolutions=8, bestBound=48
6.72/4.05
6.82/4.17 num=109, depth=0..51, filters=439208, ccks=1096, wck=1.934, mem=53M10
6.82/4.17 decisions=58110, wrong=27040, backtracks=21447, failedAssignments=12748, nogoods=922, foundSolutions=8, bestBound=48
6.82/4.17
6.91/4.27 num=110, depth=5..42, filters=466949, ccks=1096, wck=2.032, mem=53M10
6.91/4.27 decisions=62560, wrong=29255, backtracks=23354, failedAssignments=13921, nogoods=930, foundSolutions=8, bestBound=48
6.91/4.27
7.12/4.43 num=111, depth=6..76, filters=513169, ccks=1096, wck=2.195, mem=53M10
7.12/4.43 decisions=70567, wrong=33251, backtracks=26978, failedAssignments=15212, nogoods=949, foundSolutions=8, bestBound=48
7.12/4.43
7.22/4.56 num=112, depth=0..62, filters=547089, ccks=1096, wck=2.327, mem=53M10
7.22/4.56 decisions=75742, wrong=35830, backtracks=29289, failedAssignments=16632, nogoods=959, foundSolutions=8, bestBound=48
7.22/4.56
7.42/4.72 num=113, depth=0..51, filters=590246, ccks=1096, wck=2.485, mem=53M10
7.42/4.72 decisions=82099, wrong=38996, backtracks=31970, failedAssignments=18194, nogoods=967, foundSolutions=8, bestBound=48
7.42/4.72
7.62/4.93 num=114, depth=5..49, filters=648744, ccks=1096, wck=2.691, mem=53M10
7.62/4.93 decisions=90102, wrong=42991, backtracks=35458, failedAssignments=19912, nogoods=979, foundSolutions=8, bestBound=48
7.62/4.93
7.84/5.14 num=115, depth=8..60, filters=710860, ccks=1096, wck=2.907, mem=53M10
7.84/5.14 decisions=98575, wrong=47219, backtracks=39036, failedAssignments=21802, nogoods=990, foundSolutions=8, bestBound=48
7.84/5.14
8.05/5.38 num=116, depth=8..52, filters=768361, ccks=1096, wck=3.141, mem=53M10
8.05/5.38 decisions=108184, wrong=52012, backtracks=43105, failedAssignments=23881, nogoods=998, foundSolutions=8, bestBound=48
8.05/5.38
8.35/5.64 num=117, depth=2..36, filters=838502, ccks=1096, wck=3.403, mem=55M653
8.35/5.64 decisions=117581, wrong=56704, backtracks=47181, failedAssignments=26168, nogoods=1006, foundSolutions=8, bestBound=48
8.35/5.64
8.65/5.90 num=118, depth=0..53, filters=918050, ccks=1096, wck=3.662, mem=55M653
8.65/5.90 decisions=130353, wrong=63084, backtracks=52878, failedAssignments=28684, nogoods=1012, foundSolutions=8, bestBound=48
8.65/5.90
8.95/6.23 num=119, depth=7..62, filters=1007458, ccks=1096, wck=3.995, mem=55M653
8.95/6.23 decisions=142612, wrong=69201, backtracks=58084, failedAssignments=31452, nogoods=1018, foundSolutions=8, bestBound=48
8.95/6.23
9.36/6.60 num=120, depth=7..58, filters=1106734, ccks=1096, wck=4.362, mem=55M653
9.36/6.60 decisions=157241, wrong=76507, backtracks=64421, failedAssignments=34496, nogoods=1027, foundSolutions=8, bestBound=48
9.36/6.60
9.77/7.06 num=121, depth=3..60, filters=1234530, ccks=1096, wck=4.824, mem=55M653
9.77/7.06 decisions=173390, wrong=84571, backtracks=71388, failedAssignments=37845, nogoods=1037, foundSolutions=8, bestBound=48
9.77/7.06
10.06/7.39 num=122, depth=8..52, filters=1329628, ccks=1096, wck=5.152, mem=55M653
10.06/7.39 decisions=189057, wrong=92394, backtracks=78274, failedAssignments=41529, nogoods=1048, foundSolutions=8, bestBound=48
10.06/7.39
10.56/7.86 num=123, depth=4..42, filters=1453378, ccks=1096, wck=5.623, mem=58M295
10.56/7.86 decisions=205950, wrong=100835, backtracks=85204, failedAssignments=45581, nogoods=1055, foundSolutions=8, bestBound=48
10.56/7.86
10.96/8.22 num=124, depth=8..37, filters=1566801, ccks=1096, wck=5.985, mem=58M295
10.96/8.22 decisions=224943, wrong=110322, backtracks=93616, failedAssignments=50038, nogoods=1069, foundSolutions=8, bestBound=48
10.96/8.22
11.46/8.78 num=125, depth=3..42, filters=1717145, ccks=1096, wck=6.541, mem=58M295
11.46/8.78 decisions=246346, wrong=121015, backtracks=102904, failedAssignments=54941, nogoods=1085, foundSolutions=8, bestBound=48
11.46/8.78
12.06/9.34 num=126, depth=6..50, filters=1874311, ccks=1096, wck=7.099, mem=58M295
12.06/9.34 decisions=270821, wrong=133247, backtracks=113488, failedAssignments=60335, nogoods=1091, foundSolutions=8, bestBound=48
12.06/9.34
12.67/9.97 num=127, depth=7..47, filters=2046183, ccks=1096, wck=7.735, mem=60M938
12.67/9.97 decisions=297793, wrong=146722, backtracks=125354, failedAssignments=66268, nogoods=1102, foundSolutions=8, bestBound=48
12.67/9.97
13.58/10.87 num=128, depth=0..43, filters=2282176, ccks=1096, wck=8.629, mem=60M938
13.58/10.87 decisions=326826, wrong=161228, backtracks=137887, failedAssignments=72794, nogoods=1115, foundSolutions=8, bestBound=48
13.58/10.87
14.28/11.53 num=129, depth=0..52, filters=2471145, ccks=1096, wck=9.295, mem=63M580
14.28/11.53 decisions=358504, wrong=177050, backtracks=152068, failedAssignments=79973, nogoods=1126, foundSolutions=8, bestBound=48
14.28/11.53
14.89/12.18 num=130, depth=2..42, filters=2667104, ccks=1096, wck=9.947, mem=63M580
14.89/12.18 decisions=394320, wrong=194954, backtracks=168504, failedAssignments=87870, nogoods=1135, foundSolutions=8, bestBound=48
14.89/12.18
16.08/13.32 num=131, depth=1..48, filters=2961005, ccks=1096, wck=11.086, mem=63M580
16.08/13.32 decisions=434329, wrong=214948, backtracks=185562, failedAssignments=96557, nogoods=1145, foundSolutions=8, bestBound=48
16.08/13.32
16.98/14.21
16.98/14.21 New Bounds: 48..47
16.98/14.21 num=132, depth=0..52, filters=3196196, ccks=1096, wck=11.978, mem=66M223
16.98/14.21 decisions=469249, wrong=232409, backtracks=200523, failedAssignments=104161, foundSolutions=8, bestBound=48
16.98/14.21
16.98/14.22 Global
16.98/14.22 filters=3196196, ccks=1096
16.98/14.22 Stop=FULL_EXPLORATION, wrong=232409, bestBound=48, bestBoundWck=0.935, bestBoundCpu=2.733, foundSolutions=8, firstSolCpu=2.38
16.98/14.22 wck=12.385, cpu=14.182, mem=66M223
16.98/14.22
16.98/14.22 v <instantiation id='sol8' type='solution' cost='48'> <list> p[] r[][] </list> <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
16.98/14.22 s OPTIMUM FOUND
16.98/14.22
16.98/14.22 d WRONG_DECISIONS 232409
16.98/14.22 d NUMBER_SOLUTIONS 8
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 (11401 MiB free)
memory of node 1: 16384 MiB (14342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391197-1568389333/watcher-4391197-1568389333 -o /tmp/evaluation-result-4391197-1568389333/solver-4391197-1568389333 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3790 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391197-1568389333.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4071, runsolver pid=4068
[startup+0.100059 s]*
/proc/loadavg: 1.65 1.75 1.87 4/228 4086
/proc/meminfo: memFree=26344744/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10659884 memory=30032 CPUtime=0.13 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 5536 0 0 0 12 1 0 0 20 0 15 0 414847126 10915721216 7508 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2664971 7508 2904 1 0 2627468 0
[pid=4071/tid=4073] ppid=4068 vsize=10659884 memory=-8825474694881572032 CPUtime=0.09 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) R 4068 4071 3758 0 -1 4202560 2985 0 0 0 8 1 0 0 20 0 15 0 414847127 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431560326176 140431556117082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847129 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414847129 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431046149536 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414847130 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431045096944 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) S 4068 4071 3758 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431041939568 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0.02 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) R 4068 4071 3758 0 -1 4202560 562 0 0 0 2 0 0 0 20 0 15 0 414847132 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431040882984 140431556107670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 7574 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30032 KiB
[startup+0.210758 s]*
/proc/loadavg: 1.65 1.75 1.87 3/228 4086
/proc/meminfo: memFree=26338976/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10659884 memory=34968 CPUtime=0.33 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 6391 0 0 0 31 2 0 0 20 0 15 0 414847126 10915721216 8742 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2664971 8742 2990 1 0 2627468 0
[pid=4071/tid=4073] ppid=4068 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) R 4068 4071 3758 0 -1 4202560 3483 0 0 0 19 1 0 0 20 0 15 0 414847127 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431560322096 140431556117661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10659884 memory=139814446981732 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847129 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414847129 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431046149536 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414847130 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431045096944 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 15 0 414847132 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) S 4068 4071 3758 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 414847132 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431041939568 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0.05 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) S 4068 4071 3758 0 -1 1077944384 593 0 0 0 5 0 0 0 20 0 15 0 414847132 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431040887024 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 8742 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34968 KiB
[startup+0.310246 s]*
/proc/loadavg: 1.65 1.75 1.87 3/228 4086
/proc/meminfo: memFree=26330908/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10659884 memory=40196 CPUtime=0.48 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 8888 0 0 0 45 3 0 0 20 0 15 0 414847126 10915721216 10049 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2664971 10049 3003 1 0 2627468 0
[pid=4071/tid=4073] ppid=4068 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) R 4068 4071 3758 0 -1 4202560 5904 0 0 0 28 2 0 0 20 0 15 0 414847127 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431560327536 140431535678960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10659884 memory=13992768475174552 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847128 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847129 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414847129 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431046149536 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414847130 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431045096944 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 496 0 0 0 4 0 0 0 20 0 15 0 414847132 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) S 4068 4071 3758 0 -1 1077944384 526 0 0 0 4 0 0 0 20 0 15 0 414847132 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431041939568 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0.08 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) S 4068 4071 3758 0 -1 1077944384 607 0 0 0 8 0 0 0 20 0 15 0 414847132 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431040887024 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10659884 memory=139814445717120 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847132 10915721216 10049 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40196 KiB
[startup+0.700795 s]
/proc/loadavg: 1.65 1.75 1.87 3/228 4086
/proc/meminfo: memFree=26323780/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10661932 memory=62988 CPUtime=1.09 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 12370 0 0 0 105 4 0 0 20 0 15 0 414847126 10917818368 15747 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2665483 15747 3066 1 0 2627980 0
[pid=4071/tid=4073] ppid=4068 vsize=10661932 memory=1368 CPUtime=0.68 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) R 4068 4071 3758 0 -1 4202560 8464 0 0 0 65 3 0 0 20 0 15 0 414847127 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431560327760 140431540176222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10661932 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10661932 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10661932 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847128 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10661932 memory=732 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847129 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414847129 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431046149536 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414847130 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431045096944 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10661932 memory=4639098309541126765 CPUtime=0.11 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 777 0 0 0 11 0 0 0 20 0 15 0 414847132 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10661932 memory=7380108234216663121 CPUtime=0.1 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) R 4068 4071 3758 0 -1 4202560 802 0 0 0 10 0 0 0 20 0 15 0 414847132 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431041939568 140431535342707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10661932 memory=5788908277929698645 CPUtime=0.18 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) S 4068 4071 3758 0 -1 1077944384 968 0 0 0 18 0 0 0 20 0 15 0 414847132 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431040887024 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414847132 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847132 10917818368 15747 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62988 KiB
[startup+1.50073 s]
/proc/loadavg: 1.65 1.75 1.87 3/228 4086
/proc/meminfo: memFree=26307216/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10663980 memory=75384 CPUtime=1.98 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 17608 0 0 0 193 5 0 0 20 0 15 0 414847126 10919915520 18846 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2665995 18846 3097 1 0 2628492 0
[pid=4071/tid=4073] ppid=4068 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) R 4068 4071 3758 0 -1 4202560 12452 0 0 0 144 4 0 0 20 0 15 0 414847127 10919915520 18846 33554432000 4194304 4196468 140721004911584 140431560321616 140431540176222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10919915520 18846 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10919915520 18846 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10663980 memory=7451882158583147350 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414847128 10919915520 18846 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10663980 memory=7883951728078186582 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414847128 10919915520 18846 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10663980 memory=6009048097711745386 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 414847129 10919915520 18846 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
################
# More data... #
################
[startup+12.8008 s]
/proc/loadavg: 1.70 1.76 1.87 3/229 4088
/proc/meminfo: memFree=26209924/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10748324 memory=165644 CPUtime=15.58 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 33464 0 0 0 1547 11 0 0 20 0 16 0 414847126 11006283776 41411 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2687081 41411 3352 1 0 2647217 0
[pid=4071/tid=4073] ppid=4068 vsize=10748324 memory=139814445731569 CPUtime=1.84 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) S 4068 4071 3758 0 -1 1077944384 14581 0 0 0 179 5 0 0 20 0 16 0 414847127 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431560338608 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10748324 memory=7300447577452863853 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10748324 memory=7594565846557611882 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10748324 memory=5793132717248453036 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 1131 0 0 0 1 0 0 0 20 0 16 0 414847129 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10748324 memory=4050055879199899765 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414847129 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431046149600 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10748324 memory=65 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414847130 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431045096960 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10748324 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 2823 0 0 0 101 0 0 0 20 0 16 0 414847132 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10748324 memory=1059 CPUtime=1.06 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) S 4068 4071 3758 0 -1 1077944384 3250 0 0 0 106 0 0 0 20 0 16 0 414847132 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431041939568 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10748324 memory=1318 CPUtime=0.65 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) S 4068 4071 3758 0 -1 1077944384 4894 0 0 0 64 1 0 0 20 0 16 0 414847132 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431040887024 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10748324 memory=184 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10748324 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4087] ppid=4068 vsize=10748324 memory=0 CPUtime=10.89 cores=1,3,5,7
/proc/4071/task/4087/stat : 4087 (java) R 4068 4071 3758 0 -1 4202560 5074 0 0 0 1088 1 0 0 20 0 16 0 414847313 11006283776 41411 33554432000 4194304 4196468 140721004911584 140431022118016 140431159435039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 15.58 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165644 KiB
[startup+13.6006 s]
/proc/loadavg: 1.70 1.76 1.87 3/229 4088
/proc/meminfo: memFree=26123196/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10748324 memory=165656 CPUtime=16.38 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 33668 0 0 0 1627 11 0 0 20 0 16 0 414847126 11006283776 41414 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2687081 41414 3352 1 0 2647217 0
[pid=4071/tid=4073] ppid=4068 vsize=10748324 memory=8112282956445269571 CPUtime=1.84 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) S 4068 4071 3758 0 -1 1077944384 14581 0 0 0 179 5 0 0 20 0 16 0 414847127 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431560338608 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10748324 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10748324 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10748324 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 16 0 414847129 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10748324 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414847129 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431046149600 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10748324 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414847130 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431045096960 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10748324 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10748324 memory=732 CPUtime=1.01 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 2993 0 0 0 101 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10748324 memory=776 CPUtime=1.06 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) S 4068 4071 3758 0 -1 1077944384 3250 0 0 0 106 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431041939568 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10748324 memory=1560 CPUtime=0.65 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) S 4068 4071 3758 0 -1 1077944384 4894 0 0 0 64 1 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431040887024 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10748324 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10748324 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4087] ppid=4068 vsize=10748324 memory=2828 CPUtime=11.69 cores=1,3,5,7
/proc/4071/task/4087/stat : 4087 (java) R 4068 4071 3758 0 -1 4202560 5106 0 0 0 1168 1 0 0 20 0 16 0 414847313 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431022117824 140431159434541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 16.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165656 KiB
[startup+14.0006 s]*
/proc/loadavg: 1.65 1.75 1.86 3/229 4088
/proc/meminfo: memFree=26123196/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10748324 memory=165656 CPUtime=16.79 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 33668 0 0 0 1668 11 0 0 20 0 16 0 414847126 11006283776 41414 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2687081 41414 3352 1 0 2647217 0
[pid=4071/tid=4073] ppid=4068 vsize=10748324 memory=8112282956445269571 CPUtime=1.84 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) S 4068 4071 3758 0 -1 1077944384 14581 0 0 0 179 5 0 0 20 0 16 0 414847127 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431560338608 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10748324 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10748324 memory=279628678513104 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10748324 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10748324 memory=288285588845768159 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10748324 memory=5050881540097 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 16 0 414847129 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414847129 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431046149600 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414847130 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431045096960 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10748324 memory=6656426216303648864 CPUtime=1.01 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 2993 0 0 0 101 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10748324 memory=6944656592455359580 CPUtime=1.06 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) S 4068 4071 3758 0 -1 1077944384 3250 0 0 0 106 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431041939568 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10748324 memory=6944656592387989600 CPUtime=0.65 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) S 4068 4071 3758 0 -1 1077944384 4894 0 0 0 64 1 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431040887024 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4087] ppid=4068 vsize=10748324 memory=6944656592455360604 CPUtime=12.1 cores=1,3,5,7
/proc/4071/task/4087/stat : 4087 (java) R 4068 4071 3758 0 -1 4202560 5106 0 0 0 1209 1 0 0 20 0 16 0 414847313 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431022117824 140431159642346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 16.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165656 KiB
[startup+14.2006 s]
/proc/loadavg: 1.65 1.75 1.86 3/229 4088
/proc/meminfo: memFree=26123196/32770624 swapFree=66957012/67108860
[pid=4071] ppid=4068 vsize=10748324 memory=165656 CPUtime=16.98 cores=1,3,5,7
/proc/4071/stat : 4071 (java) S 4068 4071 3758 0 -1 1077944320 33668 0 0 0 1687 11 0 0 20 0 16 0 414847126 11006283776 41414 33554432000 4194304 4196468 140721004911584 140721004894128 140431556095735 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
/proc/4071/statm: 2687081 41414 3352 1 0 2647217 0
[pid=4071/tid=4073] ppid=4068 vsize=10748324 memory=55 CPUtime=1.84 cores=1,3,5,7
/proc/4071/task/4073/stat : 4073 (java) S 4068 4071 3758 0 -1 1077944384 14581 0 0 0 179 5 0 0 20 0 16 0 414847127 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431560338608 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4074] ppid=4068 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4074/stat : 4074 (java) S 4068 4071 3758 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431482169616 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4075] ppid=4068 vsize=10748324 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4075/stat : 4075 (java) S 4068 4071 3758 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431481117072 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4076] ppid=4068 vsize=10748324 memory=14972256832981253 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4076/stat : 4076 (java) S 4068 4071 3758 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431480064528 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4077] ppid=4068 vsize=10748324 memory=932 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4077/stat : 4077 (java) S 4068 4071 3758 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 414847128 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431479011984 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4078] ppid=4068 vsize=10748324 memory=1768 CPUtime=0.01 cores=1,3,5,7
/proc/4071/task/4078/stat : 4078 (java) S 4068 4071 3758 0 -1 1077944384 1133 0 0 0 1 0 0 0 20 0 16 0 414847129 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431047203312 140431556106882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4079] ppid=4068 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4079/stat : 4079 (java) S 4068 4071 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414847129 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431046149600 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4080] ppid=4068 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4080/stat : 4080 (java) S 4068 4071 3758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414847130 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431045096960 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4081] ppid=4068 vsize=10748324 memory=896 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4081/stat : 4081 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431044045520 140431556114331 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4082] ppid=4068 vsize=10748324 memory=1980 CPUtime=1.01 cores=1,3,5,7
/proc/4071/task/4082/stat : 4082 (java) S 4068 4071 3758 0 -1 1077944384 2993 0 0 0 101 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431042992112 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4083] ppid=4068 vsize=10748324 memory=2520 CPUtime=1.06 cores=1,3,5,7
/proc/4071/task/4083/stat : 4083 (java) S 4068 4071 3758 0 -1 1077944384 3250 0 0 0 106 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431041939568 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4084] ppid=4068 vsize=10748324 memory=1760 CPUtime=0.65 cores=1,3,5,7
/proc/4071/task/4084/stat : 4084 (java) S 4068 4071 3758 0 -1 1077944384 4894 0 0 0 64 1 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431040887024 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4085] ppid=4068 vsize=10748324 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4085/stat : 4085 (java) S 4068 4071 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431039834720 140431556105941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4086] ppid=4068 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/4071/task/4086/stat : 4086 (java) S 4068 4071 3758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 414847132 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431038782256 140431556106882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
[pid=4071/tid=4087] ppid=4068 vsize=10748324 memory=796 CPUtime=12.29 cores=1,3,5,7
/proc/4071/task/4087/stat : 4087 (java) R 4068 4071 3758 0 -1 4202560 5106 0 0 0 1228 1 0 0 20 0 16 0 414847313 11006283776 41414 33554432000 4194304 4196468 140721004911584 140431022117824 140431159122344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10919936 140721004917771 140721004917874 140721004917874 140721004920783 0
Current children cumulated CPU time: 16.98 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165656 KiB
Child status: 0
Real time (s): 14.2286
CPU time (s): 17.0244
CPU user time (s): 16.9007
CPU system time (s): 0.123634
CPU usage (%): 119.649
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 165656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9007
system time used= 0.123634
maximum resident set size= 168140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34794
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= 3224
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 4071
# total CPU time (s): 17.0244
# total CPU user time (s): 16.9007
# total CPU system time (s): 0.123634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124261 second user time and 0.164233 second system time
The end