2.34/1.90
2.34/1.90 AbsCon 2
3.11/2.15
3.11/2.15 Instance
3.11/2.15 name=instance-4391196-1568389118, framework=COP, bounds=-infty..+infty
3.11/2.15
3.11/2.15 Loading variables...
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@646a8ece
3.11/2.15 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e73f46
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420f2b5c
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336f96c6
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7428dd44
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dcd3859
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62578de4
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ea4be73
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dca3332
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1fc1f5
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1fc1f5
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1fc1f5
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23434d21
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23434d21
3.11/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6043d8c4
3.11/2.17
3.11/2.17
3.11/2.17 Domains
3.11/2.17 nTypes=2, nValues=455, sizes=[2#216,23#1]
3.11/2.17 Variables
3.11/2.17 count=217, degrees=[11#4,12#58,13#154,37#1]
3.11/2.17 Objectives
3.11/2.17 way=min, type=ObjVarLE
3.11/2.17 Constraints
3.11/2.17 count=77, nSpecific=77, arities=[1#1,18#23,24#9,48#8,49#36]
3.11/2.17 distribution=[LexicographicLe#31,ObjVarLE#1,SumScalarBooleanLEVar#36,SumSimpleEQ#9]
3.11/2.17 wck=0.304, cpu=2.138, mem=23M869
3.11/2.17 Solver SolverBacktrack being built...
3.11/2.17
3.40/2.20
3.40/2.20 Solver
3.40/2.20 guaranteedGAC=true
3.40/2.20 wck=0.336, cpu=2.168, mem=34M512
3.40/2.21
3.40/2.21 Preprocessing
3.40/2.21 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.40/2.21 wck=0.005, cpu=2.174, mem=34M512
3.40/2.21
3.40/2.22 num=0, depth=27..74, filters=114, wck=0.019, mem=34M512
3.40/2.22 decisions=117, wrong=24, backtracks=22, failedAssignments=10, nogoods=2
3.40/2.22
3.40/2.24 o 8
3.40/2.25 num=1, depth=4..216, filters=315, ccks=77, wck=0.047, mem=37M154
3.40/2.25 decisions=158, wrong=38, backtracks=30, failedAssignments=17, nogoods=5, foundSolutions=1, bestBound=8
3.40/2.25
3.40/2.26 num=2, depth=3..20, filters=518, ccks=77, wck=0.054, mem=37M154
3.40/2.26 decisions=223, wrong=64, backtracks=49, failedAssignments=29, nogoods=11, foundSolutions=1, bestBound=8
3.40/2.26
3.40/2.26 num=3, depth=6..59, filters=711, ccks=77, wck=0.062, mem=37M154
3.40/2.26 decisions=307, wrong=81, backtracks=57, failedAssignments=40, nogoods=18, foundSolutions=1, bestBound=8
3.40/2.26
3.40/2.27 o 7
3.40/2.28 num=4, depth=3..216, filters=841, ccks=154, wck=0.071, mem=37M154
3.40/2.28 decisions=402, wrong=88, backtracks=57, failedAssignments=47, nogoods=25, foundSolutions=2, bestBound=7
3.40/2.28
3.40/2.28 o 6
3.40/2.28 num=5, depth=4..216, filters=937, ccks=231, wck=0.08, mem=37M154
3.40/2.28 decisions=498, wrong=93, backtracks=57, failedAssignments=52, nogoods=30, foundSolutions=3, bestBound=6
3.40/2.28
3.40/2.29 num=6, depth=3..74, filters=1058, ccks=231, wck=0.086, mem=37M154
3.40/2.29 decisions=591, wrong=106, backtracks=65, failedAssignments=63, nogoods=36, foundSolutions=3, bestBound=6
3.40/2.29
3.40/2.29 num=7, depth=3..65, filters=1184, ccks=231, wck=0.088, mem=37M154
3.40/2.29 decisions=677, wrong=119, backtracks=71, failedAssignments=74, nogoods=43, foundSolutions=3, bestBound=6
3.40/2.29
3.40/2.29 num=8, depth=3..65, filters=1295, ccks=231, wck=0.09, mem=37M154
3.40/2.29 decisions=766, wrong=135, backtracks=83, failedAssignments=86, nogoods=47, foundSolutions=3, bestBound=6
3.40/2.29
3.40/2.30 num=9, depth=2..50, filters=1398, ccks=231, wck=0.092, mem=37M154
3.40/2.30 decisions=837, wrong=150, backtracks=93, failedAssignments=99, nogoods=52, foundSolutions=3, bestBound=6
3.40/2.30
3.40/2.30 num=10, depth=2..42, filters=1489, ccks=231, wck=0.093, mem=37M154
3.40/2.30 decisions=900, wrong=165, backtracks=99, failedAssignments=113, nogoods=61, foundSolutions=3, bestBound=6
3.40/2.30
3.70/2.30 num=11, depth=1..51, filters=1652, ccks=231, wck=0.097, mem=39M797
3.70/2.30 decisions=982, wrong=185, backtracks=111, failedAssignments=129, nogoods=69, foundSolutions=3, bestBound=6
3.70/2.30
3.70/2.30 num=12, depth=1..101, filters=1792, ccks=231, wck=0.1, mem=39M797
3.70/2.30 decisions=1101, wrong=202, backtracks=111, failedAssignments=146, nogoods=86, foundSolutions=3, bestBound=6
3.70/2.30
3.70/2.31 o 5
3.70/2.31 num=13, depth=1..216, filters=1930, ccks=308, wck=0.104, mem=39M797
3.70/2.31 decisions=1221, wrong=218, backtracks=117, failedAssignments=160, nogoods=96, foundSolutions=4, bestBound=5
3.70/2.31
3.70/2.31 num=14, depth=1..44, filters=2082, ccks=308, wck=0.107, mem=39M797
3.70/2.31 decisions=1312, wrong=245, backtracks=136, failedAssignments=181, nogoods=104, foundSolutions=4, bestBound=5
3.70/2.31
3.70/2.31 num=15, depth=1..61, filters=2201, ccks=308, wck=0.109, mem=39M797
3.70/2.31 decisions=1395, wrong=261, backtracks=144, failedAssignments=192, nogoods=111, foundSolutions=4, bestBound=5
3.70/2.31
3.70/2.31 num=16, depth=3..59, filters=2303, ccks=308, wck=0.111, mem=39M797
3.70/2.31 decisions=1474, wrong=276, backtracks=147, failedAssignments=204, nogoods=122, foundSolutions=4, bestBound=5
3.70/2.31
3.70/2.32 num=17, depth=6..93, filters=2415, ccks=308, wck=0.114, mem=39M797
3.70/2.32 decisions=1584, wrong=290, backtracks=151, failedAssignments=217, nogoods=132, foundSolutions=4, bestBound=5
3.70/2.32
3.70/2.32 num=18, depth=2..56, filters=2512, ccks=308, wck=0.116, mem=39M797
3.70/2.32 decisions=1659, wrong=305, backtracks=154, failedAssignments=231, nogoods=144, foundSolutions=4, bestBound=5
3.70/2.32
3.70/2.32 num=19, depth=3..43, filters=2635, ccks=308, wck=0.118, mem=39M797
3.70/2.32 decisions=1725, wrong=325, backtracks=162, failedAssignments=247, nogoods=154, foundSolutions=4, bestBound=5
3.70/2.32
3.70/2.32 num=20, depth=3..104, filters=2768, ccks=308, wck=0.12, mem=39M797
3.70/2.32 decisions=1849, wrong=343, backtracks=167, failedAssignments=264, nogoods=167, foundSolutions=4, bestBound=5
3.70/2.32
3.70/2.33 num=21, depth=4..61, filters=2961, ccks=308, wck=0.123, mem=39M797
3.70/2.33 decisions=1966, wrong=375, backtracks=186, failedAssignments=283, nogoods=174, foundSolutions=4, bestBound=5
3.70/2.33
3.70/2.33 num=22, depth=1..87, filters=3124, ccks=308, wck=0.126, mem=39M797
3.70/2.33 decisions=2096, wrong=403, backtracks=201, failedAssignments=304, nogoods=185, foundSolutions=4, bestBound=5
3.70/2.33
3.70/2.33 o 4
3.70/2.33 num=23, depth=1..216, filters=3275, ccks=385, wck=0.13, mem=39M797
3.70/2.33 decisions=2220, wrong=421, backtracks=204, failedAssignments=320, nogoods=199, foundSolutions=5, bestBound=4
3.70/2.33
3.70/2.33 num=24, depth=1..58, filters=3467, ccks=385, wck=0.133, mem=39M797
3.70/2.33 decisions=2338, wrong=456, backtracks=229, failedAssignments=345, nogoods=210, foundSolutions=5, bestBound=4
3.70/2.33
3.70/2.34 num=25, depth=1..29, filters=3584, ccks=385, wck=0.135, mem=39M797
3.70/2.34 decisions=2382, wrong=468, backtracks=232, failedAssignments=356, nogoods=219, foundSolutions=5, bestBound=4
3.70/2.34
3.70/2.34 num=26, depth=1..44, filters=3708, ccks=385, wck=0.137, mem=39M797
3.70/2.34 decisions=2443, wrong=481, backtracks=235, failedAssignments=368, nogoods=229, foundSolutions=5, bestBound=4
3.70/2.34
3.70/2.34 num=27, depth=6..45, filters=3842, ccks=385, wck=0.139, mem=39M797
3.70/2.34 decisions=2511, wrong=497, backtracks=241, failedAssignments=381, nogoods=239, foundSolutions=5, bestBound=4
3.70/2.34
3.70/2.34 num=28, depth=4..30, filters=3979, ccks=385, wck=0.14, mem=39M797
3.70/2.34 decisions=2582, wrong=523, backtracks=258, failedAssignments=395, nogoods=248, foundSolutions=5, bestBound=4
3.70/2.34
3.70/2.34 num=29, depth=2..36, filters=4109, ccks=385, wck=0.142, mem=39M797
3.70/2.34 decisions=2651, wrong=545, backtracks=275, failedAssignments=411, nogoods=253, foundSolutions=5, bestBound=4
3.70/2.34
3.70/2.35 num=30, depth=4..45, filters=4258, ccks=385, wck=0.144, mem=39M797
3.70/2.35 decisions=2729, wrong=568, backtracks=288, failedAssignments=428, nogoods=265, foundSolutions=5, bestBound=4
3.70/2.35
3.70/2.35 num=31, depth=2..66, filters=4417, ccks=385, wck=0.147, mem=39M797
3.70/2.35 decisions=2833, wrong=593, backtracks=304, failedAssignments=447, nogoods=275, foundSolutions=5, bestBound=4
3.70/2.35
3.70/2.35 num=32, depth=3..25, filters=4946, ccks=385, wck=0.152, mem=39M797
3.70/2.35 decisions=2941, wrong=640, backtracks=342, failedAssignments=468, nogoods=282, foundSolutions=5, bestBound=4
3.70/2.35
3.70/2.36 num=33, depth=5..26, filters=5183, ccks=385, wck=0.155, mem=39M797
3.70/2.36 decisions=3035, wrong=680, backtracks=375, failedAssignments=491, nogoods=287, foundSolutions=5, bestBound=4
3.70/2.36
3.70/2.36 num=34, depth=3..26, filters=5846, ccks=385, wck=0.161, mem=39M797
3.70/2.36 decisions=3164, wrong=735, backtracks=418, failedAssignments=516, nogoods=294, foundSolutions=5, bestBound=4
3.70/2.36
3.70/2.37 num=35, depth=4..61, filters=6168, ccks=385, wck=0.165, mem=39M797
3.70/2.37 decisions=3309, wrong=782, backtracks=453, failedAssignments=544, nogoods=305, foundSolutions=5, bestBound=4
3.70/2.37
3.70/2.37 num=36, depth=1..28, filters=6818, ccks=385, wck=0.171, mem=39M797
3.70/2.37 decisions=3477, wrong=855, backtracks=512, failedAssignments=575, nogoods=312, foundSolutions=5, bestBound=4
3.70/2.37
3.70/2.38 num=37, depth=5..56, filters=7277, ccks=385, wck=0.177, mem=39M797
3.70/2.38 decisions=3648, wrong=918, backtracks=558, failedAssignments=609, nogoods=323, foundSolutions=5, bestBound=4
3.70/2.38
3.70/2.38 num=38, depth=3..58, filters=7689, ccks=385, wck=0.183, mem=39M797
3.70/2.38 decisions=3832, wrong=988, backtracks=615, failedAssignments=646, nogoods=334, foundSolutions=5, bestBound=4
3.70/2.38
3.70/2.39 num=39, depth=5..57, filters=7985, ccks=385, wck=0.187, mem=39M797
3.70/2.39 decisions=3998, wrong=1048, backtracks=661, failedAssignments=687, nogoods=346, foundSolutions=5, bestBound=4
3.70/2.39
3.70/2.39 num=40, depth=4..85, filters=8255, ccks=385, wck=0.191, mem=39M797
3.70/2.39 decisions=4187, wrong=1111, backtracks=697, failedAssignments=732, nogoods=368, foundSolutions=5, bestBound=4
3.70/2.39
4.03/2.40 num=41, depth=5..70, filters=8542, ccks=385, wck=0.195, mem=39M797
4.03/2.40 decisions=4420, wrong=1201, backtracks=771, failedAssignments=782, nogoods=382, foundSolutions=5, bestBound=4
4.03/2.40
4.03/2.40 num=42, depth=4..71, filters=8861, ccks=385, wck=0.199, mem=39M797
4.03/2.40 decisions=4662, wrong=1297, backtracks=845, failedAssignments=837, nogoods=400, foundSolutions=5, bestBound=4
4.03/2.40
4.03/2.40 num=43, depth=15..113, filters=9240, ccks=385, wck=0.203, mem=39M797
4.03/2.40 decisions=4958, wrong=1399, backtracks=924, failedAssignments=898, nogoods=418, foundSolutions=5, bestBound=4
4.03/2.40
4.03/2.41 num=44, depth=5..68, filters=9638, ccks=385, wck=0.207, mem=39M797
4.03/2.41 decisions=5272, wrong=1531, backtracks=1046, failedAssignments=965, nogoods=434, foundSolutions=5, bestBound=4
4.03/2.41
4.03/2.41 num=45, depth=6..68, filters=10177, ccks=385, wck=0.212, mem=39M797
4.03/2.41 decisions=5608, wrong=1672, backtracks=1176, failedAssignments=1039, nogoods=444, foundSolutions=5, bestBound=4
4.03/2.41
4.03/2.42 num=46, depth=4..64, filters=10728, ccks=385, wck=0.217, mem=39M797
4.03/2.42 decisions=5963, wrong=1828, backtracks=1320, failedAssignments=1120, nogoods=458, foundSolutions=5, bestBound=4
4.03/2.42
4.03/2.42 num=47, depth=6..62, filters=11235, ccks=385, wck=0.222, mem=39M797
4.03/2.42 decisions=6353, wrong=2002, backtracks=1475, failedAssignments=1209, nogoods=470, foundSolutions=5, bestBound=4
4.03/2.42
4.03/2.43 num=48, depth=3..76, filters=12352, ccks=385, wck=0.229, mem=39M797
4.03/2.43 decisions=6830, wrong=2217, backtracks=1658, failedAssignments=1307, nogoods=488, foundSolutions=5, bestBound=4
4.03/2.43
4.03/2.44 num=49, depth=9..75, filters=13515, ccks=385, wck=0.238, mem=39M797
4.03/2.44 decisions=7327, wrong=2443, backtracks=1851, failedAssignments=1415, nogoods=498, foundSolutions=5, bestBound=4
4.03/2.44
4.03/2.45 num=50, depth=4..84, filters=14498, ccks=385, wck=0.245, mem=39M797
4.03/2.45 decisions=7870, wrong=2688, backtracks=2062, failedAssignments=1534, nogoods=513, foundSolutions=5, bestBound=4
4.03/2.45
4.03/2.46 num=51, depth=5..54, filters=15515, ccks=385, wck=0.254, mem=39M797
4.03/2.46 decisions=8403, wrong=2936, backtracks=2290, failedAssignments=1665, nogoods=529, foundSolutions=5, bestBound=4
4.03/2.46
4.03/2.47 num=52, depth=8..72, filters=17178, ccks=385, wck=0.265, mem=42M439
4.03/2.47 decisions=9219, wrong=3317, backtracks=2651, failedAssignments=1809, nogoods=542, foundSolutions=5, bestBound=4
4.03/2.47
4.03/2.47 o 3
4.03/2.47 num=53, depth=6..216, filters=17380, ccks=462, wck=0.269, mem=42M439
4.03/2.47 decisions=9386, wrong=3354, backtracks=2664, failedAssignments=1840, nogoods=566, foundSolutions=6, bestBound=3
4.03/2.47
4.03/2.48 num=54, depth=6..69, filters=19195, ccks=462, wck=0.281, mem=42M439
4.03/2.48 decisions=10282, wrong=3782, backtracks=3060, failedAssignments=2014, nogoods=579, foundSolutions=6, bestBound=3
4.03/2.48
4.03/2.48 num=55, depth=1..47, filters=19332, ccks=462, wck=0.282, mem=42M439
4.03/2.48 decisions=10350, wrong=3797, backtracks=3067, failedAssignments=2025, nogoods=587, foundSolutions=6, bestBound=3
4.03/2.48
4.03/2.48 num=56, depth=1..53, filters=19464, ccks=462, wck=0.283, mem=42M439
4.03/2.48 decisions=10422, wrong=3813, backtracks=3078, failedAssignments=2037, nogoods=593, foundSolutions=6, bestBound=3
4.03/2.48
4.03/2.49 num=57, depth=2..53, filters=19606, ccks=462, wck=0.285, mem=42M439
4.03/2.49 decisions=10503, wrong=3833, backtracks=3089, failedAssignments=2050, nogoods=602, foundSolutions=6, bestBound=3
4.03/2.49
4.03/2.49 num=58, depth=2..47, filters=19852, ccks=462, wck=0.287, mem=42M439
4.03/2.49 decisions=10595, wrong=3862, backtracks=3107, failedAssignments=2064, nogoods=610, foundSolutions=6, bestBound=3
4.03/2.49
4.03/2.49 num=59, depth=2..50, filters=20031, ccks=462, wck=0.288, mem=42M439
4.03/2.49 decisions=10681, wrong=3886, backtracks=3122, failedAssignments=2080, nogoods=620, foundSolutions=6, bestBound=3
4.03/2.49
4.03/2.49 num=60, depth=4..51, filters=20226, ccks=462, wck=0.29, mem=42M439
4.03/2.49 decisions=10775, wrong=3913, backtracks=3137, failedAssignments=2097, nogoods=632, foundSolutions=6, bestBound=3
4.03/2.49
4.03/2.49 num=61, depth=37..46, filters=20481, ccks=462, wck=0.292, mem=42M439
4.03/2.49 decisions=10894, wrong=3954, backtracks=3179, failedAssignments=2116, nogoods=633, foundSolutions=6, bestBound=3
4.03/2.49
4.33/2.50 num=62, depth=1..45, filters=20751, ccks=462, wck=0.294, mem=42M439
4.33/2.50 decisions=10998, wrong=3990, backtracks=3203, failedAssignments=2137, nogoods=639, foundSolutions=6, bestBound=3
4.33/2.50
4.33/2.50 num=63, depth=2..44, filters=21055, ccks=462, wck=0.296, mem=42M439
4.33/2.50 decisions=11119, wrong=4036, backtracks=3236, failedAssignments=2160, nogoods=647, foundSolutions=6, bestBound=3
4.33/2.50
4.33/2.50 num=64, depth=2..52, filters=21284, ccks=462, wck=0.298, mem=42M439
4.33/2.50 decisions=11224, wrong=4071, backtracks=3260, failedAssignments=2185, nogoods=658, foundSolutions=6, bestBound=3
4.33/2.50
4.33/2.50 num=65, depth=2..63, filters=21565, ccks=462, wck=0.301, mem=42M439
4.33/2.50 decisions=11355, wrong=4112, backtracks=3287, failedAssignments=2213, nogoods=672, foundSolutions=6, bestBound=3
4.33/2.50
4.33/2.51 num=66, depth=3..49, filters=21920, ccks=462, wck=0.303, mem=42M439
4.33/2.51 decisions=11499, wrong=4168, backtracks=3332, failedAssignments=2244, nogoods=683, foundSolutions=6, bestBound=3
4.33/2.51
4.33/2.51 num=67, depth=2..43, filters=22301, ccks=462, wck=0.306, mem=42M439
4.33/2.51 decisions=11659, wrong=4233, backtracks=3387, failedAssignments=2278, nogoods=693, foundSolutions=6, bestBound=3
4.33/2.51
4.33/2.51 num=68, depth=1..41, filters=22793, ccks=462, wck=0.309, mem=42M439
4.33/2.51 decisions=11830, wrong=4305, backtracks=3448, failedAssignments=2315, nogoods=700, foundSolutions=6, bestBound=3
4.33/2.51
4.33/2.51 num=69, depth=1..43, filters=23253, ccks=462, wck=0.312, mem=42M439
4.33/2.51 decisions=11997, wrong=4375, backtracks=3508, failedAssignments=2356, nogoods=708, foundSolutions=6, bestBound=3
4.33/2.51
4.33/2.52 num=70, depth=1..41, filters=23906, ccks=462, wck=0.315, mem=42M439
4.33/2.52 decisions=12204, wrong=4465, backtracks=3584, failedAssignments=2401, nogoods=717, foundSolutions=6, bestBound=3
4.33/2.52
4.33/2.52 num=71, depth=1..33, filters=24409, ccks=462, wck=0.318, mem=42M439
4.33/2.52 decisions=12391, wrong=4550, backtracks=3657, failedAssignments=2451, nogoods=725, foundSolutions=6, bestBound=3
4.33/2.52
4.33/2.52 num=72, depth=1..29, filters=24975, ccks=462, wck=0.322, mem=42M439
4.33/2.52 decisions=12614, wrong=4651, backtracks=3745, failedAssignments=2506, nogoods=730, foundSolutions=6, bestBound=3
4.33/2.52
4.33/2.53 num=73, depth=1..38, filters=25954, ccks=462, wck=0.326, mem=42M439
4.33/2.53 decisions=12917, wrong=4793, backtracks=3875, failedAssignments=2567, nogoods=738, foundSolutions=6, bestBound=3
4.33/2.53
4.33/2.53 num=74, depth=1..39, filters=26839, ccks=462, wck=0.331, mem=42M439
4.33/2.53 decisions=13183, wrong=4914, backtracks=3974, failedAssignments=2634, nogoods=751, foundSolutions=6, bestBound=3
4.33/2.53
4.33/2.54 num=75, depth=2..34, filters=28266, ccks=462, wck=0.338, mem=42M439
4.33/2.54 decisions=13512, wrong=5068, backtracks=4107, failedAssignments=2708, nogoods=759, foundSolutions=6, bestBound=3
4.33/2.54
4.33/2.55 num=76, depth=7..55, filters=29344, ccks=462, wck=0.344, mem=42M439
4.33/2.55 decisions=13932, wrong=5261, backtracks=4288, failedAssignments=2789, nogoods=771, foundSolutions=6, bestBound=3
4.33/2.55
4.33/2.55 num=77, depth=2..37, filters=30587, ccks=462, wck=0.35, mem=42M439
4.33/2.55 decisions=14274, wrong=5421, backtracks=4429, failedAssignments=2878, nogoods=784, foundSolutions=6, bestBound=3
4.33/2.55
4.33/2.56 num=78, depth=7..33, filters=32101, ccks=462, wck=0.357, mem=42M439
4.33/2.56 decisions=14702, wrong=5624, backtracks=4605, failedAssignments=2976, nogoods=792, foundSolutions=6, bestBound=3
4.33/2.56
4.33/2.57 num=79, depth=18..62, filters=33886, ccks=462, wck=0.366, mem=42M439
4.33/2.57 decisions=15260, wrong=5880, backtracks=4838, failedAssignments=3084, nogoods=806, foundSolutions=6, bestBound=3
4.33/2.57
4.33/2.58 num=80, depth=3..36, filters=35663, ccks=462, wck=0.374, mem=42M439
4.33/2.58 decisions=15743, wrong=6108, backtracks=5047, failedAssignments=3203, nogoods=814, foundSolutions=6, bestBound=3
4.33/2.58
4.33/2.58 num=81, depth=6..51, filters=37319, ccks=462, wck=0.383, mem=42M439
4.33/2.58 decisions=16320, wrong=6376, backtracks=5279, failedAssignments=3334, nogoods=823, foundSolutions=6, bestBound=3
4.33/2.58
4.33/2.59 num=82, depth=3..87, filters=38716, ccks=462, wck=0.39, mem=42M439
4.33/2.59 decisions=17021, wrong=6699, backtracks=5588, failedAssignments=3478, nogoods=845, foundSolutions=6, bestBound=3
4.33/2.59
4.63/2.60 num=83, depth=2..40, filters=41614, ccks=462, wck=0.401, mem=42M439
4.63/2.60 decisions=17714, wrong=7032, backtracks=5893, failedAssignments=3636, nogoods=855, foundSolutions=6, bestBound=3
4.63/2.60
4.63/2.61 num=84, depth=6..56, filters=44331, ccks=462, wck=0.411, mem=42M439
4.63/2.61 decisions=18562, wrong=7435, backtracks=6271, failedAssignments=3810, nogoods=870, foundSolutions=6, bestBound=3
4.63/2.61
4.63/2.63 num=85, depth=1..43, filters=48074, ccks=462, wck=0.425, mem=45M82
4.63/2.63 decisions=19504, wrong=7897, backtracks=6700, failedAssignments=4001, nogoods=884, foundSolutions=6, bestBound=3
4.63/2.63
4.63/2.64 num=86, depth=3..83, filters=50929, ccks=462, wck=0.436, mem=45M82
4.63/2.64 decisions=20700, wrong=8468, backtracks=7241, failedAssignments=4212, nogoods=901, foundSolutions=6, bestBound=3
4.63/2.64
4.63/2.65 num=87, depth=1..55, filters=53842, ccks=462, wck=0.448, mem=45M82
4.63/2.65 decisions=21762, wrong=8980, backtracks=7718, failedAssignments=4444, nogoods=916, foundSolutions=6, bestBound=3
4.63/2.65
4.63/2.66 num=88, depth=7..64, filters=57167, ccks=462, wck=0.46, mem=45M82
4.63/2.66 decisions=22973, wrong=9563, backtracks=8184, failedAssignments=4699, nogoods=927, foundSolutions=6, bestBound=3
4.63/2.66
4.63/2.67 num=89, depth=3..73, filters=59983, ccks=462, wck=0.472, mem=45M82
4.63/2.67 decisions=24465, wrong=10281, backtracks=8852, failedAssignments=4980, nogoods=949, foundSolutions=6, bestBound=3
4.63/2.67
4.63/2.69 num=90, depth=5..91, filters=63327, ccks=462, wck=0.485, mem=45M82
4.63/2.69 decisions=26145, wrong=11092, backtracks=9616, failedAssignments=5289, nogoods=979, foundSolutions=6, bestBound=3
4.63/2.69
4.85/2.70 num=91, depth=3..60, filters=67463, ccks=462, wck=0.501, mem=45M82
4.85/2.70 decisions=27691, wrong=11847, backtracks=10326, failedAssignments=5629, nogoods=1000, foundSolutions=6, bestBound=3
4.85/2.70
4.85/2.72 num=92, depth=3..89, filters=71397, ccks=462, wck=0.516, mem=45M82
4.85/2.72 decisions=29595, wrong=12771, backtracks=11156, failedAssignments=6003, nogoods=1018, foundSolutions=6, bestBound=3
4.85/2.72
4.85/2.73 num=93, depth=1..69, filters=75761, ccks=462, wck=0.533, mem=45M82
4.85/2.73 decisions=31613, wrong=13762, backtracks=12063, failedAssignments=6414, nogoods=1026, foundSolutions=6, bestBound=3
4.85/2.73
4.85/2.75 num=94, depth=23..53, filters=80832, ccks=462, wck=0.551, mem=45M82
4.85/2.75 decisions=33514, wrong=14694, backtracks=12915, failedAssignments=6866, nogoods=1031, foundSolutions=6, bestBound=3
4.85/2.75
4.85/2.78 num=95, depth=1..61, filters=87931, ccks=462, wck=0.576, mem=45M82
4.85/2.78 decisions=35636, wrong=15735, backtracks=13877, failedAssignments=7363, nogoods=1050, foundSolutions=6, bestBound=3
4.85/2.78
4.95/2.81 num=96, depth=1..82, filters=96149, ccks=462, wck=0.604, mem=45M82
4.95/2.81 decisions=38474, wrong=17130, backtracks=15222, failedAssignments=7910, nogoods=1074, foundSolutions=6, bestBound=3
4.95/2.81
4.95/2.83 num=97, depth=2..74, filters=102600, ccks=462, wck=0.63, mem=45M82
4.95/2.83 decisions=41560, wrong=18653, backtracks=16619, failedAssignments=8512, nogoods=1097, foundSolutions=6, bestBound=3
4.95/2.83
4.95/2.86 num=98, depth=3..66, filters=110293, ccks=462, wck=0.659, mem=45M82
4.95/2.86 decisions=44571, wrong=20137, backtracks=18037, failedAssignments=9174, nogoods=1111, foundSolutions=6, bestBound=3
4.95/2.86
5.05/2.90 num=99, depth=5..57, filters=119731, ccks=462, wck=0.698, mem=47M724
5.05/2.90 decisions=47817, wrong=21745, backtracks=19477, failedAssignments=9902, nogoods=1123, foundSolutions=6, bestBound=3
5.05/2.90
5.05/2.93 num=100, depth=0..75, filters=127556, ccks=462, wck=0.73, mem=47M724
5.05/2.93 decisions=52089, wrong=23858, backtracks=21447, failedAssignments=10703, nogoods=1146, foundSolutions=6, bestBound=3
5.05/2.93
5.05/2.99 num=101, depth=6..65, filters=143177, ccks=462, wck=0.788, mem=47M724
5.05/2.99 decisions=55985, wrong=25786, backtracks=23190, failedAssignments=11584, nogoods=1159, foundSolutions=6, bestBound=3
5.05/2.99
5.19/3.03 num=102, depth=4..90, filters=154575, ccks=462, wck=0.827, mem=47M724
5.19/3.03 decisions=60136, wrong=27837, backtracks=25020, failedAssignments=12554, nogoods=1176, foundSolutions=6, bestBound=3
5.19/3.03
5.19/3.08 num=103, depth=4..68, filters=169890, ccks=462, wck=0.881, mem=47M724
5.19/3.08 decisions=65547, wrong=30522, backtracks=27581, failedAssignments=13621, nogoods=1189, foundSolutions=6, bestBound=3
5.19/3.08
5.29/3.12 o 2
5.29/3.12 num=104, depth=6..216, filters=179645, ccks=539, wck=0.916, mem=47M724
5.29/3.12 decisions=70063, wrong=32751, backtracks=29798, failedAssignments=14458, nogoods=1218, foundSolutions=7, bestBound=2
5.29/3.12
5.29/3.12 Global
5.29/3.12 filters=179645, ccks=539, nogoods=1218
5.29/3.12 Stop=FULL_EXPLORATION, wrong=32751, bestBound=2, bestBoundWck=1.252, bestBoundCpu=3.081, foundSolutions=7, firstSolCpu=2.207
5.29/3.12 wck=1.253, cpu=3.082, mem=47M724
5.29/3.12
5.29/3.12 v <instantiation id='sol7' type='solution' cost='2'> <list> z x[][] </list> <values> 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 </values> </instantiation>
5.29/3.12 s OPTIMUM FOUND
5.29/3.12
5.29/3.12 d WRONG_DECISIONS 32751
5.29/3.12 d NUMBER_SOLUTIONS 7
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15259 MiB free)
memory of node 1: 16384 MiB (15735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391196-1568389118/watcher-4391196-1568389118 -o /tmp/evaluation-result-4391196-1568389118/solver-4391196-1568389118 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568389059-22410 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391196-1568389118.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22444, runsolver pid=22437
[startup+0.100057 s]*
/proc/loadavg: 1.00 1.04 1.31 5/227 22468
/proc/meminfo: memFree=31711660/32770624 swapFree=66996928/67108860
[pid=22444] ppid=22437 vsize=10659884 memory=26456 CPUtime=0.13 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22437 22444 22378 0 -1 1077944320 5660 0 0 0 12 1 0 0 20 0 15 0 415164848 10915721216 6614 33554432000 4194304 4196468 140721557221408 140721557203952 140019992428279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
/proc/22444/statm: 2664971 6614 2815 1 0 2627468 0
[pid=22444/tid=22446] ppid=22437 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22437 22444 22378 0 -1 4202560 3501 0 0 0 9 0 0 0 20 0 15 0 415164848 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019996659616 140019973838429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22447] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019962141328 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22448] ppid=22437 vsize=10659884 memory=4122113403558766240 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019597969936 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22449] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019596917136 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22450] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019595864336 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22454] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164850 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019028167536 140019992439426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22455] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22437 22444 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415164851 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019027113504 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22456] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22437 22444 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415164851 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019026060656 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22463] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22463/stat : 22463 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164853 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019025008976 140019992446875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22464] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22464/stat : 22464 (java) S 22437 22444 22378 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 415164853 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019023956336 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22465] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22465/stat : 22465 (java) R 22437 22444 22378 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 415164853 10915721216 6614 33554432000 4194304 4196468 140721557221408 140019022903536 140019992439426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22466] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0.02 cores=1,3,5,7
/proc/22444/task/22466/stat : 22466 (java) S 22437 22444 22378 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 415164853 10915721216 6614 33554432000 4194304 4196468 140721557221408 140018713450608 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22467] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22467/stat : 22467 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164854 10915721216 6614 33554432000 4194304 4196468 140721557221408 140018712398048 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22468] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164854 10915721216 6614 33554432000 4194304 4196468 140721557221408 140018711346352 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26456 KiB
[startup+0.217068 s]*
/proc/loadavg: 1.00 1.04 1.31 3/227 22468
/proc/meminfo: memFree=31697620/32770624 swapFree=66996928/67108860
[pid=22444] ppid=22437 vsize=10659884 memory=34276 CPUtime=0.32 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22437 22444 22378 0 -1 1077944320 7186 0 0 0 31 1 0 0 20 0 15 0 415164848 10915721216 8569 33554432000 4194304 4196468 140721557221408 140721557203952 140019992428279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
/proc/22444/statm: 2664971 8569 2990 1 0 2627468 0
[pid=22444/tid=22446] ppid=22437 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22437 22444 22378 0 -1 4202560 3992 0 0 0 19 1 0 0 20 0 15 0 415164848 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019996660368 140019992450205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22447] ppid=22437 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019962141328 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22448] ppid=22437 vsize=10659884 memory=139761543861803 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019597969936 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22449] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019596917136 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22450] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019595864336 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22454] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164850 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019028167536 140019992439426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22455] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22437 22444 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415164851 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019027113504 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22456] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22437 22444 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415164851 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019026060656 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22463] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22463/stat : 22463 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164853 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019025008976 140019992446875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22464] ppid=22437 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22444/task/22464/stat : 22464 (java) S 22437 22444 22378 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 15 0 415164853 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019023956336 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22465] ppid=22437 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/22444/task/22465/stat : 22465 (java) S 22437 22444 22378 0 -1 1077944384 505 0 0 0 3 0 0 0 20 0 15 0 415164853 10915721216 8569 33554432000 4194304 4196468 140721557221408 140019022903536 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22466] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0.05 cores=1,3,5,7
/proc/22444/task/22466/stat : 22466 (java) S 22437 22444 22378 0 -1 1077944384 746 0 0 0 5 0 0 0 20 0 15 0 415164853 10915721216 8569 33554432000 4194304 4196468 140721557221408 140018713450608 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22467] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22467/stat : 22467 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164854 10915721216 8569 33554432000 4194304 4196468 140721557221408 140018712398048 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22468] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164854 10915721216 8569 33554432000 4194304 4196468 140721557221408 140018711346352 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34276 KiB
[startup+0.309676 s]*
/proc/loadavg: 1.00 1.04 1.31 4/227 22468
/proc/meminfo: memFree=31684500/32770624 swapFree=66996928/67108860
[pid=22444] ppid=22437 vsize=10659884 memory=39216 CPUtime=0.47 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22437 22444 22378 0 -1 1077944320 9686 0 0 0 44 3 0 0 20 0 15 0 415164848 10915721216 9804 33554432000 4194304 4196468 140721557221408 140721557203952 140019992428279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
/proc/22444/statm: 2664971 9804 3002 1 0 2627468 0
[pid=22444/tid=22446] ppid=22437 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22437 22444 22378 0 -1 4202560 6399 0 0 0 28 2 0 0 20 0 15 0 415164848 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019996649168 140019992440214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22447] ppid=22437 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019962141328 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22448] ppid=22437 vsize=10659884 memory=139761543872603 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019597969936 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22449] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019596917136 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22450] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164849 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019595864336 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22454] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164850 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019028167536 140019992439426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22455] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22437 22444 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415164851 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019027113504 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22456] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22437 22444 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415164851 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019026060656 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22463] ppid=22437 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22463/stat : 22463 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164853 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019025008976 140019992446875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22464] ppid=22437 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22444/task/22464/stat : 22464 (java) S 22437 22444 22378 0 -1 1077944384 602 0 0 0 3 0 0 0 20 0 15 0 415164853 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019023956336 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22465] ppid=22437 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22444/task/22465/stat : 22465 (java) S 22437 22444 22378 0 -1 1077944384 544 0 0 0 4 0 0 0 20 0 15 0 415164853 10915721216 9804 33554432000 4194304 4196468 140721557221408 140019022903536 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22466] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0.07 cores=1,3,5,7
/proc/22444/task/22466/stat : 22466 (java) R 22437 22444 22378 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 415164853 10915721216 9804 33554432000 4194304 4196468 140721557221408 140018713450608 140019992440214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22467] ppid=22437 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22467/stat : 22467 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164854 10915721216 9804 33554432000 4194304 4196468 140721557221408 140018712398048 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22468] ppid=22437 vsize=10659884 memory=139761540605568 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164854 10915721216 9804 33554432000 4194304 4196468 140721557221408 140018711346352 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39216 KiB
[startup+0.700716 s]
/proc/loadavg: 1.00 1.04 1.31 3/227 22468
/proc/meminfo: memFree=31667828/32770624 swapFree=66996928/67108860
[pid=22444] ppid=22437 vsize=10661932 memory=60844 CPUtime=1.07 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22437 22444 22378 0 -1 1077944320 12909 0 0 0 103 4 0 0 20 0 15 0 415164848 10917818368 15211 33554432000 4194304 4196468 140721557221408 140721557203952 140019992428279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
/proc/22444/statm: 2665483 15211 3053 1 0 2627980 0
[pid=22444/tid=22446] ppid=22437 vsize=10661932 memory=39564 CPUtime=0.67 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22437 22444 22378 0 -1 4202560 8891 0 0 0 64 3 0 0 20 0 15 0 415164848 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019996660304 140019992450205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22447] ppid=22437 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019962141328 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22448] ppid=22437 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019597969936 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22449] ppid=22437 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019596917136 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22450] ppid=22437 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164849 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019595864336 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22454] ppid=22437 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164850 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019028167536 140019992439426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22455] ppid=22437 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22437 22444 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415164851 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019027113504 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22456] ppid=22437 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22437 22444 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415164851 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019026060656 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22463] ppid=22437 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22463/stat : 22463 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164853 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019025008976 140019992446875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22464] ppid=22437 vsize=10661932 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22444/task/22464/stat : 22464 (java) S 22437 22444 22378 0 -1 1077944384 639 0 0 0 8 0 0 0 20 0 15 0 415164853 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019023956336 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22465] ppid=22437 vsize=10661932 memory=4 CPUtime=0.11 cores=1,3,5,7
/proc/22444/task/22465/stat : 22465 (java) S 22437 22444 22378 0 -1 1077944384 789 0 0 0 11 0 0 0 20 0 15 0 415164853 10917818368 15211 33554432000 4194304 4196468 140721557221408 140019022903536 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22466] ppid=22437 vsize=10661932 memory=83 CPUtime=0.18 cores=1,3,5,7
/proc/22444/task/22466/stat : 22466 (java) S 22437 22444 22378 0 -1 1077944384 1231 0 0 0 18 0 0 0 20 0 15 0 415164853 10917818368 15211 33554432000 4194304 4196468 140721557221408 140018713450608 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22467] ppid=22437 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22467/stat : 22467 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164854 10917818368 15211 33554432000 4194304 4196468 140721557221408 140018712398048 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22468] ppid=22437 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164854 10917818368 15211 33554432000 4194304 4196468 140721557221408 140018711346352 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60844 KiB
[startup+1.50069 s]
/proc/loadavg: 1.00 1.04 1.31 3/227 22468
/proc/meminfo: memFree=31633880/32770624 swapFree=66996928/67108860
[pid=22444] ppid=22437 vsize=10663980 memory=75952 CPUtime=1.96 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22437 22444 22378 0 -1 1077944320 16434 0 0 0 191 5 0 0 20 0 15 0 415164848 10919915520 18988 33554432000 4194304 4196468 140721557221408 140721557203952 140019992428279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
/proc/22444/statm: 2665995 18988 3090 1 0 2628492 0
[pid=22444/tid=22446] ppid=22437 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) R 22437 22444 22378 0 -1 4202560 11440 0 0 0 144 4 0 0 20 0 15 0 415164848 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019996659336 140019992450205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22447] ppid=22437 vsize=10663980 memory=39564 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019962141328 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22448] ppid=22437 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019597969936 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22449] ppid=22437 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22437 22444 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415164849 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019596917136 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22450] ppid=22437 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22437 22444 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415164849 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019595864336 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22454] ppid=22437 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22437 22444 22378 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415164850 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019028167536 140019992439426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22455] ppid=22437 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22437 22444 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415164851 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019027113504 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22456] ppid=22437 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22437 22444 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415164851 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019026060656 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22463] ppid=22437 vsize=10663980 memory=1 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22463/stat : 22463 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164853 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019025008976 140019992446875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22464] ppid=22437 vsize=10663980 memory=1 CPUtime=0.1 cores=1,3,5,7
/proc/22444/task/22464/stat : 22464 (java) S 22437 22444 22378 0 -1 1077944384 1226 0 0 0 10 0 0 0 20 0 15 0 415164853 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019023956336 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22465] ppid=22437 vsize=10663980 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/22444/task/22465/stat : 22465 (java) S 22437 22444 22378 0 -1 1077944384 1159 0 0 0 16 0 0 0 20 0 15 0 415164853 10919915520 18988 33554432000 4194304 4196468 140721557221408 140019022903536 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22466] ppid=22437 vsize=10663980 memory=4 CPUtime=0.18 cores=1,3,5,7
/proc/22444/task/22466/stat : 22466 (java) S 22437 22444 22378 0 -1 1077944384 1233 0 0 0 18 0 0 0 20 0 15 0 415164853 10919915520 18988 33554432000 4194304 4196468 140721557221408 140018713450608 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22467] ppid=22437 vsize=10663980 memory=83 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22467/stat : 22467 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164854 10919915520 18988 33554432000 4194304 4196468 140721557221408 140018712398048 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22468] ppid=22437 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415164854 10919915520 18988 33554432000 4194304 4196468 140721557221408 140018711346352 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75952 KiB
[startup+3.10965 s]
/proc/loadavg: 1.24 1.09 1.33 3/229 22470
/proc/meminfo: memFree=31443192/32770624 swapFree=66996928/67108860
[pid=22444] ppid=22437 vsize=10748324 memory=165344 CPUtime=5.29 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22437 22444 22378 0 -1 1077944320 26814 0 0 0 516 13 0 0 20 0 16 0 415164848 11006283776 41336 33554432000 4194304 4196468 140721557221408 140721557203952 140019992428279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
/proc/22444/statm: 2687081 41336 3352 1 0 2647217 0
[pid=22444/tid=22446] ppid=22437 vsize=10748324 memory=165168 CPUtime=1.87 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) S 22437 22444 22378 0 -1 1077944384 13118 0 0 0 181 6 0 0 20 0 16 0 415164848 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019996671152 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22447] ppid=22437 vsize=10748324 memory=187 CPUtime=0.01 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22437 22444 22378 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019962141328 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22448] ppid=22437 vsize=10748324 memory=279522780479552 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22437 22444 22378 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019597969936 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22449] ppid=22437 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22437 22444 22378 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019596917136 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22450] ppid=22437 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22437 22444 22378 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019595864336 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22454] ppid=22437 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22437 22444 22378 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 16 0 415164850 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019028167536 140019992439426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22455] ppid=22437 vsize=10748324 memory=39564 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22437 22444 22378 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415164851 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019027113504 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22456] ppid=22437 vsize=10748324 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22437 22444 22378 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415164851 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019026060672 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22463] ppid=22437 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22463/stat : 22463 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019025008976 140019992446875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22464] ppid=22437 vsize=10748324 memory=65 CPUtime=0.78 cores=1,3,5,7
/proc/22444/task/22464/stat : 22464 (java) S 22437 22444 22378 0 -1 1077944384 2571 0 0 0 78 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019023956336 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22465] ppid=22437 vsize=10748324 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/22444/task/22465/stat : 22465 (java) S 22437 22444 22378 0 -1 1077944384 2606 0 0 0 83 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019022903536 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22466] ppid=22437 vsize=10748324 memory=2867664571609120 CPUtime=0.5 cores=1,3,5,7
/proc/22444/task/22466/stat : 22466 (java) S 22437 22444 22378 0 -1 1077944384 2604 0 0 0 50 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018713450608 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22467] ppid=22437 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22467/stat : 22467 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415164854 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018712398048 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22468] ppid=22437 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22437 22444 22378 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 415164854 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018711346352 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22470] ppid=22437 vsize=10748324 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/22444/task/22470/stat : 22470 (java) R 22437 22444 22378 0 -1 4202560 4178 0 0 0 115 2 0 0 20 0 16 0 415165038 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018694676304 140019634168680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165344 KiB
[startup+3.13021 s]
# the end of solver process 22444 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.18605 s, system=0.14175 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.10965 s]
/proc/loadavg: 1.24 1.09 1.33 3/229 22470
/proc/meminfo: memFree=31443192/32770624 swapFree=66996928/67108860
[pid=22444] ppid=22437 vsize=10748324 memory=165344 CPUtime=5.29 cores=1,3,5,7
/proc/22444/stat : 22444 (java) S 22437 22444 22378 0 -1 1077944320 26814 0 0 0 516 13 0 0 20 0 16 0 415164848 11006283776 41336 33554432000 4194304 4196468 140721557221408 140721557203952 140019992428279 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
/proc/22444/statm: 2687081 41336 3352 1 0 2647217 0
[pid=22444/tid=22446] ppid=22437 vsize=10748324 memory=165168 CPUtime=1.87 cores=1,3,5,7
/proc/22444/task/22446/stat : 22446 (java) S 22437 22444 22378 0 -1 1077944384 13118 0 0 0 181 6 0 0 20 0 16 0 415164848 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019996671152 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22447] ppid=22437 vsize=10748324 memory=187 CPUtime=0.01 cores=1,3,5,7
/proc/22444/task/22447/stat : 22447 (java) S 22437 22444 22378 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019962141328 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22448] ppid=22437 vsize=10748324 memory=279522780479552 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22448/stat : 22448 (java) S 22437 22444 22378 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019597969936 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22449] ppid=22437 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22449/stat : 22449 (java) S 22437 22444 22378 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019596917136 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22450] ppid=22437 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22450/stat : 22450 (java) S 22437 22444 22378 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 415164849 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019595864336 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22454] ppid=22437 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22444/task/22454/stat : 22454 (java) S 22437 22444 22378 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 16 0 415164850 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019028167536 140019992439426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22455] ppid=22437 vsize=10748324 memory=39564 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22455/stat : 22455 (java) S 22437 22444 22378 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415164851 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019027113504 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22456] ppid=22437 vsize=10748324 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22456/stat : 22456 (java) S 22437 22444 22378 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415164851 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019026060672 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22463] ppid=22437 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22463/stat : 22463 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019025008976 140019992446875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22464] ppid=22437 vsize=10748324 memory=65 CPUtime=0.78 cores=1,3,5,7
/proc/22444/task/22464/stat : 22464 (java) S 22437 22444 22378 0 -1 1077944384 2571 0 0 0 78 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019023956336 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22465] ppid=22437 vsize=10748324 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/22444/task/22465/stat : 22465 (java) S 22437 22444 22378 0 -1 1077944384 2606 0 0 0 83 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140019022903536 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22466] ppid=22437 vsize=10748324 memory=2867664571609120 CPUtime=0.5 cores=1,3,5,7
/proc/22444/task/22466/stat : 22466 (java) S 22437 22444 22378 0 -1 1077944384 2604 0 0 0 50 0 0 0 20 0 16 0 415164853 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018713450608 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22467] ppid=22437 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22467/stat : 22467 (java) S 22437 22444 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415164854 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018712398048 140019992438485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22468] ppid=22437 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22444/task/22468/stat : 22468 (java) S 22437 22444 22378 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 415164854 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018711346352 140019992439426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
[pid=22444/tid=22470] ppid=22437 vsize=10748324 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/22444/task/22470/stat : 22470 (java) R 22437 22444 22378 0 -1 4202560 4178 0 0 0 115 2 0 0 20 0 16 0 415165038 11006283776 41336 33554432000 4194304 4196468 140721557221408 140018694676304 140019634168680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33206272 140721557226507 140721557226610 140721557226610 140721557229519 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165344 KiB
Child status: 0
Real time (s): 3.13026
CPU time (s): 5.3278
CPU user time (s): 5.18605
CPU system time (s): 0.14175
CPU usage (%): 170.203
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 165344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.18605
system time used= 0.14175
maximum resident set size= 165636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27729
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= 2380
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 22444
# total CPU time (s): 5.3278
# total CPU user time (s): 5.18605
# total CPU system time (s): 0.14175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047312 second user time and 0.07422 second system time
The end