2.34/1.90
2.34/1.90 AbsCon 2
2.58/1.91
2.85/2.04 Instance
2.85/2.04 name=instance-4390896-1568380563, framework=COP, bounds=-infty..+infty
2.85/2.04
2.85/2.04 Loading variables...
2.85/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@646a8ece
2.85/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e73f46
2.85/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420f2b5c
2.85/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336f96c6
2.85/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7428dd44
2.85/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dcd3859
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62578de4
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ea4be73
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dca3332
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419ab498
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
2.85/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
2.85/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
2.85/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4795b7
2.85/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e6c3ce4
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230ef4b9
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1fc1f5
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1fc1f5
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1fc1f5
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23434d21
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23434d21
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6043d8c4
3.10/2.17
3.10/2.17
3.10/2.17 Domains
3.10/2.17 nTypes=2, nValues=455, sizes=[2#216,23#1]
3.10/2.17 Variables
3.10/2.17 count=217, degrees=[11#4,12#58,13#154,37#1]
3.10/2.17 Objectives
3.10/2.17 way=min, type=ObjVarLE
3.10/2.17 Constraints
3.10/2.17 count=77, nSpecific=77, arities=[1#1,18#23,24#9,48#8,49#36]
3.10/2.17 distribution=[LexicographicLe#31,ObjVarLE#1,SumScalarBooleanLEVar#36,SumSimpleEQ#9]
3.10/2.17 wck=0.303, cpu=2.125, mem=26M512
3.10/2.17 Solver SolverBacktrack being built...
3.10/2.17
3.10/2.20
3.10/2.20 Solver
3.10/2.20 guaranteedGAC=true
3.10/2.20 wck=0.333, cpu=2.153, mem=37M155
3.37/2.20
3.37/2.20 Preprocessing
3.37/2.20 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.37/2.20 wck=0.005, cpu=2.159, mem=37M155
3.37/2.20
3.37/2.22 num=0, depth=27..74, filters=114, wck=0.019, mem=37M155
3.37/2.22 decisions=117, wrong=24, backtracks=22, failedAssignments=10, nogoods=2
3.37/2.22
3.37/2.24 o 8
3.37/2.24 num=1, depth=4..216, filters=315, ccks=77, wck=0.045, mem=39M797
3.37/2.24 decisions=158, wrong=38, backtracks=30, failedAssignments=17, nogoods=5, foundSolutions=1, bestBound=8
3.37/2.24
3.37/2.25 num=2, depth=3..20, filters=518, ccks=77, wck=0.053, mem=39M797
3.37/2.25 decisions=223, wrong=64, backtracks=49, failedAssignments=29, nogoods=11, foundSolutions=1, bestBound=8
3.37/2.25
3.37/2.26 num=3, depth=6..59, filters=711, ccks=77, wck=0.059, mem=39M797
3.37/2.26 decisions=307, wrong=81, backtracks=57, failedAssignments=40, nogoods=18, foundSolutions=1, bestBound=8
3.37/2.26
3.37/2.27 o 7
3.37/2.27 num=4, depth=3..216, filters=841, ccks=154, wck=0.069, mem=39M797
3.37/2.27 decisions=402, wrong=88, backtracks=57, failedAssignments=47, nogoods=25, foundSolutions=2, bestBound=7
3.37/2.27
3.37/2.28 o 6
3.37/2.28 num=5, depth=4..216, filters=937, ccks=231, wck=0.078, mem=39M797
3.37/2.28 decisions=498, wrong=93, backtracks=57, failedAssignments=52, nogoods=30, foundSolutions=3, bestBound=6
3.37/2.28
3.37/2.28 num=6, depth=3..74, filters=1058, ccks=231, wck=0.084, mem=39M797
3.37/2.28 decisions=591, wrong=106, backtracks=65, failedAssignments=63, nogoods=36, foundSolutions=3, bestBound=6
3.37/2.28
3.37/2.28 num=7, depth=3..65, filters=1184, ccks=231, wck=0.086, mem=39M797
3.37/2.28 decisions=677, wrong=119, backtracks=71, failedAssignments=74, nogoods=43, foundSolutions=3, bestBound=6
3.37/2.28
3.37/2.29 num=8, depth=3..65, filters=1295, ccks=231, wck=0.088, mem=39M797
3.37/2.29 decisions=766, wrong=135, backtracks=83, failedAssignments=86, nogoods=47, foundSolutions=3, bestBound=6
3.37/2.29
3.37/2.29 num=9, depth=2..50, filters=1398, ccks=231, wck=0.09, mem=39M797
3.37/2.29 decisions=837, wrong=150, backtracks=93, failedAssignments=99, nogoods=52, foundSolutions=3, bestBound=6
3.37/2.29
3.37/2.29 num=10, depth=2..42, filters=1489, ccks=231, wck=0.092, mem=39M797
3.37/2.29 decisions=900, wrong=165, backtracks=99, failedAssignments=113, nogoods=61, foundSolutions=3, bestBound=6
3.37/2.29
3.37/2.29 num=11, depth=1..51, filters=1652, ccks=231, wck=0.095, mem=42M440
3.37/2.29 decisions=982, wrong=185, backtracks=111, failedAssignments=129, nogoods=69, foundSolutions=3, bestBound=6
3.37/2.29
3.37/2.30 num=12, depth=1..101, filters=1792, ccks=231, wck=0.098, mem=42M440
3.37/2.30 decisions=1101, wrong=202, backtracks=111, failedAssignments=146, nogoods=86, foundSolutions=3, bestBound=6
3.37/2.30
3.69/2.30 o 5
3.69/2.30 num=13, depth=1..216, filters=1930, ccks=308, wck=0.103, mem=42M440
3.69/2.30 decisions=1221, wrong=218, backtracks=117, failedAssignments=160, nogoods=96, foundSolutions=4, bestBound=5
3.69/2.30
3.69/2.31 num=14, depth=1..44, filters=2082, ccks=308, wck=0.106, mem=42M440
3.69/2.31 decisions=1312, wrong=245, backtracks=136, failedAssignments=181, nogoods=104, foundSolutions=4, bestBound=5
3.69/2.31
3.69/2.31 num=15, depth=1..61, filters=2201, ccks=308, wck=0.108, mem=42M440
3.69/2.31 decisions=1395, wrong=261, backtracks=144, failedAssignments=192, nogoods=111, foundSolutions=4, bestBound=5
3.69/2.31
3.69/2.31 num=16, depth=3..59, filters=2303, ccks=308, wck=0.11, mem=42M440
3.69/2.31 decisions=1474, wrong=276, backtracks=147, failedAssignments=204, nogoods=122, foundSolutions=4, bestBound=5
3.69/2.31
3.69/2.31 num=17, depth=6..93, filters=2415, ccks=308, wck=0.113, mem=42M440
3.69/2.31 decisions=1584, wrong=290, backtracks=151, failedAssignments=217, nogoods=132, foundSolutions=4, bestBound=5
3.69/2.31
3.69/2.31 num=18, depth=2..56, filters=2512, ccks=308, wck=0.115, mem=42M440
3.69/2.31 decisions=1659, wrong=305, backtracks=154, failedAssignments=231, nogoods=144, foundSolutions=4, bestBound=5
3.69/2.31
3.69/2.31 num=19, depth=3..43, filters=2635, ccks=308, wck=0.117, mem=42M440
3.69/2.31 decisions=1725, wrong=325, backtracks=162, failedAssignments=247, nogoods=154, foundSolutions=4, bestBound=5
3.69/2.31
3.69/2.32 num=20, depth=3..104, filters=2768, ccks=308, wck=0.12, mem=42M440
3.69/2.32 decisions=1849, wrong=343, backtracks=167, failedAssignments=264, nogoods=167, foundSolutions=4, bestBound=5
3.69/2.32
3.69/2.32 num=21, depth=4..61, filters=2961, ccks=308, wck=0.122, mem=42M440
3.69/2.32 decisions=1966, wrong=375, backtracks=186, failedAssignments=283, nogoods=174, foundSolutions=4, bestBound=5
3.69/2.32
3.69/2.32 num=22, depth=1..87, filters=3124, ccks=308, wck=0.126, mem=42M440
3.69/2.32 decisions=2096, wrong=403, backtracks=201, failedAssignments=304, nogoods=185, foundSolutions=4, bestBound=5
3.69/2.32
3.69/2.33 o 4
3.69/2.33 num=23, depth=1..216, filters=3275, ccks=385, wck=0.13, mem=42M440
3.69/2.33 decisions=2220, wrong=421, backtracks=204, failedAssignments=320, nogoods=199, foundSolutions=5, bestBound=4
3.69/2.33
3.69/2.33 num=24, depth=1..58, filters=3467, ccks=385, wck=0.133, mem=42M440
3.69/2.33 decisions=2338, wrong=456, backtracks=229, failedAssignments=345, nogoods=210, foundSolutions=5, bestBound=4
3.69/2.33
3.69/2.33 num=25, depth=1..29, filters=3584, ccks=385, wck=0.134, mem=42M440
3.69/2.33 decisions=2382, wrong=468, backtracks=232, failedAssignments=356, nogoods=219, foundSolutions=5, bestBound=4
3.69/2.33
3.69/2.33 num=26, depth=1..44, filters=3708, ccks=385, wck=0.136, mem=42M440
3.69/2.33 decisions=2443, wrong=481, backtracks=235, failedAssignments=368, nogoods=229, foundSolutions=5, bestBound=4
3.69/2.33
3.69/2.34 num=27, depth=6..45, filters=3842, ccks=385, wck=0.138, mem=42M440
3.69/2.34 decisions=2511, wrong=497, backtracks=241, failedAssignments=381, nogoods=239, foundSolutions=5, bestBound=4
3.69/2.34
3.69/2.34 num=28, depth=4..30, filters=3979, ccks=385, wck=0.14, mem=42M440
3.69/2.34 decisions=2582, wrong=523, backtracks=258, failedAssignments=395, nogoods=248, foundSolutions=5, bestBound=4
3.69/2.34
3.69/2.34 num=29, depth=2..36, filters=4109, ccks=385, wck=0.142, mem=42M440
3.69/2.34 decisions=2651, wrong=545, backtracks=275, failedAssignments=411, nogoods=253, foundSolutions=5, bestBound=4
3.69/2.34
3.69/2.35 num=30, depth=4..45, filters=4258, ccks=385, wck=0.144, mem=42M440
3.69/2.35 decisions=2729, wrong=568, backtracks=288, failedAssignments=428, nogoods=265, foundSolutions=5, bestBound=4
3.69/2.35
3.69/2.35 num=31, depth=2..66, filters=4417, ccks=385, wck=0.147, mem=42M440
3.69/2.35 decisions=2833, wrong=593, backtracks=304, failedAssignments=447, nogoods=275, foundSolutions=5, bestBound=4
3.69/2.35
3.69/2.35 num=32, depth=3..25, filters=4946, ccks=385, wck=0.152, mem=42M440
3.69/2.35 decisions=2941, wrong=640, backtracks=342, failedAssignments=468, nogoods=282, foundSolutions=5, bestBound=4
3.69/2.35
3.69/2.35 num=33, depth=5..26, filters=5183, ccks=385, wck=0.155, mem=42M440
3.69/2.35 decisions=3035, wrong=680, backtracks=375, failedAssignments=491, nogoods=287, foundSolutions=5, bestBound=4
3.69/2.35
3.69/2.36 num=34, depth=3..26, filters=5846, ccks=385, wck=0.161, mem=42M440
3.69/2.36 decisions=3164, wrong=735, backtracks=418, failedAssignments=516, nogoods=294, foundSolutions=5, bestBound=4
3.69/2.36
3.69/2.36 num=35, depth=4..61, filters=6168, ccks=385, wck=0.165, mem=42M440
3.69/2.36 decisions=3309, wrong=782, backtracks=453, failedAssignments=544, nogoods=305, foundSolutions=5, bestBound=4
3.69/2.36
3.69/2.37 num=36, depth=1..28, filters=6818, ccks=385, wck=0.172, mem=42M440
3.69/2.37 decisions=3477, wrong=855, backtracks=512, failedAssignments=575, nogoods=312, foundSolutions=5, bestBound=4
3.69/2.37
3.69/2.38 num=37, depth=5..56, filters=7277, ccks=385, wck=0.178, mem=42M440
3.69/2.38 decisions=3648, wrong=918, backtracks=558, failedAssignments=609, nogoods=323, foundSolutions=5, bestBound=4
3.69/2.38
3.69/2.38 num=38, depth=3..58, filters=7689, ccks=385, wck=0.183, mem=42M440
3.69/2.38 decisions=3832, wrong=988, backtracks=615, failedAssignments=646, nogoods=334, foundSolutions=5, bestBound=4
3.69/2.38
3.69/2.38 num=39, depth=5..57, filters=7985, ccks=385, wck=0.186, mem=42M440
3.69/2.38 decisions=3998, wrong=1048, backtracks=661, failedAssignments=687, nogoods=346, foundSolutions=5, bestBound=4
3.69/2.38
3.69/2.39 num=40, depth=4..85, filters=8255, ccks=385, wck=0.189, mem=42M440
3.69/2.39 decisions=4187, wrong=1111, backtracks=697, failedAssignments=732, nogoods=368, foundSolutions=5, bestBound=4
3.69/2.39
3.69/2.39 num=41, depth=5..70, filters=8542, ccks=385, wck=0.193, mem=42M440
3.69/2.39 decisions=4420, wrong=1201, backtracks=771, failedAssignments=782, nogoods=382, foundSolutions=5, bestBound=4
3.69/2.39
3.69/2.39 num=42, depth=4..71, filters=8861, ccks=385, wck=0.197, mem=42M440
3.69/2.39 decisions=4662, wrong=1297, backtracks=845, failedAssignments=837, nogoods=400, foundSolutions=5, bestBound=4
3.69/2.39
4.01/2.40 num=43, depth=15..113, filters=9240, ccks=385, wck=0.202, mem=42M440
4.01/2.40 decisions=4958, wrong=1399, backtracks=924, failedAssignments=898, nogoods=418, foundSolutions=5, bestBound=4
4.01/2.40
4.01/2.40 num=44, depth=5..68, filters=9638, ccks=385, wck=0.206, mem=42M440
4.01/2.40 decisions=5272, wrong=1531, backtracks=1046, failedAssignments=965, nogoods=434, foundSolutions=5, bestBound=4
4.01/2.40
4.01/2.41 num=45, depth=6..68, filters=10177, ccks=385, wck=0.211, mem=42M440
4.01/2.41 decisions=5608, wrong=1672, backtracks=1176, failedAssignments=1039, nogoods=444, foundSolutions=5, bestBound=4
4.01/2.41
4.01/2.41 num=46, depth=4..64, filters=10728, ccks=385, wck=0.216, mem=42M440
4.01/2.41 decisions=5963, wrong=1828, backtracks=1320, failedAssignments=1120, nogoods=458, foundSolutions=5, bestBound=4
4.01/2.41
4.01/2.42 num=47, depth=6..62, filters=11235, ccks=385, wck=0.221, mem=42M440
4.01/2.42 decisions=6353, wrong=2002, backtracks=1475, failedAssignments=1209, nogoods=470, foundSolutions=5, bestBound=4
4.01/2.42
4.01/2.43 num=48, depth=3..76, filters=12352, ccks=385, wck=0.229, mem=42M440
4.01/2.43 decisions=6830, wrong=2217, backtracks=1658, failedAssignments=1307, nogoods=488, foundSolutions=5, bestBound=4
4.01/2.43
4.01/2.44 num=49, depth=9..75, filters=13515, ccks=385, wck=0.238, mem=42M440
4.01/2.44 decisions=7327, wrong=2443, backtracks=1851, failedAssignments=1415, nogoods=498, foundSolutions=5, bestBound=4
4.01/2.44
4.01/2.44 num=50, depth=4..84, filters=14498, ccks=385, wck=0.246, mem=42M440
4.01/2.44 decisions=7870, wrong=2688, backtracks=2062, failedAssignments=1534, nogoods=513, foundSolutions=5, bestBound=4
4.01/2.44
4.01/2.45 num=51, depth=5..54, filters=15515, ccks=385, wck=0.254, mem=42M440
4.01/2.45 decisions=8403, wrong=2936, backtracks=2290, failedAssignments=1665, nogoods=529, foundSolutions=5, bestBound=4
4.01/2.45
4.01/2.46 num=52, depth=8..72, filters=17178, ccks=385, wck=0.265, mem=45M82
4.01/2.46 decisions=9219, wrong=3317, backtracks=2651, failedAssignments=1809, nogoods=542, foundSolutions=5, bestBound=4
4.01/2.46
4.01/2.47 o 3
4.01/2.47 num=53, depth=6..216, filters=17380, ccks=462, wck=0.269, mem=45M82
4.01/2.47 decisions=9386, wrong=3354, backtracks=2664, failedAssignments=1840, nogoods=566, foundSolutions=6, bestBound=3
4.01/2.47
4.01/2.48 num=54, depth=6..69, filters=19195, ccks=462, wck=0.281, mem=45M82
4.01/2.48 decisions=10282, wrong=3782, backtracks=3060, failedAssignments=2014, nogoods=579, foundSolutions=6, bestBound=3
4.01/2.48
4.01/2.48 num=55, depth=1..47, filters=19332, ccks=462, wck=0.282, mem=45M82
4.01/2.48 decisions=10350, wrong=3797, backtracks=3067, failedAssignments=2025, nogoods=587, foundSolutions=6, bestBound=3
4.01/2.48
4.01/2.48 num=56, depth=1..53, filters=19464, ccks=462, wck=0.284, mem=45M82
4.01/2.48 decisions=10422, wrong=3813, backtracks=3078, failedAssignments=2037, nogoods=593, foundSolutions=6, bestBound=3
4.01/2.48
4.01/2.48 num=57, depth=2..53, filters=19606, ccks=462, wck=0.285, mem=45M82
4.01/2.48 decisions=10503, wrong=3833, backtracks=3089, failedAssignments=2050, nogoods=602, foundSolutions=6, bestBound=3
4.01/2.48
4.01/2.49 num=58, depth=2..47, filters=19852, ccks=462, wck=0.287, mem=45M82
4.01/2.49 decisions=10595, wrong=3862, backtracks=3107, failedAssignments=2064, nogoods=610, foundSolutions=6, bestBound=3
4.01/2.49
4.01/2.49 num=59, depth=2..50, filters=20031, ccks=462, wck=0.289, mem=45M82
4.01/2.49 decisions=10681, wrong=3886, backtracks=3122, failedAssignments=2080, nogoods=620, foundSolutions=6, bestBound=3
4.01/2.49
4.01/2.49 num=60, depth=4..51, filters=20226, ccks=462, wck=0.291, mem=45M82
4.01/2.49 decisions=10775, wrong=3913, backtracks=3137, failedAssignments=2097, nogoods=632, foundSolutions=6, bestBound=3
4.01/2.49
4.01/2.49 num=61, depth=37..46, filters=20481, ccks=462, wck=0.293, mem=45M82
4.01/2.49 decisions=10894, wrong=3954, backtracks=3179, failedAssignments=2116, nogoods=633, foundSolutions=6, bestBound=3
4.01/2.49
4.01/2.49 num=62, depth=1..45, filters=20751, ccks=462, wck=0.295, mem=45M82
4.01/2.49 decisions=10998, wrong=3990, backtracks=3203, failedAssignments=2137, nogoods=639, foundSolutions=6, bestBound=3
4.01/2.49
4.01/2.50 num=63, depth=2..44, filters=21055, ccks=462, wck=0.297, mem=45M82
4.01/2.50 decisions=11119, wrong=4036, backtracks=3236, failedAssignments=2160, nogoods=647, foundSolutions=6, bestBound=3
4.01/2.50
4.32/2.50 num=64, depth=2..52, filters=21284, ccks=462, wck=0.3, mem=45M82
4.32/2.50 decisions=11224, wrong=4071, backtracks=3260, failedAssignments=2185, nogoods=658, foundSolutions=6, bestBound=3
4.32/2.50
4.32/2.50 num=65, depth=2..63, filters=21565, ccks=462, wck=0.302, mem=45M82
4.32/2.50 decisions=11355, wrong=4112, backtracks=3287, failedAssignments=2213, nogoods=672, foundSolutions=6, bestBound=3
4.32/2.50
4.32/2.50 num=66, depth=3..49, filters=21920, ccks=462, wck=0.304, mem=45M82
4.32/2.50 decisions=11499, wrong=4168, backtracks=3332, failedAssignments=2244, nogoods=683, foundSolutions=6, bestBound=3
4.32/2.50
4.32/2.51 num=67, depth=2..43, filters=22301, ccks=462, wck=0.307, mem=45M82
4.32/2.51 decisions=11659, wrong=4233, backtracks=3387, failedAssignments=2278, nogoods=693, foundSolutions=6, bestBound=3
4.32/2.51
4.32/2.51 num=68, depth=1..41, filters=22793, ccks=462, wck=0.31, mem=45M82
4.32/2.51 decisions=11830, wrong=4305, backtracks=3448, failedAssignments=2315, nogoods=700, foundSolutions=6, bestBound=3
4.32/2.51
4.32/2.51 num=69, depth=1..43, filters=23253, ccks=462, wck=0.313, mem=45M82
4.32/2.51 decisions=11997, wrong=4375, backtracks=3508, failedAssignments=2356, nogoods=708, foundSolutions=6, bestBound=3
4.32/2.51
4.32/2.51 num=70, depth=1..41, filters=23906, ccks=462, wck=0.316, mem=45M82
4.32/2.51 decisions=12204, wrong=4465, backtracks=3584, failedAssignments=2401, nogoods=717, foundSolutions=6, bestBound=3
4.32/2.51
4.32/2.52 num=71, depth=1..33, filters=24409, ccks=462, wck=0.319, mem=45M82
4.32/2.52 decisions=12391, wrong=4550, backtracks=3657, failedAssignments=2451, nogoods=725, foundSolutions=6, bestBound=3
4.32/2.52
4.32/2.52 num=72, depth=1..29, filters=24975, ccks=462, wck=0.322, mem=45M82
4.32/2.52 decisions=12614, wrong=4651, backtracks=3745, failedAssignments=2506, nogoods=730, foundSolutions=6, bestBound=3
4.32/2.52
4.32/2.53 num=73, depth=1..38, filters=25954, ccks=462, wck=0.327, mem=45M82
4.32/2.53 decisions=12917, wrong=4793, backtracks=3875, failedAssignments=2567, nogoods=738, foundSolutions=6, bestBound=3
4.32/2.53
4.32/2.53 num=74, depth=1..39, filters=26839, ccks=462, wck=0.332, mem=45M82
4.32/2.53 decisions=13183, wrong=4914, backtracks=3974, failedAssignments=2634, nogoods=751, foundSolutions=6, bestBound=3
4.32/2.53
4.32/2.54 num=75, depth=2..34, filters=28266, ccks=462, wck=0.339, mem=45M82
4.32/2.54 decisions=13512, wrong=5068, backtracks=4107, failedAssignments=2708, nogoods=759, foundSolutions=6, bestBound=3
4.32/2.54
4.32/2.54 num=76, depth=7..55, filters=29344, ccks=462, wck=0.344, mem=45M82
4.32/2.54 decisions=13932, wrong=5261, backtracks=4288, failedAssignments=2789, nogoods=771, foundSolutions=6, bestBound=3
4.32/2.54
4.32/2.55 num=77, depth=2..37, filters=30587, ccks=462, wck=0.351, mem=45M82
4.32/2.55 decisions=14274, wrong=5421, backtracks=4429, failedAssignments=2878, nogoods=784, foundSolutions=6, bestBound=3
4.32/2.55
4.32/2.56 num=78, depth=7..33, filters=32101, ccks=462, wck=0.358, mem=45M82
4.32/2.56 decisions=14702, wrong=5624, backtracks=4605, failedAssignments=2976, nogoods=792, foundSolutions=6, bestBound=3
4.32/2.56
4.32/2.56 num=79, depth=18..62, filters=33886, ccks=462, wck=0.367, mem=45M82
4.32/2.56 decisions=15260, wrong=5880, backtracks=4838, failedAssignments=3084, nogoods=806, foundSolutions=6, bestBound=3
4.32/2.56
4.32/2.57 num=80, depth=3..36, filters=35663, ccks=462, wck=0.375, mem=45M82
4.32/2.57 decisions=15743, wrong=6108, backtracks=5047, failedAssignments=3203, nogoods=814, foundSolutions=6, bestBound=3
4.32/2.57
4.32/2.58 num=81, depth=6..51, filters=37319, ccks=462, wck=0.383, mem=45M82
4.32/2.58 decisions=16320, wrong=6376, backtracks=5279, failedAssignments=3334, nogoods=823, foundSolutions=6, bestBound=3
4.32/2.58
4.32/2.59 num=82, depth=3..87, filters=38716, ccks=462, wck=0.39, mem=45M82
4.32/2.59 decisions=17021, wrong=6699, backtracks=5588, failedAssignments=3478, nogoods=845, foundSolutions=6, bestBound=3
4.32/2.59
4.62/2.60 num=83, depth=2..40, filters=41614, ccks=462, wck=0.402, mem=45M82
4.62/2.60 decisions=17714, wrong=7032, backtracks=5893, failedAssignments=3636, nogoods=855, foundSolutions=6, bestBound=3
4.62/2.60
4.62/2.61 num=84, depth=6..56, filters=44331, ccks=462, wck=0.413, mem=45M82
4.62/2.61 decisions=18562, wrong=7435, backtracks=6271, failedAssignments=3810, nogoods=870, foundSolutions=6, bestBound=3
4.62/2.61
4.62/2.63 num=85, depth=1..43, filters=48074, ccks=462, wck=0.427, mem=47M724
4.62/2.63 decisions=19504, wrong=7897, backtracks=6700, failedAssignments=4001, nogoods=884, foundSolutions=6, bestBound=3
4.62/2.63
4.62/2.64 num=86, depth=3..83, filters=50929, ccks=462, wck=0.439, mem=47M724
4.62/2.64 decisions=20700, wrong=8468, backtracks=7241, failedAssignments=4212, nogoods=901, foundSolutions=6, bestBound=3
4.62/2.64
4.62/2.65 num=87, depth=1..55, filters=53842, ccks=462, wck=0.45, mem=47M724
4.62/2.65 decisions=21762, wrong=8980, backtracks=7718, failedAssignments=4444, nogoods=916, foundSolutions=6, bestBound=3
4.62/2.65
4.62/2.66 num=88, depth=7..64, filters=57167, ccks=462, wck=0.463, mem=47M724
4.62/2.66 decisions=22973, wrong=9563, backtracks=8184, failedAssignments=4699, nogoods=927, foundSolutions=6, bestBound=3
4.62/2.66
4.62/2.67 num=89, depth=3..73, filters=59983, ccks=462, wck=0.475, mem=47M724
4.62/2.67 decisions=24465, wrong=10281, backtracks=8852, failedAssignments=4980, nogoods=949, foundSolutions=6, bestBound=3
4.62/2.67
4.62/2.69 num=90, depth=5..91, filters=63327, ccks=462, wck=0.489, mem=47M724
4.62/2.69 decisions=26145, wrong=11092, backtracks=9616, failedAssignments=5289, nogoods=979, foundSolutions=6, bestBound=3
4.62/2.69
4.84/2.70 num=91, depth=3..60, filters=67463, ccks=462, wck=0.505, mem=47M724
4.84/2.70 decisions=27691, wrong=11847, backtracks=10326, failedAssignments=5629, nogoods=1000, foundSolutions=6, bestBound=3
4.84/2.70
4.84/2.72 num=92, depth=3..89, filters=71397, ccks=462, wck=0.52, mem=47M724
4.84/2.72 decisions=29595, wrong=12771, backtracks=11156, failedAssignments=6003, nogoods=1018, foundSolutions=6, bestBound=3
4.84/2.72
4.84/2.74 num=93, depth=1..69, filters=75761, ccks=462, wck=0.538, mem=47M724
4.84/2.74 decisions=31613, wrong=13762, backtracks=12063, failedAssignments=6414, nogoods=1026, foundSolutions=6, bestBound=3
4.84/2.74
4.84/2.75 num=94, depth=23..53, filters=80832, ccks=462, wck=0.556, mem=47M724
4.84/2.75 decisions=33514, wrong=14694, backtracks=12915, failedAssignments=6866, nogoods=1031, foundSolutions=6, bestBound=3
4.84/2.75
4.84/2.78 num=95, depth=1..61, filters=87931, ccks=462, wck=0.581, mem=47M724
4.84/2.78 decisions=35636, wrong=15735, backtracks=13877, failedAssignments=7363, nogoods=1050, foundSolutions=6, bestBound=3
4.84/2.78
4.95/2.81 num=96, depth=1..82, filters=96149, ccks=462, wck=0.609, mem=47M724
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.635, mem=47M724
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.665, mem=47M724
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.704, mem=50M367
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.736, mem=50M367
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.794, mem=50M367
5.05/2.99 decisions=55985, wrong=25786, backtracks=23190, failedAssignments=11584, nogoods=1159, foundSolutions=6, bestBound=3
5.05/2.99
5.16/3.03 num=102, depth=4..90, filters=154575, ccks=462, wck=0.834, mem=50M367
5.16/3.03 decisions=60136, wrong=27837, backtracks=25020, failedAssignments=12554, nogoods=1176, foundSolutions=6, bestBound=3
5.16/3.03
5.16/3.09 num=103, depth=4..68, filters=169890, ccks=462, wck=0.888, mem=50M367
5.16/3.09 decisions=65547, wrong=30522, backtracks=27581, failedAssignments=13621, nogoods=1189, foundSolutions=6, bestBound=3
5.16/3.09
5.26/3.12 o 2
5.26/3.12 num=104, depth=6..216, filters=179645, ccks=539, wck=0.923, mem=50M367
5.26/3.12 decisions=70063, wrong=32751, backtracks=29798, failedAssignments=14458, nogoods=1218, foundSolutions=7, bestBound=2
5.26/3.12
5.26/3.12 Global
5.26/3.12 filters=179645, ccks=539, nogoods=1218
5.26/3.12 Stop=FULL_EXPLORATION, wrong=32751, bestBound=2, bestBoundWck=1.256, bestBoundCpu=3.072, foundSolutions=7, firstSolCpu=2.191
5.26/3.12 wck=1.257, cpu=3.073, mem=50M367
5.26/3.12
5.26/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.26/3.12 s OPTIMUM FOUND
5.26/3.12
5.26/3.12 d WRONG_DECISIONS 32751
5.26/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 (15415 MiB free)
memory of node 1: 16384 MiB (15490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390896-1568380563/watcher-4390896-1568380563 -o /tmp/evaluation-result-4390896-1568380563/solver-4390896-1568380563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26901 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390896-1568380563.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27262, runsolver pid=27259
[startup+0.100093 s]*
/proc/loadavg: 1.41 0.41 0.18 3/234 27277
/proc/meminfo: memFree=31632344/32770624 swapFree=67009196/67108860
[pid=27262] ppid=27259 vsize=10659884 memory=27016 CPUtime=0.1 cores=0,2,4,6
/proc/27262/stat : 27262 (java) S 27259 27262 26870 0 -1 1077944320 5211 0 0 0 9 1 0 0 20 0 15 0 413979067 10915721216 6754 33554432000 4194304 4196468 140723744330800 140723744313344 140020671393527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
/proc/27262/statm: 2664971 6754 2826 1 0 2627468 0
[pid=27262/tid=27264] ppid=27259 vsize=10659884 memory=7747744361495276107 CPUtime=0.07 cores=0,2,4,6
/proc/27262/task/27264/stat : 27264 (java) R 27259 27262 26870 0 -1 4202560 3189 0 0 0 7 0 0 0 20 0 15 0 413979067 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020675626864 140020308430909 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27265] ppid=27259 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27265/stat : 27265 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020277811600 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27266] ppid=27259 vsize=10659884 memory=140329153033856 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27266/stat : 27266 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020276758800 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27267] ppid=27259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27267/stat : 27267 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020275706512 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27268] ppid=27259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27268/stat : 27268 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020274653712 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27269] ppid=27259 vsize=10659884 memory=140329153033856 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27269/stat : 27269 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979069 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020230560368 140020671404674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27270] ppid=27259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27270/stat : 27270 (java) S 27259 27262 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413979070 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020161701152 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27271] ppid=27259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27271/stat : 27271 (java) S 27259 27262 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413979070 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020160648816 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27272] ppid=27259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27272/stat : 27272 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979072 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020159597136 140020671412123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27273] ppid=27259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27273/stat : 27273 (java) R 27259 27262 26870 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 413979074 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020158543984 140020671404674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27274] ppid=27259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27274/stat : 27274 (java) R 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979074 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020157491184 140020671404674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27275] ppid=27259 vsize=10659884 memory=140329153033856 CPUtime=0.01 cores=0,2,4,6
/proc/27262/task/27275/stat : 27275 (java) S 27259 27262 26870 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 413979074 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020156438896 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27276] ppid=27259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27276/stat : 27276 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979074 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020155386336 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27277] ppid=27259 vsize=10659884 memory=140329153033856 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27277/stat : 27277 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979075 10915721216 6754 33554432000 4194304 4196468 140723744330800 140020154334128 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27016 KiB
[startup+0.21107 s]*
/proc/loadavg: 1.41 0.41 0.18 5/234 27277
/proc/meminfo: memFree=31624560/32770624 swapFree=67009196/67108860
[pid=27262] ppid=27259 vsize=10659884 memory=35108 CPUtime=0.31 cores=0,2,4,6
/proc/27262/stat : 27262 (java) S 27259 27262 26870 0 -1 1077944320 6917 0 0 0 30 1 0 0 20 0 15 0 413979067 10915721216 8777 33554432000 4194304 4196468 140723744330800 140723744313344 140020671393527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
/proc/27262/statm: 2664971 8777 2990 1 0 2627468 0
[pid=27262/tid=27264] ppid=27259 vsize=10659884 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/27262/task/27264/stat : 27264 (java) R 27259 27262 26870 0 -1 4202560 3886 0 0 0 18 1 0 0 20 0 15 0 413979067 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020675619888 140020671415453 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27265] ppid=27259 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27265/stat : 27265 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020277811600 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27266] ppid=27259 vsize=10659884 memory=140329155906529 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27266/stat : 27266 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020276758800 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27267] ppid=27259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27267/stat : 27267 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020275706512 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27268] ppid=27259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27268/stat : 27268 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020274653712 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27269] ppid=27259 vsize=10659884 memory=140329153033856 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27269/stat : 27269 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979069 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020230560368 140020671404674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27270] ppid=27259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27270/stat : 27270 (java) S 27259 27262 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413979070 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020161701152 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27271] ppid=27259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27271/stat : 27271 (java) S 27259 27262 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413979070 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020160648816 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27272] ppid=27259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27272/stat : 27272 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979072 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020159597136 140020671412123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27273] ppid=27259 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27262/task/27273/stat : 27273 (java) S 27259 27262 26870 0 -1 1077944384 621 0 0 0 3 0 0 0 20 0 15 0 413979074 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020158543984 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27274] ppid=27259 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27262/task/27274/stat : 27274 (java) S 27259 27262 26870 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 413979074 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020157491184 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27275] ppid=27259 vsize=10659884 memory=140329153033856 CPUtime=0.05 cores=0,2,4,6
/proc/27262/task/27275/stat : 27275 (java) S 27259 27262 26870 0 -1 1077944384 768 0 0 0 5 0 0 0 20 0 15 0 413979074 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020156438896 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27276] ppid=27259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27276/stat : 27276 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979074 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020155386336 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27277] ppid=27259 vsize=10659884 memory=140329153033856 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27277/stat : 27277 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979075 10915721216 8777 33554432000 4194304 4196468 140723744330800 140020154334128 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35108 KiB
[startup+0.310954 s]*
/proc/loadavg: 1.41 0.41 0.18 4/234 27277
/proc/meminfo: memFree=31622016/32770624 swapFree=67009196/67108860
[pid=27262] ppid=27259 vsize=10660908 memory=40468 CPUtime=0.45 cores=0,2,4,6
/proc/27262/stat : 27262 (java) S 27259 27262 26870 0 -1 1077944320 9008 0 0 0 43 2 0 0 20 0 15 0 413979067 10916769792 10117 33554432000 4194304 4196468 140723744330800 140723744313344 140020671393527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
/proc/27262/statm: 2665227 10117 3002 1 0 2627724 0
[pid=27262/tid=27264] ppid=27259 vsize=10660908 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/27262/task/27264/stat : 27264 (java) R 27259 27262 26870 0 -1 4202560 6065 0 0 0 27 2 0 0 20 0 15 0 413979067 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020675614416 140020664073245 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27265] ppid=27259 vsize=10660908 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27265/stat : 27265 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020277811600 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27266] ppid=27259 vsize=10660908 memory=140329155255942 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27266/stat : 27266 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020276758800 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27267] ppid=27259 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27267/stat : 27267 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020275706512 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27268] ppid=27259 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27268/stat : 27268 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020274653712 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27269] ppid=27259 vsize=10660908 memory=140329153033856 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27269/stat : 27269 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979069 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020230560368 140020671404674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27270] ppid=27259 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27270/stat : 27270 (java) S 27259 27262 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413979070 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020161701152 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27271] ppid=27259 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27271/stat : 27271 (java) S 27259 27262 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413979070 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020160648816 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27272] ppid=27259 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27272/stat : 27272 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979072 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020159597136 140020671412123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27273] ppid=27259 vsize=10660908 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27262/task/27273/stat : 27273 (java) S 27259 27262 26870 0 -1 1077944384 632 0 0 0 3 0 0 0 20 0 15 0 413979074 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020158543984 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27274] ppid=27259 vsize=10660908 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/27262/task/27274/stat : 27274 (java) S 27259 27262 26870 0 -1 1077944384 315 0 0 0 4 0 0 0 20 0 15 0 413979074 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020157491184 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27275] ppid=27259 vsize=10660908 memory=140329153033856 CPUtime=0.07 cores=0,2,4,6
/proc/27262/task/27275/stat : 27275 (java) S 27259 27262 26870 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 15 0 413979074 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020156438896 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27276] ppid=27259 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27276/stat : 27276 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979074 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020155386336 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27277] ppid=27259 vsize=10660908 memory=140329153033856 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27277/stat : 27277 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979075 10916769792 10249 33554432000 4194304 4196468 140723744330800 140020154334128 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 40468 KiB
[startup+0.700756 s]
/proc/loadavg: 1.41 0.41 0.18 3/234 27277
/proc/meminfo: memFree=31609052/32770624 swapFree=67009196/67108860
[pid=27262] ppid=27259 vsize=10661932 memory=60068 CPUtime=1.07 cores=0,2,4,6
/proc/27262/stat : 27262 (java) S 27259 27262 26870 0 -1 1077944320 12616 0 0 0 102 5 0 0 20 0 15 0 413979067 10917818368 15017 33554432000 4194304 4196468 140723744330800 140723744313344 140020671393527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
/proc/27262/statm: 2665483 15017 3075 1 0 2627980 0
[pid=27262/tid=27264] ppid=27259 vsize=10661932 memory=13948 CPUtime=0.67 cores=0,2,4,6
/proc/27262/task/27264/stat : 27264 (java) R 27259 27262 26870 0 -1 4202560 8821 0 0 0 63 4 0 0 20 0 15 0 413979067 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020675614864 140020671415453 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27265] ppid=27259 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27265/stat : 27265 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020277811600 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27266] ppid=27259 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27266/stat : 27266 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020276758800 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27267] ppid=27259 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27267/stat : 27267 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020275706512 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27268] ppid=27259 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27268/stat : 27268 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020274653712 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27269] ppid=27259 vsize=10661932 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27269/stat : 27269 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979069 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020230560368 140020671404674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27270] ppid=27259 vsize=10661932 memory=896 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27270/stat : 27270 (java) S 27259 27262 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413979070 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020161701152 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27271] ppid=27259 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27271/stat : 27271 (java) S 27259 27262 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413979070 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020160648816 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27272] ppid=27259 vsize=10661932 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27272/stat : 27272 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979072 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020159597136 140020671412123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27273] ppid=27259 vsize=10661932 memory=2452 CPUtime=0.1 cores=0,2,4,6
/proc/27262/task/27273/stat : 27273 (java) S 27259 27262 26870 0 -1 1077944384 829 0 0 0 10 0 0 0 20 0 15 0 413979074 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020158543984 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27274] ppid=27259 vsize=10661932 memory=7302135314614015840 CPUtime=0.09 cores=0,2,4,6
/proc/27262/task/27274/stat : 27274 (java) S 27259 27262 26870 0 -1 1077944384 495 0 0 0 9 0 0 0 20 0 15 0 413979074 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020157491184 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27275] ppid=27259 vsize=10661932 memory=6008736850241416048 CPUtime=0.19 cores=0,2,4,6
/proc/27262/task/27275/stat : 27275 (java) S 27259 27262 26870 0 -1 1077944384 1111 0 0 0 19 0 0 0 20 0 15 0 413979074 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020156438896 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27276] ppid=27259 vsize=10661932 memory=7523071198212214892 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27276/stat : 27276 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979074 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020155386336 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27277] ppid=27259 vsize=10661932 memory=10 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27277/stat : 27277 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979075 10917818368 15017 33554432000 4194304 4196468 140723744330800 140020154334128 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60068 KiB
[startup+1.5008 s]
/proc/loadavg: 1.41 0.41 0.18 3/234 27277
/proc/meminfo: memFree=31592984/32770624 swapFree=67009196/67108860
[pid=27262] ppid=27259 vsize=10663980 memory=74852 CPUtime=1.95 cores=0,2,4,6
/proc/27262/stat : 27262 (java) S 27259 27262 26870 0 -1 1077944320 18044 0 0 0 190 5 0 0 20 0 15 0 413979067 10919915520 18713 33554432000 4194304 4196468 140723744330800 140723744313344 140020671393527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
/proc/27262/statm: 2665995 18713 3091 1 0 2628492 0
[pid=27262/tid=27264] ppid=27259 vsize=10663980 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/27262/task/27264/stat : 27264 (java) R 27259 27262 26870 0 -1 4202560 13115 0 0 0 142 4 0 0 20 0 15 0 413979067 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020675619408 140020655474014 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27265] ppid=27259 vsize=10663980 memory=15815586630345727 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27265/stat : 27265 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020277811600 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27266] ppid=27259 vsize=10663980 memory=7093278708841344872 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27266/stat : 27266 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020276758800 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27267] ppid=27259 vsize=10663980 memory=7093278708841344872 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27267/stat : 27267 (java) S 27259 27262 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413979068 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020275706512 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27268] ppid=27259 vsize=10663980 memory=7093278708841344872 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27268/stat : 27268 (java) S 27259 27262 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413979068 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020274653712 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27269] ppid=27259 vsize=10663980 memory=7093278708841344872 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27269/stat : 27269 (java) S 27259 27262 26870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413979069 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020230560368 140020671404674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27270] ppid=27259 vsize=10663980 memory=8098430239848228962 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27270/stat : 27270 (java) S 27259 27262 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413979070 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020161701152 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27271] ppid=27259 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27271/stat : 27271 (java) S 27259 27262 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413979070 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020160648816 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27272] ppid=27259 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27272/stat : 27272 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979072 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020159597136 140020671412123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27273] ppid=27259 vsize=10663980 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/27262/task/27273/stat : 27273 (java) S 27259 27262 26870 0 -1 1077944384 1316 0 0 0 15 0 0 0 20 0 15 0 413979074 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020158543984 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27274] ppid=27259 vsize=10663980 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27262/task/27274/stat : 27274 (java) S 27259 27262 26870 0 -1 1077944384 1121 0 0 0 12 0 0 0 20 0 15 0 413979074 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020157491184 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27275] ppid=27259 vsize=10663980 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27262/task/27275/stat : 27275 (java) S 27259 27262 26870 0 -1 1077944384 1115 0 0 0 19 0 0 0 20 0 15 0 413979074 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020156438896 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27276] ppid=27259 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27276/stat : 27276 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413979074 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020155386336 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27277] ppid=27259 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27277/stat : 27277 (java) S 27259 27262 26870 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 413979075 10919915520 18713 33554432000 4194304 4196468 140723744330800 140020154334128 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 74852 KiB
[startup+3.11044 s]
/proc/loadavg: 1.78 0.50 0.21 3/235 27278
/proc/meminfo: memFree=31498012/32770624 swapFree=67009196/67108860
[pid=27262] ppid=27259 vsize=10746276 memory=162292 CPUtime=5.26 cores=0,2,4,6
/proc/27262/stat : 27262 (java) S 27259 27262 26870 0 -1 1077944320 29346 0 0 0 513 13 0 0 20 0 16 0 413979067 11004186624 40573 33554432000 4194304 4196468 140723744330800 140723744313344 140020671393527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
/proc/27262/statm: 2686569 40573 3351 1 0 2646705 0
[pid=27262/tid=27264] ppid=27259 vsize=10746276 memory=280657993613696 CPUtime=1.86 cores=0,2,4,6
/proc/27262/task/27264/stat : 27264 (java) S 27259 27262 26870 0 -1 1077944384 15386 0 0 0 180 6 0 0 20 0 16 0 413979067 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020675636400 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27265] ppid=27259 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27262/task/27265/stat : 27265 (java) S 27259 27262 26870 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020277811600 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27266] ppid=27259 vsize=10746276 memory=6224326950734024024 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27266/stat : 27266 (java) S 27259 27262 26870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020276758800 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27267] ppid=27259 vsize=10746276 memory=732 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27267/stat : 27267 (java) S 27259 27262 26870 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020275706512 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27268] ppid=27259 vsize=10746276 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27268/stat : 27268 (java) S 27259 27262 26870 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020274653712 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27269] ppid=27259 vsize=10746276 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/27262/task/27269/stat : 27269 (java) S 27259 27262 26870 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 16 0 413979069 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020230560368 140020671404674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27270] ppid=27259 vsize=10746276 memory=11330748862 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27270/stat : 27270 (java) S 27259 27262 26870 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 413979070 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020161701216 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27271] ppid=27259 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27271/stat : 27271 (java) S 27259 27262 26870 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 413979070 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020160648816 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27272] ppid=27259 vsize=10746276 memory=280657993653712 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27272/stat : 27272 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413979072 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020159597136 140020671412123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27273] ppid=27259 vsize=10746276 memory=6944656592387989600 CPUtime=0.81 cores=0,2,4,6
/proc/27262/task/27273/stat : 27273 (java) S 27259 27262 26870 0 -1 1077944384 2485 0 0 0 81 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020158543984 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27274] ppid=27259 vsize=10746276 memory=162076 CPUtime=0.77 cores=0,2,4,6
/proc/27262/task/27274/stat : 27274 (java) S 27259 27262 26870 0 -1 1077944384 2562 0 0 0 77 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020157491184 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27275] ppid=27259 vsize=10746276 memory=984 CPUtime=0.51 cores=0,2,4,6
/proc/27262/task/27275/stat : 27275 (java) S 27259 27262 26870 0 -1 1077944384 2367 0 0 0 51 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020156438896 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27276] ppid=27259 vsize=10746276 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27276/stat : 27276 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020155386336 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27277] ppid=27259 vsize=10746276 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27277/stat : 27277 (java) S 27259 27262 26870 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 413979075 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020154334128 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27278] ppid=27259 vsize=10746276 memory=732 CPUtime=1.17 cores=0,2,4,6
/proc/27262/task/27278/stat : 27278 (java) R 27259 27262 26870 0 -1 4202560 3844 0 0 0 115 2 0 0 20 0 16 0 413979257 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020137664080 140020314099082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
Current children cumulated CPU time: 5.26 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 162292 KiB
[startup+3.13375 s]
# the end of solver process 27262 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.15355 s, system=0.143999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11044 s]
/proc/loadavg: 1.78 0.50 0.21 3/235 27278
/proc/meminfo: memFree=31498012/32770624 swapFree=67009196/67108860
[pid=27262] ppid=27259 vsize=10746276 memory=162292 CPUtime=5.26 cores=0,2,4,6
/proc/27262/stat : 27262 (java) S 27259 27262 26870 0 -1 1077944320 29346 0 0 0 513 13 0 0 20 0 16 0 413979067 11004186624 40573 33554432000 4194304 4196468 140723744330800 140723744313344 140020671393527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
/proc/27262/statm: 2686569 40573 3351 1 0 2646705 0
[pid=27262/tid=27264] ppid=27259 vsize=10746276 memory=280657993613696 CPUtime=1.86 cores=0,2,4,6
/proc/27262/task/27264/stat : 27264 (java) S 27259 27262 26870 0 -1 1077944384 15386 0 0 0 180 6 0 0 20 0 16 0 413979067 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020675636400 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27265] ppid=27259 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27262/task/27265/stat : 27265 (java) S 27259 27262 26870 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020277811600 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27266] ppid=27259 vsize=10746276 memory=6224326950734024024 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27266/stat : 27266 (java) S 27259 27262 26870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020276758800 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27267] ppid=27259 vsize=10746276 memory=732 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27267/stat : 27267 (java) S 27259 27262 26870 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020275706512 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27268] ppid=27259 vsize=10746276 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27268/stat : 27268 (java) S 27259 27262 26870 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 413979068 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020274653712 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27269] ppid=27259 vsize=10746276 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/27262/task/27269/stat : 27269 (java) S 27259 27262 26870 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 16 0 413979069 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020230560368 140020671404674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27270] ppid=27259 vsize=10746276 memory=11330748862 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27270/stat : 27270 (java) S 27259 27262 26870 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 413979070 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020161701216 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27271] ppid=27259 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27271/stat : 27271 (java) S 27259 27262 26870 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 413979070 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020160648816 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27272] ppid=27259 vsize=10746276 memory=280657993653712 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27272/stat : 27272 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413979072 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020159597136 140020671412123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27273] ppid=27259 vsize=10746276 memory=6944656592387989600 CPUtime=0.81 cores=0,2,4,6
/proc/27262/task/27273/stat : 27273 (java) S 27259 27262 26870 0 -1 1077944384 2485 0 0 0 81 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020158543984 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27274] ppid=27259 vsize=10746276 memory=162076 CPUtime=0.77 cores=0,2,4,6
/proc/27262/task/27274/stat : 27274 (java) S 27259 27262 26870 0 -1 1077944384 2562 0 0 0 77 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020157491184 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27275] ppid=27259 vsize=10746276 memory=984 CPUtime=0.51 cores=0,2,4,6
/proc/27262/task/27275/stat : 27275 (java) S 27259 27262 26870 0 -1 1077944384 2367 0 0 0 51 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020156438896 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27276] ppid=27259 vsize=10746276 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27276/stat : 27276 (java) S 27259 27262 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413979074 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020155386336 140020671403733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27277] ppid=27259 vsize=10746276 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27262/task/27277/stat : 27277 (java) S 27259 27262 26870 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 413979075 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020154334128 140020671404674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
[pid=27262/tid=27278] ppid=27259 vsize=10746276 memory=732 CPUtime=1.17 cores=0,2,4,6
/proc/27262/task/27278/stat : 27278 (java) R 27259 27262 26870 0 -1 4202560 3844 0 0 0 115 2 0 0 20 0 16 0 413979257 11004186624 40573 33554432000 4194304 4196468 140723744330800 140020137664080 140020314099082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22306816 140723744338955 140723744339058 140723744339058 140723744341967 0
Current children cumulated CPU time: 5.26 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 162292 KiB
Child status: 0
Real time (s): 3.13379
CPU time (s): 5.29754
CPU user time (s): 5.15355
CPU system time (s): 0.143999
CPU usage (%): 169.046
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 162292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.15355
system time used= 0.143999
maximum resident set size= 162876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29438
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2520
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 27262
# total CPU time (s): 5.29754
# total CPU user time (s): 5.15355
# total CPU system time (s): 0.143999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049121 second user time and 0.08173 second system time
The end