2.38/1.89
2.38/1.89 AbsCon 2
2.63/1.90
2.89/2.05 Instance
2.89/2.05 name=instance-4391148-1568389051, framework=COP, bounds=-infty..+infty
2.89/2.05
2.89/2.05 Loading variables...
2.89/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c89fe72
2.89/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ce84999
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b3a2b
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7538ea8
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23a26d6b
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c66624f
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e6f4cc9
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a92de30
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54871d3
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1306ad5
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dce48aa
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@852abf4
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f37308b
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dec438
2.89/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@234cddfd
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
2.89/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d333ee9
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660f3028
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b3a06a
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d09002
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762247c
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5226e31e
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.13 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5625e790
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f527ae
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120d93dd
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120d93dd
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120d93dd
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120d93dd
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120d93dd
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120d93dd
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c1123f
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c1123f
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c1123f
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c1123f
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c1123f
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60fface8
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60fface8
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60fface8
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60fface8
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a591a1
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a591a1
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a591a1
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f0aa8
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6f0aa8
3.18/2.14 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5b471c
3.48/2.20
3.48/2.20
3.48/2.20 Domains
3.48/2.20 nTypes=2, nValues=465, sizes=[2#225,15#1]
3.48/2.20 Variables
3.48/2.20 count=226, degrees=[17#4,18#52,19#169,106#1]
3.48/2.20 Objectives
3.48/2.20 way=min, type=ObjVarLE
3.48/2.20 Constraints
3.48/2.20 count=149, nSpecific=149, arities=[1#1,15#15,30#28,31#105]
3.48/2.20 distribution=[LexicographicLe#28,ObjVarLE#1,SumScalarBooleanLEVar#105,SumSimpleEQ#15]
3.48/2.20 wck=0.345, cpu=2.162, mem=26M512
3.48/2.21 Solver SolverBacktrack being built...
3.48/2.21
3.48/2.23
3.48/2.23 Solver
3.48/2.23 guaranteedGAC=true
3.48/2.23 wck=0.376, cpu=2.191, mem=37M154
3.48/2.24
3.48/2.24 Preprocessing
3.48/2.24 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.48/2.24 wck=0.005, cpu=2.198, mem=37M154
3.48/2.24
3.48/2.25 num=0, depth=20..66, filters=67, wck=0.018, mem=37M154
3.48/2.25 decisions=101, wrong=21, backtracks=14, failedAssignments=10, nogoods=5
3.48/2.25
3.48/2.27 num=1, depth=1..114, filters=256, wck=0.039, mem=37M154
3.48/2.27 decisions=247, wrong=42, backtracks=27, failedAssignments=21, nogoods=13
3.48/2.27
3.48/2.29 o 4
3.48/2.29 num=2, depth=1..225, filters=408, ccks=149, wck=0.058, mem=37M154
3.48/2.29 decisions=367, wrong=51, backtracks=27, failedAssignments=30, nogoods=22, foundSolutions=1, bestBound=4
3.48/2.29
3.48/2.30 num=3, depth=1..93, filters=612, ccks=149, wck=0.067, mem=37M154
3.48/2.30 decisions=486, wrong=69, backtracks=36, failedAssignments=43, nogoods=29, foundSolutions=1, bestBound=4
3.48/2.30
3.48/2.30 num=4, depth=1..91, filters=738, ccks=149, wck=0.07, mem=37M154
3.48/2.30 decisions=590, wrong=81, backtracks=37, failedAssignments=54, nogoods=40, foundSolutions=1, bestBound=4
3.48/2.30
3.81/2.31 o 3
3.81/2.31 num=5, depth=1..225, filters=887, ccks=298, wck=0.077, mem=37M154
3.81/2.31 decisions=722, wrong=91, backtracks=38, failedAssignments=63, nogoods=49, foundSolutions=2, bestBound=3
3.81/2.31
3.81/2.31 num=6, depth=1..100, filters=1040, ccks=298, wck=0.081, mem=37M154
3.81/2.31 decisions=847, wrong=109, backtracks=43, failedAssignments=76, nogoods=60, foundSolutions=2, bestBound=3
3.81/2.31
3.81/2.31 num=7, depth=1..27, filters=1200, ccks=298, wck=0.084, mem=37M154
3.81/2.31 decisions=893, wrong=123, backtracks=50, failedAssignments=87, nogoods=67, foundSolutions=2, bestBound=3
3.81/2.31
3.81/2.32 num=8, depth=0..24, filters=1401, ccks=298, wck=0.086, mem=37M154
3.81/2.32 decisions=953, wrong=143, backtracks=65, failedAssignments=99, nogoods=70, foundSolutions=2, bestBound=3
3.81/2.32
3.81/2.32 num=9, depth=11..119, filters=1510, ccks=298, wck=0.089, mem=37M154
3.81/2.32 decisions=1094, wrong=159, backtracks=69, failedAssignments=112, nogoods=81, foundSolutions=2, bestBound=3
3.81/2.32
3.81/2.32 num=10, depth=11..85, filters=1712, ccks=298, wck=0.092, mem=37M154
3.81/2.32 decisions=1219, wrong=184, backtracks=83, failedAssignments=126, nogoods=88, foundSolutions=2, bestBound=3
3.81/2.32
3.81/2.33 num=11, depth=10..41, filters=1979, ccks=298, wck=0.096, mem=37M154
3.81/2.33 decisions=1322, wrong=219, backtracks=110, failedAssignments=142, nogoods=93, foundSolutions=2, bestBound=3
3.81/2.33
3.81/2.33 num=12, depth=14..45, filters=2606, ccks=298, wck=0.1, mem=37M154
3.81/2.33 decisions=1466, wrong=277, backtracks=156, failedAssignments=159, nogoods=100, foundSolutions=2, bestBound=3
3.81/2.33
3.81/2.33 num=13, depth=10..42, filters=2848, ccks=298, wck=0.102, mem=37M154
3.81/2.33 decisions=1572, wrong=313, backtracks=181, failedAssignments=178, nogoods=106, foundSolutions=2, bestBound=3
3.81/2.33
3.81/2.34 num=14, depth=11..58, filters=3154, ccks=298, wck=0.106, mem=37M154
3.81/2.34 decisions=1707, wrong=360, backtracks=212, failedAssignments=199, nogoods=117, foundSolutions=2, bestBound=3
3.81/2.34
3.81/2.34 num=15, depth=6..91, filters=3697, ccks=298, wck=0.11, mem=37M154
3.81/2.34 decisions=1918, wrong=432, backtracks=269, failedAssignments=222, nogoods=128, foundSolutions=2, bestBound=3
3.81/2.34
3.81/2.34 num=16, depth=10..52, filters=3963, ccks=298, wck=0.112, mem=37M154
3.81/2.34 decisions=2046, wrong=478, backtracks=297, failedAssignments=247, nogoods=139, foundSolutions=2, bestBound=3
3.81/2.34
3.81/2.35 o 2
3.81/2.35 num=17, depth=73..225, filters=4087, ccks=447, wck=0.117, mem=37M154
3.81/2.35 decisions=2221, wrong=503, backtracks=315, failedAssignments=264, nogoods=146, foundSolutions=3, bestBound=2
3.81/2.35
3.81/2.36 num=18, depth=6..60, filters=4479, ccks=447, wck=0.126, mem=37M154
3.81/2.36 decisions=2387, wrong=563, backtracks=362, failedAssignments=295, nogoods=158, foundSolutions=3, bestBound=2
3.81/2.36
3.81/2.36 num=19, depth=5..50, filters=4643, ccks=447, wck=0.13, mem=37M154
3.81/2.36 decisions=2475, wrong=586, backtracks=381, failedAssignments=306, nogoods=163, foundSolutions=3, bestBound=2
3.81/2.36
3.81/2.36 num=20, depth=19..47, filters=4756, ccks=447, wck=0.133, mem=37M154
3.81/2.36 decisions=2554, wrong=606, backtracks=390, failedAssignments=318, nogoods=171, foundSolutions=3, bestBound=2
3.81/2.36
3.81/2.37 num=21, depth=6..41, filters=4853, ccks=447, wck=0.136, mem=39M797
3.81/2.37 decisions=2638, wrong=632, backtracks=408, failedAssignments=331, nogoods=174, foundSolutions=3, bestBound=2
3.81/2.37
3.81/2.37 num=22, depth=15..43, filters=5047, ccks=447, wck=0.141, mem=39M797
3.81/2.37 decisions=2746, wrong=671, backtracks=443, failedAssignments=345, nogoods=176, foundSolutions=3, bestBound=2
3.81/2.37
3.81/2.38 num=23, depth=7..60, filters=5350, ccks=447, wck=0.147, mem=39M797
3.81/2.38 decisions=2880, wrong=718, backtracks=485, failedAssignments=361, nogoods=182, foundSolutions=3, bestBound=2
3.81/2.38
3.81/2.38 num=24, depth=7..44, filters=5474, ccks=447, wck=0.15, mem=39M797
3.81/2.38 decisions=2972, wrong=747, backtracks=501, failedAssignments=378, nogoods=192, foundSolutions=3, bestBound=2
3.81/2.38
3.81/2.39 num=25, depth=12..43, filters=5651, ccks=447, wck=0.154, mem=39M797
3.81/2.39 decisions=3067, wrong=781, backtracks=524, failedAssignments=397, nogoods=196, foundSolutions=3, bestBound=2
3.81/2.39
3.81/2.39 num=26, depth=14..53, filters=6148, ccks=447, wck=0.163, mem=39M797
3.81/2.39 decisions=3224, wrong=844, backtracks=582, failedAssignments=418, nogoods=199, foundSolutions=3, bestBound=2
3.81/2.39
4.11/2.40 num=27, depth=10..38, filters=6406, ccks=447, wck=0.169, mem=39M797
4.11/2.40 decisions=3363, wrong=901, backtracks=631, failedAssignments=441, nogoods=206, foundSolutions=3, bestBound=2
4.11/2.40
4.11/2.41 num=28, depth=1..23, filters=6759, ccks=447, wck=0.177, mem=39M797
4.11/2.41 decisions=3527, wrong=979, backtracks=701, failedAssignments=466, nogoods=208, foundSolutions=3, bestBound=2
4.11/2.41
4.11/2.42 num=29, depth=11..47, filters=7190, ccks=447, wck=0.184, mem=39M797
4.11/2.42 decisions=3665, wrong=1030, backtracks=736, failedAssignments=494, nogoods=217, foundSolutions=3, bestBound=2
4.11/2.42
4.11/2.42 num=30, depth=11..47, filters=7712, ccks=447, wck=0.194, mem=39M797
4.11/2.42 decisions=3859, wrong=1110, backtracks=811, failedAssignments=525, nogoods=222, foundSolutions=3, bestBound=2
4.11/2.42
4.11/2.43 num=31, depth=1..62, filters=8265, ccks=447, wck=0.203, mem=39M797
4.11/2.43 decisions=4052, wrong=1185, backtracks=873, failedAssignments=559, nogoods=238, foundSolutions=3, bestBound=2
4.11/2.43
4.11/2.45 num=32, depth=2..62, filters=9464, ccks=447, wck=0.218, mem=39M797
4.11/2.45 decisions=4336, wrong=1308, backtracks=983, failedAssignments=596, nogoods=250, foundSolutions=3, bestBound=2
4.11/2.45
4.11/2.45 num=33, depth=2..65, filters=10420, ccks=447, wck=0.223, mem=39M797
4.11/2.45 decisions=4619, wrong=1428, backtracks=1085, failedAssignments=637, nogoods=261, foundSolutions=3, bestBound=2
4.11/2.45
4.11/2.46 num=34, depth=4..44, filters=11339, ccks=447, wck=0.227, mem=39M797
4.11/2.46 decisions=4881, wrong=1546, backtracks=1183, failedAssignments=682, nogoods=269, foundSolutions=3, bestBound=2
4.11/2.46
4.11/2.46 num=35, depth=6..58, filters=12257, ccks=447, wck=0.232, mem=39M797
4.11/2.46 decisions=5190, wrong=1675, backtracks=1297, failedAssignments=732, nogoods=275, foundSolutions=3, bestBound=2
4.11/2.46
4.11/2.47 num=36, depth=2..70, filters=13532, ccks=447, wck=0.239, mem=39M797
4.11/2.47 decisions=5501, wrong=1803, backtracks=1409, failedAssignments=787, nogoods=288, foundSolutions=3, bestBound=2
4.11/2.47
4.11/2.48 num=37, depth=1..61, filters=15802, ccks=447, wck=0.249, mem=39M797
4.11/2.48 decisions=5873, wrong=1964, backtracks=1547, failedAssignments=848, nogoods=295, foundSolutions=3, bestBound=2
4.11/2.48
4.11/2.49 num=38, depth=3..78, filters=17129, ccks=447, wck=0.256, mem=39M797
4.11/2.49 decisions=6269, wrong=2136, backtracks=1699, failedAssignments=915, nogoods=308, foundSolutions=3, bestBound=2
4.11/2.49
4.11/2.49 num=39, depth=9..76, filters=18768, ccks=447, wck=0.263, mem=39M797
4.11/2.49 decisions=6709, wrong=2337, backtracks=1879, failedAssignments=989, nogoods=322, foundSolutions=3, bestBound=2
4.11/2.49
4.41/2.50 num=40, depth=6..77, filters=20806, ccks=447, wck=0.272, mem=39M797
4.41/2.50 decisions=7216, wrong=2567, backtracks=2099, failedAssignments=1070, nogoods=338, foundSolutions=3, bestBound=2
4.41/2.50
4.41/2.51 num=41, depth=16..63, filters=22688, ccks=447, wck=0.281, mem=39M797
4.41/2.51 decisions=7759, wrong=2822, backtracks=2330, failedAssignments=1159, nogoods=346, foundSolutions=3, bestBound=2
4.41/2.51
4.41/2.52 num=42, depth=6..76, filters=24795, ccks=447, wck=0.29, mem=39M797
4.41/2.52 decisions=8348, wrong=3092, backtracks=2581, failedAssignments=1257, nogoods=357, foundSolutions=3, bestBound=2
4.41/2.52
4.41/2.53 num=43, depth=12..39, filters=26384, ccks=447, wck=0.298, mem=39M797
4.41/2.53 decisions=8887, wrong=3347, backtracks=2818, failedAssignments=1365, nogoods=365, foundSolutions=3, bestBound=2
4.41/2.53
4.41/2.54 num=44, depth=2..73, filters=29514, ccks=447, wck=0.309, mem=39M797
4.41/2.54 decisions=9553, wrong=3654, backtracks=3105, failedAssignments=1484, nogoods=377, foundSolutions=3, bestBound=2
4.41/2.54
4.41/2.55 num=45, depth=3..70, filters=31567, ccks=447, wck=0.317, mem=39M797
4.41/2.55 decisions=10182, wrong=3949, backtracks=3366, failedAssignments=1615, nogoods=388, foundSolutions=3, bestBound=2
4.41/2.55
4.41/2.56 num=46, depth=28..55, filters=33734, ccks=447, wck=0.326, mem=39M797
4.41/2.56 decisions=11016, wrong=4348, backtracks=3746, failedAssignments=1759, nogoods=390, foundSolutions=3, bestBound=2
4.41/2.56
4.41/2.57 num=47, depth=1..80, filters=38057, ccks=447, wck=0.341, mem=39M797
4.41/2.57 decisions=12060, wrong=4847, backtracks=4217, failedAssignments=1917, nogoods=405, foundSolutions=3, bestBound=2
4.41/2.57
4.41/2.58 num=48, depth=22..76, filters=40789, ccks=447, wck=0.352, mem=39M797
4.41/2.58 decisions=12980, wrong=5284, backtracks=4632, failedAssignments=2091, nogoods=417, foundSolutions=3, bestBound=2
4.41/2.58
4.70/2.60 num=49, depth=1..71, filters=44883, ccks=447, wck=0.367, mem=39M797
4.70/2.60 decisions=13921, wrong=5733, backtracks=5038, failedAssignments=2282, nogoods=430, foundSolutions=3, bestBound=2
4.70/2.60
4.70/2.61 num=50, depth=1..59, filters=48229, ccks=447, wck=0.379, mem=39M797
4.70/2.61 decisions=15064, wrong=6286, backtracks=5564, failedAssignments=2493, nogoods=438, foundSolutions=3, bestBound=2
4.70/2.61
4.70/2.63 num=51, depth=8..81, filters=52885, ccks=447, wck=0.395, mem=39M797
4.70/2.63 decisions=16494, wrong=6973, backtracks=6227, failedAssignments=2725, nogoods=455, foundSolutions=3, bestBound=2
4.70/2.63
4.70/2.64 num=52, depth=16..72, filters=58936, ccks=447, wck=0.412, mem=42M439
4.70/2.64 decisions=17983, wrong=7698, backtracks=6925, failedAssignments=2980, nogoods=468, foundSolutions=3, bestBound=2
4.70/2.64
4.70/2.66 num=53, depth=1..68, filters=63681, ccks=447, wck=0.427, mem=42M439
4.70/2.66 decisions=19539, wrong=8454, backtracks=7637, failedAssignments=3261, nogoods=480, foundSolutions=3, bestBound=2
4.70/2.66
4.70/2.68 num=54, depth=27..76, filters=70400, ccks=447, wck=0.449, mem=42M439
4.70/2.68 decisions=21127, wrong=9224, backtracks=8350, failedAssignments=3570, nogoods=497, foundSolutions=3, bestBound=2
4.70/2.68
4.85/2.70 num=55, depth=8..85, filters=76267, ccks=447, wck=0.47, mem=42M439
4.85/2.70 decisions=22868, wrong=10070, backtracks=9181, failedAssignments=3910, nogoods=510, foundSolutions=3, bestBound=2
4.85/2.70
4.85/2.72 num=56, depth=13..42, filters=83234, ccks=447, wck=0.494, mem=42M439
4.85/2.72 decisions=24547, wrong=10898, backtracks=9913, failedAssignments=4284, nogoods=516, foundSolutions=3, bestBound=2
4.85/2.72
4.85/2.76 num=57, depth=17..66, filters=95847, ccks=447, wck=0.531, mem=42M439
4.85/2.76 decisions=26793, wrong=12006, backtracks=10994, failedAssignments=4695, nogoods=528, foundSolutions=3, bestBound=2
4.85/2.76
4.85/2.79 num=58, depth=19..52, filters=105205, ccks=447, wck=0.564, mem=42M439
4.85/2.79 decisions=29274, wrong=13227, backtracks=12179, failedAssignments=5147, nogoods=537, foundSolutions=3, bestBound=2
4.85/2.79
4.96/2.83 num=59, depth=23..86, filters=116507, ccks=447, wck=0.598, mem=42M439
4.96/2.83 decisions=32766, wrong=14949, backtracks=13933, failedAssignments=5644, nogoods=553, foundSolutions=3, bestBound=2
4.96/2.83
4.96/2.86 num=60, depth=20..67, filters=127137, ccks=447, wck=0.634, mem=42M439
4.96/2.86 decisions=35432, wrong=16269, backtracks=15202, failedAssignments=6191, nogoods=558, foundSolutions=3, bestBound=2
4.96/2.86
5.07/2.91 num=61, depth=2..55, filters=141464, ccks=447, wck=0.68, mem=42M439
5.07/2.91 decisions=38356, wrong=17715, backtracks=16440, failedAssignments=6793, nogoods=567, foundSolutions=3, bestBound=2
5.07/2.91
5.07/2.98 num=62, depth=4..64, filters=165288, ccks=447, wck=0.751, mem=42M439
5.07/2.98 decisions=41881, wrong=19461, backtracks=18111, failedAssignments=7455, nogoods=578, foundSolutions=3, bestBound=2
5.07/2.98
5.18/3.03 num=63, depth=28..73, filters=178111, ccks=447, wck=0.797, mem=45M82
5.18/3.03 decisions=45713, wrong=21358, backtracks=19959, failedAssignments=8183, nogoods=583, foundSolutions=3, bestBound=2
5.18/3.03
5.18/3.08 num=64, depth=3..55, filters=193801, ccks=447, wck=0.846, mem=45M82
5.18/3.08 decisions=49893, wrong=23433, backtracks=21963, failedAssignments=8984, nogoods=593, foundSolutions=3, bestBound=2
5.18/3.08
5.28/3.13 num=65, depth=8..82, filters=210149, ccks=447, wck=0.895, mem=45M82
5.28/3.13 decisions=54600, wrong=25767, backtracks=24275, failedAssignments=9865, nogoods=610, foundSolutions=3, bestBound=2
5.28/3.13
5.28/3.20 num=66, depth=19..88, filters=234003, ccks=447, wck=0.966, mem=45M82
5.28/3.20 decisions=59677, wrong=28275, backtracks=26621, failedAssignments=10835, nogoods=625, foundSolutions=3, bestBound=2
5.28/3.20
5.37/3.27 num=67, depth=29..70, filters=254285, ccks=447, wck=1.038, mem=45M82
5.37/3.27 decisions=65928, wrong=31376, backtracks=29557, failedAssignments=11902, nogoods=633, foundSolutions=3, bestBound=2
5.37/3.27
5.47/3.31 o 1
5.47/3.31 num=68, depth=4..225, filters=266729, ccks=596, wck=1.076, mem=45M82
5.47/3.31 decisions=69387, wrong=33078, backtracks=31239, failedAssignments=12465, nogoods=654, foundSolutions=4, bestBound=1
5.47/3.31
5.47/3.31 Global
5.47/3.31 filters=266729, ccks=596, nogoods=654
5.47/3.31 Stop=FULL_EXPLORATION, wrong=33078, bestBound=1, bestBoundWck=1.452, bestBoundCpu=3.263, foundSolutions=4, firstSolCpu=2.242
5.47/3.31 wck=1.453, cpu=3.265, mem=45M82
5.47/3.31
5.47/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.47/3.31 s OPTIMUM FOUND
5.47/3.31
5.47/3.31 d WRONG_DECISIONS 33078
5.47/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 (15302 MiB free)
memory of node 1: 16384 MiB (15290 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391148-1568389051/watcher-4391148-1568389051 -o /tmp/evaluation-result-4391148-1568389051/solver-4391148-1568389051 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27766 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391148-1568389051.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28131, runsolver pid=28128
[startup+0.100123 s]*
/proc/loadavg: 1.85 1.77 1.87 6/229 28146
/proc/meminfo: memFree=31309744/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10659884 memory=28972 CPUtime=0.14 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 5184 0 0 0 13 1 0 0 20 0 15 0 414843002 10915721216 7243 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2664971 7243 2892 1 0 2627468 0
[pid=28131/tid=28133] ppid=28128 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26121 0 -1 4202560 2968 0 0 0 9 0 0 0 20 0 15 0 414843002 10915721216 7243 33554432000 4194304 4196468 140735592115776 140051253520512 140050847332641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 7243 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 7243 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 7243 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 7243 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843004 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843005 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050739164064 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843005 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050738111472 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843007 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26121 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 414843007 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050736007664 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10659884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 15 0 414843007 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0.02 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) R 28128 28131 26121 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 414843008 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050733899784 140051241528126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843008 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843008 10915721216 7243 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28972 KiB
[startup+0.210692 s]*
/proc/loadavg: 1.85 1.77 1.87 3/229 28146
/proc/meminfo: memFree=31303660/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10659884 memory=35592 CPUtime=0.33 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 6476 0 0 0 32 1 0 0 20 0 15 0 414843002 10915721216 8898 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2664971 8898 2988 1 0 2627468 0
[pid=28131/tid=28133] ppid=28128 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26121 0 -1 4202560 3456 0 0 0 19 1 0 0 20 0 15 0 414843002 10915721216 8898 33554432000 4194304 4196468 140735592115776 140051253517360 140051249312925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 8898 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10659884 memory=288370310122071680 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 8898 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 8898 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 8898 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843004 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843005 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050739164064 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843005 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050738111472 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843007 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26121 0 -1 1077944384 237 0 0 0 3 0 0 0 20 0 15 0 414843007 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050736007664 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 675 0 0 0 3 0 0 0 20 0 15 0 414843007 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0.05 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26121 0 -1 1077944384 749 0 0 0 5 0 0 0 20 0 15 0 414843008 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050733902576 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843008 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843008 10915721216 8898 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35592 KiB
[startup+0.310312 s]*
/proc/loadavg: 1.85 1.77 1.87 3/229 28146
/proc/meminfo: memFree=31296140/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10659884 memory=40488 CPUtime=0.47 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 8926 0 0 0 45 2 0 0 20 0 15 0 414843002 10915721216 10122 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2664971 10122 3000 1 0 2627468 0
[pid=28131/tid=28133] ppid=28128 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26121 0 -1 4202560 5847 0 0 0 28 2 0 0 20 0 15 0 414843002 10915721216 10122 33554432000 4194304 4196468 140735592115776 140051253522800 140051249312925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10659884 memory=2810766 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 10122 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10659884 memory=288370310122071680 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 10122 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 10122 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10915721216 10122 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843004 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843005 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050739164064 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843005 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050738111472 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843007 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26121 0 -1 1077944384 245 0 0 0 3 0 0 0 20 0 15 0 414843007 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050736007664 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 716 0 0 0 4 0 0 0 20 0 15 0 414843007 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0.08 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26121 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 414843008 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050733902576 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843008 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10659884 memory=139933970359936 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843008 10915721216 10122 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40488 KiB
[startup+0.701197 s]
/proc/loadavg: 1.85 1.77 1.87 3/229 28146
/proc/meminfo: memFree=31287348/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10661932 memory=64128 CPUtime=1.11 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 12623 0 0 0 106 5 0 0 20 0 15 0 414843002 10917818368 16032 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2665483 16032 3073 1 0 2627980 0
[pid=28131/tid=28133] ppid=28128 vsize=10661932 memory=4481 CPUtime=0.68 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26121 0 -1 4202560 8389 0 0 0 65 3 0 0 20 0 15 0 414843002 10917818368 16032 33554432000 4194304 4196468 140735592115776 140051253516880 140051234456552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10661932 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10917818368 16032 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10661932 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10917818368 16032 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10917818368 16032 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10917818368 16032 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10661932 memory=260785649516873 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843004 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843005 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050739164064 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843005 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050738111472 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843007 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10661932 memory=279867719445408 CPUtime=0.1 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) R 28128 28131 26121 0 -1 4202560 615 0 0 0 10 0 0 0 20 0 15 0 414843007 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050736007664 140051234191505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10661932 memory=19153 CPUtime=0.12 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 1012 0 0 0 12 0 0 0 20 0 15 0 414843007 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10661932 memory=279867719418096 CPUtime=0.18 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26121 0 -1 1077944384 1248 0 0 0 18 0 0 0 20 0 15 0 414843008 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050733902576 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843008 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843008 10917818368 16032 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64128 KiB
[startup+1.50082 s]
/proc/loadavg: 1.85 1.77 1.87 3/229 28146
/proc/meminfo: memFree=31270596/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10663980 memory=76116 CPUtime=1.99 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 17719 0 0 0 194 5 0 0 20 0 15 0 414843002 10919915520 19029 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2665995 19029 3093 1 0 2628492 0
[pid=28131/tid=28133] ppid=28128 vsize=10663980 memory=279867720295072 CPUtime=1.48 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) R 28128 28131 26121 0 -1 4202560 12339 0 0 0 144 4 0 0 20 0 15 0 414843002 10919915520 19029 33554432000 4194304 4196468 140735592115776 140051253523024 140051233371486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10663980 memory=279867719467952 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10919915520 19029 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414843003 10919915520 19029 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10663980 memory=2811011 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10919915520 19029 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10663980 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414843003 10919915520 19029 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414843004 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414843005 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050739164064 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414843005 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050738111472 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843007 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10663980 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26121 0 -1 1077944384 1192 0 0 0 13 0 0 0 20 0 15 0 414843007 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050736007664 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10663980 memory=260785649615945 CPUtime=0.17 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 1495 0 0 0 17 0 0 0 20 0 15 0 414843007 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26121 0 -1 1077944384 1250 0 0 0 18 0 0 0 20 0 15 0 414843008 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050733902576 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414843008 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414843008 10919915520 19029 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76116 KiB
[startup+3.11014 s]
/proc/loadavg: 1.85 1.77 1.87 3/231 28149
/proc/meminfo: memFree=31180180/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10748324 memory=161088 CPUtime=5.28 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 28229 0 0 0 516 12 0 0 20 0 16 0 414843002 11006283776 40272 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2687081 40272 3347 1 0 2647217 0
[pid=28131/tid=28133] ppid=28128 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) S 28128 28131 26121 0 -1 1077944384 14511 0 0 0 182 5 0 0 20 0 16 0 414843002 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051253533872 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10748324 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10748324 memory=2811011 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10748324 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10748324 memory=279867719728192 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10748324 memory=122998803663338 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 1023 0 0 0 1 0 0 0 20 0 16 0 414843004 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10748324 memory=279867719970464 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414843005 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050739164128 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10748324 memory=279867719858528 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414843005 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050738111488 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10748324 memory=6944656592455359580 CPUtime=0.78 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26121 0 -1 1077944384 2730 0 0 0 78 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050736007664 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10748324 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 2569 0 0 0 81 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10748324 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26121 0 -1 1077944384 2163 0 0 0 52 1 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050733902576 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10748324 memory=8751464017575556917 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28149] ppid=28128 vsize=10748324 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/28131/task/28149/stat : 28149 (java) R 28128 28131 26121 0 -1 4202560 3596 0 0 0 115 2 0 0 20 0 16 0 414843191 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050715127040 140050852460569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 161088 KiB
[startup+3.31843 s]
# the end of solver process 28131 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.37759 s, system=0.128859 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20075 s]
/proc/loadavg: 1.85 1.77 1.87 3/231 28149
/proc/meminfo: memFree=31180180/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10748324 memory=161088 CPUtime=5.37 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 28229 0 0 0 525 12 0 0 20 0 16 0 414843002 11006283776 40272 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2687081 40272 3347 1 0 2647217 0
[pid=28131/tid=28133] ppid=28128 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) S 28128 28131 26121 0 -1 1077944384 14511 0 0 0 182 5 0 0 20 0 16 0 414843002 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051253533872 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10748324 memory=8224 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10748324 memory=528 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 1023 0 0 0 1 0 0 0 20 0 16 0 414843004 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414843005 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050739164128 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10748324 memory=139933860140500 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414843005 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050738111488 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10748324 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10748324 memory=1980 CPUtime=0.78 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26121 0 -1 1077944384 2730 0 0 0 78 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050736007664 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10748324 memory=2432 CPUtime=0.81 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 2569 0 0 0 81 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10748324 memory=1760 CPUtime=0.53 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26121 0 -1 1077944384 2163 0 0 0 52 1 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050733902576 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28149] ppid=28128 vsize=10748324 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/28131/task/28149/stat : 28149 (java) R 28128 28131 26121 0 -1 4202560 3596 0 0 0 125 2 0 0 20 0 16 0 414843191 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050715127040 140050853108688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 161088 KiB
[startup+3.30061 s]
/proc/loadavg: 1.85 1.77 1.87 3/231 28149
/proc/meminfo: memFree=31180180/32770624 swapFree=66918668/67108860
[pid=28131] ppid=28128 vsize=10748324 memory=161088 CPUtime=5.47 cores=0,2,4,6
/proc/28131/stat : 28131 (java) S 28128 28131 26121 0 -1 1077944320 28239 0 0 0 535 12 0 0 20 0 16 0 414843002 11006283776 40272 33554432000 4194304 4196468 140735592115776 140735592098320 140051249290999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
/proc/28131/statm: 2687081 40272 3347 1 0 2647217 0
[pid=28131/tid=28133] ppid=28128 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/28131/task/28133/stat : 28133 (java) S 28128 28131 26121 0 -1 1077944384 14511 0 0 0 182 5 0 0 20 0 16 0 414843002 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051253533872 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28134] ppid=28128 vsize=10748324 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28134/stat : 28134 (java) S 28128 28131 26121 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051175365392 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28135] ppid=28128 vsize=10748324 memory=8751464017575556917 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28135/stat : 28135 (java) S 28128 28131 26121 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051174312848 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28136] ppid=28128 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28136/stat : 28136 (java) S 28128 28131 26121 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051173260304 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28137] ppid=28128 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28137/stat : 28137 (java) S 28128 28131 26121 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414843003 11006283776 40272 33554432000 4194304 4196468 140735592115776 140051172207760 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28138] ppid=28128 vsize=10748324 memory=2811011 CPUtime=0.01 cores=0,2,4,6
/proc/28131/task/28138/stat : 28138 (java) S 28128 28131 26121 0 -1 1077944384 1023 0 0 0 1 0 0 0 20 0 16 0 414843004 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050740217840 140051249302146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28139] ppid=28128 vsize=10748324 memory=2812297 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28139/stat : 28139 (java) S 28128 28131 26121 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414843005 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050739164128 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28140] ppid=28128 vsize=10748324 memory=279867719728192 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28140/stat : 28140 (java) S 28128 28131 26121 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414843005 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050738111488 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28141] ppid=28128 vsize=10748324 memory=122998803663338 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28141/stat : 28141 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050737060048 140051249309595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28142] ppid=28128 vsize=10748324 memory=279867719970464 CPUtime=0.78 cores=0,2,4,6
/proc/28131/task/28142/stat : 28142 (java) S 28128 28131 26121 0 -1 1077944384 2730 0 0 0 78 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050736007664 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28143] ppid=28128 vsize=10748324 memory=279867719858528 CPUtime=0.81 cores=0,2,4,6
/proc/28131/task/28143/stat : 28143 (java) S 28128 28131 26121 0 -1 1077944384 2569 0 0 0 81 0 0 0 20 0 16 0 414843007 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050734955120 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28144] ppid=28128 vsize=10748324 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/28131/task/28144/stat : 28144 (java) S 28128 28131 26121 0 -1 1077944384 2173 0 0 0 53 1 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050733902576 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28145] ppid=28128 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28145/stat : 28145 (java) S 28128 28131 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050732850272 140051249301205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28146] ppid=28128 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28131/task/28146/stat : 28146 (java) S 28128 28131 26121 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414843008 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050731796784 140051249302146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
[pid=28131/tid=28149] ppid=28128 vsize=10748324 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/28131/task/28149/stat : 28149 (java) R 28128 28131 26121 0 -1 4202560 3596 0 0 0 135 2 0 0 20 0 16 0 414843191 11006283776 40272 33554432000 4194304 4196468 140735592115776 140050715127040 140050852757510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22450176 140735592121355 140735592121458 140735592121458 140735592124367 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 161088 KiB
Child status: 0
Real time (s): 3.31847
CPU time (s): 5.50645
CPU user time (s): 5.37759
CPU system time (s): 0.128859
CPU usage (%): 165.934
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 161088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.37759
system time used= 0.128859
maximum resident set size= 161752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2393
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 28131
# total CPU time (s): 5.50645
# total CPU user time (s): 5.37759
# total CPU system time (s): 0.128859
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048138 second user time and 0.077263 second system time
The end