2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.89
3.24/2.15 Instance
3.24/2.15 name=instance-4391003-1568387375, framework=COP, bounds=-infty..+infty
3.24/2.15
3.24/2.15 Loading variables...
3.61/2.21 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad74e52
3.87/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f70069
3.87/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6173290a
3.87/2.31 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21cfe752
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6aca7c
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7763295e
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1563b0d8
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1772c9a9
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f09a38
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@721bcd64
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16147696
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@625c1198
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76a49498
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e92bf41
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20681cbc
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@321ef1c5
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d8e149
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c8eea8
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c364fbe
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23467ca9
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d098748
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e741e5
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1470df55
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a6be2f
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed393ab
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2decafd4
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78340c39
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b826a1
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b33e5c
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b526492
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fab7696
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129c309b
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606cd99d
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77fe18
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36781516
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a436e98
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28eac291
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea8789b
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb8843d
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ecdeb42
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359584e5
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46a5973f
3.87/2.32 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eabcfc0
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c0d5cb9
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc2846d
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44414e94
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6133e1
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39696df3
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d11846
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6016469d
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d315d
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e366ecd
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f144012
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699f4f98
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cb5c5e
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26133ff8
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75137abb
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6526e84e
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7a0f4e
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4c5067
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cd927f
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c753ac
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb7dacb
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666fd06d
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b401b47
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f84584d
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2269b035
3.87/2.33 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584504c6
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a44772
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aaff060
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7c23c0
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579046e3
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2b242d
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605fe664
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e175ca4
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5f6224
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb81cd5
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e0fb7a3
3.87/2.34 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e57c79c
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac31abd
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41935ead
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8d2e1d
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a7c4984
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f263b35
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eafcaee
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a8841c
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fd3136c
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a29e152
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ee258b
3.87/2.35 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4601982b
4.18/2.43
4.18/2.43
4.18/2.43 Domains
4.18/2.43 nTypes=4, nValues=2592, sizes=[2#792,7#12,11#12,12#66]
4.18/2.43 Variables
4.18/2.43 count=882, degrees=[1#12,2#12,4#792,12#11...15#9,16#6,17#1,18#4]
4.18/2.43 Objectives
4.18/2.43 way=min, type=ObjMaximumLE
4.18/2.43 Constraints
4.18/2.43 count=948, nSpecific=156, arities=[2#857,12#67,67#24]
4.18/2.43 distribution=[CtrExtensionV-Bits#792,LT#65,ObjMaximumLE#1,SumSimpleEQ#66,SumWeightedEQ#24]
4.18/2.43 nExtStructures=(12,shared:780), nCftStructures=(12,shared:780,unbuilt:156)
4.18/2.43 wck=0.58, cpu=2.397, mem=47M652
4.18/2.43 Solver SolverBacktrack being built...
4.18/2.43
4.18/2.47
4.18/2.47 Solver
4.18/2.47 guaranteedGAC=false
4.18/2.47 wck=0.62, cpu=2.436, mem=60M937
4.47/2.50
4.47/2.50 Preprocessing
4.47/2.50 filters=278, revisions=(900,useless=706), nACremovedValues=388, nTotalRemovedValues=388, inconcistency=false
4.47/2.50 wck=0.03, cpu=2.468, mem=60M937
4.47/2.50
4.47/2.52 num=0, depth=4..14, filters=1500, revisions=(3424,useless=2371), wck=0.054, mem=60M937
4.47/2.52 decisions=46, wrong=19, backtracks=9, failedAssignments=10, nogoods=4
4.47/2.52
4.47/2.57 o 20
4.47/2.57 num=1, depth=883..881, filters=2327, revisions=(7279,useless=5676), ccks=948, wck=0.107, mem=60M937
4.47/2.57 decisions=123, wrong=19, backtracks=9, failedAssignments=10, nogoods=4, foundSolutions=1, bestBound=20
4.47/2.57
4.80/2.60 o 19
4.80/2.60 num=2, depth=883..881, filters=3162, revisions=(12343,useless=10191), ccks=1896, wck=0.133, mem=60M937
4.80/2.60 decisions=200, wrong=19, backtracks=9, failedAssignments=10, nogoods=4, foundSolutions=2, bestBound=19
4.80/2.60
4.80/2.63 o 18
4.80/2.63 num=3, depth=73..881, filters=4138, revisions=(17958,useless=15201), ccks=2844, wck=0.16, mem=60M937
4.80/2.63 decisions=282, wrong=22, backtracks=10, failedAssignments=12, nogoods=6, foundSolutions=3, bestBound=18
4.80/2.63
4.80/2.65 num=4, depth=112..124, filters=5706, revisions=(25039,useless=21372), ccks=2844, wck=0.185, mem=60M937
4.80/2.65 decisions=441, wrong=42, backtracks=24, failedAssignments=23, nogoods=12, foundSolutions=3, bestBound=18
4.80/2.65
4.80/2.67 num=5, depth=103..166, filters=6976, revisions=(30470,useless=26061), ccks=2844, wck=0.206, mem=60M937
4.80/2.67 decisions=635, wrong=62, backtracks=34, failedAssignments=34, nogoods=15, foundSolutions=3, bestBound=18
4.80/2.67
4.80/2.70 num=6, depth=141..180, filters=8097, revisions=(35580,useless=30490), ccks=2844, wck=0.228, mem=60M937
4.80/2.70 decisions=843, wrong=79, backtracks=47, failedAssignments=46, nogoods=20, foundSolutions=3, bestBound=18
4.80/2.70
5.12/2.72 num=7, depth=179..206, filters=10005, revisions=(42498,useless=36313), ccks=2844, wck=0.255, mem=60M937
5.12/2.72 decisions=1111, wrong=116, backtracks=81, failedAssignments=59, nogoods=22, foundSolutions=3, bestBound=18
5.12/2.72
5.12/2.74 num=8, depth=182..203, filters=11691, revisions=(49386,useless=42291), ccks=2844, wck=0.277, mem=60M937
5.12/2.74 decisions=1376, wrong=149, backtracks=112, failedAssignments=73, nogoods=26, foundSolutions=3, bestBound=18
5.12/2.74
5.12/2.77 num=9, depth=214..228, filters=14114, revisions=(57738,useless=49287), ccks=2844, wck=0.303, mem=60M937
5.12/2.77 decisions=1659, wrong=182, backtracks=138, failedAssignments=89, nogoods=32, foundSolutions=3, bestBound=18
5.12/2.77
5.12/2.79 o 17
5.12/2.79 num=10, depth=236..881, filters=14988, revisions=(62968,useless=53945), ccks=3792, wck=0.328, mem=63M580
5.12/2.79 decisions=1906, wrong=185, backtracks=138, failedAssignments=92, nogoods=35, foundSolutions=4, bestBound=17
5.12/2.79
5.42/2.83 num=11, depth=232..246, filters=18747, revisions=(73977,useless=62775), ccks=3792, wck=0.364, mem=63M580
5.42/2.83 decisions=2227, wrong=230, backtracks=177, failedAssignments=111, nogoods=37, foundSolutions=4, bestBound=17
5.42/2.83
5.42/2.85 num=12, depth=234..241, filters=20162, revisions=(79599,useless=67600), ccks=3792, wck=0.385, mem=63M580
5.42/2.85 decisions=2504, wrong=251, backtracks=196, failedAssignments=122, nogoods=40, foundSolutions=4, bestBound=17
5.42/2.85
5.42/2.88 num=13, depth=246..259, filters=21766, revisions=(85619,useless=72723), ccks=3792, wck=0.408, mem=63M580
5.42/2.88 decisions=2808, wrong=276, backtracks=217, failedAssignments=134, nogoods=44, foundSolutions=4, bestBound=17
5.42/2.88
5.72/2.90 num=14, depth=249..281, filters=23348, revisions=(91757,useless=77999), ccks=3792, wck=0.432, mem=63M580
5.72/2.90 decisions=3129, wrong=301, backtracks=236, failedAssignments=147, nogoods=49, foundSolutions=4, bestBound=17
5.72/2.90
5.72/2.92 num=15, depth=216..247, filters=25042, revisions=(98456,useless=83696), ccks=3792, wck=0.45, mem=63M580
5.72/2.92 decisions=3421, wrong=331, backtracks=252, failedAssignments=161, nogoods=51, foundSolutions=4, bestBound=17
5.72/2.92
5.72/2.93 num=16, depth=179..196, filters=26822, revisions=(104739,useless=88911), ccks=3792, wck=0.465, mem=63M580
5.72/2.93 decisions=3674, wrong=367, backtracks=276, failedAssignments=177, nogoods=54, foundSolutions=4, bestBound=17
5.72/2.93
5.72/2.95 num=17, depth=219..238, filters=28216, revisions=(110551,useless=93904), ccks=3792, wck=0.481, mem=63M580
5.72/2.95 decisions=3972, wrong=401, backtracks=301, failedAssignments=194, nogoods=58, foundSolutions=4, bestBound=17
5.72/2.95
5.72/2.97 num=18, depth=196..235, filters=30525, revisions=(118945,useless=100963), ccks=3792, wck=0.501, mem=63M580
5.72/2.97 decisions=4299, wrong=453, backtracks=342, failedAssignments=213, nogoods=63, foundSolutions=4, bestBound=17
5.72/2.97
5.72/2.99 num=19, depth=221..233, filters=32901, revisions=(127446,useless=108085), ccks=3792, wck=0.521, mem=63M580
5.72/2.99 decisions=4613, wrong=499, backtracks=383, failedAssignments=234, nogoods=65, foundSolutions=4, bestBound=17
5.72/2.99
5.72/3.01 num=20, depth=239..254, filters=35166, revisions=(135727,useless=115137), ccks=3792, wck=0.539, mem=63M580
5.72/3.01 decisions=4959, wrong=552, backtracks=426, failedAssignments=257, nogoods=69, foundSolutions=4, bestBound=17
5.72/3.01
6.05/3.02 num=21, depth=225..237, filters=37763, revisions=(145723,useless=123630), ccks=3792, wck=0.555, mem=63M580
6.05/3.02 decisions=5297, wrong=607, backtracks=473, failedAssignments=282, nogoods=71, foundSolutions=4, bestBound=17
6.05/3.02
6.05/3.04 num=22, depth=229..244, filters=41377, revisions=(157088,useless=132863), ccks=3792, wck=0.574, mem=63M580
6.05/3.04 decisions=5636, wrong=661, backtracks=513, failedAssignments=310, nogoods=74, foundSolutions=4, bestBound=17
6.05/3.04
6.05/3.06 num=23, depth=217..237, filters=44850, revisions=(167710,useless=141296), ccks=3792, wck=0.591, mem=63M580
6.05/3.06 decisions=5975, wrong=721, backtracks=546, failedAssignments=341, nogoods=80, foundSolutions=4, bestBound=17
6.05/3.06
6.05/3.07 num=24, depth=185..207, filters=48584, revisions=(179625,useless=151055), ccks=3792, wck=0.605, mem=63M580
6.05/3.07 decisions=6296, wrong=785, backtracks=595, failedAssignments=375, nogoods=84, foundSolutions=4, bestBound=17
6.05/3.07
6.05/3.09 num=25, depth=186..212, filters=51830, revisions=(189811,useless=159298), ccks=3792, wck=0.619, mem=63M580
6.05/3.09 decisions=6640, wrong=864, backtracks=657, failedAssignments=412, nogoods=86, foundSolutions=4, bestBound=17
6.05/3.09
6.36/3.11 num=26, depth=198..232, filters=60501, revisions=(212642,useless=176903), ccks=3792, wck=0.646, mem=63M580
6.36/3.11 decisions=7087, wrong=985, backtracks=775, failedAssignments=453, nogoods=90, foundSolutions=4, bestBound=17
6.36/3.11
6.36/3.13 num=27, depth=152..168, filters=65920, revisions=(228185,useless=189174), ccks=3792, wck=0.663, mem=63M580
6.36/3.13 decisions=7427, wrong=1079, backtracks=847, failedAssignments=498, nogoods=94, foundSolutions=4, bestBound=17
6.36/3.13
6.36/3.14 num=28, depth=133..161, filters=69896, revisions=(240126,useless=199024), ccks=3792, wck=0.676, mem=66M222
6.36/3.14 decisions=7809, wrong=1195, backtracks=959, failedAssignments=548, nogoods=99, foundSolutions=4, bestBound=17
6.36/3.14
6.36/3.16 num=29, depth=193..208, filters=76561, revisions=(260614,useless=215740), ccks=3792, wck=0.697, mem=66M222
6.36/3.16 decisions=8251, wrong=1315, backtracks=1058, failedAssignments=603, nogoods=102, foundSolutions=4, bestBound=17
6.36/3.16
6.36/3.19 num=30, depth=208..230, filters=85132, revisions=(283800,useless=234267), ccks=3792, wck=0.721, mem=66M222
6.36/3.19 decisions=8772, wrong=1470, backtracks=1179, failedAssignments=664, nogoods=107, foundSolutions=4, bestBound=17
6.36/3.19
6.63/3.22 num=31, depth=176..218, filters=95109, revisions=(308867,useless=253611), ccks=3792, wck=0.75, mem=66M222
6.63/3.22 decisions=9279, wrong=1634, backtracks=1315, failedAssignments=731, nogoods=109, foundSolutions=4, bestBound=17
6.63/3.22
6.63/3.25 num=32, depth=121..159, filters=107162, revisions=(342098,useless=278868), ccks=3792, wck=0.784, mem=66M222
6.63/3.25 decisions=9752, wrong=1810, backtracks=1473, failedAssignments=805, nogoods=111, foundSolutions=4, bestBound=17
6.63/3.25
6.63/3.28 num=33, depth=179..199, filters=115915, revisions=(367230,useless=299375), ccks=3792, wck=0.809, mem=66M222
6.63/3.28 decisions=10397, wrong=2039, backtracks=1698, failedAssignments=886, nogoods=116, foundSolutions=4, bestBound=17
6.63/3.28
6.94/3.30 num=34, depth=209..233, filters=125461, revisions=(395510,useless=322278), ccks=3792, wck=0.835, mem=66M222
6.94/3.30 decisions=11009, wrong=2236, backtracks=1870, failedAssignments=975, nogoods=121, foundSolutions=4, bestBound=17
6.94/3.30
6.94/3.33 num=35, depth=211..233, filters=135333, revisions=(424930,useless=346681), ccks=3792, wck=0.862, mem=66M222
6.94/3.33 decisions=11694, wrong=2473, backtracks=2084, failedAssignments=1073, nogoods=124, foundSolutions=4, bestBound=17
6.94/3.33
6.94/3.36 num=36, depth=194..219, filters=149886, revisions=(462997,useless=376951), ccks=3792, wck=0.898, mem=66M222
6.94/3.36 decisions=12448, wrong=2750, backtracks=2333, failedAssignments=1181, nogoods=126, foundSolutions=4, bestBound=17
6.94/3.36
6.94/3.39 num=37, depth=134..181, filters=160506, revisions=(494162,useless=402316), ccks=3792, wck=0.926, mem=66M222
6.94/3.39 decisions=13100, wrong=2998, backtracks=2555, failedAssignments=1300, nogoods=130, foundSolutions=4, bestBound=17
6.94/3.39
7.12/3.43 num=38, depth=156..173, filters=177486, revisions=(541041,useless=439503), ccks=3792, wck=0.964, mem=66M222
7.12/3.43 decisions=13891, wrong=3310, backtracks=2841, failedAssignments=1431, nogoods=133, foundSolutions=4, bestBound=17
7.12/3.43
7.12/3.47 num=39, depth=172..192, filters=192769, revisions=(584465,useless=474596), ccks=3792, wck=1.0, mem=68M865
7.12/3.47 decisions=14708, wrong=3628, backtracks=3116, failedAssignments=1575, nogoods=137, foundSolutions=4, bestBound=17
7.12/3.47
7.23/3.50 num=40, depth=211..240, filters=205927, revisions=(615755,useless=498893), ccks=3792, wck=1.034, mem=68M865
7.23/3.50 decisions=15483, wrong=3910, backtracks=3379, failedAssignments=1733, nogoods=140, foundSolutions=4, bestBound=17
7.23/3.50
7.23/3.55 num=41, depth=163..192, filters=228076, revisions=(678534,useless=549085), ccks=3792, wck=1.086, mem=68M865
7.23/3.55 decisions=16468, wrong=4318, backtracks=3738, failedAssignments=1907, nogoods=143, foundSolutions=4, bestBound=17
7.23/3.55
7.33/3.60 num=42, depth=132..166, filters=247800, revisions=(726708,useless=587067), ccks=3792, wck=1.131, mem=68M865
7.33/3.60 decisions=17572, wrong=4794, backtracks=4177, failedAssignments=2098, nogoods=147, foundSolutions=4, bestBound=17
7.33/3.60
7.33/3.67 num=43, depth=192..230, filters=278911, revisions=(813936,useless=657026), ccks=3792, wck=1.206, mem=68M865
7.33/3.67 decisions=18884, wrong=5348, backtracks=4685, failedAssignments=2309, nogoods=150, foundSolutions=4, bestBound=17
7.33/3.67
7.45/3.74 num=44, depth=182..200, filters=306950, revisions=(894379,useless=721621), ccks=3792, wck=1.272, mem=68M865
7.45/3.74 decisions=20223, wrong=5923, backtracks=5256, failedAssignments=2541, nogoods=154, foundSolutions=4, bestBound=17
7.45/3.74
7.57/3.80 num=45, depth=192..211, filters=339295, revisions=(983797,useless=791637), ccks=3792, wck=1.337, mem=71M507
7.57/3.80 decisions=21569, wrong=6498, backtracks=5765, failedAssignments=2796, nogoods=161, foundSolutions=4, bestBound=17
7.57/3.80
7.57/3.89 num=46, depth=216..236, filters=384840, revisions=(1106914,useless=888130), ccks=3792, wck=1.426, mem=71M507
7.57/3.89 decisions=23173, wrong=7189, backtracks=6424, failedAssignments=3077, nogoods=166, foundSolutions=4, bestBound=17
7.57/3.89
7.68/3.99 num=47, depth=215..241, filters=430244, revisions=(1221537,useless=977600), ccks=3792, wck=1.523, mem=71M507
7.68/3.99 decisions=24871, wrong=7928, backtracks=7029, failedAssignments=3386, nogoods=170, foundSolutions=4, bestBound=17
7.68/3.99
7.79/4.07 num=48, depth=194..216, filters=463491, revisions=(1314130,useless=1053011), ccks=3792, wck=1.599, mem=74M149
7.79/4.07 decisions=26578, wrong=8684, backtracks=7727, failedAssignments=3726, nogoods=174, foundSolutions=4, bestBound=17
7.79/4.07
7.89/4.17 num=49, depth=141..181, filters=511253, revisions=(1435735,useless=1148087), ccks=3792, wck=1.703, mem=74M149
7.89/4.17 decisions=28551, wrong=9594, backtracks=8536, failedAssignments=4100, nogoods=185, foundSolutions=4, bestBound=17
7.89/4.17
7.99/4.29 num=50, depth=186..225, filters=569634, revisions=(1590515,useless=1268590), ccks=3792, wck=1.826, mem=74M149
7.99/4.29 decisions=30567, wrong=10500, backtracks=9296, failedAssignments=4511, nogoods=190, foundSolutions=4, bestBound=17
7.99/4.29
8.19/4.41 num=51, depth=195..237, filters=619650, revisions=(1724157,useless=1375290), ccks=3792, wck=1.94, mem=76M792
8.19/4.41 decisions=32786, wrong=11505, backtracks=10230, failedAssignments=4963, nogoods=195, foundSolutions=4, bestBound=17
8.19/4.41
8.29/4.52 num=52, depth=198..220, filters=670993, revisions=(1880142,useless=1501324), ccks=3792, wck=2.056, mem=76M792
8.29/4.52 decisions=34939, wrong=12480, backtracks=10949, failedAssignments=5460, nogoods=197, foundSolutions=4, bestBound=17
8.29/4.52
8.39/4.68 num=53, depth=169..211, filters=737472, revisions=(2064117,useless=1646093), ccks=3792, wck=2.208, mem=79M434
8.39/4.68 decisions=37587, wrong=13718, backtracks=12052, failedAssignments=6007, nogoods=204, foundSolutions=4, bestBound=17
8.39/4.68
8.59/4.86 num=54, depth=150..185, filters=819237, revisions=(2281928,useless=1814992), ccks=3792, wck=2.389, mem=79M434
8.59/4.86 decisions=40258, wrong=14969, backtracks=13138, failedAssignments=6609, nogoods=216, foundSolutions=4, bestBound=17
8.59/4.86
8.80/5.08 num=55, depth=180..225, filters=923944, revisions=(2567945,useless=2037940), ccks=3792, wck=2.613, mem=82M77
8.80/5.08 decisions=43525, wrong=16508, backtracks=14510, failedAssignments=7271, nogoods=220, foundSolutions=4, bestBound=17
8.80/5.08
8.99/5.28 num=56, depth=141..187, filters=1019113, revisions=(2823540,useless=2238587), ccks=3792, wck=2.813, mem=84M719
8.99/5.28 decisions=47447, wrong=18392, backtracks=16246, failedAssignments=7999, nogoods=228, foundSolutions=4, bestBound=17
8.99/5.28
9.29/5.54 num=57, depth=218..243, filters=1146269, revisions=(3133503,useless=2471592), ccks=3792, wck=3.068, mem=87M362
9.29/5.54 decisions=51457, wrong=20285, backtracks=17995, failedAssignments=8800, nogoods=233, foundSolutions=4, bestBound=17
9.29/5.54
9.49/5.77 num=58, depth=190..230, filters=1256936, revisions=(3412806,useless=2686792), ccks=3792, wck=3.299, mem=90M4
9.49/5.77 decisions=55757, wrong=22337, backtracks=19862, failedAssignments=9681, nogoods=239, foundSolutions=4, bestBound=17
9.49/5.77
9.69/5.99 num=59, depth=191..218, filters=1362011, revisions=(3693486,useless=2909673), ccks=3792, wck=3.527, mem=90M4
9.69/5.99 decisions=60447, wrong=24585, backtracks=21983, failedAssignments=10651, nogoods=244, foundSolutions=4, bestBound=17
9.69/5.99
9.91/6.18 num=60, depth=231..255, filters=1446157, revisions=(3940453,useless=3112072), ccks=3792, wck=3.715, mem=92M647
9.91/6.18 decisions=64830, wrong=26657, backtracks=23740, failedAssignments=11718, nogoods=251, foundSolutions=4, bestBound=17
9.91/6.18
10.31/6.57 num=61, depth=172..206, filters=1621233, revisions=(4381912,useless=3449751), ccks=3792, wck=4.102, mem=95M289
10.31/6.57 decisions=70793, wrong=29552, backtracks=26517, failedAssignments=12891, nogoods=256, foundSolutions=4, bestBound=17
10.31/6.57
10.61/6.87 num=62, depth=107..200, filters=1760503, revisions=(4756549,useless=3743642), ccks=3792, wck=4.398, mem=97M931
10.61/6.87 decisions=76429, wrong=32287, backtracks=28893, failedAssignments=14182, nogoods=261, foundSolutions=4, bestBound=17
10.61/6.87
11.01/7.20 num=63, depth=152..188, filters=1911721, revisions=(5167188,useless=4065122), ccks=3792, wck=4.731, mem=103M216
11.01/7.20 decisions=83115, wrong=35546, backtracks=31984, failedAssignments=15602, nogoods=270, foundSolutions=4, bestBound=17
11.01/7.20
11.31/7.52 num=64, depth=178..242, filters=2062422, revisions=(5589775,useless=4405358), ccks=3792, wck=5.053, mem=105M859
11.31/7.52 decisions=90042, wrong=38905, backtracks=34850, failedAssignments=17164, nogoods=284, foundSolutions=4, bestBound=17
11.31/7.52
11.71/7.95 num=65, depth=174..206, filters=2252997, revisions=(6105286,useless=4817594), ccks=3792, wck=5.486, mem=108M501
11.71/7.95 decisions=97968, wrong=42779, backtracks=38398, failedAssignments=18882, nogoods=288, foundSolutions=4, bestBound=17
11.71/7.95
12.21/8.42 num=66, depth=150..210, filters=2460714, revisions=(6673337,useless=5264635), ccks=3792, wck=5.955, mem=113M786
12.21/8.42 decisions=107145, wrong=47285, backtracks=42425, failedAssignments=20772, nogoods=294, foundSolutions=4, bestBound=17
12.21/8.42
12.82/9.02 num=67, depth=184..223, filters=2727058, revisions=(7467769,useless=5906413), ccks=3792, wck=6.555, mem=119M71
12.82/9.02 decisions=117266, wrong=52246, backtracks=46957, failedAssignments=22851, nogoods=300, foundSolutions=4, bestBound=17
12.82/9.02
13.42/9.66 num=68, depth=178..213, filters=3032446, revisions=(8307446,useless=6570277), ccks=3792, wck=7.191, mem=124M356
13.42/9.66 decisions=127096, wrong=57062, backtracks=51235, failedAssignments=25138, nogoods=309, foundSolutions=4, bestBound=17
13.42/9.66
14.02/10.27 num=69, depth=137..198, filters=3319829, revisions=(9081193,useless=7186172), ccks=3792, wck=7.806, mem=129M641
14.02/10.27 decisions=140245, wrong=63551, backtracks=57572, failedAssignments=27654, nogoods=320, foundSolutions=4, bestBound=17
14.02/10.27
14.74/10.96 num=70, depth=183..222, filters=3626527, revisions=(9894405,useless=7843959), ccks=3792, wck=8.496, mem=134M926
14.74/10.96 decisions=153353, wrong=70009, backtracks=63600, failedAssignments=30422, nogoods=330, foundSolutions=4, bestBound=17
14.74/10.96
15.76/11.95 num=71, depth=174..216, filters=4081201, revisions=(11173111,useless=8854797), ccks=3792, wck=9.482, mem=142M778
15.76/11.95 decisions=168893, wrong=77689, backtracks=70797, failedAssignments=33466, nogoods=336, foundSolutions=4, bestBound=17
15.76/11.95
16.79/12.91 num=72, depth=211..245, filters=4556270, revisions=(12403755,useless=9813645), ccks=3792, wck=10.444, mem=32M596
16.79/12.91 decisions=186540, wrong=86402, backtracks=79164, failedAssignments=36815, nogoods=342, foundSolutions=4, bestBound=17
16.79/12.91
17.59/13.75 num=73, depth=185..218, filters=4954925, revisions=(13466206,useless=10666238), ccks=3792, wck=11.283, mem=40M365
17.59/13.75 decisions=206471, wrong=96273, backtracks=88870, failedAssignments=40499, nogoods=349, foundSolutions=4, bestBound=17
17.59/13.75
18.71/14.81 num=74, depth=156..195, filters=5480206, revisions=(14887865,useless=11768548), ccks=3792, wck=12.34, mem=50M723
18.71/14.81 decisions=226025, wrong=105969, backtracks=98280, failedAssignments=44551, nogoods=352, foundSolutions=4, bestBound=17
18.71/14.81
19.92/16.08 num=75, depth=197..234, filters=6102924, revisions=(16553339,useless=13070331), ccks=3792, wck=13.608, mem=63M671
19.92/16.08 decisions=245619, wrong=115664, backtracks=107372, failedAssignments=49008, nogoods=361, foundSolutions=4, bestBound=17
19.92/16.08
20.92/17.10 num=76, depth=168..212, filters=6590128, revisions=(17821286,useless=14080216), ccks=3792, wck=14.637, mem=71M440
20.92/17.10 decisions=267600, wrong=126562, backtracks=117192, failedAssignments=53911, nogoods=367, foundSolutions=4, bestBound=17
20.92/17.10
22.21/18.31 num=77, depth=209..242, filters=7208724, revisions=(19487747,useless=15386877), ccks=3792, wck=15.839, mem=84M387
22.21/18.31 decisions=292867, wrong=139090, backtracks=128962, failedAssignments=59305, nogoods=372, foundSolutions=4, bestBound=17
22.21/18.31
23.71/19.88 num=78, depth=104..197, filters=7986122, revisions=(21504785,useless=16955701), ccks=3792, wck=17.411, mem=99M925
23.71/19.88 decisions=321594, wrong=153368, backtracks=142273, failedAssignments=65238, nogoods=380, foundSolutions=4, bestBound=17
23.71/19.88
25.42/21.51 num=79, depth=189..248, filters=8766029, revisions=(23625691,useless=18629966), ccks=3792, wck=19.041, mem=115M462
25.42/21.51 decisions=356906, wrong=170925, backtracks=159064, failedAssignments=71764, nogoods=386, foundSolutions=4, bestBound=17
25.42/21.51
27.22/23.38 num=80, depth=188..223, filters=9682013, revisions=(26013505,useless=20517576), ccks=3792, wck=20.916, mem=131M0
27.22/23.38 decisions=394524, wrong=189637, backtracks=177197, failedAssignments=78943, nogoods=395, foundSolutions=4, bestBound=17
27.22/23.38
29.12/25.24 num=81, depth=204..246, filters=10595384, revisions=(28259795,useless=22254616), ccks=3792, wck=22.769, mem=149M127
29.12/25.24 decisions=430701, wrong=207612, backtracks=194590, failedAssignments=86840, nogoods=402, foundSolutions=4, bestBound=17
29.12/25.24
31.35/27.44 num=82, depth=172..230, filters=11663200, revisions=(31285167,useless=24680633), ccks=3792, wck=24.974, mem=37M927
31.35/27.44 decisions=472436, wrong=228387, backtracks=213757, failedAssignments=95527, nogoods=407, foundSolutions=4, bestBound=17
31.35/27.44
33.75/29.80 num=83, depth=209..256, filters=12758856, revisions=(33947257,useless=26755137), ccks=3792, wck=27.336, mem=56M183
33.75/29.80 decisions=515540, wrong=249829, backtracks=233657, failedAssignments=105082, nogoods=415, foundSolutions=4, bestBound=17
33.75/29.80
36.55/32.62 num=84, depth=112..181, filters=14048367, revisions=(37663145,useless=29668440), ccks=3792, wck=30.157, mem=84M872
36.55/32.62 decisions=567248, wrong=275618, backtracks=258481, failedAssignments=115593, nogoods=425, foundSolutions=4, bestBound=17
36.55/32.62
39.06/35.16 num=85, depth=134..204, filters=15231867, revisions=(41000611,useless=32327055), ccks=3792, wck=32.695, mem=109M666
39.06/35.16 decisions=628840, wrong=306330, backtracks=287332, failedAssignments=127155, nogoods=434, foundSolutions=4, bestBound=17
39.06/35.16
43.15/39.23 num=86, depth=216..259, filters=17305660, revisions=(46186305,useless=36299823), ccks=3792, wck=36.759, mem=151M395
43.15/39.23 decisions=691956, wrong=337775, backtracks=316613, failedAssignments=139873, nogoods=443, foundSolutions=4, bestBound=17
43.15/39.23
46.20/42.29 num=87, depth=179..223, filters=18705489, revisions=(49909972,useless=39253565), ccks=3792, wck=39.823, mem=45M817
46.20/42.29 decisions=762162, wrong=372784, backtracks=351282, failedAssignments=153863, nogoods=451, foundSolutions=4, bestBound=17
46.20/42.29
50.13/46.12 num=88, depth=125..208, filters=20526076, revisions=(54709960,useless=43038537), ccks=3792, wck=43.649, mem=79M758
50.13/46.12 decisions=845554, wrong=414397, backtracks=391180, failedAssignments=169252, nogoods=459, foundSolutions=4, bestBound=17
50.13/46.12
54.62/50.63 num=89, depth=224..268, filters=22583880, revisions=(60077645,useless=47270736), ccks=3792, wck=48.159, mem=118M921
54.62/50.63 decisions=926776, wrong=454890, backtracks=428415, failedAssignments=186180, nogoods=470, foundSolutions=4, bestBound=17
54.62/50.63
59.17/55.11 num=90, depth=134..199, filters=24653119, revisions=(65629869,useless=51618860), ccks=3792, wck=52.64, mem=27M480
59.17/55.11 decisions=1010501, wrong=496678, backtracks=467221, failedAssignments=204801, nogoods=481, foundSolutions=4, bestBound=17
59.17/55.11
63.76/59.75 num=91, depth=144..197, filters=26941182, revisions=(71618471,useless=56312130), ccks=3792, wck=57.279, mem=71M345
63.76/59.75 decisions=1113581, wrong=548141, backtracks=517274, failedAssignments=225285, nogoods=490, foundSolutions=4, bestBound=17
63.76/59.75
71.78/67.73 num=92, depth=159..220, filters=30706631, revisions=(81978137,useless=64372788), ccks=3792, wck=65.265, mem=148M753
71.78/67.73 decisions=1219102, wrong=600817, backtracks=567263, failedAssignments=247817, nogoods=498, foundSolutions=4, bestBound=17
71.78/67.73
78.32/74.20 num=93, depth=155..228, filters=33854611, revisions=(90551199,useless=71164935), ccks=3792, wck=71.733, mem=80M877
78.32/74.20 decisions=1340513, wrong=661439, backtracks=624421, failedAssignments=272602, nogoods=509, foundSolutions=4, bestBound=17
78.32/74.20
85.43/81.35 num=94, depth=131..183, filters=37327458, revisions=(99970821,useless=78515180), ccks=3792, wck=78.887, mem=149M608
85.43/81.35 decisions=1478919, wrong=730566, backtracks=688416, failedAssignments=299866, nogoods=518, foundSolutions=4, bestBound=17
85.43/81.35
92.46/88.36 num=95, depth=182..226, filters=40546222, revisions=(109365359,useless=86228489), ccks=3792, wck=85.897, mem=80M60
92.46/88.36 decisions=1614663, wrong=798341, backtracks=751071, failedAssignments=329856, nogoods=526, foundSolutions=4, bestBound=17
92.46/88.36
102.40/98.21 num=96, depth=155..224, filters=45226711, revisions=(121069619,useless=95258533), ccks=3792, wck=95.745, mem=44M681
102.40/98.21 decisions=1774557, wrong=878201, backtracks=825790, failedAssignments=362845, nogoods=538, foundSolutions=4, bestBound=17
102.40/98.21
111.42/107.29 num=97, depth=182..243, filters=49666630, revisions=(132550562,useless=104211846), ccks=3792, wck=104.821, mem=131M109
111.42/107.29 decisions=1947753, wrong=964697, backtracks=907383, failedAssignments=399133, nogoods=549, foundSolutions=4, bestBound=17
111.42/107.29
122.93/118.78 num=98, depth=163..221, filters=55127155, revisions=(146768653,useless=115279273), ccks=3792, wck=116.308, mem=112M408
122.93/118.78 decisions=2125269, wrong=1053371, backtracks=991356, failedAssignments=439050, nogoods=556, foundSolutions=4, bestBound=17
122.93/118.78
134.14/129.97 num=99, depth=167..226, filters=60838062, revisions=(162103488,useless=127300485), ccks=3792, wck=127.501, mem=103M768
134.14/129.97 decisions=2335128, wrong=1158205, backtracks=1092768, failedAssignments=482959, nogoods=570, foundSolutions=4, bestBound=17
134.14/129.97
146.56/142.36 num=100, depth=181..241, filters=66932716, revisions=(176931720,useless=138663167), ccks=3792, wck=139.893, mem=102M757
146.56/142.36 decisions=2579296, wrong=1280186, backtracks=1208914, failedAssignments=531259, nogoods=575, foundSolutions=4, bestBound=17
146.56/142.36
158.38/154.17 num=101, depth=198..237, filters=72733474, revisions=(191777419,useless=150333763), ccks=3792, wck=151.705, mem=92M364
158.38/154.17 decisions=2820680, wrong=1400775, backtracks=1324893, failedAssignments=584389, nogoods=581, foundSolutions=4, bestBound=17
158.38/154.17
171.29/167.07 num=102, depth=142..189, filters=78910330, revisions=(208761430,useless=163833252), ccks=3792, wck=164.602, mem=96M21
171.29/167.07 decisions=3115749, wrong=1548233, backtracks=1469583, failedAssignments=642832, nogoods=589, foundSolutions=4, bestBound=17
171.29/167.07
186.59/182.34 num=103, depth=172..226, filters=86874092, revisions=(230019676,useless=180501838), ccks=3792, wck=179.878, mem=24M854
186.59/182.34 decisions=3417809, wrong=1699162, backtracks=1616213, failedAssignments=707119, nogoods=599, foundSolutions=4, bestBound=17
186.59/182.34
205.33/201.07 num=104, depth=184..234, filters=96230319, revisions=(253973441,useless=199178287), ccks=3792, wck=198.603, mem=90M846
205.33/201.07 decisions=3752766, wrong=1866540, backtracks=1774280, failedAssignments=777835, nogoods=613, foundSolutions=4, bestBound=17
205.33/201.07
225.24/220.92 num=105, depth=201..259, filters=105786850, revisions=(276258138,useless=216461756), ccks=3792, wck=218.453, mem=41M864
225.24/220.92 decisions=4132111, wrong=2056106, backtracks=1956886, failedAssignments=855622, nogoods=621, foundSolutions=4, bestBound=17
225.24/220.92
245.25/240.96 num=106, depth=194..237, filters=115792995, revisions=(302833982,useless=237616060), ccks=3792, wck=238.489, mem=117M463
245.25/240.96 decisions=4525354, wrong=2252626, backtracks=2128650, failedAssignments=941188, nogoods=634, foundSolutions=4, bestBound=17
245.25/240.96
271.77/267.44 num=107, depth=178..226, filters=128786487, revisions=(336568380,useless=264030587), ccks=3792, wck=264.974, mem=52M853
271.77/267.44 decisions=4971209, wrong=2475460, backtracks=2333238, failedAssignments=1035311, nogoods=642, foundSolutions=4, bestBound=17
271.77/267.44
297.99/293.61 num=108, depth=138..244, filters=141891502, revisions=(367910951,useless=288067737), ccks=3792, wck=291.144, mem=99M568
297.99/293.61 decisions=5454668, wrong=2717087, backtracks=2558527, failedAssignments=1138846, nogoods=654, foundSolutions=4, bestBound=17
297.99/293.61
329.12/324.77 num=109, depth=177..219, filters=157048242, revisions=(408038140,useless=319309099), ccks=3792, wck=322.304, mem=104M773
329.12/324.77 decisions=5913926, wrong=2946620, backtracks=2769450, failedAssignments=1252735, nogoods=665, foundSolutions=4, bestBound=17
329.12/324.77
365.35/360.99 num=110, depth=220..272, filters=175053955, revisions=(452309461,useless=353492614), ccks=3792, wck=358.524, mem=68M357
365.35/360.99 decisions=6497675, wrong=3238372, backtracks=3037627, failedAssignments=1378013, nogoods=680, foundSolutions=4, bestBound=17
365.35/360.99
396.59/392.11 num=111, depth=195..246, filters=190940303, revisions=(491786263,useless=384061462), ccks=3792, wck=389.644, mem=98M575
396.59/392.11 decisions=7113959, wrong=3546411, backtracks=3311337, failedAssignments=1515819, nogoods=687, foundSolutions=4, bestBound=17
396.59/392.11
439.54/435.05 num=112, depth=185..226, filters=210706345, revisions=(544209451,useless=424969566), ccks=3792, wck=432.58, mem=56M10
439.54/435.05 decisions=7821878, wrong=3900273, backtracks=3647994, failedAssignments=1667405, nogoods=695, foundSolutions=4, bestBound=17
439.54/435.05
484.47/479.96 num=113, depth=188..246, filters=232085497, revisions=(600130042,useless=468924758), ccks=3792, wck=477.496, mem=57M486
484.47/479.96 decisions=8617331, wrong=4297903, backtracks=4005840, failedAssignments=1834150, nogoods=707, foundSolutions=4, bestBound=17
484.47/479.96
523.31/518.75 num=114, depth=194..244, filters=252244564, revisions=(651190582,useless=508526017), ccks=3792, wck=516.284, mem=57M886
523.31/518.75 decisions=9412126, wrong=4695199, backtracks=4356864, failedAssignments=2017569, nogoods=721, foundSolutions=4, bestBound=17
523.31/518.75
565.56/560.96 num=115, depth=212..254, filters=273378217, revisions=(706883047,useless=552322638), ccks=3792, wck=558.495, mem=87M533
565.56/560.96 decisions=10290802, wrong=5134425, backtracks=4775305, failedAssignments=2219330, nogoods=730, foundSolutions=4, bestBound=17
565.56/560.96
616.82/612.18 num=116, depth=134..214, filters=297777887, revisions=(770475625,useless=602502973), ccks=3792, wck=609.712, mem=48M93
616.82/612.18 decisions=11390411, wrong=5684148, backtracks=5271605, failedAssignments=2441268, nogoods=739, foundSolutions=4, bestBound=17
616.82/612.18
677.27/672.59 num=117, depth=159..234, filters=327854273, revisions=(846155080,useless=661104036), ccks=3792, wck=670.118, mem=84M586
677.27/672.59 decisions=12469503, wrong=6223602, backtracks=5739378, failedAssignments=2685399, nogoods=756, foundSolutions=4, bestBound=17
677.27/672.59
745.06/740.22 num=118, depth=179..236, filters=362297551, revisions=(933550699,useless=730029032), ccks=3792, wck=737.753, mem=26M608
745.06/740.22 decisions=13849953, wrong=6913720, backtracks=6402414, failedAssignments=2953944, nogoods=762, foundSolutions=4, bestBound=17
745.06/740.22
814.34/809.40 num=119, depth=193..248, filters=395726922, revisions=(1019405826,useless=798929772), ccks=3792, wck=806.932, mem=28M540
814.34/809.40 decisions=15159398, wrong=7568339, backtracks=6995631, failedAssignments=3249343, nogoods=774, foundSolutions=4, bestBound=17
814.34/809.40
893.34/888.34 num=120, depth=134..194, filters=434106879, revisions=(1120377540,useless=878913448), ccks=3792, wck=885.871, mem=37M112
893.34/888.34 decisions=16621521, wrong=8299326, backtracks=7647812, failedAssignments=3574282, nogoods=782, foundSolutions=4, bestBound=17
893.34/888.34
985.56/980.44 num=121, depth=134..213, filters=477823519, revisions=(1236337763,useless=970269626), ccks=3792, wck=977.968, mem=65M242
985.56/980.44 decisions=18299090, wrong=9138036, backtracks=8360259, failedAssignments=3931715, nogoods=796, foundSolutions=4, bestBound=17
985.56/980.44
1081.58/1076.36 num=122, depth=182..279, filters=523807132, revisions=(1357061105,useless=1065349899), ccks=3792, wck=1073.894, mem=69M513
1081.58/1076.36 decisions=20077817, wrong=10027303, backtracks=9130066, failedAssignments=4324891, nogoods=804, foundSolutions=4, bestBound=17
1081.58/1076.36
1223.34/1217.97 num=123, depth=97..192, filters=590594106, revisions=(1536482560,useless=1201706394), ccks=3792, wck=1215.505, mem=57M657
1223.34/1217.97 decisions=22185333, wrong=11081003, backtracks=10098019, failedAssignments=4757385, nogoods=812, foundSolutions=4, bestBound=17
1223.34/1217.97
1330.87/1325.33 num=124, depth=169..226, filters=642810982, revisions=(1681849323,useless=1317588087), ccks=3792, wck=1322.868, mem=41M481
1330.87/1325.33 decisions=24389326, wrong=12182906, backtracks=11130624, failedAssignments=5233129, nogoods=821, foundSolutions=4, bestBound=17
1330.87/1325.33
1467.82/1462.16 num=125, depth=214..266, filters=709130900, revisions=(1863267721,useless=1462754623), ccks=3792, wck=1459.688, mem=27M457
1467.82/1462.16 decisions=26888766, wrong=13432512, backtracks=12290159, failedAssignments=5756447, nogoods=839, foundSolutions=4, bestBound=17
1467.82/1462.16
1632.39/1626.57 num=126, depth=181..242, filters=783855282, revisions=(2054572334,useless=1613176435), ccks=3792, wck=1624.106, mem=26M402
1632.39/1626.57 decisions=29902006, wrong=14939034, backtracks=13717926, failedAssignments=6332097, nogoods=849, foundSolutions=4, bestBound=17
1632.39/1626.57
1785.06/1779.09 num=127, depth=164..242, filters=856649500, revisions=(2235428347,useless=1755611966), ccks=3792, wck=1776.624, mem=51M275
1785.06/1779.09 decisions=32969394, wrong=16472633, backtracks=15120962, failedAssignments=6965312, nogoods=859, foundSolutions=4, bestBound=17
1785.06/1779.09
2006.65/2000.46 num=128, depth=217..271, filters=962873810, revisions=(2501757025,useless=1960911220), ccks=3792, wck=1997.996, mem=50M212
2006.65/2000.46 decisions=36384199, wrong=18179919, backtracks=16749590, failedAssignments=7661848, nogoods=869, foundSolutions=4, bestBound=17
2006.65/2000.46
2196.55/2190.12 num=129, depth=173..235, filters=1050929129, revisions=(2720304546,useless=2132798693), ccks=3792, wck=2187.652, mem=49M164
2196.55/2190.12 decisions=40274506, wrong=20124967, backtracks=18598891, failedAssignments=8428038, nogoods=879, foundSolutions=4, bestBound=17
2196.55/2190.12
2417.65/2411.01 num=130, depth=205..262, filters=1154211779, revisions=(2994218142,useless=2351323280), ccks=3792, wck=2408.545, mem=31M908
2417.65/2411.01 decisions=44055330, wrong=22015269, backtracks=20345080, failedAssignments=9270847, nogoods=887, foundSolutions=4, bestBound=17
2417.65/2411.01
2520.08/2513.30
2520.08/2513.30 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>
2520.08/2513.30 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 (13588 MiB free)
memory of node 1: 16384 MiB (15558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391003-1568387375/watcher-4391003-1568387375 -o /tmp/evaluation-result-4391003-1568387375/solver-4391003-1568387375 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25455 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391003-1568387375.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27806, runsolver pid=27803
[startup+0.102233 s]*
/proc/loadavg: 2.02 2.03 1.98 4/228 27821
/proc/meminfo: memFree=29829820/32770624 swapFree=66936380/67108860
[pid=27806] ppid=27803 vsize=10659884 memory=29124 CPUtime=0.15 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 5822 0 0 0 13 2 0 0 20 0 15 0 414995870 10915721216 7281 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2664971 7281 2920 1 0 2627468 0
[pid=27806/tid=27808] ppid=27803 vsize=10659884 memory=-8617482348318186131 CPUtime=0.1 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 25423 0 -1 4202560 3339 0 0 0 9 1 0 0 20 0 15 0 414995870 10915721216 7347 33554432000 4194304 4196468 140734477632032 140066331486688 140066327282845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 7413 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 7413 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 7413 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995872 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414995873 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065885300000 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414995873 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065884247664 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995875 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) R 27803 27806 25423 0 -1 4202560 417 0 0 0 0 0 0 0 20 0 15 0 414995875 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065882123848 140066319550301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) S 27803 27806 25423 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 414995875 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065881090032 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0.02 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) R 27803 27806 25423 0 -1 4202560 571 0 0 0 2 0 0 0 20 0 15 0 414995875 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065880034296 140066305629558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995876 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995876 10915721216 7413 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29124 KiB
[startup+0.210723 s]*
/proc/loadavg: 2.02 2.03 1.98 3/228 27821
/proc/meminfo: memFree=29822936/32770624 swapFree=66936380/67108860
[pid=27806] ppid=27803 vsize=10659884 memory=35264 CPUtime=0.32 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 6940 0 0 0 30 2 0 0 20 0 15 0 414995870 10915721216 8816 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2664971 8816 2990 1 0 2627468 0
[pid=27806/tid=27808] ppid=27803 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 25423 0 -1 4202560 3868 0 0 0 19 1 0 0 20 0 15 0 414995870 10915721216 8816 33554432000 4194304 4196468 140734477632032 140066331487280 140066327282845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 8816 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10659884 memory=140710083279568 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 8816 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 8816 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995872 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414995873 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065885300000 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414995873 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065884247664 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995875 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) S 27803 27806 25423 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 15 0 414995875 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065882142832 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) S 27803 27806 25423 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 414995875 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065881090032 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0.05 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) S 27803 27806 25423 0 -1 1077944384 674 0 0 0 5 0 0 0 20 0 15 0 414995875 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065880037744 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995876 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995876 10915721216 8816 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35264 KiB
[startup+0.310188 s]*
/proc/loadavg: 2.02 2.03 1.98 5/228 27821
/proc/meminfo: memFree=29815636/32770624 swapFree=66936380/67108860
[pid=27806] ppid=27803 vsize=10659884 memory=40380 CPUtime=0.48 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 9483 0 0 0 44 4 0 0 20 0 15 0 414995870 10915721216 10095 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2664971 10095 3002 1 0 2627468 0
[pid=27806/tid=27808] ppid=27803 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 25423 0 -1 4202560 6337 0 0 0 28 2 0 0 20 0 15 0 414995870 10915721216 10095 33554432000 4194304 4196468 140734477632032 140066331492720 140066327282845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10659884 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 10095 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10659884 memory=140710083279485 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 10095 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 10095 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995871 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995872 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414995873 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065885300000 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414995873 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065884247664 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995875 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) S 27803 27806 25423 0 -1 1077944384 620 0 0 0 3 0 0 0 20 0 15 0 414995875 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065882142832 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) S 27803 27806 25423 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 15 0 414995875 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065881090032 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0.07 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) S 27803 27806 25423 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 15 0 414995875 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065880037744 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995876 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10659884 memory=140710083253888 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995876 10915721216 10095 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40380 KiB
[startup+0.701576 s]
/proc/loadavg: 2.02 2.03 1.98 3/228 27821
/proc/meminfo: memFree=29808556/32770624 swapFree=66936380/67108860
[pid=27806] ppid=27803 vsize=10661932 memory=62528 CPUtime=1.09 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 12816 0 0 0 103 6 0 0 20 0 15 0 414995870 10917818368 15632 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2665483 15632 3074 1 0 2627980 0
[pid=27806/tid=27808] ppid=27803 vsize=10661932 memory=1412 CPUtime=0.68 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 25423 0 -1 4202560 8899 0 0 0 64 4 0 0 20 0 15 0 414995870 10917818368 15632 33554432000 4194304 4196468 140734477632032 140066331486800 140066313464964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10917818368 15632 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10661932 memory=7148 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10917818368 15632 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10917818368 15632 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10661932 memory=616 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995871 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995872 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10661932 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414995873 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065885300000 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10661932 memory=1136 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414995873 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065884247664 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10661932 memory=4639098309541127012 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995875 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10661932 memory=7811609364956278113 CPUtime=0.09 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) S 27803 27806 25423 0 -1 1077944384 789 0 0 0 9 0 0 0 20 0 15 0 414995875 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065882142832 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10661932 memory=5787213840016500561 CPUtime=0.11 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) R 27803 27806 25423 0 -1 4202560 676 0 0 0 11 0 0 0 20 0 15 0 414995875 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065881090032 140066305130880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) S 27803 27806 25423 0 -1 1077944384 1091 0 0 0 18 0 0 0 20 0 15 0 414995875 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065880037744 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414995876 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995876 10917818368 15632 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62528 KiB
[startup+1.50075 s]
/proc/loadavg: 2.02 2.03 1.98 3/227 27821
/proc/meminfo: memFree=29790928/32770624 swapFree=66936380/67108860
[pid=27806] ppid=27803 vsize=10663980 memory=74812 CPUtime=1.98 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 18326 0 0 0 191 7 0 0 20 0 15 0 414995870 10919915520 18703 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2665995 18703 3094 1 0 2628492 0
[pid=27806/tid=27808] ppid=27803 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) R 27803 27806 25423 0 -1 4202560 13058 0 0 0 143 5 0 0 20 0 15 0 414995870 10919915520 18703 33554432000 4194304 4196468 140734477632032 140066331486800 140066311341406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10919915520 18703 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10919915520 18703 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414995871 10919915520 18703 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414995871 10919915520 18703 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 414995872 10919915520 18703 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
################
# More data... #
################
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 6301 0 0 0 62 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.31 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 7299 0 0 0 28 3 0 0 20 0 16 0 414995872 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065885300064 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065884247680 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10748324 memory=1624 CPUtime=1.54 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) S 27803 27806 25423 0 -1 1077944384 9173 0 0 0 153 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065882142832 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10748324 memory=6791534058613427641 CPUtime=1.58 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) S 27803 27806 25423 0 -1 1077944384 5654 0 0 0 157 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065881090032 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10748324 memory=7235986556378244690 CPUtime=0.83 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) S 27803 27806 25423 0 -1 1077944384 11068 0 0 0 81 2 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065880037744 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.47 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1006 0 0 0 19 28 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27822] ppid=27803 vsize=10748324 memory=212088 CPUtime=2439.7 cores=1,3,5,7
/proc/27806/task/27822/stat : 27822 (java) R 27803 27806 25423 0 -1 4202560 19386 0 0 0 243966 4 0 0 20 0 16 0 414996058 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065793592976 140065954875834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 2448.98 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212088 KiB
[startup+2502.3 s]
/proc/loadavg: 0.94 0.93 1.23 2/206 28100
/proc/meminfo: memFree=31421204/32770624 swapFree=66936404/67108860
[pid=27806] ppid=27803 vsize=10748324 memory=212088 CPUtime=2509.07 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 96604 0 0 0 250853 54 0 0 20 0 16 0 414995870 11006283776 53022 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2687081 53022 3384 1 0 2647217 0
[pid=27806/tid=27808] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.86 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) S 27803 27806 25423 0 -1 1077944384 15310 0 0 0 179 7 0 0 20 0 16 0 414995870 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066331503792 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.66 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 9058 0 0 0 63 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.68 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 3982 0 0 0 66 2 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.67 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 6587 0 0 0 64 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.67 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 6327 0 0 0 64 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.32 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 7485 0 0 0 29 3 0 0 20 0 16 0 414995872 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065885300064 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065884247680 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10748324 memory=3624 CPUtime=1.54 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) S 27803 27806 25423 0 -1 1077944384 9175 0 0 0 153 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065882142832 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.58 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) S 27803 27806 25423 0 -1 1077944384 5656 0 0 0 157 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065881090032 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.83 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) S 27803 27806 25423 0 -1 1077944384 11070 0 0 0 81 2 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065880037744 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10748324 memory=100 CPUtime=0.48 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1018 0 0 0 20 28 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27822] ppid=27803 vsize=10748324 memory=0 CPUtime=2499.67 cores=1,3,5,7
/proc/27806/task/27822/stat : 27822 (java) R 27803 27806 25423 0 -1 4202560 19493 0 0 0 249963 4 0 0 20 0 16 0 414996058 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065793592976 140065954583808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 2509.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 0.95 0.93 1.23 2/206 28100
/proc/meminfo: memFree=31421080/32770624 swapFree=66936404/67108860
[pid=27806] ppid=27803 vsize=10748324 memory=212088 CPUtime=2520.08 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 96611 0 0 0 251954 54 0 0 20 0 16 0 414995870 11006283776 53022 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2687081 53022 3384 1 0 2647217 0
[pid=27806/tid=27808] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.86 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) S 27803 27806 25423 0 -1 1077944384 15310 0 0 0 179 7 0 0 20 0 16 0 414995870 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066331503792 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.66 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 9058 0 0 0 63 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.68 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 3982 0 0 0 66 2 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.67 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 6587 0 0 0 64 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.67 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 6327 0 0 0 64 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.32 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 7487 0 0 0 29 3 0 0 20 0 16 0 414995872 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065885300064 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065884247680 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10748324 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.54 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) S 27803 27806 25423 0 -1 1077944384 9175 0 0 0 153 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065882142832 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.58 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) S 27803 27806 25423 0 -1 1077944384 5656 0 0 0 157 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065881090032 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.83 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) S 27803 27806 25423 0 -1 1077944384 11070 0 0 0 81 2 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065880037744 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10748324 memory=31 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.48 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1018 0 0 0 20 28 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27822] ppid=27803 vsize=10748324 memory=212088 CPUtime=2510.67 cores=1,3,5,7
/proc/27806/task/27822/stat : 27822 (java) R 27803 27806 25423 0 -1 4202560 19498 0 0 0 251063 4 0 0 20 0 16 0 414996058 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065793593088 140065954581860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.32 s]
# the end of solver process 27806 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.55 s, system=0.542172 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 0.95 0.93 1.23 2/206 28100
/proc/meminfo: memFree=31421080/32770624 swapFree=66936404/67108860
[pid=27806] ppid=27803 vsize=10748324 memory=212088 CPUtime=2520.08 cores=1,3,5,7
/proc/27806/stat : 27806 (java) S 27803 27806 25423 0 -1 1077944320 96611 0 0 0 251954 54 0 0 20 0 16 0 414995870 11006283776 53022 33554432000 4194304 4196468 140734477632032 140734477614576 140066327260919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
/proc/27806/statm: 2687081 53022 3384 1 0 2647217 0
[pid=27806/tid=27808] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.86 cores=1,3,5,7
/proc/27806/task/27808/stat : 27808 (java) S 27803 27806 25423 0 -1 1077944384 15310 0 0 0 179 7 0 0 20 0 16 0 414995870 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066331503792 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27809] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.66 cores=1,3,5,7
/proc/27806/task/27809/stat : 27809 (java) S 27803 27806 25423 0 -1 1077944384 9058 0 0 0 63 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066269264272 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27810] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.68 cores=1,3,5,7
/proc/27806/task/27810/stat : 27810 (java) S 27803 27806 25423 0 -1 1077944384 3982 0 0 0 66 2 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066268211472 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27811] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.67 cores=1,3,5,7
/proc/27806/task/27811/stat : 27811 (java) S 27803 27806 25423 0 -1 1077944384 6587 0 0 0 64 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140066267159184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27812] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.67 cores=1,3,5,7
/proc/27806/task/27812/stat : 27812 (java) S 27803 27806 25423 0 -1 1077944384 6327 0 0 0 64 3 0 0 20 0 16 0 414995871 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065930795536 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27813] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.32 cores=1,3,5,7
/proc/27806/task/27813/stat : 27813 (java) S 27803 27806 25423 0 -1 1077944384 7487 0 0 0 29 3 0 0 20 0 16 0 414995872 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065886354032 140066327272066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27814] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27814/stat : 27814 (java) S 27803 27806 25423 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065885300064 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27815] ppid=27803 vsize=10748324 memory=212088 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27815/stat : 27815 (java) S 27803 27806 25423 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 414995873 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065884247680 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27816] ppid=27803 vsize=10748324 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27816/stat : 27816 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065883195984 140066327279515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27817] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.54 cores=1,3,5,7
/proc/27806/task/27817/stat : 27817 (java) S 27803 27806 25423 0 -1 1077944384 9175 0 0 0 153 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065882142832 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27818] ppid=27803 vsize=10748324 memory=212088 CPUtime=1.58 cores=1,3,5,7
/proc/27806/task/27818/stat : 27818 (java) S 27803 27806 25423 0 -1 1077944384 5656 0 0 0 157 1 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065881090032 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27819] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.83 cores=1,3,5,7
/proc/27806/task/27819/stat : 27819 (java) S 27803 27806 25423 0 -1 1077944384 11070 0 0 0 81 2 0 0 20 0 16 0 414995875 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065880037744 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27820] ppid=27803 vsize=10748324 memory=31 CPUtime=0 cores=1,3,5,7
/proc/27806/task/27820/stat : 27820 (java) S 27803 27806 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065878985184 140066327271125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27821] ppid=27803 vsize=10748324 memory=212088 CPUtime=0.48 cores=1,3,5,7
/proc/27806/task/27821/stat : 27821 (java) S 27803 27806 25423 0 -1 1077944384 1018 0 0 0 20 28 0 0 20 0 16 0 414995876 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065877932976 140066327272066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
[pid=27806/tid=27822] ppid=27803 vsize=10748324 memory=212088 CPUtime=2510.67 cores=1,3,5,7
/proc/27806/task/27822/stat : 27822 (java) R 27803 27806 25423 0 -1 4202560 19498 0 0 0 251063 4 0 0 20 0 16 0 414996058 11006283776 53022 33554432000 4194304 4196468 140734477632032 140065793593088 140065954581860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16842752 140734477636619 140734477636722 140734477636722 140734477639631 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212088 KiB
Child status: 143
Real time (s): 2513.32
CPU time (s): 2520.09
CPU user time (s): 2519.55
CPU system time (s): 0.542172
CPU usage (%): 100.27
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 282700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.55
system time used= 0.542172
maximum resident set size= 282704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97054
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63391
involuntary context switches= 861
# summary of solver processes directly reported to runsolver:
# pid: 27806
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.55
# total CPU system time (s): 0.542172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2619 second user time and 22.8906 second system time
The end