2.58/1.91
2.58/1.91 AbsCon 2
2.58/1.92
2.84/2.06 Instance
2.84/2.06 name=instance-4390848-1568380559, framework=COP, bounds=-infty..+infty
2.84/2.06
2.84/2.06 Loading variables...
2.84/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d65d793
2.84/2.10 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77668d
2.84/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ed6e62c
2.84/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2dc6cc
2.84/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fd1f72
2.84/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@437a196f
2.84/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98c37b4
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f294bb7
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65134e27
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60384310
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45785ab6
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0fd216
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1dae77
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0af2ec
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bc36e58
3.10/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@621d67
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6150b
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698a6d36
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.10/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78a93961
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e74df
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fdca0
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c16d9a
3.10/2.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4fd0c8
3.42/2.23
3.42/2.23
3.42/2.23 Domains
3.42/2.23 nTypes=2, nValues=465, sizes=[2#225,15#1]
3.42/2.23 Variables
3.42/2.23 count=226, degrees=[17#4,18#52,19#169,106#1]
3.42/2.23 Objectives
3.42/2.23 way=min, type=ObjVarLE
3.42/2.23 Constraints
3.42/2.23 count=149, nSpecific=149, arities=[1#1,15#15,30#28,31#105]
3.42/2.23 distribution=[LexicographicLe#28,ObjVarLE#1,SumScalarBooleanLEVar#105,SumSimpleEQ#15]
3.42/2.23 wck=0.344, cpu=2.169, mem=26M512
3.42/2.23 Solver SolverBacktrack being built...
3.42/2.23
3.42/2.25
3.42/2.25 Solver
3.42/2.25 guaranteedGAC=true
3.42/2.25 wck=0.376, cpu=2.199, mem=37M155
3.42/2.26
3.42/2.26 Preprocessing
3.42/2.26 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.42/2.26 wck=0.006, cpu=2.206, mem=37M155
3.42/2.26
3.42/2.27 num=0, depth=20..66, filters=67, wck=0.018, mem=37M155
3.42/2.27 decisions=101, wrong=21, backtracks=14, failedAssignments=10, nogoods=5
3.42/2.27
3.42/2.29 num=1, depth=1..114, filters=256, wck=0.038, mem=37M155
3.42/2.29 decisions=247, wrong=42, backtracks=27, failedAssignments=21, nogoods=13
3.42/2.29
3.72/2.30 o 4
3.72/2.31 num=2, depth=1..225, filters=408, ccks=149, wck=0.056, mem=37M155
3.72/2.31 decisions=367, wrong=51, backtracks=27, failedAssignments=30, nogoods=22, foundSolutions=1, bestBound=4
3.72/2.31
3.72/2.32 num=3, depth=1..93, filters=612, ccks=149, wck=0.064, mem=37M155
3.72/2.32 decisions=486, wrong=69, backtracks=36, failedAssignments=43, nogoods=29, foundSolutions=1, bestBound=4
3.72/2.32
3.72/2.32 num=4, depth=1..91, filters=738, ccks=149, wck=0.068, mem=37M155
3.72/2.32 decisions=590, wrong=81, backtracks=37, failedAssignments=54, nogoods=40, foundSolutions=1, bestBound=4
3.72/2.32
3.72/2.33 o 3
3.72/2.33 num=5, depth=1..225, filters=887, ccks=298, wck=0.075, mem=37M155
3.72/2.33 decisions=722, wrong=91, backtracks=38, failedAssignments=63, nogoods=49, foundSolutions=2, bestBound=3
3.72/2.33
3.72/2.33 num=6, depth=1..100, filters=1040, ccks=298, wck=0.078, mem=37M155
3.72/2.33 decisions=847, wrong=109, backtracks=43, failedAssignments=76, nogoods=60, foundSolutions=2, bestBound=3
3.72/2.33
3.72/2.33 num=7, depth=1..27, filters=1200, ccks=298, wck=0.08, mem=37M155
3.72/2.33 decisions=893, wrong=123, backtracks=50, failedAssignments=87, nogoods=67, foundSolutions=2, bestBound=3
3.72/2.33
3.72/2.33 num=8, depth=0..24, filters=1401, ccks=298, wck=0.083, mem=37M155
3.72/2.33 decisions=953, wrong=143, backtracks=65, failedAssignments=99, nogoods=70, foundSolutions=2, bestBound=3
3.72/2.33
3.72/2.34 num=9, depth=11..119, filters=1510, ccks=298, wck=0.086, mem=37M155
3.72/2.34 decisions=1094, wrong=159, backtracks=69, failedAssignments=112, nogoods=81, foundSolutions=2, bestBound=3
3.72/2.34
3.72/2.34 num=10, depth=11..85, filters=1712, ccks=298, wck=0.089, mem=37M155
3.72/2.34 decisions=1219, wrong=184, backtracks=83, failedAssignments=126, nogoods=88, foundSolutions=2, bestBound=3
3.72/2.34
3.72/2.34 num=11, depth=10..41, filters=1979, ccks=298, wck=0.092, mem=37M155
3.72/2.34 decisions=1322, wrong=219, backtracks=110, failedAssignments=142, nogoods=93, foundSolutions=2, bestBound=3
3.72/2.34
3.72/2.35 num=12, depth=14..45, filters=2606, ccks=298, wck=0.096, mem=37M155
3.72/2.35 decisions=1466, wrong=277, backtracks=156, failedAssignments=159, nogoods=100, foundSolutions=2, bestBound=3
3.72/2.35
3.72/2.35 num=13, depth=10..42, filters=2848, ccks=298, wck=0.099, mem=37M155
3.72/2.35 decisions=1572, wrong=313, backtracks=181, failedAssignments=178, nogoods=106, foundSolutions=2, bestBound=3
3.72/2.35
3.72/2.35 num=14, depth=11..58, filters=3154, ccks=298, wck=0.102, mem=37M155
3.72/2.35 decisions=1707, wrong=360, backtracks=212, failedAssignments=199, nogoods=117, foundSolutions=2, bestBound=3
3.72/2.35
3.72/2.36 num=15, depth=6..91, filters=3697, ccks=298, wck=0.106, mem=37M155
3.72/2.36 decisions=1918, wrong=432, backtracks=269, failedAssignments=222, nogoods=128, foundSolutions=2, bestBound=3
3.72/2.36
3.72/2.36 num=16, depth=10..52, filters=3963, ccks=298, wck=0.109, mem=37M155
3.72/2.36 decisions=2046, wrong=478, backtracks=297, failedAssignments=247, nogoods=139, foundSolutions=2, bestBound=3
3.72/2.36
3.72/2.37 o 2
3.72/2.37 num=17, depth=73..225, filters=4087, ccks=447, wck=0.113, mem=37M155
3.72/2.37 decisions=2221, wrong=503, backtracks=315, failedAssignments=264, nogoods=146, foundSolutions=3, bestBound=2
3.72/2.37
3.72/2.37 num=18, depth=6..60, filters=4479, ccks=447, wck=0.121, mem=37M155
3.72/2.37 decisions=2387, wrong=563, backtracks=362, failedAssignments=295, nogoods=158, foundSolutions=3, bestBound=2
3.72/2.37
3.72/2.38 num=19, depth=5..50, filters=4643, ccks=447, wck=0.125, mem=37M155
3.72/2.38 decisions=2475, wrong=586, backtracks=381, failedAssignments=306, nogoods=163, foundSolutions=3, bestBound=2
3.72/2.38
3.72/2.38 num=20, depth=19..47, filters=4756, ccks=447, wck=0.129, mem=37M155
3.72/2.38 decisions=2554, wrong=606, backtracks=390, failedAssignments=318, nogoods=171, foundSolutions=3, bestBound=2
3.72/2.38
3.72/2.38 num=21, depth=6..41, filters=4853, ccks=447, wck=0.132, mem=39M797
3.72/2.38 decisions=2638, wrong=632, backtracks=408, failedAssignments=331, nogoods=174, foundSolutions=3, bestBound=2
3.72/2.38
3.72/2.39 num=22, depth=15..43, filters=5047, ccks=447, wck=0.136, mem=39M797
3.72/2.39 decisions=2746, wrong=671, backtracks=443, failedAssignments=345, nogoods=176, foundSolutions=3, bestBound=2
3.72/2.39
3.72/2.39 num=23, depth=7..60, filters=5350, ccks=447, wck=0.142, mem=39M797
3.72/2.39 decisions=2880, wrong=718, backtracks=485, failedAssignments=361, nogoods=182, foundSolutions=3, bestBound=2
3.72/2.39
4.07/2.40 num=24, depth=7..44, filters=5474, ccks=447, wck=0.145, mem=39M797
4.07/2.40 decisions=2972, wrong=747, backtracks=501, failedAssignments=378, nogoods=192, foundSolutions=3, bestBound=2
4.07/2.40
4.07/2.40 num=25, depth=12..43, filters=5651, ccks=447, wck=0.149, mem=39M797
4.07/2.40 decisions=3067, wrong=781, backtracks=524, failedAssignments=397, nogoods=196, foundSolutions=3, bestBound=2
4.07/2.40
4.07/2.41 num=26, depth=14..53, filters=6148, ccks=447, wck=0.158, mem=39M797
4.07/2.41 decisions=3224, wrong=844, backtracks=582, failedAssignments=418, nogoods=199, foundSolutions=3, bestBound=2
4.07/2.41
4.07/2.42 num=27, depth=10..38, filters=6406, ccks=447, wck=0.164, mem=39M797
4.07/2.42 decisions=3363, wrong=901, backtracks=631, failedAssignments=441, nogoods=206, foundSolutions=3, bestBound=2
4.07/2.42
4.07/2.42 num=28, depth=1..23, filters=6759, ccks=447, wck=0.171, mem=39M797
4.07/2.42 decisions=3527, wrong=979, backtracks=701, failedAssignments=466, nogoods=208, foundSolutions=3, bestBound=2
4.07/2.42
4.07/2.43 num=29, depth=11..47, filters=7190, ccks=447, wck=0.179, mem=39M797
4.07/2.43 decisions=3665, wrong=1030, backtracks=736, failedAssignments=494, nogoods=217, foundSolutions=3, bestBound=2
4.07/2.43
4.07/2.44 num=30, depth=11..47, filters=7712, ccks=447, wck=0.188, mem=39M797
4.07/2.44 decisions=3859, wrong=1110, backtracks=811, failedAssignments=525, nogoods=222, foundSolutions=3, bestBound=2
4.07/2.44
4.07/2.45 num=31, depth=1..62, filters=8265, ccks=447, wck=0.196, mem=39M797
4.07/2.45 decisions=4052, wrong=1185, backtracks=873, failedAssignments=559, nogoods=238, foundSolutions=3, bestBound=2
4.07/2.45
4.07/2.45 num=32, depth=2..62, filters=9464, ccks=447, wck=0.203, mem=39M797
4.07/2.45 decisions=4336, wrong=1308, backtracks=983, failedAssignments=596, nogoods=250, foundSolutions=3, bestBound=2
4.07/2.45
4.07/2.46 num=33, depth=2..65, filters=10420, ccks=447, wck=0.208, mem=39M797
4.07/2.46 decisions=4619, wrong=1428, backtracks=1085, failedAssignments=637, nogoods=261, foundSolutions=3, bestBound=2
4.07/2.46
4.07/2.46 num=34, depth=4..44, filters=11339, ccks=447, wck=0.212, mem=39M797
4.07/2.46 decisions=4881, wrong=1546, backtracks=1183, failedAssignments=682, nogoods=269, foundSolutions=3, bestBound=2
4.07/2.46
4.07/2.47 num=35, depth=6..58, filters=12257, ccks=447, wck=0.217, mem=39M797
4.07/2.47 decisions=5190, wrong=1675, backtracks=1297, failedAssignments=732, nogoods=275, foundSolutions=3, bestBound=2
4.07/2.47
4.07/2.47 num=36, depth=2..70, filters=13532, ccks=447, wck=0.224, mem=39M797
4.07/2.47 decisions=5501, wrong=1803, backtracks=1409, failedAssignments=787, nogoods=288, foundSolutions=3, bestBound=2
4.07/2.47
4.07/2.48 num=37, depth=1..61, filters=15802, ccks=447, wck=0.233, mem=39M797
4.07/2.48 decisions=5873, wrong=1964, backtracks=1547, failedAssignments=848, nogoods=295, foundSolutions=3, bestBound=2
4.07/2.48
4.07/2.49 num=38, depth=3..78, filters=17129, ccks=447, wck=0.239, mem=39M797
4.07/2.49 decisions=6269, wrong=2136, backtracks=1699, failedAssignments=915, nogoods=308, foundSolutions=3, bestBound=2
4.07/2.49
4.38/2.50 num=39, depth=9..76, filters=18768, ccks=447, wck=0.247, mem=39M797
4.38/2.50 decisions=6709, wrong=2337, backtracks=1879, failedAssignments=989, nogoods=322, foundSolutions=3, bestBound=2
4.38/2.50
4.38/2.51 num=40, depth=6..77, filters=20806, ccks=447, wck=0.255, mem=39M797
4.38/2.51 decisions=7216, wrong=2567, backtracks=2099, failedAssignments=1070, nogoods=338, foundSolutions=3, bestBound=2
4.38/2.51
4.38/2.51 num=41, depth=16..63, filters=22688, ccks=447, wck=0.263, mem=39M797
4.38/2.51 decisions=7759, wrong=2822, backtracks=2330, failedAssignments=1159, nogoods=346, foundSolutions=3, bestBound=2
4.38/2.51
4.38/2.52 num=42, depth=6..76, filters=24795, ccks=447, wck=0.272, mem=39M797
4.38/2.52 decisions=8348, wrong=3092, backtracks=2581, failedAssignments=1257, nogoods=357, foundSolutions=3, bestBound=2
4.38/2.52
4.38/2.53 num=43, depth=12..39, filters=26384, ccks=447, wck=0.279, mem=39M797
4.38/2.53 decisions=8887, wrong=3347, backtracks=2818, failedAssignments=1365, nogoods=365, foundSolutions=3, bestBound=2
4.38/2.53
4.38/2.54 num=44, depth=2..73, filters=29514, ccks=447, wck=0.289, mem=39M797
4.38/2.54 decisions=9553, wrong=3654, backtracks=3105, failedAssignments=1484, nogoods=377, foundSolutions=3, bestBound=2
4.38/2.54
4.38/2.55 num=45, depth=3..70, filters=31567, ccks=447, wck=0.299, mem=39M797
4.38/2.55 decisions=10182, wrong=3949, backtracks=3366, failedAssignments=1615, nogoods=388, foundSolutions=3, bestBound=2
4.38/2.55
4.38/2.56 num=46, depth=28..55, filters=33734, ccks=447, wck=0.308, mem=39M797
4.38/2.56 decisions=11016, wrong=4348, backtracks=3746, failedAssignments=1759, nogoods=390, foundSolutions=3, bestBound=2
4.38/2.56
4.38/2.57 num=47, depth=1..80, filters=38057, ccks=447, wck=0.323, mem=39M797
4.38/2.57 decisions=12060, wrong=4847, backtracks=4217, failedAssignments=1917, nogoods=405, foundSolutions=3, bestBound=2
4.38/2.57
4.38/2.58 num=48, depth=22..76, filters=40789, ccks=447, wck=0.334, mem=39M797
4.38/2.58 decisions=12980, wrong=5284, backtracks=4632, failedAssignments=2091, nogoods=417, foundSolutions=3, bestBound=2
4.38/2.58
4.67/2.60 num=49, depth=1..71, filters=44883, ccks=447, wck=0.348, mem=39M797
4.67/2.60 decisions=13921, wrong=5733, backtracks=5038, failedAssignments=2282, nogoods=430, foundSolutions=3, bestBound=2
4.67/2.60
4.67/2.61 num=50, depth=1..59, filters=48229, ccks=447, wck=0.361, mem=39M797
4.67/2.61 decisions=15064, wrong=6286, backtracks=5564, failedAssignments=2493, nogoods=438, foundSolutions=3, bestBound=2
4.67/2.61
4.67/2.63 num=51, depth=8..81, filters=52885, ccks=447, wck=0.377, mem=39M797
4.67/2.63 decisions=16494, wrong=6973, backtracks=6227, failedAssignments=2725, nogoods=455, foundSolutions=3, bestBound=2
4.67/2.63
4.67/2.65 num=52, depth=16..72, filters=58936, ccks=447, wck=0.396, mem=42M440
4.67/2.65 decisions=17983, wrong=7698, backtracks=6925, failedAssignments=2980, nogoods=468, foundSolutions=3, bestBound=2
4.67/2.65
4.67/2.66 num=53, depth=1..68, filters=63681, ccks=447, wck=0.412, mem=42M440
4.67/2.66 decisions=19539, wrong=8454, backtracks=7637, failedAssignments=3261, nogoods=480, foundSolutions=3, bestBound=2
4.67/2.66
4.67/2.68 num=54, depth=27..76, filters=70400, ccks=447, wck=0.432, mem=42M440
4.67/2.68 decisions=21127, wrong=9224, backtracks=8350, failedAssignments=3570, nogoods=497, foundSolutions=3, bestBound=2
4.67/2.68
4.89/2.70 num=55, depth=8..85, filters=76267, ccks=447, wck=0.453, mem=42M440
4.89/2.70 decisions=22868, wrong=10070, backtracks=9181, failedAssignments=3910, nogoods=510, foundSolutions=3, bestBound=2
4.89/2.70
4.89/2.73 num=56, depth=13..42, filters=83234, ccks=447, wck=0.476, mem=42M440
4.89/2.73 decisions=24547, wrong=10898, backtracks=9913, failedAssignments=4284, nogoods=516, foundSolutions=3, bestBound=2
4.89/2.73
4.89/2.76 num=57, depth=17..66, filters=95847, ccks=447, wck=0.513, mem=42M440
4.89/2.76 decisions=26793, wrong=12006, backtracks=10994, failedAssignments=4695, nogoods=528, foundSolutions=3, bestBound=2
4.89/2.76
4.89/2.80 num=58, depth=19..52, filters=105205, ccks=447, wck=0.544, mem=42M440
4.89/2.80 decisions=29274, wrong=13227, backtracks=12179, failedAssignments=5147, nogoods=537, foundSolutions=3, bestBound=2
4.89/2.80
5.00/2.83 num=59, depth=23..86, filters=116507, ccks=447, wck=0.577, mem=42M440
5.00/2.83 decisions=32766, wrong=14949, backtracks=13933, failedAssignments=5644, nogoods=553, foundSolutions=3, bestBound=2
5.00/2.83
5.00/2.86 num=60, depth=20..67, filters=127137, ccks=447, wck=0.613, mem=42M440
5.00/2.86 decisions=35432, wrong=16269, backtracks=15202, failedAssignments=6191, nogoods=558, foundSolutions=3, bestBound=2
5.00/2.86
5.11/2.91 num=61, depth=2..55, filters=141464, ccks=447, wck=0.66, mem=42M440
5.11/2.91 decisions=38356, wrong=17715, backtracks=16440, failedAssignments=6793, nogoods=567, foundSolutions=3, bestBound=2
5.11/2.91
5.11/2.98 num=62, depth=4..64, filters=165288, ccks=447, wck=0.73, mem=42M440
5.11/2.98 decisions=41881, wrong=19461, backtracks=18111, failedAssignments=7455, nogoods=578, foundSolutions=3, bestBound=2
5.11/2.98
5.22/3.03 num=63, depth=28..73, filters=178111, ccks=447, wck=0.776, mem=45M82
5.22/3.03 decisions=45713, wrong=21358, backtracks=19959, failedAssignments=8183, nogoods=583, foundSolutions=3, bestBound=2
5.22/3.03
5.22/3.08 num=64, depth=3..55, filters=193801, ccks=447, wck=0.826, mem=45M82
5.22/3.08 decisions=49893, wrong=23433, backtracks=21963, failedAssignments=8984, nogoods=593, foundSolutions=3, bestBound=2
5.22/3.08
5.32/3.13 num=65, depth=8..82, filters=210149, ccks=447, wck=0.875, mem=45M82
5.32/3.13 decisions=54600, wrong=25767, backtracks=24275, failedAssignments=9865, nogoods=610, foundSolutions=3, bestBound=2
5.32/3.13
5.41/3.20 num=66, depth=19..88, filters=234003, ccks=447, wck=0.947, mem=45M82
5.41/3.20 decisions=59677, wrong=28275, backtracks=26621, failedAssignments=10835, nogoods=625, foundSolutions=3, bestBound=2
5.41/3.20
5.41/3.27 num=67, depth=29..70, filters=254285, ccks=447, wck=1.019, mem=45M82
5.41/3.27 decisions=65928, wrong=31376, backtracks=29557, failedAssignments=11902, nogoods=633, foundSolutions=3, bestBound=2
5.41/3.27
5.52/3.31 o 1
5.52/3.31 num=68, depth=4..225, filters=266729, ccks=596, wck=1.058, mem=45M82
5.52/3.31 decisions=69387, wrong=33078, backtracks=31239, failedAssignments=12465, nogoods=654, foundSolutions=4, bestBound=1
5.52/3.31
5.52/3.31 Global
5.52/3.31 filters=266729, ccks=596, nogoods=654
5.52/3.31 Stop=FULL_EXPLORATION, wrong=33078, bestBound=1, bestBoundWck=1.432, bestBoundCpu=3.255, foundSolutions=4, firstSolCpu=2.247
5.52/3.31 wck=1.434, cpu=3.257, mem=45M82
5.52/3.31
5.52/3.31 v <instantiation id='sol4' type='solution' cost='1'> <list> z x[][] </list> <values> 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 </values> </instantiation>
5.52/3.31 s OPTIMUM FOUND
5.52/3.31
5.52/3.31 d WRONG_DECISIONS 33078
5.52/3.31 d NUMBER_SOLUTIONS 4
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 (15414 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-4390848-1568380559/watcher-4390848-1568380559 -o /tmp/evaluation-result-4390848-1568380559/solver-4390848-1568380559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568380467-26901 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390848-1568380559.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=27184, runsolver pid=27181
[startup+0.100094 s]*
/proc/loadavg: 1.36 0.38 0.17 4/234 27199
/proc/meminfo: memFree=31631520/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10659884 memory=27040 CPUtime=0.1 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 5287 0 0 0 9 1 0 0 20 0 15 0 413978660 10915721216 6760 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2664971 6760 2808 1 0 2627468 0
[pid=27184/tid=27186] ppid=27181 vsize=10659884 memory=7747744361495276107 CPUtime=0.08 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) R 27181 27184 26870 0 -1 4202560 3232 0 0 0 7 1 0 0 20 0 15 0 413978660 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507640803632 140507636587926 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10659884 memory=139757825689216 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10659884 memory=139757825689216 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978662 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413978663 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413978663 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507126309744 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978665 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 413978667 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 413978667 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10659884 memory=139757825689216 CPUtime=0.01 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) R 27181 27184 26870 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 413978667 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507122100848 140507615542888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978667 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10659884 memory=139757825689216 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978667 10915721216 6760 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27040 KiB
[startup+0.211655 s]*
/proc/loadavg: 1.36 0.38 0.17 5/234 27199
/proc/meminfo: memFree=31624140/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10659884 memory=35260 CPUtime=0.3 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 6945 0 0 0 28 2 0 0 20 0 15 0 413978660 10915721216 8815 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2664971 8815 2987 1 0 2627468 0
[pid=27184/tid=27186] ppid=27181 vsize=10659884 memory=8389772277269004345 CPUtime=0.18 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) R 27181 27184 26870 0 -1 4202560 3868 0 0 0 17 1 0 0 20 0 15 0 413978660 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507640807952 140507636597917 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10659884 memory=139757828561889 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978661 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10659884 memory=139757825689216 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978662 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413978663 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413978663 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507126309744 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978665 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 758 0 0 0 3 0 0 0 20 0 15 0 413978667 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 413978667 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10659884 memory=139757825689216 CPUtime=0.05 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) S 27181 27184 26870 0 -1 1077944384 721 0 0 0 5 0 0 0 20 0 15 0 413978667 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507122100848 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978667 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10659884 memory=139757825689216 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978667 10915721216 8815 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35260 KiB
[startup+0.314944 s]*
/proc/loadavg: 1.36 0.38 0.17 4/234 27199
/proc/meminfo: memFree=31621844/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10660908 memory=38784 CPUtime=0.45 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 8278 0 0 0 42 3 0 0 20 0 15 0 413978660 10916769792 9696 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2665227 9696 3000 1 0 2627724 0
[pid=27184/tid=27186] ppid=27181 vsize=10660908 memory=8389772277269004345 CPUtime=0.28 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) R 27181 27184 26870 0 -1 4202560 5241 0 0 0 26 2 0 0 20 0 15 0 413978660 10916769792 9828 33554432000 4194304 4196468 140731957810144 140507640796880 140507628886915 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10660908 memory=4294967661 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10916769792 9828 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10660908 memory=139757827911302 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10916769792 9894 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10916769792 9894 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978661 10916769792 9894 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10660908 memory=139757825689216 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978662 10916769792 9894 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413978663 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413978663 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507126309744 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10660908 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978665 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10660908 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 796 0 0 0 5 0 0 0 20 0 15 0 413978667 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10660908 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 15 0 413978667 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10660908 memory=139757825689216 CPUtime=0.07 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) S 27181 27184 26870 0 -1 1077944384 742 0 0 0 7 0 0 0 20 0 15 0 413978667 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507122100848 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10660908 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978667 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10660908 memory=139757825689216 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978667 10916769792 9960 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 38784 KiB
[startup+0.70077 s]
/proc/loadavg: 1.36 0.38 0.17 3/234 27199
/proc/meminfo: memFree=31607808/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10661932 memory=60152 CPUtime=1.07 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 12714 0 0 0 102 5 0 0 20 0 15 0 413978660 10917818368 15038 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2665483 15038 3057 1 0 2627980 0
[pid=27184/tid=27186] ppid=27181 vsize=10661932 memory=13948 CPUtime=0.65 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) R 27181 27184 26870 0 -1 4202560 8766 0 0 0 62 3 0 0 20 0 15 0 413978660 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507640798928 140507636597917 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978661 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10661932 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978662 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10661932 memory=896 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413978663 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413978663 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507126309744 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10661932 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978665 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10661932 memory=2452 CPUtime=0.11 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 1053 0 0 0 11 0 0 0 20 0 15 0 413978667 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10661932 memory=7302135314614015840 CPUtime=0.09 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 489 0 0 0 9 0 0 0 20 0 15 0 413978667 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10661932 memory=6008736850241416048 CPUtime=0.18 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) S 27181 27184 26870 0 -1 1077944384 1047 0 0 0 18 0 0 0 20 0 15 0 413978667 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507122100848 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10661932 memory=7523071198212214892 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978667 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10661932 memory=10 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978667 10917818368 15038 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60152 KiB
[startup+1.50085 s]
/proc/loadavg: 1.36 0.38 0.17 3/234 27199
/proc/meminfo: memFree=31591988/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10663980 memory=75072 CPUtime=1.98 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 18352 0 0 0 192 6 0 0 20 0 15 0 413978660 10919915520 18768 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2665995 18768 3092 1 0 2628492 0
[pid=27184/tid=27186] ppid=27181 vsize=10663980 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) R 27181 27184 26870 0 -1 4202560 13064 0 0 0 141 5 0 0 20 0 15 0 413978660 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507640807048 140507617949541 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10663980 memory=15815586630345727 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10663980 memory=7453283026556250985 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10663980 memory=7453283026556250985 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413978661 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10663980 memory=7453283026556250985 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413978661 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10663980 memory=7453283026556250985 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413978662 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10663980 memory=8025815206316435815 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413978663 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413978663 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507126309744 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978665 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10663980 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 2017 0 0 0 19 0 0 0 20 0 15 0 413978667 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10663980 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 15 0 413978667 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) S 27181 27184 26870 0 -1 1077944384 1061 0 0 0 18 0 0 0 20 0 15 0 413978667 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507122100848 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413978667 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 413978667 10919915520 18768 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75072 KiB
[startup+3.1102 s]
/proc/loadavg: 1.41 0.41 0.18 3/235 27200
/proc/meminfo: memFree=31501836/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10748324 memory=158084 CPUtime=5.32 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 28177 0 0 0 518 14 0 0 20 0 16 0 413978660 11006283776 39521 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2687081 39521 3350 1 0 2647217 0
[pid=27184/tid=27186] ppid=27181 vsize=10748324 memory=279515398095232 CPUtime=1.86 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) S 27181 27184 26870 0 -1 1077944384 15395 0 0 0 180 6 0 0 20 0 16 0 413978660 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507640818864 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10748324 memory=6224326950734024024 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10748324 memory=732 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10748324 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10748324 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 1049 0 0 0 1 0 0 0 20 0 16 0 413978662 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10748324 memory=11330748455 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 413978663 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 413978663 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507126309760 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10748324 memory=279515398135248 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413978665 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10748324 memory=6944656592387989600 CPUtime=0.88 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 2776 0 0 0 88 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10748324 memory=158056 CPUtime=0.77 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 1787 0 0 0 77 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10748324 memory=984 CPUtime=0.52 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) S 27181 27184 26870 0 -1 1077944384 1914 0 0 0 51 1 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507122100848 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10748324 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10748324 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27200] ppid=27181 vsize=10748324 memory=732 CPUtime=1.17 cores=0,2,4,6
/proc/27184/task/27200/stat : 27200 (java) R 27181 27184 26870 0 -1 4202560 3614 0 0 0 115 2 0 0 20 0 16 0 413978851 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507105279360 140507260397524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 158084 KiB
[startup+3.32102 s]
# the end of solver process 27184 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.4063 s, system=0.146745 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20077 s]
/proc/loadavg: 1.41 0.41 0.18 3/235 27200
/proc/meminfo: memFree=31501836/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10748324 memory=158084 CPUtime=5.41 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 28177 0 0 0 527 14 0 0 20 0 16 0 413978660 11006283776 39521 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2687081 39521 3350 1 0 2647217 0
[pid=27184/tid=27186] ppid=27181 vsize=10748324 memory=2241 CPUtime=1.86 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) S 27181 27184 26870 0 -1 1077944384 15395 0 0 0 180 6 0 0 20 0 16 0 413978660 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507640818864 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10748324 memory=2244 CPUtime=0.01 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10748324 memory=279515398204096 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10748324 memory=279515398210816 CPUtime=0.01 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 1049 0 0 0 1 0 0 0 20 0 16 0 413978662 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10748324 memory=27195 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 413978663 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10748324 memory=279515398223120 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 413978663 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507126309760 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413978665 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10748324 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 2776 0 0 0 88 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10748324 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 1787 0 0 0 77 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10748324 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) S 27181 27184 26870 0 -1 1077944384 1914 0 0 0 51 1 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507122100848 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27200] ppid=27181 vsize=10748324 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/27184/task/27200/stat : 27200 (java) R 27181 27184 26870 0 -1 4202560 3614 0 0 0 124 2 0 0 20 0 16 0 413978851 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507105279360 140507260127780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 158084 KiB
[startup+3.30058 s]
/proc/loadavg: 1.41 0.41 0.18 3/235 27200
/proc/meminfo: memFree=31501836/32770624 swapFree=67009196/67108860
[pid=27184] ppid=27181 vsize=10748324 memory=158084 CPUtime=5.52 cores=0,2,4,6
/proc/27184/stat : 27184 (java) S 27181 27184 26870 0 -1 1077944320 28186 0 0 0 538 14 0 0 20 0 16 0 413978660 11006283776 39521 33554432000 4194304 4196468 140731957810144 140731957792688 140507636575991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
/proc/27184/statm: 2687081 39521 3350 1 0 2647217 0
[pid=27184/tid=27186] ppid=27181 vsize=10748324 memory=158056 CPUtime=1.86 cores=0,2,4,6
/proc/27184/task/27186/stat : 27186 (java) S 27181 27184 26870 0 -1 1077944384 15395 0 0 0 180 6 0 0 20 0 16 0 413978660 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507640818864 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27187] ppid=27181 vsize=10748324 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/27184/task/27187/stat : 27187 (java) S 27181 27184 26870 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507578580112 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27188] ppid=27181 vsize=10748324 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27188/stat : 27188 (java) S 27181 27184 26870 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507577527312 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27189] ppid=27181 vsize=10748324 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27189/stat : 27189 (java) S 27181 27184 26870 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507576474512 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27190] ppid=27181 vsize=10748324 memory=732 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27190/stat : 27190 (java) S 27181 27184 26870 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 16 0 413978661 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507575421712 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27191] ppid=27181 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/27184/task/27191/stat : 27191 (java) S 27181 27184 26870 0 -1 1077944384 1049 0 0 0 1 0 0 0 20 0 16 0 413978662 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507128416624 140507636587138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27192] ppid=27181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27192/stat : 27192 (java) S 27181 27184 26870 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 413978663 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507127362592 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27193] ppid=27181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27193/stat : 27193 (java) S 27181 27184 26870 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 413978663 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507126309760 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27194] ppid=27181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27194/stat : 27194 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413978665 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507125258064 140507636594587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27195] ppid=27181 vsize=10748324 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/27184/task/27195/stat : 27195 (java) S 27181 27184 26870 0 -1 1077944384 2776 0 0 0 88 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507124206448 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27196] ppid=27181 vsize=10748324 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/27184/task/27196/stat : 27196 (java) S 27181 27184 26870 0 -1 1077944384 1787 0 0 0 77 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507123153648 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27197] ppid=27181 vsize=10748324 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/27184/task/27197/stat : 27197 (java) S 27181 27184 26870 0 -1 1077944384 1923 0 0 0 52 1 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507122100848 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27198] ppid=27181 vsize=10748324 memory=279515398095232 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27198/stat : 27198 (java) S 27181 27184 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507121048288 140507636586197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27199] ppid=27181 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27184/task/27199/stat : 27199 (java) S 27181 27184 26870 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 413978667 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507119995568 140507636587138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
[pid=27184/tid=27200] ppid=27181 vsize=10748324 memory=6224326950734024024 CPUtime=1.36 cores=0,2,4,6
/proc/27184/task/27200/stat : 27200 (java) R 27181 27184 26870 0 -1 4202560 3614 0 0 0 134 2 0 0 20 0 16 0 413978851 11006283776 39521 33554432000 4194304 4196468 140731957810144 140507105279360 140507255986029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39178240 140731957818379 140731957818482 140731957818482 140731957821391 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 158084 KiB
Child status: 0
Real time (s): 3.32106
CPU time (s): 5.55304
CPU user time (s): 5.4063
CPU system time (s): 0.146745
CPU usage (%): 167.207
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 158084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.4063
system time used= 0.146745
maximum resident set size= 158564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28261
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= 2405
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 27184
# total CPU time (s): 5.55304
# total CPU user time (s): 5.4063
# total CPU system time (s): 0.146745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050145 second user time and 0.076957 second system time
The end