2.43/1.87
2.43/1.87 AbsCon 2
2.43/1.89
3.29/2.14 Instance
3.29/2.14 name=instance-4391303-1568391906, framework=COP, bounds=-infty..+infty
3.29/2.14
3.29/2.14 Loading variables...
3.58/2.20 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad74e52
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f70069
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6173290a
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21cfe752
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6aca7c
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7763295e
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1563b0d8
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1772c9a9
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f09a38
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721bcd64
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16147696
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625c1198
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a49498
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e92bf41
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20681cbc
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321ef1c5
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8e149
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c8eea8
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c364fbe
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23467ca9
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d098748
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e741e5
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1470df55
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a6be2f
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed393ab
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2decafd4
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78340c39
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b826a1
3.94/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b33e5c
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b526492
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fab7696
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129c309b
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606cd99d
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77fe18
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36781516
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a436e98
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28eac291
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea8789b
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb8843d
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ecdeb42
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359584e5
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a5973f
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eabcfc0
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0d5cb9
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc2846d
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44414e94
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6133e1
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39696df3
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d11846
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6016469d
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d315d
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e366ecd
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f144012
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699f4f98
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cb5c5e
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26133ff8
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75137abb
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6526e84e
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7a0f4e
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4c5067
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cd927f
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c753ac
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb7dacb
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666fd06d
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b401b47
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f84584d
3.94/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2269b035
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584504c6
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a44772
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aaff060
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7c23c0
3.94/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579046e3
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2b242d
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605fe664
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e175ca4
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5f6224
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb81cd5
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0fb7a3
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e57c79c
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac31abd
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41935ead
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8d2e1d
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7c4984
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f263b35
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eafcaee
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a8841c
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fd3136c
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a29e152
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ee258b
3.94/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4601982b
4.26/2.42
4.26/2.42
4.26/2.42 Domains
4.26/2.42 nTypes=4, nValues=2592, sizes=[2#792,7#12,11#12,12#66]
4.26/2.42 Variables
4.26/2.42 count=882, degrees=[1#12,2#12,4#792,12#11...15#9,16#6,17#1,18#4]
4.26/2.42 Objectives
4.26/2.42 way=min, type=ObjMaximumLE
4.26/2.42 Constraints
4.26/2.42 count=948, nSpecific=156, arities=[2#857,12#67,67#24]
4.26/2.42 distribution=[CtrExtensionV-Bits#792,LT#65,ObjMaximumLE#1,SumSimpleEQ#66,SumWeightedEQ#24]
4.26/2.42 nExtStructures=(12,shared:780), nCftStructures=(12,shared:780,unbuilt:156)
4.26/2.42 wck=0.583, cpu=2.393, mem=47M652
4.26/2.43 Solver SolverBacktrack being built...
4.26/2.43
4.26/2.46
4.26/2.46 Solver
4.26/2.46 guaranteedGAC=false
4.26/2.46 wck=0.624, cpu=2.432, mem=60M937
4.26/2.49
4.26/2.49 Preprocessing
4.26/2.49 filters=278, revisions=(900,useless=706), nACremovedValues=388, nTotalRemovedValues=388, inconcistency=false
4.26/2.49 wck=0.029, cpu=2.463, mem=60M937
4.26/2.49
4.52/2.52 num=0, depth=4..14, filters=1500, revisions=(3424,useless=2371), wck=0.054, mem=60M937
4.52/2.52 decisions=46, wrong=19, backtracks=9, failedAssignments=10, nogoods=4
4.52/2.52
4.52/2.56 o 20
4.52/2.57 num=1, depth=883..881, filters=2327, revisions=(7279,useless=5676), ccks=948, wck=0.106, mem=60M937
4.52/2.57 decisions=123, wrong=19, backtracks=9, failedAssignments=10, nogoods=4, foundSolutions=1, bestBound=20
4.52/2.57
4.85/2.60 o 19
4.85/2.60 num=2, depth=883..881, filters=3162, revisions=(12343,useless=10191), ccks=1896, wck=0.133, mem=60M937
4.85/2.60 decisions=200, wrong=19, backtracks=9, failedAssignments=10, nogoods=4, foundSolutions=2, bestBound=19
4.85/2.60
4.85/2.62 o 18
4.85/2.62 num=3, depth=73..881, filters=4138, revisions=(17958,useless=15201), ccks=2844, wck=0.16, mem=60M937
4.85/2.62 decisions=282, wrong=22, backtracks=10, failedAssignments=12, nogoods=6, foundSolutions=3, bestBound=18
4.85/2.62
4.85/2.65 num=4, depth=112..124, filters=5706, revisions=(25039,useless=21372), ccks=2844, wck=0.185, mem=60M937
4.85/2.65 decisions=441, wrong=42, backtracks=24, failedAssignments=23, nogoods=12, foundSolutions=3, bestBound=18
4.85/2.65
4.85/2.67 num=5, depth=103..166, filters=6976, revisions=(30470,useless=26061), ccks=2844, wck=0.206, mem=60M937
4.85/2.67 decisions=635, wrong=62, backtracks=34, failedAssignments=34, nogoods=15, foundSolutions=3, bestBound=18
4.85/2.67
4.85/2.69 num=6, depth=141..180, filters=8097, revisions=(35580,useless=30490), ccks=2844, wck=0.224, mem=60M937
4.85/2.69 decisions=843, wrong=79, backtracks=47, failedAssignments=46, nogoods=20, foundSolutions=3, bestBound=18
4.85/2.69
5.15/2.71 num=7, depth=179..206, filters=10005, revisions=(42498,useless=36313), ccks=2844, wck=0.247, mem=60M937
5.15/2.71 decisions=1111, wrong=116, backtracks=81, failedAssignments=59, nogoods=22, foundSolutions=3, bestBound=18
5.15/2.71
5.15/2.73 num=8, depth=182..203, filters=11691, revisions=(49386,useless=42291), ccks=2844, wck=0.268, mem=60M937
5.15/2.73 decisions=1376, wrong=149, backtracks=112, failedAssignments=73, nogoods=26, foundSolutions=3, bestBound=18
5.15/2.73
5.15/2.76 num=9, depth=214..228, filters=14114, revisions=(57738,useless=49287), ccks=2844, wck=0.294, mem=63M579
5.15/2.76 decisions=1659, wrong=182, backtracks=138, failedAssignments=89, nogoods=32, foundSolutions=3, bestBound=18
5.15/2.76
5.15/2.78 o 17
5.15/2.78 num=10, depth=236..881, filters=14988, revisions=(62968,useless=53945), ccks=3792, wck=0.318, mem=63M579
5.15/2.78 decisions=1906, wrong=185, backtracks=138, failedAssignments=92, nogoods=35, foundSolutions=4, bestBound=17
5.15/2.78
5.46/2.82 num=11, depth=232..246, filters=18747, revisions=(73977,useless=62775), ccks=3792, wck=0.354, mem=63M579
5.46/2.82 decisions=2227, wrong=230, backtracks=177, failedAssignments=111, nogoods=37, foundSolutions=4, bestBound=17
5.46/2.82
5.46/2.84 num=12, depth=234..241, filters=20162, revisions=(79599,useless=67600), ccks=3792, wck=0.374, mem=63M579
5.46/2.84 decisions=2504, wrong=251, backtracks=196, failedAssignments=122, nogoods=40, foundSolutions=4, bestBound=17
5.46/2.84
5.46/2.86 num=13, depth=246..259, filters=21766, revisions=(85619,useless=72723), ccks=3792, wck=0.396, mem=63M579
5.46/2.86 decisions=2808, wrong=276, backtracks=217, failedAssignments=134, nogoods=44, foundSolutions=4, bestBound=17
5.46/2.86
5.46/2.88 num=14, depth=249..281, filters=23348, revisions=(91757,useless=77999), ccks=3792, wck=0.419, mem=63M579
5.46/2.88 decisions=3129, wrong=301, backtracks=236, failedAssignments=147, nogoods=49, foundSolutions=4, bestBound=17
5.46/2.88
5.76/2.90 num=15, depth=216..247, filters=25042, revisions=(98456,useless=83696), ccks=3792, wck=0.439, mem=63M579
5.76/2.90 decisions=3421, wrong=331, backtracks=252, failedAssignments=161, nogoods=51, foundSolutions=4, bestBound=17
5.76/2.90
5.76/2.92 num=16, depth=179..196, filters=26822, revisions=(104739,useless=88911), ccks=3792, wck=0.454, mem=63M579
5.76/2.92 decisions=3674, wrong=367, backtracks=276, failedAssignments=177, nogoods=54, foundSolutions=4, bestBound=17
5.76/2.92
5.76/2.93 num=17, depth=219..238, filters=28216, revisions=(110551,useless=93904), ccks=3792, wck=0.469, mem=63M579
5.76/2.93 decisions=3972, wrong=401, backtracks=301, failedAssignments=194, nogoods=58, foundSolutions=4, bestBound=17
5.76/2.93
5.76/2.95 num=18, depth=196..235, filters=30525, revisions=(118945,useless=100963), ccks=3792, wck=0.484, mem=63M579
5.76/2.95 decisions=4299, wrong=453, backtracks=342, failedAssignments=213, nogoods=63, foundSolutions=4, bestBound=17
5.76/2.95
5.76/2.96 num=19, depth=221..233, filters=32901, revisions=(127446,useless=108085), ccks=3792, wck=0.496, mem=63M579
5.76/2.96 decisions=4613, wrong=499, backtracks=383, failedAssignments=234, nogoods=65, foundSolutions=4, bestBound=17
5.76/2.96
5.76/2.97 num=20, depth=239..254, filters=35166, revisions=(135727,useless=115137), ccks=3792, wck=0.508, mem=63M579
5.76/2.97 decisions=4959, wrong=552, backtracks=426, failedAssignments=257, nogoods=69, foundSolutions=4, bestBound=17
5.76/2.97
5.76/2.98 num=21, depth=225..237, filters=37763, revisions=(145723,useless=123630), ccks=3792, wck=0.52, mem=63M579
5.76/2.98 decisions=5297, wrong=607, backtracks=473, failedAssignments=282, nogoods=71, foundSolutions=4, bestBound=17
5.76/2.98
5.76/3.00 num=22, depth=229..244, filters=41377, revisions=(157088,useless=132863), ccks=3792, wck=0.535, mem=66M222
5.76/3.00 decisions=5636, wrong=661, backtracks=513, failedAssignments=310, nogoods=74, foundSolutions=4, bestBound=17
5.76/3.00
6.10/3.01 num=23, depth=217..237, filters=44850, revisions=(167710,useless=141296), ccks=3792, wck=0.549, mem=66M222
6.10/3.01 decisions=5975, wrong=721, backtracks=546, failedAssignments=341, nogoods=80, foundSolutions=4, bestBound=17
6.10/3.01
6.10/3.03 num=24, depth=185..207, filters=48584, revisions=(179625,useless=151055), ccks=3792, wck=0.564, mem=66M222
6.10/3.03 decisions=6296, wrong=785, backtracks=595, failedAssignments=375, nogoods=84, foundSolutions=4, bestBound=17
6.10/3.03
6.10/3.04 num=25, depth=186..212, filters=51830, revisions=(189811,useless=159298), ccks=3792, wck=0.578, mem=66M222
6.10/3.04 decisions=6640, wrong=864, backtracks=657, failedAssignments=412, nogoods=86, foundSolutions=4, bestBound=17
6.10/3.04
6.10/3.07 num=26, depth=198..232, filters=60501, revisions=(212642,useless=176903), ccks=3792, wck=0.606, mem=66M222
6.10/3.07 decisions=7087, wrong=985, backtracks=775, failedAssignments=453, nogoods=90, foundSolutions=4, bestBound=17
6.10/3.07
6.10/3.09 num=27, depth=152..168, filters=65920, revisions=(228185,useless=189174), ccks=3792, wck=0.623, mem=66M222
6.10/3.09 decisions=7427, wrong=1079, backtracks=847, failedAssignments=498, nogoods=94, foundSolutions=4, bestBound=17
6.10/3.09
6.10/3.10 num=28, depth=133..161, filters=69896, revisions=(240126,useless=199024), ccks=3792, wck=0.637, mem=66M222
6.10/3.10 decisions=7809, wrong=1195, backtracks=959, failedAssignments=548, nogoods=99, foundSolutions=4, bestBound=17
6.10/3.10
6.40/3.12 num=29, depth=193..208, filters=76561, revisions=(260614,useless=215740), ccks=3792, wck=0.658, mem=66M222
6.40/3.12 decisions=8251, wrong=1315, backtracks=1058, failedAssignments=603, nogoods=102, foundSolutions=4, bestBound=17
6.40/3.12
6.40/3.15 num=30, depth=208..230, filters=85132, revisions=(283800,useless=234267), ccks=3792, wck=0.683, mem=68M864
6.40/3.15 decisions=8772, wrong=1470, backtracks=1179, failedAssignments=664, nogoods=107, foundSolutions=4, bestBound=17
6.40/3.15
6.40/3.18 num=31, depth=176..218, filters=95109, revisions=(308867,useless=253611), ccks=3792, wck=0.713, mem=68M864
6.40/3.18 decisions=9279, wrong=1634, backtracks=1315, failedAssignments=731, nogoods=109, foundSolutions=4, bestBound=17
6.40/3.18
6.65/3.21 num=32, depth=121..159, filters=107162, revisions=(342098,useless=278868), ccks=3792, wck=0.746, mem=68M864
6.65/3.21 decisions=9752, wrong=1810, backtracks=1473, failedAssignments=805, nogoods=111, foundSolutions=4, bestBound=17
6.65/3.21
6.65/3.23 num=33, depth=179..199, filters=115915, revisions=(367230,useless=299375), ccks=3792, wck=0.768, mem=68M864
6.65/3.23 decisions=10397, wrong=2039, backtracks=1698, failedAssignments=886, nogoods=116, foundSolutions=4, bestBound=17
6.65/3.23
6.65/3.26 num=34, depth=209..233, filters=125461, revisions=(395510,useless=322278), ccks=3792, wck=0.793, mem=71M507
6.65/3.26 decisions=11009, wrong=2236, backtracks=1870, failedAssignments=975, nogoods=121, foundSolutions=4, bestBound=17
6.65/3.26
6.65/3.28 num=35, depth=211..233, filters=135333, revisions=(424930,useless=346681), ccks=3792, wck=0.82, mem=71M507
6.65/3.28 decisions=11694, wrong=2473, backtracks=2084, failedAssignments=1073, nogoods=124, foundSolutions=4, bestBound=17
6.65/3.28
6.76/3.32 num=36, depth=194..219, filters=149886, revisions=(462997,useless=376951), ccks=3792, wck=0.855, mem=71M507
6.76/3.32 decisions=12448, wrong=2750, backtracks=2333, failedAssignments=1181, nogoods=126, foundSolutions=4, bestBound=17
6.76/3.32
6.76/3.35 num=37, depth=134..181, filters=160506, revisions=(494162,useless=402316), ccks=3792, wck=0.884, mem=71M507
6.76/3.35 decisions=13100, wrong=2998, backtracks=2555, failedAssignments=1300, nogoods=130, foundSolutions=4, bestBound=17
6.76/3.35
6.76/3.39 num=38, depth=156..173, filters=177486, revisions=(541041,useless=439503), ccks=3792, wck=0.923, mem=74M149
6.76/3.39 decisions=13891, wrong=3310, backtracks=2841, failedAssignments=1431, nogoods=133, foundSolutions=4, bestBound=17
6.76/3.39
6.87/3.42 num=39, depth=172..192, filters=192769, revisions=(584465,useless=474596), ccks=3792, wck=0.96, mem=74M149
6.87/3.42 decisions=14708, wrong=3628, backtracks=3116, failedAssignments=1575, nogoods=137, foundSolutions=4, bestBound=17
6.87/3.42
6.87/3.46 num=40, depth=211..240, filters=205927, revisions=(615755,useless=498893), ccks=3792, wck=0.995, mem=76M792
6.87/3.46 decisions=15483, wrong=3910, backtracks=3379, failedAssignments=1733, nogoods=140, foundSolutions=4, bestBound=17
6.87/3.46
6.97/3.51 num=41, depth=163..192, filters=228076, revisions=(678534,useless=549085), ccks=3792, wck=1.048, mem=76M792
6.97/3.51 decisions=16468, wrong=4318, backtracks=3738, failedAssignments=1907, nogoods=143, foundSolutions=4, bestBound=17
6.97/3.51
6.97/3.56 num=42, depth=132..166, filters=247800, revisions=(726708,useless=587067), ccks=3792, wck=1.094, mem=76M792
6.97/3.56 decisions=17572, wrong=4794, backtracks=4177, failedAssignments=2098, nogoods=147, foundSolutions=4, bestBound=17
6.97/3.56
7.07/3.63 num=43, depth=192..230, filters=278911, revisions=(813936,useless=657026), ccks=3792, wck=1.17, mem=79M434
7.07/3.63 decisions=18884, wrong=5348, backtracks=4685, failedAssignments=2309, nogoods=150, foundSolutions=4, bestBound=17
7.07/3.63
7.18/3.70 num=44, depth=182..200, filters=306950, revisions=(894379,useless=721621), ccks=3792, wck=1.238, mem=82M77
7.18/3.70 decisions=20223, wrong=5923, backtracks=5256, failedAssignments=2541, nogoods=154, foundSolutions=4, bestBound=17
7.18/3.70
7.18/3.77 num=45, depth=192..211, filters=339295, revisions=(983797,useless=791637), ccks=3792, wck=1.305, mem=84M719
7.18/3.77 decisions=21569, wrong=6498, backtracks=5765, failedAssignments=2796, nogoods=161, foundSolutions=4, bestBound=17
7.18/3.77
7.29/3.86 num=46, depth=216..236, filters=384840, revisions=(1106914,useless=888130), ccks=3792, wck=1.396, mem=87M361
7.29/3.86 decisions=23173, wrong=7189, backtracks=6424, failedAssignments=3077, nogoods=166, foundSolutions=4, bestBound=17
7.29/3.86
7.40/3.96 num=47, depth=215..241, filters=430244, revisions=(1221537,useless=977600), ccks=3792, wck=1.495, mem=90M4
7.40/3.96 decisions=24871, wrong=7928, backtracks=7029, failedAssignments=3386, nogoods=170, foundSolutions=4, bestBound=17
7.40/3.96
7.51/4.03 num=48, depth=194..216, filters=463491, revisions=(1314130,useless=1053011), ccks=3792, wck=1.572, mem=92M646
7.51/4.03 decisions=26578, wrong=8684, backtracks=7727, failedAssignments=3726, nogoods=174, foundSolutions=4, bestBound=17
7.51/4.03
7.61/4.14 num=49, depth=141..181, filters=511253, revisions=(1435735,useless=1148087), ccks=3792, wck=1.68, mem=95M289
7.61/4.14 decisions=28551, wrong=9594, backtracks=8536, failedAssignments=4100, nogoods=185, foundSolutions=4, bestBound=17
7.61/4.14
7.70/4.27 num=50, depth=186..225, filters=569634, revisions=(1590515,useless=1268590), ccks=3792, wck=1.806, mem=97M931
7.70/4.27 decisions=30567, wrong=10500, backtracks=9296, failedAssignments=4511, nogoods=190, foundSolutions=4, bestBound=17
7.70/4.27
7.80/4.38 num=51, depth=195..237, filters=619650, revisions=(1724157,useless=1375290), ccks=3792, wck=1.923, mem=100M574
7.80/4.38 decisions=32786, wrong=11505, backtracks=10230, failedAssignments=4963, nogoods=195, foundSolutions=4, bestBound=17
7.80/4.38
8.00/4.50 num=52, depth=198..220, filters=670993, revisions=(1880142,useless=1501324), ccks=3792, wck=2.041, mem=103M216
8.00/4.50 decisions=34939, wrong=12480, backtracks=10949, failedAssignments=5460, nogoods=197, foundSolutions=4, bestBound=17
8.00/4.50
8.10/4.66 num=53, depth=169..211, filters=737472, revisions=(2064117,useless=1646093), ccks=3792, wck=2.197, mem=108M501
8.10/4.66 decisions=37587, wrong=13718, backtracks=12052, failedAssignments=6007, nogoods=204, foundSolutions=4, bestBound=17
8.10/4.66
8.30/4.84 num=54, depth=150..185, filters=819237, revisions=(2281928,useless=1814992), ccks=3792, wck=2.383, mem=113M786
8.30/4.84 decisions=40258, wrong=14969, backtracks=13138, failedAssignments=6609, nogoods=216, foundSolutions=4, bestBound=17
8.30/4.84
8.52/5.07 num=55, depth=180..225, filters=923944, revisions=(2567945,useless=2037940), ccks=3792, wck=2.612, mem=119M71
8.52/5.07 decisions=43525, wrong=16508, backtracks=14510, failedAssignments=7271, nogoods=220, foundSolutions=4, bestBound=17
8.52/5.07
8.71/5.28 num=56, depth=141..187, filters=1019113, revisions=(2823540,useless=2238587), ccks=3792, wck=2.817, mem=124M356
8.71/5.28 decisions=47447, wrong=18392, backtracks=16246, failedAssignments=7999, nogoods=228, foundSolutions=4, bestBound=17
8.71/5.28
9.01/5.54 num=57, depth=218..243, filters=1146269, revisions=(3133503,useless=2471592), ccks=3792, wck=3.08, mem=132M283
9.01/5.54 decisions=51457, wrong=20285, backtracks=17995, failedAssignments=8800, nogoods=233, foundSolutions=4, bestBound=17
9.01/5.54
9.21/5.78 num=58, depth=190..230, filters=1256936, revisions=(3412806,useless=2686792), ccks=3792, wck=3.318, mem=140M210
9.21/5.78 decisions=55757, wrong=22337, backtracks=19862, failedAssignments=9681, nogoods=239, foundSolutions=4, bestBound=17
9.21/5.78
9.56/6.03 num=59, depth=191..218, filters=1362011, revisions=(3693486,useless=2909673), ccks=3792, wck=3.563, mem=27M318
9.56/6.03 decisions=60447, wrong=24585, backtracks=21983, failedAssignments=10651, nogoods=244, foundSolutions=4, bestBound=17
9.56/6.03
9.75/6.21 num=60, depth=231..255, filters=1446157, revisions=(3940453,useless=3112072), ccks=3792, wck=3.747, mem=32M498
9.75/6.21 decisions=64830, wrong=26657, backtracks=23740, failedAssignments=11718, nogoods=251, foundSolutions=4, bestBound=17
9.75/6.21
10.05/6.59 num=61, depth=172..206, filters=1621233, revisions=(4381912,useless=3449751), ccks=3792, wck=4.131, mem=42M856
10.05/6.59 decisions=70793, wrong=29552, backtracks=26517, failedAssignments=12891, nogoods=256, foundSolutions=4, bestBound=17
10.05/6.59
10.36/6.89 num=62, depth=107..200, filters=1760503, revisions=(4756549,useless=3743642), ccks=3792, wck=4.424, mem=50M625
10.36/6.89 decisions=76429, wrong=32287, backtracks=28893, failedAssignments=14182, nogoods=261, foundSolutions=4, bestBound=17
10.36/6.89
10.76/7.22 num=63, depth=152..188, filters=1911721, revisions=(5167188,useless=4065122), ccks=3792, wck=4.755, mem=60M983
10.76/7.22 decisions=83115, wrong=35546, backtracks=31984, failedAssignments=15602, nogoods=270, foundSolutions=4, bestBound=17
10.76/7.22
11.07/7.53 num=64, depth=178..242, filters=2062422, revisions=(5589775,useless=4405358), ccks=3792, wck=5.07, mem=71M341
11.07/7.53 decisions=90042, wrong=38905, backtracks=34850, failedAssignments=17164, nogoods=284, foundSolutions=4, bestBound=17
11.07/7.53
11.47/7.96 num=65, depth=174..206, filters=2252997, revisions=(6105286,useless=4817594), ccks=3792, wck=5.497, mem=81M700
11.47/7.96 decisions=97968, wrong=42779, backtracks=38398, failedAssignments=18882, nogoods=288, foundSolutions=4, bestBound=17
11.47/7.96
11.97/8.42 num=66, depth=150..210, filters=2460714, revisions=(6673337,useless=5264635), ccks=3792, wck=5.959, mem=94M648
11.97/8.42 decisions=107145, wrong=47285, backtracks=42425, failedAssignments=20772, nogoods=294, foundSolutions=4, bestBound=17
11.97/8.42
12.59/9.01 num=67, depth=184..223, filters=2727058, revisions=(7467769,useless=5906413), ccks=3792, wck=6.55, mem=110M185
12.59/9.01 decisions=117266, wrong=52246, backtracks=46957, failedAssignments=22851, nogoods=300, foundSolutions=4, bestBound=17
12.59/9.01
13.18/9.64 num=68, depth=178..213, filters=3032446, revisions=(8307446,useless=6570277), ccks=3792, wck=7.178, mem=128M312
13.18/9.64 decisions=127096, wrong=57062, backtracks=51235, failedAssignments=25138, nogoods=309, foundSolutions=4, bestBound=17
13.18/9.64
13.78/10.25 num=69, depth=137..198, filters=3319829, revisions=(9081193,useless=7186172), ccks=3792, wck=7.785, mem=149M29
13.78/10.25 decisions=140245, wrong=63551, backtracks=57572, failedAssignments=27654, nogoods=320, foundSolutions=4, bestBound=17
13.78/10.25
14.54/10.93 num=70, depth=183..222, filters=3626527, revisions=(9894405,useless=7843959), ccks=3792, wck=8.471, mem=32M613
14.54/10.93 decisions=153353, wrong=70009, backtracks=63600, failedAssignments=30422, nogoods=330, foundSolutions=4, bestBound=17
14.54/10.93
15.54/11.90 num=71, depth=174..216, filters=4081201, revisions=(11173111,useless=8854797), ccks=3792, wck=9.442, mem=62M623
15.54/11.90 decisions=168893, wrong=77689, backtracks=70797, failedAssignments=33466, nogoods=336, foundSolutions=4, bestBound=17
15.54/11.90
16.44/12.87 num=72, depth=211..245, filters=4556270, revisions=(12403755,useless=9813645), ccks=3792, wck=10.411, mem=93M919
16.44/12.87 decisions=186540, wrong=86402, backtracks=79164, failedAssignments=36815, nogoods=342, foundSolutions=4, bestBound=17
16.44/12.87
17.34/13.73 num=73, depth=185..218, filters=4954925, revisions=(13466206,useless=10666238), ccks=3792, wck=11.271, mem=117M392
17.34/13.73 decisions=206471, wrong=96273, backtracks=88870, failedAssignments=40499, nogoods=349, foundSolutions=4, bestBound=17
17.34/13.73
18.46/14.83 num=74, depth=156..195, filters=5480206, revisions=(14887865,useless=11768548), ccks=3792, wck=12.371, mem=25M508
18.46/14.83 decisions=226025, wrong=105969, backtracks=98280, failedAssignments=44551, nogoods=352, foundSolutions=4, bestBound=17
18.46/14.83
19.81/16.13 num=75, depth=197..234, filters=6102924, revisions=(16553339,useless=13070331), ccks=3792, wck=13.668, mem=61M749
19.81/16.13 decisions=245619, wrong=115664, backtracks=107372, failedAssignments=49008, nogoods=361, foundSolutions=4, bestBound=17
19.81/16.13
20.81/17.18 num=76, depth=168..212, filters=6590128, revisions=(17821286,useless=14080216), ccks=3792, wck=14.721, mem=88M106
20.81/17.18 decisions=267600, wrong=126562, backtracks=117192, failedAssignments=53911, nogoods=367, foundSolutions=4, bestBound=17
20.81/17.18
22.10/18.42 num=77, depth=209..242, filters=7208724, revisions=(19487747,useless=15386877), ccks=3792, wck=15.955, mem=127M641
22.10/18.42 decisions=292867, wrong=139090, backtracks=128962, failedAssignments=59305, nogoods=372, foundSolutions=4, bestBound=17
22.10/18.42
23.71/20.03 num=78, depth=104..197, filters=7986122, revisions=(21504785,useless=16955701), ccks=3792, wck=17.567, mem=177M60
23.71/20.03 decisions=321594, wrong=153368, backtracks=142273, failedAssignments=65238, nogoods=380, foundSolutions=4, bestBound=17
23.71/20.03
25.45/21.71 num=79, depth=189..248, filters=8766029, revisions=(23625691,useless=18629966), ccks=3792, wck=19.25, mem=58M673
25.45/21.71 decisions=356906, wrong=170925, backtracks=159064, failedAssignments=71764, nogoods=386, foundSolutions=4, bestBound=17
25.45/21.71
27.35/23.62 num=80, depth=188..223, filters=9682013, revisions=(26013505,useless=20517576), ccks=3792, wck=21.163, mem=118M227
27.35/23.62 decisions=394524, wrong=189637, backtracks=177197, failedAssignments=78943, nogoods=395, foundSolutions=4, bestBound=17
27.35/23.62
29.26/25.51 num=81, depth=204..246, filters=10595384, revisions=(28259795,useless=22254616), ccks=3792, wck=23.051, mem=174M473
29.26/25.51 decisions=430701, wrong=207612, backtracks=194590, failedAssignments=86840, nogoods=402, foundSolutions=4, bestBound=17
29.26/25.51
31.49/27.77 num=82, depth=172..230, filters=11663200, revisions=(31285167,useless=24680633), ccks=3792, wck=25.308, mem=71M512
31.49/27.77 decisions=472436, wrong=228387, backtracks=213757, failedAssignments=95527, nogoods=407, foundSolutions=4, bestBound=17
31.49/27.77
33.90/30.19 num=83, depth=209..256, filters=12758856, revisions=(33947257,useless=26755137), ccks=3792, wck=27.73, mem=137M114
33.90/30.19 decisions=515540, wrong=249829, backtracks=233657, failedAssignments=105082, nogoods=415, foundSolutions=4, bestBound=17
33.90/30.19
36.80/33.09 num=84, depth=112..181, filters=14048367, revisions=(37663145,useless=29668440), ccks=3792, wck=30.623, mem=227M316
36.80/33.09 decisions=567248, wrong=275618, backtracks=258481, failedAssignments=115593, nogoods=425, foundSolutions=4, bestBound=17
36.80/33.09
39.42/35.69 num=85, depth=134..204, filters=15231867, revisions=(41000611,useless=32327055), ccks=3792, wck=33.231, mem=98M572
39.42/35.69 decisions=628840, wrong=306330, backtracks=287332, failedAssignments=127155, nogoods=434, foundSolutions=4, bestBound=17
39.42/35.69
43.62/39.86 num=86, depth=216..259, filters=17305660, revisions=(46186305,useless=36299823), ccks=3792, wck=37.402, mem=26M243
43.62/39.86 decisions=691956, wrong=337775, backtracks=316613, failedAssignments=139873, nogoods=443, foundSolutions=4, bestBound=17
43.62/39.86
46.75/42.97 num=87, depth=179..223, filters=18705489, revisions=(49909972,useless=39253565), ccks=3792, wck=40.51, mem=120M414
46.75/42.97 decisions=762162, wrong=372784, backtracks=351282, failedAssignments=153863, nogoods=451, foundSolutions=4, bestBound=17
46.75/42.97
50.68/46.87 num=88, depth=125..208, filters=20526076, revisions=(54709960,useless=43038537), ccks=3792, wck=44.411, mem=37M699
50.68/46.87 decisions=845554, wrong=414397, backtracks=391180, failedAssignments=169252, nogoods=459, foundSolutions=4, bestBound=17
50.68/46.87
55.28/51.46 num=89, depth=224..268, filters=22583880, revisions=(60077645,useless=47270736), ccks=3792, wck=48.999, mem=168M359
55.28/51.46 decisions=926776, wrong=454890, backtracks=428415, failedAssignments=186180, nogoods=470, foundSolutions=4, bestBound=17
55.28/51.46
59.91/56.01 num=90, depth=134..199, filters=24653119, revisions=(65629869,useless=51618860), ccks=3792, wck=53.544, mem=105M102
59.91/56.01 decisions=1010501, wrong=496678, backtracks=467221, failedAssignments=204801, nogoods=481, foundSolutions=4, bestBound=17
59.91/56.01
64.61/60.77 num=91, depth=144..197, filters=26941182, revisions=(71618471,useless=56312130), ccks=3792, wck=58.304, mem=62M822
64.61/60.77 decisions=1113581, wrong=548141, backtracks=517274, failedAssignments=225285, nogoods=490, foundSolutions=4, bestBound=17
64.61/60.77
72.84/68.95 num=92, depth=159..220, filters=30706631, revisions=(81978137,useless=64372788), ccks=3792, wck=66.489, mem=116M118
72.84/68.95 decisions=1219102, wrong=600817, backtracks=567263, failedAssignments=247817, nogoods=498, foundSolutions=4, bestBound=17
72.84/68.95
79.45/75.56 num=93, depth=155..228, filters=33854611, revisions=(90551199,useless=71164935), ccks=3792, wck=73.098, mem=128M353
79.45/75.56 decisions=1340513, wrong=661439, backtracks=624421, failedAssignments=272602, nogoods=509, foundSolutions=4, bestBound=17
79.45/75.56
86.76/82.90 num=94, depth=131..183, filters=37327458, revisions=(99970821,useless=78515180), ccks=3792, wck=80.434, mem=171M146
86.76/82.90 decisions=1478919, wrong=730566, backtracks=688416, failedAssignments=299866, nogoods=518, foundSolutions=4, bestBound=17
86.76/82.90
93.87/89.99 num=95, depth=182..226, filters=40546222, revisions=(109365359,useless=86228489), ccks=3792, wck=87.532, mem=188M285
93.87/89.99 decisions=1614663, wrong=798341, backtracks=751071, failedAssignments=329856, nogoods=526, foundSolutions=4, bestBound=17
93.87/89.99
104.00/100.04 num=96, depth=155..224, filters=45226711, revisions=(121069619,useless=95258533), ccks=3792, wck=97.577, mem=136M626
104.00/100.04 decisions=1774557, wrong=878201, backtracks=825790, failedAssignments=362845, nogoods=538, foundSolutions=4, bestBound=17
104.00/100.04
113.33/109.32 num=97, depth=182..243, filters=49666630, revisions=(132550562,useless=104211846), ccks=3792, wck=106.856, mem=85M262
113.33/109.32 decisions=1947753, wrong=964697, backtracks=907383, failedAssignments=399133, nogoods=549, foundSolutions=4, bestBound=17
113.33/109.32
125.05/121.08 num=98, depth=163..221, filters=55127155, revisions=(146768653,useless=115279273), ccks=3792, wck=118.618, mem=113M179
125.05/121.08 decisions=2125269, wrong=1053371, backtracks=991356, failedAssignments=439050, nogoods=556, foundSolutions=4, bestBound=17
125.05/121.08
136.56/132.54 num=99, depth=167..226, filters=60838062, revisions=(162103488,useless=127300485), ccks=3792, wck=130.079, mem=28M366
136.56/132.54 decisions=2335128, wrong=1158205, backtracks=1092768, failedAssignments=482959, nogoods=570, foundSolutions=4, bestBound=17
136.56/132.54
149.28/145.24 num=100, depth=181..241, filters=66932716, revisions=(176931720,useless=138663167), ccks=3792, wck=142.777, mem=130M291
149.28/145.24 decisions=2579296, wrong=1280186, backtracks=1208914, failedAssignments=531259, nogoods=575, foundSolutions=4, bestBound=17
149.28/145.24
161.40/157.34 num=101, depth=198..237, filters=72733474, revisions=(191777419,useless=150333763), ccks=3792, wck=154.881, mem=80M452
161.40/157.34 decisions=2820680, wrong=1400775, backtracks=1324893, failedAssignments=584389, nogoods=581, foundSolutions=4, bestBound=17
161.40/157.34
174.61/170.58 num=102, depth=142..189, filters=78910330, revisions=(208761430,useless=163833252), ccks=3792, wck=168.118, mem=87M674
174.61/170.58 decisions=3115749, wrong=1548233, backtracks=1469583, failedAssignments=642832, nogoods=589, foundSolutions=4, bestBound=17
174.61/170.58
190.35/186.24 num=103, depth=172..226, filters=86874092, revisions=(230019676,useless=180501838), ccks=3792, wck=183.773, mem=104M720
190.35/186.24 decisions=3417809, wrong=1699162, backtracks=1616213, failedAssignments=707119, nogoods=599, foundSolutions=4, bestBound=17
190.35/186.24
209.47/205.40 num=104, depth=184..234, filters=96230319, revisions=(253973441,useless=199178287), ccks=3792, wck=202.934, mem=112M309
209.47/205.40 decisions=3752766, wrong=1866540, backtracks=1774280, failedAssignments=777835, nogoods=613, foundSolutions=4, bestBound=17
209.47/205.40
229.91/225.74 num=105, depth=201..259, filters=105786850, revisions=(276258138,useless=216461756), ccks=3792, wck=223.275, mem=62M781
229.91/225.74 decisions=4132111, wrong=2056106, backtracks=1956886, failedAssignments=855622, nogoods=621, foundSolutions=4, bestBound=17
229.91/225.74
250.45/246.20 num=106, depth=194..237, filters=115792995, revisions=(302833982,useless=237616060), ccks=3792, wck=243.738, mem=64M14
250.45/246.20 decisions=4525354, wrong=2252626, backtracks=2128650, failedAssignments=941188, nogoods=634, foundSolutions=4, bestBound=17
250.45/246.20
277.61/273.30 num=107, depth=178..226, filters=128786487, revisions=(336568380,useless=264030587), ccks=3792, wck=270.837, mem=46M465
277.61/273.30 decisions=4971209, wrong=2475460, backtracks=2333238, failedAssignments=1035311, nogoods=642, foundSolutions=4, bestBound=17
277.61/273.30
304.38/300.04 num=108, depth=138..244, filters=141891502, revisions=(367910951,useless=288067737), ccks=3792, wck=297.581, mem=76M649
304.38/300.04 decisions=5454668, wrong=2717087, backtracks=2558527, failedAssignments=1138846, nogoods=654, foundSolutions=4, bestBound=17
304.38/300.04
336.35/331.92 num=109, depth=177..219, filters=157048242, revisions=(408038140,useless=319309099), ccks=3792, wck=329.461, mem=25M880
336.35/331.92 decisions=5913926, wrong=2946620, backtracks=2769450, failedAssignments=1252735, nogoods=665, foundSolutions=4, bestBound=17
336.35/331.92
373.45/368.95 num=110, depth=220..272, filters=175053955, revisions=(452309461,useless=353492614), ccks=3792, wck=366.485, mem=67M200
373.45/368.95 decisions=6497675, wrong=3238372, backtracks=3037627, failedAssignments=1378013, nogoods=680, foundSolutions=4, bestBound=17
373.45/368.95
405.45/400.81 num=111, depth=195..246, filters=190940303, revisions=(491786263,useless=384061462), ccks=3792, wck=398.345, mem=76M536
405.45/400.81 decisions=7113959, wrong=3546411, backtracks=3311337, failedAssignments=1515819, nogoods=687, foundSolutions=4, bestBound=17
405.45/400.81
449.28/444.60 num=112, depth=185..226, filters=210706345, revisions=(544209451,useless=424969566), ccks=3792, wck=442.134, mem=63M726
449.28/444.60 decisions=7821878, wrong=3900273, backtracks=3647994, failedAssignments=1667405, nogoods=695, foundSolutions=4, bestBound=17
449.28/444.60
495.34/490.42 num=113, depth=188..246, filters=232085497, revisions=(600130042,useless=468924758), ccks=3792, wck=487.956, mem=75M507
495.34/490.42 decisions=8617331, wrong=4297903, backtracks=4005840, failedAssignments=1834150, nogoods=707, foundSolutions=4, bestBound=17
495.34/490.42
535.18/530.17 num=114, depth=194..244, filters=252244564, revisions=(651190582,useless=508526017), ccks=3792, wck=527.712, mem=27M402
535.18/530.17 decisions=9412126, wrong=4695199, backtracks=4356864, failedAssignments=2017569, nogoods=721, foundSolutions=4, bestBound=17
535.18/530.17
578.42/573.27 num=115, depth=212..254, filters=273378217, revisions=(706883047,useless=552322638), ccks=3792, wck=570.811, mem=44M531
578.42/573.27 decisions=10290802, wrong=5134425, backtracks=4775305, failedAssignments=2219330, nogoods=730, foundSolutions=4, bestBound=17
578.42/573.27
630.88/625.58 num=116, depth=134..214, filters=297777887, revisions=(770475625,useless=602502973), ccks=3792, wck=623.12, mem=56M313
630.88/625.58 decisions=11390411, wrong=5684148, backtracks=5271605, failedAssignments=2441268, nogoods=739, foundSolutions=4, bestBound=17
630.88/625.58
692.89/687.40 num=117, depth=159..234, filters=327854273, revisions=(846155080,useless=661104036), ccks=3792, wck=684.934, mem=55M259
692.89/687.40 decisions=12469503, wrong=6223602, backtracks=5739378, failedAssignments=2685399, nogoods=756, foundSolutions=4, bestBound=17
692.89/687.40
762.33/756.59 num=118, depth=179..236, filters=362297551, revisions=(933550699,useless=730029032), ccks=3792, wck=754.125, mem=43M519
762.33/756.59 decisions=13849953, wrong=6913720, backtracks=6402414, failedAssignments=2953944, nogoods=762, foundSolutions=4, bestBound=17
762.33/756.59
833.35/827.36 num=119, depth=193..248, filters=395726922, revisions=(1019405826,useless=798929772), ccks=3792, wck=824.893, mem=52M100
833.35/827.36 decisions=15159398, wrong=7568339, backtracks=6995631, failedAssignments=3249343, nogoods=774, foundSolutions=4, bestBound=17
833.35/827.36
914.19/907.98 num=120, depth=134..194, filters=434106879, revisions=(1120377540,useless=878913448), ccks=3792, wck=905.515, mem=61M750
914.19/907.98 decisions=16621521, wrong=8299326, backtracks=7647812, failedAssignments=3574282, nogoods=782, foundSolutions=4, bestBound=17
914.19/907.98
1008.79/1002.22 num=121, depth=134..213, filters=477823519, revisions=(1236337763,useless=970269626), ccks=3792, wck=999.76, mem=76M749
1008.79/1002.22 decisions=18299090, wrong=9138036, backtracks=8360259, failedAssignments=3931715, nogoods=796, foundSolutions=4, bestBound=17
1008.79/1002.22
1107.11/1100.24 num=122, depth=182..279, filters=523807132, revisions=(1357061105,useless=1065349899), ccks=3792, wck=1097.776, mem=68M209
1107.11/1100.24 decisions=20077817, wrong=10027303, backtracks=9130066, failedAssignments=4324891, nogoods=804, foundSolutions=4, bestBound=17
1107.11/1100.24
1252.88/1245.57 num=123, depth=97..192, filters=590594106, revisions=(1536482560,useless=1201706394), ccks=3792, wck=1243.105, mem=41M495
1252.88/1245.57 decisions=22185333, wrong=11081003, backtracks=10098019, failedAssignments=4757385, nogoods=812, foundSolutions=4, bestBound=17
1252.88/1245.57
1363.15/1355.45 num=124, depth=169..226, filters=642810982, revisions=(1681849323,useless=1317588087), ccks=3792, wck=1352.989, mem=72M536
1363.15/1355.45 decisions=24389326, wrong=12182906, backtracks=11130624, failedAssignments=5233129, nogoods=821, foundSolutions=4, bestBound=17
1363.15/1355.45
1503.19/1495.10 num=125, depth=214..266, filters=709130900, revisions=(1863267721,useless=1462754623), ccks=3792, wck=1492.64, mem=37M266
1503.19/1495.10 decisions=26888766, wrong=13432512, backtracks=12290159, failedAssignments=5756447, nogoods=839, foundSolutions=4, bestBound=17
1503.19/1495.10
1671.11/1662.48 num=126, depth=181..242, filters=783855282, revisions=(2054572334,useless=1613176435), ccks=3792, wck=1660.016, mem=51M202
1671.11/1662.48 decisions=29902006, wrong=14939034, backtracks=13717926, failedAssignments=6332097, nogoods=849, foundSolutions=4, bestBound=17
1671.11/1662.48
1827.21/1818.03 num=127, depth=164..242, filters=856649500, revisions=(2235428347,useless=1755611966), ccks=3792, wck=1815.57, mem=48M27
1827.21/1818.03 decisions=32969394, wrong=16472633, backtracks=15120962, failedAssignments=6965312, nogoods=859, foundSolutions=4, bestBound=17
1827.21/1818.03
2053.64/2043.70 num=128, depth=217..271, filters=962873810, revisions=(2501757025,useless=1960911220), ccks=3792, wck=2041.237, mem=28M791
2053.64/2043.70 decisions=36384199, wrong=18179919, backtracks=16749590, failedAssignments=7661848, nogoods=869, foundSolutions=4, bestBound=17
2053.64/2043.70
2247.04/2236.59 num=129, depth=173..235, filters=1050929129, revisions=(2720304546,useless=2132798693), ccks=3792, wck=2234.125, mem=74M806
2247.04/2236.59 decisions=40274506, wrong=20124967, backtracks=18598891, failedAssignments=8428038, nogoods=879, foundSolutions=4, bestBound=17
2247.04/2236.59
2400.00/2389.01
2400.00/2389.01 v <instantiation id='sol4' type='solution' cost='17'> <list> prd[] nco[] ncr[] pc[][] </list> <values> 8 11 5 0 11 11 6 7 11 10 10 4 2 3 3 3 9 9 3 10 6 1 5 0 1 1 11 4 6 7 6 5 10 7 8 7 6 9 3 1 8 5 9 0 5 4 4 1 3 8 5 1 0 4 8 4 2 2 7 10 0 2 0 2 6 9 6 6 5 6 6 6 6 5 5 5 5 5 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
2400.00/2389.01 s SATISFIABLE
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 (13559 MiB free)
memory of node 1: 16384 MiB (14177 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391303-1568391906/watcher-4391303-1568391906 -o /tmp/evaluation-result-4391303-1568391906/solver-4391303-1568391906 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568389883-24253 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391303-1568391906.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25394, runsolver pid=25391
[startup+0.100574 s]*
/proc/loadavg: 1.97 1.84 1.79 4/229 25409
/proc/meminfo: memFree=28387000/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10659884 memory=28116 CPUtime=0.14 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 5529 0 0 0 12 2 0 0 20 0 15 0 415458446 10915721216 7029 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2664971 7029 2896 1 0 2627468 0
[pid=25394/tid=25396] ppid=25391 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) R 25391 25394 24221 0 -1 4202560 3273 0 0 0 8 1 0 0 20 0 15 0 415458447 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422623529232 140422611536702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458449 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415458449 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422110008096 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415458450 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422108955760 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) R 25391 25394 24221 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422106851952 140422619310722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0.02 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) R 25391 25394 24221 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 415458452 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422104741224 140422619320922 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 7029 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28116 KiB
[startup+0.210638 s]*
/proc/loadavg: 1.97 1.84 1.79 3/229 25409
/proc/meminfo: memFree=28379684/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10659884 memory=35452 CPUtime=0.33 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 6942 0 0 0 31 2 0 0 20 0 15 0 415458446 10915721216 8863 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2664971 8863 2990 1 0 2627468 0
[pid=25394/tid=25396] ppid=25391 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) R 25391 25394 24221 0 -1 4202560 3878 0 0 0 19 1 0 0 20 0 15 0 415458447 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422623525936 140422619321501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10659884 memory=3546216497589921440 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458449 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415458449 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422110008096 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415458450 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422108955760 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) S 25391 25394 24221 0 -1 1077944384 670 0 0 0 3 0 0 0 20 0 15 0 415458452 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422106851952 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 415458452 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0.05 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) S 25391 25394 24221 0 -1 1077944384 662 0 0 0 5 0 0 0 20 0 15 0 415458452 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422104746864 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 8863 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35452 KiB
[startup+0.31012 s]*
/proc/loadavg: 1.97 1.84 1.79 4/229 25409
/proc/meminfo: memFree=28371984/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10659884 memory=40572 CPUtime=0.47 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 9482 0 0 0 44 3 0 0 20 0 15 0 415458446 10915721216 10143 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2664971 10143 3002 1 0 2627468 0
[pid=25394/tid=25396] ppid=25391 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) R 25391 25394 24221 0 -1 4202560 6344 0 0 0 28 2 0 0 20 0 15 0 415458447 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422623522256 140422228050848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10659884 memory=3760699330331813536 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458448 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458449 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415458449 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422110008096 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415458450 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422108955760 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) S 25391 25394 24221 0 -1 1077944384 678 0 0 0 4 0 0 0 20 0 15 0 415458452 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422106851952 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 414 0 0 0 4 0 0 0 20 0 15 0 415458452 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0.07 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) R 25391 25394 24221 0 -1 4202560 687 0 0 0 7 0 0 0 20 0 15 0 415458452 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422104746864 140422598619856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10659884 memory=140640741893760 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458452 10915721216 10143 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40572 KiB
[startup+0.700713 s]
/proc/loadavg: 1.97 1.84 1.79 3/229 25409
/proc/meminfo: memFree=28363676/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10661932 memory=64036 CPUtime=1.1 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 13121 0 0 0 105 5 0 0 20 0 15 0 415458446 10917818368 16009 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2665483 16009 3074 1 0 2627980 0
[pid=25394/tid=25396] ppid=25391 vsize=10661932 memory=1276 CPUtime=0.68 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) R 25391 25394 24221 0 -1 4202560 8897 0 0 0 64 4 0 0 20 0 15 0 415458447 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422623531600 140422599571297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10661932 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10661932 memory=9584 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458448 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10661932 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458449 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415458449 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422110008096 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415458450 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422108955760 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10661932 memory=6296683642736693604 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10661932 memory=7738707435814409833 CPUtime=0.11 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) R 25391 25394 24221 0 -1 4202560 1022 0 0 0 11 0 0 0 20 0 15 0 415458452 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422106851952 140422602684175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10661932 memory=5787213857196369745 CPUtime=0.11 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 647 0 0 0 11 0 0 0 20 0 15 0 415458452 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) S 25391 25394 24221 0 -1 1077944384 1196 0 0 0 18 0 0 0 20 0 15 0 415458452 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422104746864 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415458452 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458452 10917818368 16009 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64036 KiB
[startup+1.50075 s]
/proc/loadavg: 1.97 1.84 1.79 3/229 25409
/proc/meminfo: memFree=28347236/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10663980 memory=75928 CPUtime=2 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 18709 0 0 0 194 6 0 0 20 0 15 0 415458446 10919915520 18982 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2665995 18982 3097 1 0 2628492 0
[pid=25394/tid=25396] ppid=25391 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) R 25391 25394 24221 0 -1 4202560 13114 0 0 0 143 5 0 0 20 0 15 0 415458447 10919915520 18982 33554432000 4194304 4196468 140736353178256 140422623531600 140422599574971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10919915520 18982 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10919915520 18982 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415458448 10919915520 18982 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415458448 10919915520 18982 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 415458449 10919915520 18982 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
################
# More data... #
################
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 4604 0 0 0 214 6 0 0 20 0 16 0 415458448 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10748324 memory=1540 CPUtime=0.8 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 6850 0 0 0 74 6 0 0 20 0 16 0 415458449 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10748324 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415458449 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422110008160 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10748324 memory=229524 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415458450 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422108955776 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10748324 memory=229524 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10748324 memory=229524 CPUtime=1.44 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) S 25391 25394 24221 0 -1 1077944384 9351 0 0 0 143 1 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422106851952 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10748324 memory=229524 CPUtime=1.39 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 6375 0 0 0 138 1 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10748324 memory=229524 CPUtime=0.83 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) S 25391 25394 24221 0 -1 1077944384 9059 0 0 0 81 2 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422104746864 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10748324 memory=-6948047529741492128 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10748324 memory=1660 CPUtime=0.45 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 734 0 0 0 21 24 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25410] ppid=25391 vsize=10748324 memory=1984 CPUtime=2257.2 cores=1,3,5,7
/proc/25394/task/25410/stat : 25410 (java) R 25391 25394 24221 0 -1 4202560 17354 0 0 0 225712 8 0 0 20 0 16 0 415458634 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422085753840 140422235851894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 2272.92 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229524 KiB
[startup+2322.3 s]
/proc/loadavg: 0.93 0.88 1.11 2/208 25703
/proc/meminfo: memFree=28486676/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10748324 memory=229524 CPUtime=2333.09 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 87540 0 0 0 233241 68 0 0 20 0 16 0 415458446 11006283776 57381 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2687081 57381 3383 1 0 2647217 0
[pid=25394/tid=25396] ppid=25391 vsize=10748324 memory=229524 CPUtime=1.85 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) S 25391 25394 24221 0 -1 1077944384 15361 0 0 0 179 6 0 0 20 0 16 0 415458447 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422623542448 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10748324 memory=229524 CPUtime=2.27 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 7141 0 0 0 222 5 0 0 20 0 16 0 415458448 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10748324 memory=229524 CPUtime=2.27 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 4954 0 0 0 223 4 0 0 20 0 16 0 415458448 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10748324 memory=229524 CPUtime=2.27 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 4299 0 0 0 221 6 0 0 20 0 16 0 415458448 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10748324 memory=229524 CPUtime=2.25 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 4604 0 0 0 219 6 0 0 20 0 16 0 415458448 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10748324 memory=229524 CPUtime=0.82 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 6856 0 0 0 76 6 0 0 20 0 16 0 415458449 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10748324 memory=229524 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415458449 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422110008160 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10748324 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415458450 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422108955776 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10748324 memory=229524 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10748324 memory=229524 CPUtime=1.44 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) S 25391 25394 24221 0 -1 1077944384 9351 0 0 0 143 1 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422106851952 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10748324 memory=229524 CPUtime=1.39 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 6375 0 0 0 138 1 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10748324 memory=752 CPUtime=0.83 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) S 25391 25394 24221 0 -1 1077944384 9059 0 0 0 81 2 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422104746864 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10748324 memory=984 CPUtime=0.45 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 738 0 0 0 21 24 0 0 20 0 16 0 415458452 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25410] ppid=25391 vsize=10748324 memory=2004 CPUtime=2317.12 cores=1,3,5,7
/proc/25394/task/25410/stat : 25410 (java) R 25391 25394 24221 0 -1 4202560 17405 0 0 0 231704 8 0 0 20 0 16 0 415458634 11006283776 57381 33554432000 4194304 4196468 140736353178256 140422085753952 140422235852353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 2333.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229524 KiB
[startup+2382.3 s]
/proc/loadavg: 0.87 0.86 1.09 2/208 25707
/proc/meminfo: memFree=28486388/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10748324 memory=229532 CPUtime=2393.28 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 88222 0 0 0 239258 70 0 0 20 0 16 0 415458446 11006283776 57383 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2687081 57383 3383 1 0 2647217 0
[pid=25394/tid=25396] ppid=25391 vsize=10748324 memory=229532 CPUtime=1.85 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) S 25391 25394 24221 0 -1 1077944384 15361 0 0 0 179 6 0 0 20 0 16 0 415458447 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422623542448 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10748324 memory=229532 CPUtime=2.32 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 7161 0 0 0 227 5 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10748324 memory=229532 CPUtime=2.33 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 4967 0 0 0 229 4 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10748324 memory=229532 CPUtime=2.33 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 4309 0 0 0 227 6 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10748324 memory=229532 CPUtime=2.32 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 4910 0 0 0 225 7 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10748324 memory=229532 CPUtime=0.84 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 7040 0 0 0 78 6 0 0 20 0 16 0 415458449 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10748324 memory=229532 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415458449 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422110008160 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10748324 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415458450 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422108955776 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10748324 memory=40072 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10748324 memory=928 CPUtime=1.44 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) S 25391 25394 24221 0 -1 1077944384 9353 0 0 0 143 1 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422106851952 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10748324 memory=1660 CPUtime=1.39 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 6377 0 0 0 138 1 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10748324 memory=229532 CPUtime=0.83 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) S 25391 25394 24221 0 -1 1077944384 9061 0 0 0 81 2 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422104746864 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10748324 memory=229532 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10748324 memory=229532 CPUtime=0.47 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 755 0 0 0 22 25 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25410] ppid=25391 vsize=10748324 memory=229532 CPUtime=2377.04 cores=1,3,5,7
/proc/25394/task/25410/stat : 25410 (java) R 25391 25394 24221 0 -1 4202560 17531 0 0 0 237696 8 0 0 20 0 16 0 415458634 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422085754176 140422235689748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 2393.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2389 s]*
/proc/loadavg: 0.88 0.86 1.09 2/208 25708
/proc/meminfo: memFree=28486140/32770624 swapFree=67004752/67108860
[pid=25394] ppid=25391 vsize=10748324 memory=229532 CPUtime=2400 cores=1,3,5,7
/proc/25394/stat : 25394 (java) S 25391 25394 24221 0 -1 1077944320 88229 0 0 0 239930 70 0 0 20 0 16 0 415458446 11006283776 57383 33554432000 4194304 4196468 140736353178256 140736353160800 140422619299575 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
/proc/25394/statm: 2687081 57383 3383 1 0 2647217 0
[pid=25394/tid=25396] ppid=25391 vsize=10748324 memory=1398722017469774279 CPUtime=1.85 cores=1,3,5,7
/proc/25394/task/25396/stat : 25396 (java) S 25391 25394 24221 0 -1 1077944384 15361 0 0 0 179 6 0 0 20 0 16 0 415458447 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422623542448 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25397] ppid=25391 vsize=10748324 memory=4872558044660077418 CPUtime=2.33 cores=1,3,5,7
/proc/25394/task/25397/stat : 25397 (java) S 25391 25394 24221 0 -1 1077944384 7161 0 0 0 228 5 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422555990928 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25398] ppid=25391 vsize=10748324 memory=288285597385368388 CPUtime=2.33 cores=1,3,5,7
/proc/25394/task/25398/stat : 25398 (java) S 25391 25394 24221 0 -1 1077944384 4967 0 0 0 229 4 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422554938128 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25399] ppid=25391 vsize=10748324 memory=3776659049617305632 CPUtime=2.34 cores=1,3,5,7
/proc/25394/task/25399/stat : 25399 (java) S 25391 25394 24221 0 -1 1077944384 4309 0 0 0 228 6 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422553885840 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25400] ppid=25391 vsize=10748324 memory=6944656592455360604 CPUtime=2.32 cores=1,3,5,7
/proc/25394/task/25400/stat : 25400 (java) S 25391 25394 24221 0 -1 1077944384 4910 0 0 0 225 7 0 0 20 0 16 0 415458448 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422552833040 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25401] ppid=25391 vsize=10748324 memory=6944652177228980320 CPUtime=0.84 cores=1,3,5,7
/proc/25394/task/25401/stat : 25401 (java) S 25391 25394 24221 0 -1 1077944384 7042 0 0 0 78 6 0 0 20 0 16 0 415458449 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422111062128 140422619310722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25402] ppid=25391 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25402/stat : 25402 (java) S 25391 25394 24221 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415458449 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422110008160 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25403] ppid=25391 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25403/stat : 25403 (java) S 25391 25394 24221 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415458450 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422108955776 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25404] ppid=25391 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25404/stat : 25404 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422107904080 140422619318171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25405] ppid=25391 vsize=10748324 memory=14008 CPUtime=1.44 cores=1,3,5,7
/proc/25394/task/25405/stat : 25405 (java) S 25391 25394 24221 0 -1 1077944384 9353 0 0 0 143 1 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422106851952 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25406] ppid=25391 vsize=10748324 memory=21948 CPUtime=1.39 cores=1,3,5,7
/proc/25394/task/25406/stat : 25406 (java) S 25391 25394 24221 0 -1 1077944384 6377 0 0 0 138 1 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422105799152 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25407] ppid=25391 vsize=10748324 memory=2116 CPUtime=0.83 cores=1,3,5,7
/proc/25394/task/25407/stat : 25407 (java) S 25391 25394 24221 0 -1 1077944384 9061 0 0 0 81 2 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422104746864 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25408] ppid=25391 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25394/task/25408/stat : 25408 (java) S 25391 25394 24221 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422103694304 140422619309781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25409] ppid=25391 vsize=10748324 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/25394/task/25409/stat : 25409 (java) S 25391 25394 24221 0 -1 1077944384 757 0 0 0 22 26 0 0 20 0 16 0 415458452 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422102641072 140422619310722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
[pid=25394/tid=25410] ppid=25391 vsize=10748324 memory=0 CPUtime=2383.74 cores=1,3,5,7
/proc/25394/task/25410/stat : 25410 (java) R 25391 25394 24221 0 -1 4202560 17534 0 0 0 238366 8 0 0 20 0 16 0 415458634 11006283776 57383 33554432000 4194304 4196468 140736353178256 140422085754176 140422235690443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30887936 140736353182731 140736353182834 140736353182834 140736353185743 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2389.02 s]
# the end of solver process 25394 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.32 s, system=0.705318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2389.02
CPU time (s): 2400.02
CPU user time (s): 2399.32
CPU system time (s): 0.705318
CPU usage (%): 100.461
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 334388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.32
system time used= 0.705318
maximum resident set size= 335876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73379
involuntary context switches= 3267
# summary of solver processes directly reported to runsolver:
# pid: 25394
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.32
# total CPU system time (s): 0.705318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3093 second user time and 20.9237 second system time
The end