2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.88
2.97/2.03 Instance
2.97/2.03 name=instance-4390897-1568380692, framework=COP, bounds=-infty..+infty
2.97/2.03
2.97/2.03 Loading variables...
2.97/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bb229
2.97/2.10 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94e962
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc990b7
2.97/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f687f1
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fe6bf7
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1837fef2
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb34c14
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b5fec80
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@204830df
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3add516c
3.20/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fde2821
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680b66e0
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f05983
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d29cacd
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e6072d
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6a8e74
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4abbd387
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f200e65
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a13e74
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2a5215
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@343de13c
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18566d9d
3.20/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9157fd
3.20/2.12 [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.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf38093
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce1142b
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a428262
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@585c4022
3.20/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57527361
3.20/2.13 [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.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21715b6f
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ffe2f64
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@520aabef
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb631d
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ee3b86
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a75d044
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794abe1e
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760809c1
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166f1e43
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0fa6fb
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511abdc3
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@659cafcd
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1778eb7b
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5c6ff0
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb2e6cf
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db325c7
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5864969
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae75294
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5987d24c
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41eed5a5
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8cb37
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0d0663
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef5d92c
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3a9b48
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@544f6658
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b1f47
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553b3553
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1fa8df
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d1959a
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b614a47
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e074187
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f88cfa0
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27e539db
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54535748
3.20/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ba72c2f
3.54/2.21
3.54/2.21
3.54/2.21 Domains
3.54/2.21 nTypes=8, nValues=7056, sizes=[2#189,5#63,7#126,10#63,17#63,19#63,20#63,21#63]
3.54/2.21 Variables
3.54/2.21 count=693, degrees=[3#83,4#610]
3.54/2.21 Objectives
3.54/2.21 way=min, type=SumSimpleLE
3.54/2.21 Constraints
3.54/2.21 count=137, nSpecific=137, arities=[11#63,20#62,63#12]
3.54/2.21 distribution=[LexicographicLe#62,OrderedGE#1,SumSimpleEQ#10,SumSimpleLE#1,SumWeightedLE#63]
3.54/2.21 wck=0.373, cpu=2.183, mem=29M156
3.54/2.22 Solver SolverBacktrack being built...
3.54/2.22
3.54/2.25
3.54/2.25 Solver
3.54/2.25 guaranteedGAC=false
3.54/2.25 wck=0.41, cpu=2.218, mem=42M440
3.54/2.27
3.54/2.27 Preprocessing
3.54/2.27 filters=63, nACremovedValues=5103, nTotalRemovedValues=5103, inconcistency=false
3.54/2.27 wck=0.016, cpu=2.236, mem=42M440
3.54/2.27
3.54/2.29 num=0, depth=0..64, filters=531, wck=0.041, mem=42M440
3.54/2.29 decisions=75, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
3.54/2.29
3.84/2.33 num=1, depth=0..46, filters=2128, wck=0.084, mem=42M440
3.84/2.33 decisions=226, wrong=67, backtracks=46, failedAssignments=21, nogoods=18
3.84/2.33
3.84/2.34 num=2, depth=4..42, filters=2748, wck=0.095, mem=42M440
3.84/2.34 decisions=297, wrong=86, backtracks=59, failedAssignments=33, nogoods=22
3.84/2.34
3.84/2.35 num=3, depth=10..46, filters=3104, wck=0.102, mem=42M440
3.84/2.35 decisions=359, wrong=99, backtracks=59, failedAssignments=46, nogoods=35
3.84/2.35
3.84/2.36 num=4, depth=19..77, filters=3651, wck=0.112, mem=42M440
3.84/2.36 decisions=464, wrong=118, backtracks=67, failedAssignments=60, nogoods=42
3.84/2.36
3.84/2.37 num=5, depth=35..76, filters=4138, wck=0.121, mem=42M440
3.84/2.37 decisions=567, wrong=136, backtracks=72, failedAssignments=76, nogoods=55
3.84/2.37
3.84/2.38 num=6, depth=33..99, filters=5078, wck=0.135, mem=42M440
3.84/2.38 decisions=721, wrong=167, backtracks=86, failedAssignments=93, nogoods=68
3.84/2.38
3.84/2.39 num=7, depth=1..90, filters=5755, wck=0.146, mem=42M440
3.84/2.39 decisions=848, wrong=192, backtracks=94, failedAssignments=112, nogoods=85
3.84/2.39
4.15/2.41 num=8, depth=2..52, filters=7089, wck=0.158, mem=42M440
4.15/2.41 decisions=1014, wrong=258, backtracks=144, failedAssignments=133, nogoods=88
4.15/2.41
4.15/2.42 o 63
4.15/2.43 num=9, depth=34..692, filters=7861, ccks=137, wck=0.181, mem=42M440
4.15/2.43 decisions=1152, wrong=288, backtracks=157, failedAssignments=152, nogoods=100, foundSolutions=1, bestBound=63
4.15/2.43
4.15/2.44 num=10, depth=53..62, filters=8603, ccks=137, wck=0.189, mem=42M440
4.15/2.44 decisions=1285, wrong=328, backtracks=184, failedAssignments=177, nogoods=102, foundSolutions=1, bestBound=63
4.15/2.44
4.15/2.44 num=11, depth=28..42, filters=9088, ccks=137, wck=0.194, mem=42M440
4.15/2.44 decisions=1378, wrong=358, backtracks=207, failedAssignments=188, nogoods=105, foundSolutions=1, bestBound=63
4.15/2.44
4.15/2.45 num=12, depth=7..39, filters=9582, ccks=137, wck=0.198, mem=42M440
4.15/2.45 decisions=1457, wrong=382, backtracks=219, failedAssignments=200, nogoods=116, foundSolutions=1, bestBound=63
4.15/2.45
4.15/2.45 num=13, depth=6..33, filters=10006, ccks=137, wck=0.201, mem=42M440
4.15/2.45 decisions=1520, wrong=402, backtracks=230, failedAssignments=213, nogoods=123, foundSolutions=1, bestBound=63
4.15/2.45
4.15/2.45 num=14, depth=6..37, filters=10483, ccks=137, wck=0.205, mem=42M440
4.15/2.45 decisions=1604, wrong=429, backtracks=245, failedAssignments=227, nogoods=129, foundSolutions=1, bestBound=63
4.15/2.45
4.15/2.46 o 62
4.15/2.46 num=15, depth=7..692, filters=11110, ccks=274, wck=0.215, mem=42M440
4.15/2.46 decisions=1718, wrong=444, backtracks=247, failedAssignments=240, nogoods=141, foundSolutions=2, bestBound=62
4.15/2.46
4.15/2.47 o 61
4.15/2.47 num=16, depth=6..692, filters=11663, ccks=411, wck=0.225, mem=45M83
4.15/2.47 decisions=1821, wrong=458, backtracks=247, failedAssignments=254, nogoods=155, foundSolutions=3, bestBound=61
4.15/2.47
4.15/2.48 num=17, depth=6..73, filters=12169, ccks=411, wck=0.23, mem=45M83
4.15/2.48 decisions=1908, wrong=469, backtracks=247, failedAssignments=265, nogoods=166, foundSolutions=3, bestBound=61
4.15/2.48
4.15/2.48 num=18, depth=8..83, filters=12749, ccks=411, wck=0.235, mem=45M83
4.15/2.48 decisions=2006, wrong=481, backtracks=248, failedAssignments=276, nogoods=176, foundSolutions=3, bestBound=61
4.15/2.48
4.15/2.49 num=19, depth=4..75, filters=13248, ccks=411, wck=0.238, mem=45M83
4.15/2.49 decisions=2101, wrong=494, backtracks=250, failedAssignments=288, nogoods=186, foundSolutions=3, bestBound=61
4.15/2.49
4.15/2.49 num=20, depth=6..95, filters=13751, ccks=411, wck=0.242, mem=45M83
4.15/2.49 decisions=2217, wrong=509, backtracks=253, failedAssignments=301, nogoods=195, foundSolutions=3, bestBound=61
4.15/2.49
4.15/2.49 num=21, depth=7..97, filters=14260, ccks=411, wck=0.246, mem=45M83
4.15/2.49 decisions=2340, wrong=527, backtracks=258, failedAssignments=315, nogoods=208, foundSolutions=3, bestBound=61
4.15/2.49
4.48/2.50 o 53
4.48/2.50 num=22, depth=4..692, filters=14700, ccks=548, wck=0.253, mem=45M83
4.48/2.50 decisions=2435, wrong=538, backtracks=258, failedAssignments=326, nogoods=219, foundSolutions=4, bestBound=53
4.48/2.50
4.48/2.51 o 52
4.48/2.51 num=23, depth=4..692, filters=15318, ccks=685, wck=0.261, mem=45M83
4.48/2.51 decisions=2545, wrong=561, backtracks=269, failedAssignments=338, nogoods=225, foundSolutions=5, bestBound=52
4.48/2.51
4.48/2.51 num=24, depth=5..37, filters=15746, ccks=685, wck=0.265, mem=45M83
4.48/2.51 decisions=2599, wrong=573, backtracks=272, failedAssignments=349, nogoods=234, foundSolutions=5, bestBound=52
4.48/2.51
4.48/2.52 num=25, depth=5..41, filters=16373, ccks=685, wck=0.268, mem=45M83
4.48/2.52 decisions=2678, wrong=595, backtracks=286, failedAssignments=360, nogoods=239, foundSolutions=5, bestBound=52
4.48/2.52
4.48/2.52 num=26, depth=9..53, filters=16988, ccks=685, wck=0.271, mem=45M83
4.48/2.52 decisions=2770, wrong=619, backtracks=300, failedAssignments=372, nogoods=243, foundSolutions=5, bestBound=52
4.48/2.52
4.48/2.52 num=27, depth=9..67, filters=17674, ccks=685, wck=0.275, mem=45M83
4.48/2.52 decisions=2872, wrong=642, backtracks=314, failedAssignments=385, nogoods=251, foundSolutions=5, bestBound=52
4.48/2.52
4.48/2.53 num=28, depth=62..73, filters=18889, ccks=685, wck=0.28, mem=45M83
4.48/2.53 decisions=2998, wrong=670, backtracks=332, failedAssignments=399, nogoods=256, foundSolutions=5, bestBound=52
4.48/2.53
4.48/2.54 num=29, depth=36..47, filters=19713, ccks=685, wck=0.287, mem=45M83
4.48/2.54 decisions=3112, wrong=706, backtracks=354, failedAssignments=415, nogoods=259, foundSolutions=5, bestBound=52
4.48/2.54
4.48/2.54 num=30, depth=7..50, filters=20242, ccks=685, wck=0.294, mem=45M83
4.48/2.54 decisions=3202, wrong=731, backtracks=366, failedAssignments=432, nogoods=272, foundSolutions=5, bestBound=52
4.48/2.54
4.48/2.55 num=31, depth=13..59, filters=21321, ccks=685, wck=0.305, mem=45M83
4.48/2.55 decisions=3332, wrong=775, backtracks=396, failedAssignments=451, nogoods=280, foundSolutions=5, bestBound=52
4.48/2.55
4.48/2.56 num=32, depth=28..56, filters=22045, ccks=685, wck=0.31, mem=45M83
4.48/2.56 decisions=3464, wrong=816, backtracks=427, failedAssignments=472, nogoods=287, foundSolutions=5, bestBound=52
4.48/2.56
4.48/2.56 num=33, depth=13..35, filters=23004, ccks=685, wck=0.315, mem=45M83
4.48/2.56 decisions=3571, wrong=862, backtracks=460, failedAssignments=495, nogoods=289, foundSolutions=5, bestBound=52
4.48/2.56
4.48/2.57 num=34, depth=4..24, filters=24194, ccks=685, wck=0.322, mem=45M83
4.48/2.57 decisions=3719, wrong=929, backtracks=517, failedAssignments=520, nogoods=293, foundSolutions=5, bestBound=52
4.48/2.57
4.48/2.58 num=35, depth=4..53, filters=25286, ccks=685, wck=0.33, mem=45M83
4.48/2.58 decisions=3848, wrong=974, backtracks=535, failedAssignments=548, nogoods=310, foundSolutions=5, bestBound=52
4.48/2.58
4.48/2.59 num=36, depth=5..59, filters=26574, ccks=685, wck=0.338, mem=45M83
4.48/2.59 decisions=4011, wrong=1031, backtracks=569, failedAssignments=579, nogoods=322, foundSolutions=5, bestBound=52
4.48/2.59
4.48/2.59 o 51
4.48/2.60 num=37, depth=4..692, filters=27522, ccks=822, wck=0.345, mem=45M83
4.48/2.60 decisions=4141, wrong=1073, backtracks=590, failedAssignments=604, nogoods=340, foundSolutions=6, bestBound=51
4.48/2.60
4.48/2.60 num=38, depth=5..45, filters=28690, ccks=822, wck=0.352, mem=45M83
4.48/2.60 decisions=4286, wrong=1131, backtracks=631, failedAssignments=641, nogoods=353, foundSolutions=6, bestBound=51
4.48/2.60
4.81/2.60 num=39, depth=5..26, filters=29227, ccks=822, wck=0.355, mem=45M83
4.81/2.60 decisions=4340, wrong=1150, backtracks=641, failedAssignments=652, nogoods=359, foundSolutions=6, bestBound=51
4.81/2.60
4.81/2.61 num=40, depth=7..25, filters=29755, ccks=822, wck=0.358, mem=45M83
4.81/2.61 decisions=4397, wrong=1170, backtracks=652, failedAssignments=664, nogoods=367, foundSolutions=6, bestBound=51
4.81/2.61
4.81/2.61 num=41, depth=7..31, filters=30309, ccks=822, wck=0.36, mem=45M83
4.81/2.61 decisions=4460, wrong=1192, backtracks=666, failedAssignments=677, nogoods=374, foundSolutions=6, bestBound=51
4.81/2.61
4.81/2.61 num=42, depth=4..34, filters=30927, ccks=822, wck=0.364, mem=45M83
4.81/2.61 decisions=4528, wrong=1213, backtracks=679, failedAssignments=691, nogoods=380, foundSolutions=6, bestBound=51
4.81/2.61
4.81/2.61 num=43, depth=6..40, filters=31503, ccks=822, wck=0.366, mem=45M83
4.81/2.61 decisions=4619, wrong=1242, backtracks=699, failedAssignments=707, nogoods=386, foundSolutions=6, bestBound=51
4.81/2.61
4.81/2.62 num=44, depth=7..39, filters=32032, ccks=822, wck=0.369, mem=45M83
4.81/2.62 decisions=4695, wrong=1267, backtracks=709, failedAssignments=724, nogoods=401, foundSolutions=6, bestBound=51
4.81/2.62
4.81/2.62 num=45, depth=7..65, filters=32777, ccks=822, wck=0.372, mem=45M83
4.81/2.62 decisions=4802, wrong=1295, backtracks=721, failedAssignments=743, nogoods=417, foundSolutions=6, bestBound=51
4.81/2.62
4.81/2.62 num=46, depth=7..37, filters=33518, ccks=822, wck=0.376, mem=45M83
4.81/2.62 decisions=4896, wrong=1330, backtracks=745, failedAssignments=764, nogoods=424, foundSolutions=6, bestBound=51
4.81/2.62
4.81/2.63 num=47, depth=7..56, filters=34138, ccks=822, wck=0.38, mem=45M83
4.81/2.63 decisions=4989, wrong=1358, backtracks=758, failedAssignments=787, nogoods=439, foundSolutions=6, bestBound=51
4.81/2.63
4.81/2.63 num=48, depth=5..24, filters=34984, ccks=822, wck=0.383, mem=45M83
4.81/2.63 decisions=5104, wrong=1409, backtracks=795, failedAssignments=812, nogoods=444, foundSolutions=6, bestBound=51
4.81/2.63
4.81/2.64 num=49, depth=3..53, filters=36548, ccks=822, wck=0.39, mem=45M83
4.81/2.64 decisions=5255, wrong=1471, backtracks=837, failedAssignments=840, nogoods=450, foundSolutions=6, bestBound=51
4.81/2.64
4.81/2.64 num=50, depth=5..31, filters=37434, ccks=822, wck=0.394, mem=45M83
4.81/2.64 decisions=5368, wrong=1517, backtracks=864, failedAssignments=871, nogoods=459, foundSolutions=6, bestBound=51
4.81/2.64
4.81/2.65 num=51, depth=8..63, filters=39364, ccks=822, wck=0.402, mem=45M83
4.81/2.65 decisions=5540, wrong=1582, backtracks=906, failedAssignments=905, nogoods=474, foundSolutions=6, bestBound=51
4.81/2.65
4.81/2.66 num=52, depth=9..50, filters=40418, ccks=822, wck=0.408, mem=45M83
4.81/2.66 decisions=5713, wrong=1648, backtracks=949, failedAssignments=942, nogoods=484, foundSolutions=6, bestBound=51
4.81/2.66
4.81/2.66 num=53, depth=25..51, filters=42613, ccks=822, wck=0.416, mem=45M83
4.81/2.66 decisions=5942, wrong=1749, backtracks=1022, failedAssignments=983, nogoods=490, foundSolutions=6, bestBound=51
4.81/2.66
4.81/2.68 o 50
4.81/2.68 num=54, depth=13..692, filters=45044, ccks=959, wck=0.43, mem=47M726
4.81/2.68 decisions=6186, wrong=1840, backtracks=1089, failedAssignments=1027, nogoods=503, foundSolutions=7, bestBound=50
4.81/2.68
4.81/2.69 num=55, depth=30..76, filters=46341, ccks=959, wck=0.438, mem=47M726
4.81/2.69 decisions=6393, wrong=1913, backtracks=1133, failedAssignments=1077, nogoods=521, foundSolutions=7, bestBound=50
4.81/2.69
4.81/2.69 num=56, depth=34..51, filters=47029, ccks=959, wck=0.441, mem=47M726
4.81/2.69 decisions=6472, wrong=1931, backtracks=1145, failedAssignments=1088, nogoods=526, foundSolutions=7, bestBound=50
4.81/2.69
4.81/2.69 num=57, depth=19..46, filters=47378, ccks=959, wck=0.443, mem=47M726
4.81/2.69 decisions=6531, wrong=1943, backtracks=1145, failedAssignments=1100, nogoods=538, foundSolutions=7, bestBound=50
4.81/2.69
4.81/2.69 num=58, depth=36..51, filters=48055, ccks=959, wck=0.446, mem=47M726
4.81/2.69 decisions=6610, wrong=1960, backtracks=1155, failedAssignments=1113, nogoods=544, foundSolutions=7, bestBound=50
4.81/2.69
5.10/2.70 o 48
5.10/2.70 num=59, depth=16..692, filters=48580, ccks=1096, wck=0.451, mem=47M726
5.10/2.70 decisions=6684, wrong=1978, backtracks=1167, failedAssignments=1125, nogoods=550, foundSolutions=8, bestBound=48
5.10/2.70
5.10/2.70 num=60, depth=15..35, filters=49278, ccks=1096, wck=0.455, mem=47M726
5.10/2.70 decisions=6757, wrong=2005, backtracks=1179, failedAssignments=1141, nogoods=561, foundSolutions=8, bestBound=48
5.10/2.70
5.10/2.71 num=61, depth=9..48, filters=49927, ccks=1096, wck=0.458, mem=47M726
5.10/2.71 decisions=6828, wrong=2021, backtracks=1188, failedAssignments=1152, nogoods=566, foundSolutions=8, bestBound=48
5.10/2.71
5.10/2.71 num=62, depth=9..36, filters=50431, ccks=1096, wck=0.461, mem=47M726
5.10/2.71 decisions=6887, wrong=2038, backtracks=1198, failedAssignments=1164, nogoods=570, foundSolutions=8, bestBound=48
5.10/2.71
5.10/2.71 num=63, depth=9..51, filters=51023, ccks=1096, wck=0.463, mem=47M726
5.10/2.71 decisions=6963, wrong=2056, backtracks=1204, failedAssignments=1177, nogoods=578, foundSolutions=8, bestBound=48
5.10/2.71
5.10/2.71 num=64, depth=9..58, filters=51549, ccks=1096, wck=0.466, mem=47M726
5.10/2.71 decisions=7052, wrong=2077, backtracks=1215, failedAssignments=1191, nogoods=586, foundSolutions=8, bestBound=48
5.10/2.71
5.10/2.72 num=65, depth=10..40, filters=52191, ccks=1096, wck=0.469, mem=47M726
5.10/2.72 decisions=7137, wrong=2105, backtracks=1233, failedAssignments=1207, nogoods=590, foundSolutions=8, bestBound=48
5.10/2.72
5.10/2.72 num=66, depth=10..23, filters=52812, ccks=1096, wck=0.472, mem=47M726
5.10/2.72 decisions=7205, wrong=2131, backtracks=1250, failedAssignments=1224, nogoods=599, foundSolutions=8, bestBound=48
5.10/2.72
5.10/2.72 num=67, depth=8..23, filters=53527, ccks=1096, wck=0.475, mem=47M726
5.10/2.72 decisions=7283, wrong=2163, backtracks=1269, failedAssignments=1243, nogoods=605, foundSolutions=8, bestBound=48
5.10/2.72
5.10/2.73 num=68, depth=9..55, filters=54992, ccks=1096, wck=0.481, mem=47M726
5.10/2.73 decisions=7421, wrong=2221, backtracks=1313, failedAssignments=1264, nogoods=608, foundSolutions=8, bestBound=48
5.10/2.73
5.10/2.73 num=69, depth=4..50, filters=55722, ccks=1096, wck=0.485, mem=47M726
5.10/2.73 decisions=7514, wrong=2251, backtracks=1331, failedAssignments=1287, nogoods=617, foundSolutions=8, bestBound=48
5.10/2.73
5.10/2.74 num=70, depth=5..33, filters=56477, ccks=1096, wck=0.489, mem=47M726
5.10/2.74 decisions=7593, wrong=2282, backtracks=1348, failedAssignments=1312, nogoods=631, foundSolutions=8, bestBound=48
5.10/2.74
5.10/2.74 num=71, depth=2..28, filters=57957, ccks=1096, wck=0.496, mem=47M726
5.10/2.74 decisions=7708, wrong=2331, backtracks=1383, failedAssignments=1340, nogoods=640, foundSolutions=8, bestBound=48
5.10/2.74
5.10/2.75 num=72, depth=4..27, filters=58872, ccks=1096, wck=0.5, mem=47M726
5.10/2.75 decisions=7836, wrong=2385, backtracks=1419, failedAssignments=1371, nogoods=650, foundSolutions=8, bestBound=48
5.10/2.75
5.10/2.75 num=73, depth=6..25, filters=60178, ccks=1096, wck=0.506, mem=47M726
5.10/2.75 decisions=7961, wrong=2441, backtracks=1464, failedAssignments=1405, nogoods=654, foundSolutions=8, bestBound=48
5.10/2.75
5.10/2.76 num=74, depth=7..57, filters=61151, ccks=1096, wck=0.511, mem=47M726
5.10/2.76 decisions=8123, wrong=2500, backtracks=1498, failedAssignments=1442, nogoods=665, foundSolutions=8, bestBound=48
5.10/2.76
5.10/2.77 num=75, depth=12..75, filters=63462, ccks=1096, wck=0.519, mem=47M726
5.10/2.77 decisions=8340, wrong=2588, backtracks=1565, failedAssignments=1483, nogoods=671, foundSolutions=8, bestBound=48
5.10/2.77
5.10/2.77 num=76, depth=13..58, filters=65647, ccks=1096, wck=0.527, mem=47M726
5.10/2.77 decisions=8568, wrong=2684, backtracks=1630, failedAssignments=1528, nogoods=678, foundSolutions=8, bestBound=48
5.10/2.77
5.10/2.79 num=77, depth=5..33, filters=68662, ccks=1096, wck=0.539, mem=47M726
5.10/2.79 decisions=8797, wrong=2791, backtracks=1711, failedAssignments=1578, nogoods=683, foundSolutions=8, bestBound=48
5.10/2.79
5.25/2.80 num=78, depth=4..39, filters=71405, ccks=1096, wck=0.549, mem=47M726
5.25/2.80 decisions=9099, wrong=2931, backtracks=1817, failedAssignments=1633, nogoods=686, foundSolutions=8, bestBound=48
5.25/2.80
5.25/2.81 num=79, depth=1..30, filters=74706, ccks=1096, wck=0.563, mem=47M726
5.25/2.81 decisions=9388, wrong=3071, backtracks=1926, failedAssignments=1694, nogoods=694, foundSolutions=8, bestBound=48
5.25/2.81
5.25/2.83 num=80, depth=1..58, filters=79014, ccks=1096, wck=0.579, mem=47M726
5.25/2.83 decisions=9744, wrong=3233, backtracks=2053, failedAssignments=1761, nogoods=701, foundSolutions=8, bestBound=48
5.25/2.83
5.25/2.84 num=81, depth=1..52, filters=81944, ccks=1096, wck=0.591, mem=47M726
5.25/2.84 decisions=10116, wrong=3398, backtracks=2176, failedAssignments=1835, nogoods=710, foundSolutions=8, bestBound=48
5.25/2.84
5.25/2.85 num=82, depth=1..62, filters=85268, ccks=1096, wck=0.602, mem=47M726
5.25/2.85 decisions=10522, wrong=3591, backtracks=2326, failedAssignments=1916, nogoods=721, foundSolutions=8, bestBound=48
5.25/2.85
5.25/2.86 num=83, depth=5..60, filters=88159, ccks=1096, wck=0.615, mem=47M726
5.25/2.86 decisions=10875, wrong=3747, backtracks=2442, failedAssignments=2005, nogoods=731, foundSolutions=8, bestBound=48
5.25/2.86
5.25/2.88 num=84, depth=10..75, filters=91551, ccks=1096, wck=0.63, mem=47M726
5.25/2.88 decisions=11322, wrong=3942, backtracks=2585, failedAssignments=2103, nogoods=742, foundSolutions=8, bestBound=48
5.25/2.88
5.25/2.89 num=85, depth=16..41, filters=93741, ccks=1096, wck=0.639, mem=47M726
5.25/2.89 decisions=11683, wrong=4107, backtracks=2703, failedAssignments=2211, nogoods=754, foundSolutions=8, bestBound=48
5.25/2.89
5.43/2.90 num=86, depth=35..62, filters=98062, ccks=1096, wck=0.656, mem=47M726
5.43/2.90 decisions=12379, wrong=4433, backtracks=2964, failedAssignments=2330, nogoods=759, foundSolutions=8, bestBound=48
5.43/2.90
5.43/2.92 num=87, depth=45..62, filters=102230, ccks=1096, wck=0.671, mem=47M726
5.43/2.92 decisions=12982, wrong=4709, backtracks=3180, failedAssignments=2461, nogoods=769, foundSolutions=8, bestBound=48
5.43/2.92
5.43/2.94 num=88, depth=27..66, filters=110097, ccks=1096, wck=0.695, mem=47M726
5.43/2.94 decisions=13641, wrong=5025, backtracks=3397, failedAssignments=2605, nogoods=771, foundSolutions=8, bestBound=48
5.43/2.94
5.43/2.97 num=89, depth=8..44, filters=117040, ccks=1096, wck=0.721, mem=47M726
5.43/2.97 decisions=14490, wrong=5436, backtracks=3727, failedAssignments=2763, nogoods=776, foundSolutions=8, bestBound=48
5.43/2.97
5.43/2.99 num=90, depth=15..48, filters=122951, ccks=1096, wck=0.742, mem=47M726
5.43/2.99 decisions=15245, wrong=5801, backtracks=4026, failedAssignments=2937, nogoods=785, foundSolutions=8, bestBound=48
5.43/2.99
5.55/3.01 num=91, depth=4..49, filters=129051, ccks=1096, wck=0.763, mem=47M726
5.55/3.01 decisions=16004, wrong=6167, backtracks=4312, failedAssignments=3128, nogoods=792, foundSolutions=8, bestBound=48
5.55/3.01
5.55/3.04 num=92, depth=8..35, filters=137133, ccks=1096, wck=0.794, mem=47M726
5.55/3.04 decisions=16846, wrong=6580, backtracks=4651, failedAssignments=3339, nogoods=801, foundSolutions=8, bestBound=48
5.55/3.04
5.55/3.08 num=93, depth=0..36, filters=146693, ccks=1096, wck=0.828, mem=47M726
5.55/3.08 decisions=17937, wrong=7117, backtracks=5048, failedAssignments=3571, nogoods=802, foundSolutions=8, bestBound=48
5.55/3.08
5.67/3.12 num=94, depth=0..43, filters=160146, ccks=1096, wck=0.875, mem=47M726
5.67/3.12 decisions=19500, wrong=7891, backtracks=5692, failedAssignments=3826, nogoods=810, foundSolutions=8, bestBound=48
5.67/3.12
5.67/3.15 num=95, depth=8..36, filters=168365, ccks=1096, wck=0.902, mem=47M726
5.67/3.15 decisions=20575, wrong=8422, backtracks=6118, failedAssignments=4107, nogoods=813, foundSolutions=8, bestBound=48
5.67/3.15
5.67/3.19 num=96, depth=9..38, filters=179921, ccks=1096, wck=0.938, mem=47M726
5.67/3.19 decisions=22040, wrong=9145, backtracks=6722, failedAssignments=4416, nogoods=822, foundSolutions=8, bestBound=48
5.67/3.19
5.76/3.21 num=97, depth=12..44, filters=187731, ccks=1096, wck=0.963, mem=47M726
5.76/3.21 decisions=23377, wrong=9801, backtracks=7289, failedAssignments=4756, nogoods=826, foundSolutions=8, bestBound=48
5.76/3.21
5.76/3.25 num=98, depth=9..46, filters=198867, ccks=1096, wck=1.002, mem=47M726
5.76/3.25 decisions=25024, wrong=10615, backtracks=7944, failedAssignments=5130, nogoods=836, foundSolutions=8, bestBound=48
5.76/3.25
5.76/3.28 num=99, depth=15..40, filters=208618, ccks=1096, wck=1.032, mem=47M726
5.76/3.28 decisions=26558, wrong=11372, backtracks=8615, failedAssignments=5541, nogoods=844, foundSolutions=8, bestBound=48
5.76/3.28
5.87/3.32 num=100, depth=4..43, filters=221211, ccks=1096, wck=1.074, mem=47M726
5.87/3.32 decisions=28235, wrong=12202, backtracks=9341, failedAssignments=5993, nogoods=855, foundSolutions=8, bestBound=48
5.87/3.32
5.87/3.39 num=101, depth=2..45, filters=241076, ccks=1096, wck=1.143, mem=47M726
5.87/3.39 decisions=30453, wrong=13307, backtracks=10280, failedAssignments=6490, nogoods=863, foundSolutions=8, bestBound=48
5.87/3.39
5.99/3.44 num=102, depth=4..46, filters=256002, ccks=1096, wck=1.196, mem=47M726
5.99/3.44 decisions=33090, wrong=14610, backtracks=11401, failedAssignments=7037, nogoods=872, foundSolutions=8, bestBound=48
5.99/3.44
5.99/3.49 num=103, depth=7..38, filters=272636, ccks=1096, wck=1.241, mem=47M726
5.99/3.49 decisions=35385, wrong=15749, backtracks=12306, failedAssignments=7639, nogoods=882, foundSolutions=8, bestBound=48
5.99/3.49
6.09/3.58 num=104, depth=17..46, filters=293297, ccks=1096, wck=1.329, mem=47M726
6.09/3.58 decisions=38675, wrong=17383, backtracks=13705, failedAssignments=8301, nogoods=889, foundSolutions=8, bestBound=48
6.09/3.58
6.22/3.65 num=105, depth=18..56, filters=314488, ccks=1096, wck=1.401, mem=47M726
6.22/3.65 decisions=41719, wrong=18896, backtracks=14870, failedAssignments=9029, nogoods=892, foundSolutions=8, bestBound=48
6.22/3.65
6.32/3.75 num=106, depth=21..59, filters=344309, ccks=1096, wck=1.503, mem=47M726
6.32/3.75 decisions=45368, wrong=20706, backtracks=16288, failedAssignments=9830, nogoods=901, foundSolutions=8, bestBound=48
6.32/3.75
6.42/3.84 num=107, depth=0..41, filters=371348, ccks=1096, wck=1.59, mem=47M726
6.42/3.84 decisions=48867, wrong=22446, backtracks=17696, failedAssignments=10711, nogoods=907, foundSolutions=8, bestBound=48
6.42/3.84
6.52/3.97 num=108, depth=4..51, filters=409129, ccks=1096, wck=1.72, mem=47M726
6.52/3.97 decisions=53047, wrong=24526, backtracks=19382, failedAssignments=11681, nogoods=916, foundSolutions=8, bestBound=48
6.52/3.97
6.63/4.09 num=109, depth=0..51, filters=439208, ccks=1096, wck=1.843, mem=47M726
6.63/4.09 decisions=58110, wrong=27040, backtracks=21447, failedAssignments=12748, nogoods=922, foundSolutions=8, bestBound=48
6.63/4.09
6.73/4.19 num=110, depth=5..42, filters=466949, ccks=1096, wck=1.94, mem=47M726
6.73/4.19 decisions=62560, wrong=29255, backtracks=23354, failedAssignments=13921, nogoods=930, foundSolutions=8, bestBound=48
6.73/4.19
6.92/4.35 num=111, depth=6..76, filters=513169, ccks=1096, wck=2.101, mem=50M368
6.92/4.35 decisions=70567, wrong=33251, backtracks=26978, failedAssignments=15212, nogoods=949, foundSolutions=8, bestBound=48
6.92/4.35
7.03/4.48 num=112, depth=0..62, filters=547089, ccks=1096, wck=2.232, mem=50M368
7.03/4.48 decisions=75742, wrong=35830, backtracks=29289, failedAssignments=16632, nogoods=959, foundSolutions=8, bestBound=48
7.03/4.48
7.23/4.64 num=113, depth=0..51, filters=590246, ccks=1096, wck=2.388, mem=50M368
7.23/4.64 decisions=82099, wrong=38996, backtracks=31970, failedAssignments=18194, nogoods=967, foundSolutions=8, bestBound=48
7.23/4.64
7.43/4.84 num=114, depth=5..49, filters=648744, ccks=1096, wck=2.592, mem=50M368
7.43/4.84 decisions=90102, wrong=42991, backtracks=35458, failedAssignments=19912, nogoods=979, foundSolutions=8, bestBound=48
7.43/4.84
7.65/5.05 num=115, depth=8..60, filters=710860, ccks=1096, wck=2.805, mem=50M368
7.65/5.05 decisions=98575, wrong=47219, backtracks=39036, failedAssignments=21802, nogoods=990, foundSolutions=8, bestBound=48
7.65/5.05
7.85/5.29 num=116, depth=8..52, filters=768361, ccks=1096, wck=3.037, mem=50M368
7.85/5.29 decisions=108184, wrong=52012, backtracks=43105, failedAssignments=23881, nogoods=998, foundSolutions=8, bestBound=48
7.85/5.29
8.15/5.55 num=117, depth=2..36, filters=838502, ccks=1096, wck=3.297, mem=50M368
8.15/5.55 decisions=117581, wrong=56704, backtracks=47181, failedAssignments=26168, nogoods=1006, foundSolutions=8, bestBound=48
8.15/5.55
8.45/5.80 num=118, depth=0..53, filters=918050, ccks=1096, wck=3.554, mem=50M368
8.45/5.80 decisions=130353, wrong=63084, backtracks=52878, failedAssignments=28684, nogoods=1012, foundSolutions=8, bestBound=48
8.45/5.80
8.77/6.13 num=119, depth=7..62, filters=1007458, ccks=1096, wck=3.885, mem=50M368
8.77/6.13 decisions=142612, wrong=69201, backtracks=58084, failedAssignments=31452, nogoods=1018, foundSolutions=8, bestBound=48
8.77/6.13
9.16/6.50 num=120, depth=7..58, filters=1106734, ccks=1096, wck=4.249, mem=50M368
9.16/6.50 decisions=157241, wrong=76507, backtracks=64421, failedAssignments=34496, nogoods=1027, foundSolutions=8, bestBound=48
9.16/6.50
9.56/6.96 num=121, depth=3..60, filters=1234530, ccks=1096, wck=4.708, mem=50M368
9.56/6.96 decisions=173390, wrong=84571, backtracks=71388, failedAssignments=37845, nogoods=1037, foundSolutions=8, bestBound=48
9.56/6.96
9.86/7.28 num=122, depth=8..52, filters=1329628, ccks=1096, wck=5.034, mem=50M368
9.86/7.28 decisions=189057, wrong=92394, backtracks=78274, failedAssignments=41529, nogoods=1048, foundSolutions=8, bestBound=48
9.86/7.28
10.36/7.75 num=123, depth=4..42, filters=1453378, ccks=1096, wck=5.502, mem=50M368
10.36/7.75 decisions=205950, wrong=100835, backtracks=85204, failedAssignments=45581, nogoods=1055, foundSolutions=8, bestBound=48
10.36/7.75
10.77/8.11 num=124, depth=8..37, filters=1566801, ccks=1096, wck=5.861, mem=53M10
10.77/8.11 decisions=224943, wrong=110322, backtracks=93616, failedAssignments=50038, nogoods=1069, foundSolutions=8, bestBound=48
10.77/8.11
11.26/8.66 num=125, depth=3..42, filters=1717145, ccks=1096, wck=6.414, mem=53M10
11.26/8.66 decisions=246346, wrong=121015, backtracks=102904, failedAssignments=54941, nogoods=1085, foundSolutions=8, bestBound=48
11.26/8.66
11.86/9.22 num=126, depth=6..50, filters=1874311, ccks=1096, wck=6.967, mem=53M10
11.86/9.22 decisions=270821, wrong=133247, backtracks=113488, failedAssignments=60335, nogoods=1091, foundSolutions=8, bestBound=48
11.86/9.22
12.48/9.84 num=127, depth=7..47, filters=2046183, ccks=1096, wck=7.597, mem=53M10
12.48/9.84 decisions=297793, wrong=146722, backtracks=125354, failedAssignments=66268, nogoods=1102, foundSolutions=8, bestBound=48
12.48/9.84
13.38/10.73 num=128, depth=0..43, filters=2282176, ccks=1096, wck=8.485, mem=53M10
13.38/10.73 decisions=326826, wrong=161228, backtracks=137887, failedAssignments=72794, nogoods=1115, foundSolutions=8, bestBound=48
13.38/10.73
13.98/11.39 num=129, depth=0..52, filters=2471145, ccks=1096, wck=9.144, mem=53M10
13.98/11.39 decisions=358504, wrong=177050, backtracks=152068, failedAssignments=79973, nogoods=1126, foundSolutions=8, bestBound=48
13.98/11.39
14.69/12.04 num=130, depth=2..42, filters=2667104, ccks=1096, wck=9.789, mem=55M653
14.69/12.04 decisions=394320, wrong=194954, backtracks=168504, failedAssignments=87870, nogoods=1135, foundSolutions=8, bestBound=48
14.69/12.04
15.79/13.17 num=131, depth=1..48, filters=2961005, ccks=1096, wck=10.92, mem=55M653
15.79/13.17 decisions=434329, wrong=214948, backtracks=185562, failedAssignments=96557, nogoods=1145, foundSolutions=8, bestBound=48
15.79/13.17
16.69/14.05
16.69/14.05 New Bounds: 48..47
16.69/14.05 num=132, depth=0..52, filters=3196196, ccks=1096, wck=11.806, mem=55M653
16.69/14.05 decisions=469249, wrong=232409, backtracks=200523, failedAssignments=104161, foundSolutions=8, bestBound=48
16.69/14.05
16.69/14.06 Global
16.69/14.06 filters=3196196, ccks=1096
16.69/14.06 Stop=FULL_EXPLORATION, wrong=232409, bestBound=48, bestBoundWck=0.861, bestBoundCpu=2.668, foundSolutions=8, firstSolCpu=2.391
16.69/14.06 wck=12.218, cpu=14.025, mem=55M653
16.69/14.06
16.69/14.06 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.69/14.06 s OPTIMUM FOUND
16.69/14.06
16.69/14.06 d WRONG_DECISIONS 232409
16.69/14.06 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 (14751 MiB free)
memory of node 1: 16384 MiB (15438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390897-1568380692/watcher-4390897-1568380692 -o /tmp/evaluation-result-4390897-1568380692/solver-4390897-1568380692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390897-1568380692.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5972, runsolver pid=5969
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 1.96 0.95 0.41 4/228 5987
/proc/meminfo: memFree=30898392/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10659884 memory=27936 CPUtime=0.14 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 5511 0 0 0 13 1 0 0 20 0 15 0 414340665 10915721216 6984 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2664971 6984 2887 1 0 2627468 0
[pid=5972/tid=5974] ppid=5969 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) R 5969 5972 5027 0 -1 4202560 3225 0 0 0 8 1 0 0 20 0 15 0 414340665 10915721216 7050 33554432000 4194304 4196468 140736415999616 139694763014672 139694365027610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10659884 memory=5793855619294001593 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 7050 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 7050 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 7050 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 7050 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340667 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414340668 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693793588768 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414340668 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693792535920 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) R 5969 5972 5027 0 -1 4202560 436 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693790429992 139694738282055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0.02 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) R 5969 5972 5027 0 -1 4202560 455 0 0 0 2 0 0 0 20 0 15 0 414340670 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693788322856 139694737593493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 7050 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340671 10915721216 7116 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27936 KiB
[startup+0.21062 s]*
/proc/loadavg: 1.96 0.95 0.41 3/228 5987
/proc/meminfo: memFree=30887204/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10659884 memory=37548 CPUtime=0.33 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 9134 0 0 0 30 3 0 0 20 0 15 0 414340665 10915721216 9387 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2664971 9387 2989 1 0 2627468 0
[pid=5972/tid=5974] ppid=5969 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) R 5969 5972 5027 0 -1 4202560 6100 0 0 0 18 2 0 0 20 0 15 0 414340665 10915721216 9387 33554432000 4194304 4196468 140736415999616 139694763011120 139694758806685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10659884 memory=4211974094488898954 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 9387 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 9387 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 9387 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 9387 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340667 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414340668 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693793588768 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414340668 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693792535920 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) S 5969 5972 5027 0 -1 1077944384 687 0 0 0 3 0 0 0 20 0 15 0 414340670 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693790431600 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 414340670 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0.05 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) S 5969 5972 5027 0 -1 1077944384 698 0 0 0 5 0 0 0 20 0 15 0 414340670 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693788326000 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340671 10915721216 9387 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37548 KiB
[startup+0.310106 s]*
/proc/loadavg: 1.96 0.95 0.41 3/228 5987
/proc/meminfo: memFree=30885020/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10659884 memory=40076 CPUtime=0.47 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 9357 0 0 0 44 3 0 0 20 0 15 0 414340665 10915721216 10019 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2664971 10019 3001 1 0 2627468 0
[pid=5972/tid=5974] ppid=5969 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) R 5969 5972 5027 0 -1 4202560 6248 0 0 0 27 3 0 0 20 0 15 0 414340665 10915721216 10019 33554432000 4194304 4196468 140736415999616 139694762998176 139694365027460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10659884 memory=4211974094488898954 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 10019 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10659884 memory=140368284113443 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 10019 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10659884 memory=140368121281997 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 10019 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10659884 memory=140368121286095 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340666 10915721216 10019 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10659884 memory=140368284113474 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340667 10915721216 10019 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10659884 memory=140368121295311 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414340668 10915721216 10019 33554432000 4194304 4196468 140736415999616 139693793588768 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10659884 memory=280736242581392 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414340668 10915721216 10019 33554432000 4194304 4196468 140736415999616 139693792535920 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10659884 memory=280736242579056 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 10085 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) S 5969 5972 5027 0 -1 1077944384 703 0 0 0 4 0 0 0 20 0 15 0 414340670 10915721216 10085 33554432000 4194304 4196468 140736415999616 139693790431600 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10659884 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 323 0 0 0 4 0 0 0 20 0 15 0 414340670 10915721216 10085 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0.08 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) S 5969 5972 5027 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 15 0 414340670 10915721216 10085 33554432000 4194304 4196468 140736415999616 139693788326000 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10915721216 10085 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10659884 memory=140368284108416 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340671 10915721216 10085 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40076 KiB
[startup+0.700829 s]
/proc/loadavg: 1.96 0.95 0.41 3/228 5987
/proc/meminfo: memFree=30874504/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10661932 memory=63716 CPUtime=1.11 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 12965 0 0 0 105 6 0 0 20 0 15 0 414340665 10917818368 15929 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2665483 15929 3071 1 0 2627980 0
[pid=5972/tid=5974] ppid=5969 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) R 5969 5972 5027 0 -1 4202560 8797 0 0 0 63 5 0 0 20 0 15 0 414340665 10917818368 15929 33554432000 4194304 4196468 140736415999616 139694763016784 139694743950352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10917818368 15929 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10917818368 15929 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10917818368 15929 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340666 10917818368 15929 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340667 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414340668 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693793588768 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414340668 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693792535920 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10661932 memory=345 CPUtime=0.11 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) R 5969 5972 5027 0 -1 4202560 1026 0 0 0 11 0 0 0 20 0 15 0 414340670 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693790417696 139694740309293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10661932 memory=10 CPUtime=0.11 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 593 0 0 0 11 0 0 0 20 0 15 0 414340670 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10661932 memory=26446 CPUtime=0.18 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) S 5969 5972 5027 0 -1 1077944384 1190 0 0 0 18 0 0 0 20 0 15 0 414340670 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693788326000 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10661932 memory=280736242765296 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414340670 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340671 10917818368 15929 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63716 KiB
[startup+1.50074 s]
/proc/loadavg: 1.96 0.95 0.41 3/228 5987
/proc/meminfo: memFree=30858188/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10663980 memory=75652 CPUtime=2 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 16772 0 0 0 194 6 0 0 20 0 15 0 414340665 10919915520 18913 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2665995 18913 3094 1 0 2628492 0
[pid=5972/tid=5974] ppid=5969 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) R 5969 5972 5027 0 -1 4202560 11542 0 0 0 143 5 0 0 20 0 15 0 414340665 10919915520 18913 33554432000 4194304 4196468 140736415999616 139694763010640 139694743950327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10919915520 18913 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10919915520 18913 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10663980 memory=-6305718286698570368 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414340666 10919915520 18913 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10663980 memory=4947937137919368832 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414340666 10919915520 18913 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10663980 memory=-6152018833316341604 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414340667 10919915520 18913 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
################
# More data... #
################
[pid=5972/tid=5975] ppid=5969 vsize=10748324 memory=2308 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10748324 memory=2958613 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10748324 memory=3472468497179718338 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10748324 memory=-7533522213388100735 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 16 0 414340667 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10748324 memory=163768 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693793588832 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693792535936 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10748324 memory=280736242677552 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10748324 memory=3620 CPUtime=0.99 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) S 5969 5972 5027 0 -1 1077944384 3181 0 0 0 98 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693790431600 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10748324 memory=22076 CPUtime=0.97 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 2331 0 0 0 97 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10748324 memory=280736242551872 CPUtime=0.66 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) S 5969 5972 5027 0 -1 1077944384 5293 0 0 0 65 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693788326000 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10748324 memory=280736242680040 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414340671 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5988] ppid=5969 vsize=10748324 memory=0 CPUtime=10.79 cores=1,3,5,7
/proc/5972/task/5988/stat : 5988 (java) R 5969 5972 5027 0 -1 4202560 4806 0 0 0 1077 2 0 0 20 0 16 0 414340852 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693769151696 139694371111270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164224 KiB
[startup+14.0774 s]
# the end of solver process 5972 was just reported to runsolver
# cumulated CPU time of all completed processes: user=16.6168 s, system=0.148588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 1.90 0.98 0.43 3/229 5988
/proc/meminfo: memFree=30762032/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10748324 memory=164224 CPUtime=15.48 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 30724 0 0 0 1534 14 0 0 20 0 16 0 414340665 11006283776 41056 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2687081 41056 3353 1 0 2647217 0
[pid=5972/tid=5974] ppid=5969 vsize=10748324 memory=140368121175241 CPUtime=1.85 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) S 5969 5972 5027 0 -1 1077944384 13134 0 0 0 179 6 0 0 20 0 16 0 414340665 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694763027632 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10748324 memory=3472328296227685345 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10748324 memory=3472328296227683137 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10748324 memory=1548 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10748324 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 16 0 414340667 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10748324 memory=744 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693793588832 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10748324 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693792535936 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10748324 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10748324 memory=1124 CPUtime=0.99 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) S 5969 5972 5027 0 -1 1077944384 3181 0 0 0 98 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693790431600 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10748324 memory=14008 CPUtime=0.97 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 2331 0 0 0 97 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10748324 memory=11928 CPUtime=0.66 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) S 5969 5972 5027 0 -1 1077944384 5293 0 0 0 65 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693788326000 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10748324 memory=164204 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10748324 memory=163768 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414340671 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5988] ppid=5969 vsize=10748324 memory=4051468120432849511 CPUtime=10.89 cores=1,3,5,7
/proc/5972/task/5988/stat : 5988 (java) R 5969 5972 5027 0 -1 4202560 4806 0 0 0 1087 2 0 0 20 0 16 0 414340852 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693769151696 139694370779392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164224 KiB
[startup+13.6006 s]
/proc/loadavg: 1.90 0.98 0.43 3/229 5988
/proc/meminfo: memFree=30761692/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10748324 memory=164224 CPUtime=16.28 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 30741 0 0 0 1614 14 0 0 20 0 16 0 414340665 11006283776 41056 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2687081 41056 3353 1 0 2647217 0
[pid=5972/tid=5974] ppid=5969 vsize=10748324 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) S 5969 5972 5027 0 -1 1077944384 13134 0 0 0 179 6 0 0 20 0 16 0 414340665 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694763027632 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10748324 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10748324 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10748324 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10748324 memory=1564 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10748324 memory=976 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 16 0 414340667 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693793588832 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10748324 memory=11928 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693792535936 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10748324 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10748324 memory=7048 CPUtime=0.99 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) S 5969 5972 5027 0 -1 1077944384 3181 0 0 0 98 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693790431600 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10748324 memory=504 CPUtime=0.97 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 2331 0 0 0 97 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10748324 memory=1564 CPUtime=0.66 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) S 5969 5972 5027 0 -1 1077944384 5293 0 0 0 65 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693788326000 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10748324 memory=924 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10748324 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414340671 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5988] ppid=5969 vsize=10748324 memory=1984 CPUtime=11.69 cores=1,3,5,7
/proc/5972/task/5988/stat : 5988 (java) R 5969 5972 5027 0 -1 4202560 4821 0 0 0 1167 2 0 0 20 0 16 0 414340852 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693769146240 139694371334999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 16.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164224 KiB
[startup+14.0006 s]*
/proc/loadavg: 1.90 0.98 0.43 3/229 5988
/proc/meminfo: memFree=30761568/32770624 swapFree=66934464/67108860
[pid=5972] ppid=5969 vsize=10748324 memory=164224 CPUtime=16.69 cores=1,3,5,7
/proc/5972/stat : 5972 (java) S 5969 5972 5027 0 -1 1077944320 30741 0 0 0 1655 14 0 0 20 0 16 0 414340665 11006283776 41056 33554432000 4194304 4196468 140736415999616 140736415982160 139694758784759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
/proc/5972/statm: 2687081 41056 3353 1 0 2647217 0
[pid=5972/tid=5974] ppid=5969 vsize=10748324 memory=4294969504 CPUtime=1.85 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (java) S 5969 5972 5027 0 -1 1077944384 13134 0 0 0 179 6 0 0 20 0 16 0 414340665 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694763027632 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5975] ppid=5969 vsize=10748324 memory=94916 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (java) S 5969 5972 5027 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694684859024 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5976] ppid=5969 vsize=10748324 memory=4945125699554088323 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5976/stat : 5976 (java) S 5969 5972 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694364944912 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5977] ppid=5969 vsize=10748324 memory=29678448712876256 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5977/stat : 5977 (java) S 5969 5972 5027 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694363892112 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5978] ppid=5969 vsize=10748324 memory=301741390657829915 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5978/stat : 5978 (java) S 5969 5972 5027 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 414340666 11006283776 41056 33554432000 4194304 4196468 140736415999616 139694362839312 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5979] ppid=5969 vsize=10748324 memory=14133342382725363 CPUtime=0.01 cores=1,3,5,7
/proc/5972/task/5979/stat : 5979 (java) S 5969 5972 5027 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 16 0 414340667 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693794642800 139694758795906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5980] ppid=5969 vsize=10748324 memory=3470692292451393600 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5980/stat : 5980 (java) S 5969 5972 5027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693793588832 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5981] ppid=5969 vsize=10748324 memory=6935649255928981585 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5981/stat : 5981 (java) S 5969 5972 5027 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414340668 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693792535936 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5982] ppid=5969 vsize=10748324 memory=-9123011406877529180 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5982/stat : 5982 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693791484240 139694758803355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5983] ppid=5969 vsize=10748324 memory=7079711572788011072 CPUtime=0.99 cores=1,3,5,7
/proc/5972/task/5983/stat : 5983 (java) S 5969 5972 5027 0 -1 1077944384 3181 0 0 0 98 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693790431600 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5984] ppid=5969 vsize=10748324 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/5972/task/5984/stat : 5984 (java) S 5969 5972 5027 0 -1 1077944384 2331 0 0 0 97 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693789378800 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5985] ppid=5969 vsize=10748324 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5972/task/5985/stat : 5985 (java) S 5969 5972 5027 0 -1 1077944384 5293 0 0 0 65 1 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693788326000 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5986] ppid=5969 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5986/stat : 5986 (java) S 5969 5972 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414340670 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693787273440 139694758794965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5987] ppid=5969 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5987/stat : 5987 (java) S 5969 5972 5027 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414340671 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693786221744 139694758795906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
[pid=5972/tid=5988] ppid=5969 vsize=10748324 memory=0 CPUtime=12.1 cores=1,3,5,7
/proc/5972/task/5988/stat : 5988 (java) R 5969 5972 5027 0 -1 4202560 4821 0 0 0 1208 2 0 0 20 0 16 0 414340852 11006283776 41056 33554432000 4194304 4196468 140736415999616 139693769146240 139694371180993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16535552 140736416007179 140736416007282 140736416007282 140736416010191 0
Current children cumulated CPU time: 16.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 164224 KiB
Child status: 0
Real time (s): 14.0774
CPU time (s): 16.7654
CPU user time (s): 16.6168
CPU system time (s): 0.148588
CPU usage (%): 119.094
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 164224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.6168
system time used= 0.148588
maximum resident set size= 164748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32292
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= 3151
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 5972
# total CPU time (s): 16.7654
# total CPU user time (s): 16.6168
# total CPU system time (s): 0.148588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.113561 second user time and 0.168622 second system time
The end