Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | SAT (TO) | 48151 | 2400.1 | 2387.61 |
Name | NurseRostering/ NurseRostering-18_c18.xml |
MD5SUM | 2080050c46f9199df44cd86a0d29de9d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 48151 |
Best CPU time to get the best result obtained on this benchmark | 2400.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3286 |
Number of constraints | 8967 |
Number of domains | 16 |
Minimum domain size | 1 |
Maximum domain size | 85 |
Distribution of domain sizes | [{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 176 |
Distribution of constraint arities | [{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}] |
Number of extensional constraints | 2162 |
Number of intensional constraints | 986 |
Distribution of constraint types | [{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
2.41/1.89 2.41/1.89 AbsCon 2 2.64/1.90 4.31/2.46 Instance 4.31/2.46 name=instance-4391344-1568391584, framework=COP, bounds=-infty..+infty 4.31/2.46 4.31/2.46 Loading variables... 4.67/2.55 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eabca30 6.13/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fa5f578 6.13/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35a4c8d0 6.13/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1756f 6.13/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cc71b8a 6.13/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d241dd5 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6340abbb 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@555ab319 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5baa325e 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d28ecc9 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b3a5 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15844cce 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8753d97 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@552097e3 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510d0df4 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d4e6e8 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291de74c 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@868c1a7 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f3e3105 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6272a182 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f7d0f2 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b8098a9 6.13/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bcf754 6.13/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aa11e6a 6.13/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2064e97f 6.13/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53aa1eb2 6.13/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dc3aae3 6.13/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7355f348 6.13/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5884ba0f 6.13/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f783f9 6.13/2.97 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567b1646 6.13/2.98 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72923190 6.13/2.98 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fff20cb 6.13/2.99 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d2ff5b 6.13/2.99 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9634961 6.13/2.99 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff4bb77 6.13/2.99 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b2560f 6.13/3.00 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d01a0dc 6.13/3.00 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c52ffd 6.13/3.00 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19f06b69 6.46/3.01 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75294e86 6.46/3.01 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d9adb0 6.46/3.01 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e1d016e 6.46/3.01 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452b6293 8.37/3.66 8.37/3.66 8.37/3.66 Domains 8.37/3.66 nTypes=16, nValues=28084, sizes=[1#96,2#678,4#1848,23#588,41#2,44#16,85#58] 8.37/3.66 Variables 8.37/3.66 count=3286, degrees=[1#22,2#1152,3#264,13#19...21#189,22#776,23#573,24#149] 8.37/3.66 Objectives 8.37/3.66 way=min, type=SumSimpleLE 8.37/3.66 Constraints 8.37/3.66 count=9143, nSpecific=5819, arities=[1#176,2#3148,3#3630,5#320...12#22,23#336,85#88,750#1] 8.37/3.66 distribution=[AtLeast1#1742,CtrExtensionMDD-MDD#3630,CtrExtensionV-Bits#2162,CtrIntension#1162,ExactlyKVariable#424,SumSimpleLE#23] 8.37/3.66 nExtStructures=(3660,shared:2132), nIntStructures=(21,shared:1141), nCftStructures=(50,shared:3098,unbuilt:5995) 8.37/3.66 wck=1.804, cpu=3.589, mem=98M172 9.22/3.91 Solver SolverBacktrack being built... 9.22/3.91 9.22/3.97 9.22/3.97 Solver 9.22/3.97 guaranteedGAC=true 9.22/3.97 wck=2.111, cpu=3.846, mem=224M91 9.78/4.15 9.78/4.15 Preprocessing 9.78/4.15 filters=1663, revisions=(1729,useless=1302), ccks=1925, nACremovedValues=5888, nTotalRemovedValues=5888, inconcistency=false 9.78/4.15 wck=0.184, cpu=4.033, mem=228M423 9.78/4.15 11.29/4.67 num=0, depth=940..950, filters=13822, revisions=(8244,useless=3817), ccks=3226, wck=0.705, mem=228M423 11.29/4.67 decisions=980, wrong=20, backtracks=10, failedAssignments=10, nogoods=1 11.29/4.67 12.20/4.98 num=1, depth=28..845, filters=24484, revisions=(13952,useless=6014), ccks=3859, wck=1.008, mem=228M423 12.20/4.98 decisions=1854, wrong=40, backtracks=19, failedAssignments=21, nogoods=4 12.20/4.98 12.20/5.00 num=2, depth=6..34, filters=25184, revisions=(14483,useless=6376), ccks=3942, wck=1.028, mem=228M423 12.20/5.00 decisions=1927, wrong=65, backtracks=39, failedAssignments=33, nogoods=11 12.20/5.00 12.53/5.01 num=3, depth=8..29, filters=25659, revisions=(14840,useless=6629), ccks=3972, wck=1.044, mem=228M423 12.53/5.01 decisions=1985, wrong=84, backtracks=52, failedAssignments=46, nogoods=15 12.53/5.01 12.53/5.03 num=4, depth=8..34, filters=26366, revisions=(15420,useless=7041), ccks=4067, wck=1.062, mem=228M423 12.53/5.03 decisions=2054, wrong=108, backtracks=70, failedAssignments=60, nogoods=21 12.53/5.03 12.53/5.05 num=5, depth=17..30, filters=26990, revisions=(15889,useless=7366), ccks=4122, wck=1.081, mem=228M423 12.53/5.05 decisions=2132, wrong=136, backtracks=91, failedAssignments=76, nogoods=28 12.53/5.05 12.53/5.07 num=6, depth=22..31, filters=27863, revisions=(16577,useless=7833), ccks=4226, wck=1.103, mem=228M423 12.53/5.07 decisions=2213, wrong=164, backtracks=116, failedAssignments=93, nogoods=31 12.53/5.07 12.53/5.09 num=7, depth=22..29, filters=28598, revisions=(17081,useless=8172), ccks=4274, wck=1.122, mem=228M423 12.53/5.09 decisions=2294, wrong=193, backtracks=139, failedAssignments=112, nogoods=34 12.53/5.09 12.84/5.11 num=8, depth=28..38, filters=29492, revisions=(17752,useless=8649), ccks=4340, wck=1.145, mem=228M423 12.84/5.11 decisions=2404, wrong=233, backtracks=172, failedAssignments=133, nogoods=40 12.84/5.11 12.84/5.14 num=9, depth=22..33, filters=30610, revisions=(18625,useless=9220), ccks=4482, wck=1.17, mem=228M423 12.84/5.14 decisions=2502, wrong=268, backtracks=197, failedAssignments=156, nogoods=46 12.84/5.14 12.84/5.16 num=10, depth=14..36, filters=31634, revisions=(19383,useless=9712), ccks=4611, wck=1.193, mem=228M423 12.84/5.16 decisions=2603, wrong=304, backtracks=224, failedAssignments=181, nogoods=52 12.84/5.16 12.84/5.19 num=11, depth=8..34, filters=32887, revisions=(20320,useless=10372), ccks=4728, wck=1.222, mem=228M423 12.84/5.19 decisions=2735, wrong=356, backtracks=266, failedAssignments=209, nogoods=57 12.84/5.19 13.12/5.22 num=12, depth=5..35, filters=34656, revisions=(21601,useless=11304), ccks=4879, wck=1.254, mem=228M423 13.12/5.22 decisions=2904, wrong=428, backtracks=325, failedAssignments=240, nogoods=63 13.12/5.22 13.12/5.25 num=13, depth=17..33, filters=36154, revisions=(22781,useless=12198), ccks=5001, wck=1.284, mem=228M423 13.12/5.25 decisions=3062, wrong=495, backtracks=386, failedAssignments=274, nogoods=69 13.12/5.25 13.12/5.28 num=14, depth=11..36, filters=37316, revisions=(23721,useless=12835), ccks=5154, wck=1.31, mem=228M423 13.12/5.28 decisions=3187, wrong=546, backtracks=433, failedAssignments=311, nogoods=72 13.12/5.28 13.42/5.31 num=15, depth=18..33, filters=38893, revisions=(24931,useless=13707), ccks=5293, wck=1.346, mem=228M423 13.42/5.31 decisions=3379, wrong=629, backtracks=505, failedAssignments=352, nogoods=79 13.42/5.31 13.42/5.35 num=16, depth=14..36, filters=40801, revisions=(26386,useless=14725), ccks=5530, wck=1.385, mem=228M423 13.42/5.35 decisions=3591, wrong=723, backtracks=583, failedAssignments=397, nogoods=90 13.42/5.35 13.42/5.40 num=17, depth=11..36, filters=42901, revisions=(28069,useless=15894), ccks=5792, wck=1.428, mem=228M423 13.42/5.40 decisions=3792, wrong=812, backtracks=661, failedAssignments=447, nogoods=98 13.42/5.40 13.72/5.44 num=18, depth=16..33, filters=45657, revisions=(30032,useless=17306), ccks=6037, wck=1.474, mem=228M423 13.72/5.44 decisions=4039, wrong=926, backtracks=759, failedAssignments=502, nogoods=104 13.72/5.44 13.72/5.48 num=19, depth=18..34, filters=47907, revisions=(31834,useless=18557), ccks=6326, wck=1.515, mem=228M423 13.72/5.48 decisions=4272, wrong=1030, backtracks=848, failedAssignments=563, nogoods=111 13.72/5.48 14.02/5.53 num=20, depth=21..35, filters=50626, revisions=(33789,useless=19909), ccks=6637, wck=1.564, mem=228M423 14.02/5.53 decisions=4572, wrong=1169, backtracks=970, failedAssignments=630, nogoods=118 14.02/5.53 14.02/5.58 num=21, depth=24..40, filters=52898, revisions=(35454,useless=21137), ccks=6796, wck=1.609, mem=228M423 14.02/5.58 decisions=4845, wrong=1291, backtracks=1072, failedAssignments=704, nogoods=127 14.02/5.58 14.32/5.63 num=22, depth=15..37, filters=55788, revisions=(37788,useless=22777), ccks=7149, wck=1.66, mem=228M423 14.32/5.63 decisions=5155, wrong=1434, backtracks=1191, failedAssignments=785, nogoods=138 14.32/5.63 14.32/5.69 num=23, depth=20..34, filters=60025, revisions=(40509,useless=24750), ccks=7444, wck=1.726, mem=228M423 14.32/5.69 decisions=5559, wrong=1625, backtracks=1355, failedAssignments=874, nogoods=142 14.32/5.69 14.61/5.75 num=24, depth=16..43, filters=63440, revisions=(43386,useless=26824), ccks=7858, wck=1.785, mem=228M423 14.61/5.75 decisions=5963, wrong=1815, backtracks=1512, failedAssignments=972, nogoods=151 14.61/5.75 14.82/5.82 num=25, depth=11..38, filters=67878, revisions=(46937,useless=29386), ccks=8397, wck=1.85, mem=228M423 14.82/5.82 decisions=6395, wrong=2018, backtracks=1689, failedAssignments=1080, nogoods=159 14.82/5.82 14.82/5.89 num=26, depth=21..37, filters=71504, revisions=(49622,useless=31251), ccks=8751, wck=1.92, mem=228M423 14.82/5.89 decisions=6890, wrong=2254, backtracks=1899, failedAssignments=1199, nogoods=166 14.82/5.89 15.48/6.19 o 50989 16.32/6.40 num=27, depth=11..3285, filters=86686, revisions=(57929,useless=34654), ccks=18888, wck=2.432, mem=232M755 16.32/6.40 decisions=8161, wrong=2294, backtracks=1930, failedAssignments=1224, nogoods=172, foundSolutions=1, bestBound=50989 16.32/6.40 17.38/6.89 num=28, depth=26..580, filters=97720, revisions=(65973,useless=39943), ccks=19678, wck=2.923, mem=232M755 17.38/6.89 decisions=9312, wrong=2608, backtracks=2146, failedAssignments=1368, nogoods=176, foundSolutions=1, bestBound=50989 17.38/6.89 18.01/7.28 o 50585 18.32/7.47 num=29, depth=44..3285, filters=112179, revisions=(73802,useless=42983), ccks=29694, wck=3.505, mem=237M87 18.32/7.47 decisions=10501, wrong=2612, backtracks=2146, failedAssignments=1372, nogoods=180, foundSolutions=2, bestBound=50585 18.32/7.47 18.84/7.95 o 50584 19.16/8.14 num=30, depth=1146..3285, filters=126650, revisions=(83329,useless=47723), ccks=39872, wck=4.176, mem=237M87 19.16/8.14 decisions=11685, wrong=2614, backtracks=2146, failedAssignments=1374, nogoods=182, foundSolutions=3, bestBound=50584 19.16/8.14 19.65/8.68 num=31, depth=1081..1123, filters=140884, revisions=(92703,useless=52425), ccks=40948, wck=4.717, mem=237M87 19.65/8.68 decisions=12826, wrong=2625, backtracks=2146, failedAssignments=1385, nogoods=193, foundSolutions=3, bestBound=50584 19.65/8.68 19.87/8.83 num=32, depth=155..256, filters=145148, revisions=(95700,useless=53891), ccks=41451, wck=4.859, mem=237M87 19.87/8.83 decisions=13105, wrong=2640, backtracks=2150, failedAssignments=1396, nogoods=202, foundSolutions=3, bestBound=50584 19.87/8.83 19.97/8.93 num=33, depth=102..177, filters=148025, revisions=(97806,useless=54874), ccks=41749, wck=4.959, mem=237M87 19.97/8.93 decisions=13309, wrong=2655, backtracks=2153, failedAssignments=1408, nogoods=214, foundSolutions=3, bestBound=50584 19.97/8.93 20.08/9.03 num=34, depth=80..183, filters=151033, revisions=(99952,useless=55872), ccks=42034, wck=5.062, mem=237M87 20.08/9.03 decisions=13526, wrong=2673, backtracks=2158, failedAssignments=1421, nogoods=226, foundSolutions=3, bestBound=50584 20.08/9.03 20.38/9.40 num=35, depth=125..848, filters=162243, revisions=(106598,useless=58609), ccks=42833, wck=5.429, mem=237M87 20.38/9.40 decisions=14395, wrong=2687, backtracks=2158, failedAssignments=1435, nogoods=240, foundSolutions=3, bestBound=50584 20.38/9.40 20.78/9.77 num=36, depth=209..845, filters=173720, revisions=(113363,useless=61394), ccks=43639, wck=5.799, mem=237M87 20.78/9.77 decisions=15279, wrong=2714, backtracks=2169, failedAssignments=1451, nogoods=247, foundSolutions=3, bestBound=50584 20.78/9.77 21.20/10.15 o 49362 21.41/10.34 num=37, depth=181..3285, filters=188128, revisions=(121582,useless=64713), ccks=53772, wck=6.372, mem=241M419 21.41/10.34 decisions=16396, wrong=2723, backtracks=2171, failedAssignments=1458, nogoods=254, foundSolutions=4, bestBound=49362 21.41/10.34 21.91/10.87 num=38, depth=122..1043, filters=202224, revisions=(131341,useless=69659), ccks=54943, wck=6.905, mem=241M419 21.91/10.87 decisions=17482, wrong=2753, backtracks=2182, failedAssignments=1477, nogoods=263, foundSolutions=4, bestBound=49362 21.91/10.87 22.32/11.28 num=39, depth=684..988, filters=215688, revisions=(138999,useless=72730), ccks=55859, wck=7.315, mem=241M419 22.32/11.28 decisions=18500, wrong=2773, backtracks=2191, failedAssignments=1488, nogoods=266, foundSolutions=4, bestBound=49362 22.32/11.28 22.42/11.37 num=40, depth=159..173, filters=218741, revisions=(141114,useless=73926), ccks=56075, wck=7.406, mem=241M419 22.42/11.37 decisions=18719, wrong=2799, backtracks=2206, failedAssignments=1500, nogoods=268, foundSolutions=4, bestBound=49362 22.42/11.37 22.52/11.47 num=41, depth=149..179, filters=221738, revisions=(142992,useless=74858), ccks=56259, wck=7.502, mem=241M419 22.52/11.47 decisions=18957, wrong=2831, backtracks=2234, failedAssignments=1513, nogoods=271, foundSolutions=4, bestBound=49362 22.52/11.47 22.63/11.54 num=42, depth=132..143, filters=223835, revisions=(144210,useless=75339), ccks=56419, wck=7.575, mem=241M419 22.63/11.54 decisions=19140, wrong=2856, backtracks=2245, failedAssignments=1527, nogoods=274, foundSolutions=4, bestBound=49362 22.63/11.54 22.73/11.62 num=43, depth=143..159, filters=226092, revisions=(145541,useless=75882), ccks=56546, wck=7.654, mem=241M419 22.73/11.62 decisions=19337, wrong=2878, backtracks=2251, failedAssignments=1543, nogoods=281, foundSolutions=4, bestBound=49362 22.73/11.62 22.83/11.70 num=44, depth=56..156, filters=228266, revisions=(146815,useless=76391), ccks=56672, wck=7.73, mem=241M419 22.83/11.70 decisions=19529, wrong=2900, backtracks=2256, failedAssignments=1560, nogoods=289, foundSolutions=4, bestBound=49362 22.83/11.70 22.83/11.78 num=45, depth=82..154, filters=230634, revisions=(148161,useless=76946), ccks=56798, wck=7.812, mem=241M419 22.83/11.78 decisions=19743, wrong=2936, backtracks=2276, failedAssignments=1579, nogoods=293, foundSolutions=4, bestBound=49362 22.83/11.78 22.94/11.85 num=46, depth=74..141, filters=232858, revisions=(149451,useless=77499), ccks=56949, wck=7.884, mem=241M419 22.94/11.85 decisions=19944, wrong=2971, backtracks=2290, failedAssignments=1600, nogoods=304, foundSolutions=4, bestBound=49362 22.94/11.85 23.34/12.23 o 48152 23.56/12.42 num=47, depth=78..3285, filters=247226, revisions=(157634,useless=80779), ccks=67046, wck=8.449, mem=241M419 23.56/12.42 decisions=21045, wrong=2972, backtracks=2290, failedAssignments=1601, nogoods=305, foundSolutions=5, bestBound=48152 23.56/12.42 23.66/12.58 num=48, depth=77..122, filters=249277, revisions=(160466,useless=82987), ccks=67349, wck=8.614, mem=241M419 23.66/12.58 decisions=21240, wrong=3020, backtracks=2313, failedAssignments=1626, nogoods=310, foundSolutions=5, bestBound=48152 23.66/12.58 23.76/12.63 num=49, depth=92..96, filters=250806, revisions=(161360,useless=83350), ccks=67465, wck=8.664, mem=241M419 23.76/12.63 decisions=21378, wrong=3043, backtracks=2325, failedAssignments=1637, nogoods=312, foundSolutions=5, bestBound=48152 23.76/12.63 23.76/12.68 num=50, depth=75..99, filters=252329, revisions=(162221,useless=83705), ccks=67560, wck=8.714, mem=241M419 23.76/12.68 decisions=21519, wrong=3066, backtracks=2336, failedAssignments=1649, nogoods=319, foundSolutions=5, bestBound=48152 23.76/12.68 23.86/12.73 num=51, depth=69..89, filters=253887, revisions=(163275,useless=84232), ccks=67733, wck=8.76, mem=241M419 23.86/12.73 decisions=21648, wrong=3088, backtracks=2345, failedAssignments=1662, nogoods=328, foundSolutions=5, bestBound=48152 23.86/12.73 23.86/12.77 num=52, depth=69..91, filters=255331, revisions=(164177,useless=84654), ccks=67831, wck=8.806, mem=241M419 23.86/12.77 decisions=21788, wrong=3115, backtracks=2359, failedAssignments=1676, nogoods=333, foundSolutions=5, bestBound=48152 23.86/12.77 23.96/12.82 num=53, depth=61..92, filters=256749, revisions=(165058,useless=85066), ccks=67932, wck=8.851, mem=241M419 23.96/12.82 decisions=21929, wrong=3144, backtracks=2373, failedAssignments=1692, nogoods=339, foundSolutions=5, bestBound=48152 23.96/12.82 23.96/12.86 num=54, depth=49..91, filters=258200, revisions=(165967,useless=85500), ccks=68028, wck=8.896, mem=241M419 23.96/12.86 decisions=22073, wrong=3174, backtracks=2388, failedAssignments=1709, nogoods=347, foundSolutions=5, bestBound=48152 23.96/12.86 24.36/13.24 o 48151 24.57/13.43 num=55, depth=1076..3285, filters=272664, revisions=(174186,useless=88801), ccks=78125, wck=9.466, mem=245M751 24.57/13.43 decisions=23178, wrong=3179, backtracks=2390, failedAssignments=1712, nogoods=348, foundSolutions=6, bestBound=48151 24.57/13.43 24.67/13.59 num=56, depth=93..97, filters=274332, revisions=(176755,useless=90867), ccks=78381, wck=9.626, mem=245M751 24.67/13.59 decisions=23354, wrong=3221, backtracks=2412, failedAssignments=1733, nogoods=350, foundSolutions=6, bestBound=48151 24.67/13.59 24.79/13.64 num=57, depth=89..94, filters=275846, revisions=(177625,useless=91242), ccks=78466, wck=9.674, mem=245M751 24.79/13.64 decisions=23488, wrong=3243, backtracks=2424, failedAssignments=1744, nogoods=354, foundSolutions=6, bestBound=48151 24.79/13.64 24.79/13.69 num=58, depth=62..94, filters=277240, revisions=(178462,useless=91598), ccks=78557, wck=9.721, mem=245M751 24.79/13.69 decisions=23612, wrong=3260, backtracks=2430, failedAssignments=1756, nogoods=362, foundSolutions=6, bestBound=48151 24.79/13.69 25.09/13.96 num=59, depth=78..583, filters=284923, revisions=(183664,useless=93812), ccks=79696, wck=9.991, mem=245M751 25.09/13.96 decisions=24219, wrong=3273, backtracks=2430, failedAssignments=1769, nogoods=375, foundSolutions=6, bestBound=48151 25.09/13.96 25.20/14.01 num=60, depth=91..95, filters=286510, revisions=(184546,useless=94182), ccks=79761, wck=10.043, mem=245M751 25.20/14.01 decisions=24368, wrong=3300, backtracks=2443, failedAssignments=1783, nogoods=377, foundSolutions=6, bestBound=48151 25.20/14.01 25.20/14.06 num=61, depth=83..89, filters=287930, revisions=(185422,useless=94594), ccks=79841, wck=10.089, mem=245M751 25.20/14.06 decisions=24511, wrong=3327, backtracks=2456, failedAssignments=1799, nogoods=383, foundSolutions=6, bestBound=48151 25.20/14.06 25.20/14.10 num=62, depth=83..90, filters=289389, revisions=(186275,useless=94989), ccks=79918, wck=10.136, mem=245M751 25.20/14.10 decisions=24660, wrong=3358, backtracks=2470, failedAssignments=1816, nogoods=395, foundSolutions=6, bestBound=48151 25.20/14.10 25.30/14.15 num=63, depth=85..92, filters=290852, revisions=(187181,useless=95415), ccks=80015, wck=10.184, mem=245M751 25.30/14.15 decisions=24812, wrong=3390, backtracks=2488, failedAssignments=1835, nogoods=404, foundSolutions=6, bestBound=48151 25.30/14.15 25.42/14.20 num=64, depth=88..92, filters=292527, revisions=(188093,useless=95832), ccks=80102, wck=10.237, mem=245M751 25.42/14.20 decisions=24992, wrong=3435, backtracks=2513, failedAssignments=1856, nogoods=409, foundSolutions=6, bestBound=48151 25.42/14.20 25.42/14.25 num=65, depth=83..89, filters=294137, revisions=(188980,useless=96231), ccks=80201, wck=10.285, mem=245M751 25.42/14.25 decisions=25170, wrong=3482, backtracks=2539, failedAssignments=1879, nogoods=412, foundSolutions=6, bestBound=48151 25.42/14.25 25.52/14.30 num=66, depth=79..86, filters=295909, revisions=(190028,useless=96760), ccks=80312, wck=10.337, mem=245M751 25.52/14.30 decisions=25361, wrong=3537, backtracks=2573, failedAssignments=1904, nogoods=416, foundSolutions=6, bestBound=48151 25.52/14.30 25.52/14.36 num=67, depth=88..93, filters=297771, revisions=(191006,useless=97193), ccks=80450, wck=10.391, mem=245M751 25.52/14.36 decisions=25578, wrong=3601, backtracks=2611, failedAssignments=1932, nogoods=421, foundSolutions=6, bestBound=48151 25.52/14.36 25.62/14.41 num=68, depth=84..89, filters=299481, revisions=(191903,useless=97600), ccks=80555, wck=10.439, mem=245M751 25.62/14.41 decisions=25770, wrong=3655, backtracks=2634, failedAssignments=1963, nogoods=431, foundSolutions=6, bestBound=48151 25.62/14.41 25.94/14.70 num=69, depth=275..586, filters=310220, revisions=(199445,useless=101231), ccks=82815, wck=10.736, mem=245M751 25.94/14.70 decisions=26470, wrong=3716, backtracks=2661, failedAssignments=1997, nogoods=439, foundSolutions=6, bestBound=48151 25.94/14.70 25.94/14.76 num=70, depth=88..94, filters=312351, revisions=(200560,useless=101734), ccks=82969, wck=10.796, mem=245M751 25.94/14.76 decisions=26719, wrong=3796, backtracks=2704, failedAssignments=2034, nogoods=448, foundSolutions=6, bestBound=48151 25.94/14.76 26.25/15.07 num=71, depth=74..619, filters=321747, revisions=(207104,useless=104709), ccks=84351, wck=11.098, mem=245M751 26.25/15.07 decisions=27437, wrong=3863, backtracks=2732, failedAssignments=2075, nogoods=460, foundSolutions=6, bestBound=48151 26.25/15.07 26.25/15.10 num=72, depth=25..37, filters=323540, revisions=(208475,useless=105652), ccks=84598, wck=11.137, mem=245M751 26.25/15.10 decisions=27617, wrong=3939, backtracks=2799, failedAssignments=2120, nogoods=465, foundSolutions=6, bestBound=48151 26.25/15.10 26.38/15.15 num=73, depth=14..33, filters=325649, revisions=(209845,useless=106644), ccks=84720, wck=11.184, mem=245M751 26.38/15.15 decisions=27861, wrong=4050, backtracks=2890, failedAssignments=2170, nogoods=470, foundSolutions=6, bestBound=48151 26.38/15.15 26.47/15.20 num=74, depth=21..32, filters=327797, revisions=(211539,useless=107867), ccks=84930, wck=11.229, mem=245M751 26.47/15.20 decisions=28069, wrong=4141, backtracks=2971, failedAssignments=2225, nogoods=475, foundSolutions=6, bestBound=48151 26.47/15.20 26.47/15.24 num=75, depth=21..35, filters=329955, revisions=(213285,useless=109078), ccks=85205, wck=11.277, mem=245M751 26.47/15.24 decisions=28293, wrong=4241, backtracks=3053, failedAssignments=2286, nogoods=483, foundSolutions=6, bestBound=48151 26.47/15.24 26.57/15.30 num=76, depth=19..32, filters=332430, revisions=(214857,useless=110127), ccks=85432, wck=11.337, mem=245M751 26.57/15.30 decisions=28576, wrong=4371, backtracks=3170, failedAssignments=2353, nogoods=489, foundSolutions=6, bestBound=48151 26.57/15.30 26.57/15.37 num=77, depth=13..35, filters=335494, revisions=(217269,useless=111882), ccks=85776, wck=11.399, mem=245M751 26.57/15.37 decisions=28873, wrong=4509, backtracks=3294, failedAssignments=2427, nogoods=499, foundSolutions=6, bestBound=48151 26.57/15.37 26.67/15.43 num=78, depth=19..36, filters=338789, revisions=(219948,useless=113812), ccks=86209, wck=11.462, mem=245M751 26.67/15.43 decisions=29186, wrong=4655, backtracks=3431, failedAssignments=2508, nogoods=504, foundSolutions=6, bestBound=48151 26.67/15.43 26.77/15.50 num=79, depth=17..31, filters=342271, revisions=(222680,useless=115815), ccks=86505, wck=11.536, mem=245M751 26.77/15.50 decisions=29553, wrong=4828, backtracks=3576, failedAssignments=2597, nogoods=510, foundSolutions=6, bestBound=48151 26.77/15.50 26.77/15.58 num=80, depth=10..37, filters=346362, revisions=(225925,useless=118249), ccks=86860, wck=11.616, mem=245M751 26.77/15.58 decisions=29964, wrong=5022, backtracks=3750, failedAssignments=2695, nogoods=521, foundSolutions=6, bestBound=48151 26.77/15.58 26.87/15.67 num=81, depth=15..30, filters=350825, revisions=(228608,useless=120180), ccks=87119, wck=11.706, mem=245M751 26.87/15.67 decisions=30436, wrong=5249, backtracks=3944, failedAssignments=2803, nogoods=526, foundSolutions=6, bestBound=48151 26.87/15.67 26.97/15.78 num=82, depth=14..36, filters=355530, revisions=(231940,useless=122629), ccks=87438, wck=11.812, mem=245M751 26.97/15.78 decisions=30949, wrong=5493, backtracks=4156, failedAssignments=2922, nogoods=536, foundSolutions=6, bestBound=48151 26.97/15.78 27.07/15.89 num=83, depth=12..37, filters=360497, revisions=(235700,useless=125417), ccks=87787, wck=11.923, mem=245M751 27.07/15.89 decisions=31533, wrong=5772, backtracks=4399, failedAssignments=3053, nogoods=546, foundSolutions=6, bestBound=48151 27.07/15.89 27.33/16.01 num=84, depth=13..34, filters=366418, revisions=(240466,useless=128697), ccks=88700, wck=12.041, mem=245M751 27.33/16.01 decisions=32080, wrong=6036, backtracks=4642, failedAssignments=3197, nogoods=553, foundSolutions=6, bestBound=48151 27.33/16.01 27.43/16.14 num=85, depth=16..36, filters=372783, revisions=(245017,useless=132001), ccks=89272, wck=12.17, mem=245M751 27.43/16.14 decisions=32698, wrong=6332, backtracks=4900, failedAssignments=3355, nogoods=561, foundSolutions=6, bestBound=48151 27.43/16.14 27.52/16.27 num=86, depth=14..43, filters=378669, revisions=(248942,useless=134813), ccks=89698, wck=12.306, mem=245M751 27.52/16.27 decisions=33441, wrong=6690, backtracks=5219, failedAssignments=3529, nogoods=570, foundSolutions=6, bestBound=48151 27.52/16.27 27.72/16.43 num=87, depth=19..36, filters=385728, revisions=(254504,useless=138713), ccks=90648, wck=12.465, mem=245M751 27.72/16.43 decisions=34162, wrong=7039, backtracks=5535, failedAssignments=3720, nogoods=578, foundSolutions=6, bestBound=48151 27.72/16.43 27.82/16.58 num=88, depth=17..40, filters=393475, revisions=(260820,useless=143683), ccks=91253, wck=12.609, mem=245M751 27.82/16.58 decisions=34983, wrong=7435, backtracks=5893, failedAssignments=3931, nogoods=585, foundSolutions=6, bestBound=48151 27.82/16.58 28.02/16.76 num=89, depth=16..39, filters=403183, revisions=(268773,useless=149566), ccks=92362, wck=12.796, mem=245M751 28.02/16.76 decisions=35901, wrong=7882, backtracks=6299, failedAssignments=4163, nogoods=591, foundSolutions=6, bestBound=48151 28.02/16.76 28.22/16.94 num=90, depth=23..102, filters=411027, revisions=(272961,useless=151996), ccks=93075, wck=12.97, mem=245M751 28.22/16.94 decisions=37022, wrong=8400, backtracks=6631, failedAssignments=4418, nogoods=612, foundSolutions=6, bestBound=48151 28.22/16.94 28.52/17.20 num=91, depth=21..35, filters=422302, revisions=(280880,useless=157512), ccks=94177, wck=13.229, mem=245M751 28.52/17.20 decisions=38334, wrong=9044, backtracks=7226, failedAssignments=4699, nogoods=618, foundSolutions=6, bestBound=48151 28.52/17.20 28.62/17.39 num=92, depth=15..43, filters=430515, revisions=(286487,useless=161479), ccks=94733, wck=13.426, mem=245M751 28.62/17.39 decisions=39421, wrong=9576, backtracks=7703, failedAssignments=5008, nogoods=630, foundSolutions=6, bestBound=48151 28.62/17.39 28.92/17.66 num=93, depth=18..37, filters=443160, revisions=(296427,useless=169129), ccks=95689, wck=13.693, mem=245M751 28.92/17.66 decisions=40927, wrong=10317, backtracks=8376, failedAssignments=5348, nogoods=638, foundSolutions=6, bestBound=48151 28.92/17.66 29.22/17.91 num=94, depth=17..38, filters=455517, revisions=(306597,useless=176287), ccks=97433, wck=13.938, mem=245M751 29.22/17.91 decisions=42190, wrong=10937, backtracks=8942, failedAssignments=5722, nogoods=644, foundSolutions=6, bestBound=48151 29.22/17.91 29.43/18.17 num=95, depth=10..37, filters=469397, revisions=(317646,useless=184638), ccks=98703, wck=14.202, mem=245M751 29.43/18.17 decisions=43618, wrong=11639, backtracks=9595, failedAssignments=6133, nogoods=654, foundSolutions=6, bestBound=48151 29.43/18.17 29.84/18.55 num=96, depth=17..35, filters=488479, revisions=(333006,useless=196106), ccks=100622, wck=14.587, mem=245M751 29.84/18.55 decisions=45635, wrong=12638, backtracks=10491, failedAssignments=6585, nogoods=661, foundSolutions=6, bestBound=48151 29.84/18.55 30.24/18.91 num=97, depth=8..41, filters=506376, revisions=(347864,useless=206451), ccks=103448, wck=14.943, mem=245M751 30.24/18.91 decisions=47351, wrong=13486, backtracks=11262, failedAssignments=7082, nogoods=667, foundSolutions=6, bestBound=48151 30.24/18.91 30.54/19.27 num=98, depth=7..43, filters=523137, revisions=(361383,useless=216517), ccks=105142, wck=15.304, mem=245M751 30.54/19.27 decisions=49222, wrong=14410, backtracks=12121, failedAssignments=7629, nogoods=675, foundSolutions=6, bestBound=48151 30.54/19.27 31.04/19.72 num=99, depth=14..34, filters=549005, revisions=(383737,useless=233083), ccks=108923, wck=15.756, mem=245M751 31.04/19.72 decisions=51439, wrong=15510, backtracks=13134, failedAssignments=8231, nogoods=683, foundSolutions=6, bestBound=48151 31.04/19.72 31.54/20.22 num=100, depth=14..33, filters=580174, revisions=(410832,useless=254310), ccks=112443, wck=16.256, mem=245M751 31.54/20.22 decisions=53976, wrong=16771, backtracks=14305, failedAssignments=8893, nogoods=688, foundSolutions=6, bestBound=48151 31.54/20.22 32.14/20.88 num=101, depth=9..37, filters=614188, revisions=(436574,useless=273705), ccks=115704, wck=16.91, mem=245M751 32.14/20.88 decisions=57345, wrong=18449, backtracks=15839, failedAssignments=9621, nogoods=692, foundSolutions=6, bestBound=48151 32.14/20.88 32.74/21.50 num=102, depth=16..37, filters=646563, revisions=(459272,useless=290194), ccks=118660, wck=17.528, mem=245M751 32.74/21.50 decisions=60395, wrong=19962, backtracks=17187, failedAssignments=10422, nogoods=698, foundSolutions=6, bestBound=48151 32.74/21.50 33.45/22.14 num=103, depth=18..42, filters=681621, revisions=(486329,useless=310058), ccks=122478, wck=18.172, mem=245M751 33.45/22.14 decisions=63830, wrong=21668, backtracks=18705, failedAssignments=11303, nogoods=710, foundSolutions=6, bestBound=48151 33.45/22.14 34.14/22.85 num=104, depth=11..41, filters=719594, revisions=(512946,useless=329403), ccks=125888, wck=18.885, mem=245M751 34.14/22.85 decisions=67590, wrong=23538, backtracks=20394, failedAssignments=12273, nogoods=715, foundSolutions=6, bestBound=48151 34.14/22.85 34.86/23.56 num=105, depth=15..37, filters=759475, revisions=(546036,useless=353615), ccks=131281, wck=19.597, mem=245M751 34.86/23.56 decisions=71113, wrong=25290, backtracks=22016, failedAssignments=13340, nogoods=723, foundSolutions=6, bestBound=48151 34.86/23.56 35.86/24.51 num=106, depth=15..37, filters=807867, revisions=(580865,useless=378579), ccks=135992, wck=20.54, mem=245M751 35.86/24.51 decisions=76107, wrong=27775, backtracks=24196, failedAssignments=14513, nogoods=732, foundSolutions=6, bestBound=48151 35.86/24.51 36.76/25.48 num=107, depth=10..40, filters=857654, revisions=(618643,useless=405049), ccks=142736, wck=21.508, mem=245M751 36.76/25.48 decisions=80892, wrong=30158, backtracks=26392, failedAssignments=15804, nogoods=742, foundSolutions=6, bestBound=48151 36.76/25.48 37.86/26.57 num=108, depth=15..38, filters=915961, revisions=(664002,useless=438017), ccks=149446, wck=22.6, mem=245M751 37.86/26.57 decisions=85990, wrong=32694, backtracks=28712, failedAssignments=17224, nogoods=753, foundSolutions=6, bestBound=48151 37.86/26.57 38.86/27.58 num=109, depth=18..95, filters=964819, revisions=(696861,useless=461688), ccks=152960, wck=23.613, mem=245M751 38.86/27.58 decisions=91959, wrong=35640, backtracks=31079, failedAssignments=18786, nogoods=767, foundSolutions=6, bestBound=48151 38.86/27.58 40.16/28.84 num=110, depth=12..35, filters=1035635, revisions=(757241,useless=505247), ccks=163730, wck=24.872, mem=245M751 40.16/28.84 decisions=97851, wrong=38577, backtracks=33737, failedAssignments=20504, nogoods=778, foundSolutions=6, bestBound=48151 40.16/28.84 41.57/30.21 num=111, depth=12..35, filters=1118706, revisions=(825914,useless=558873), ccks=171154, wck=26.243, mem=250M84 41.57/30.21 decisions=105506, wrong=42395, backtracks=37240, failedAssignments=22394, nogoods=784, foundSolutions=6, bestBound=48151 41.57/30.21 43.07/31.78 num=112, depth=17..39, filters=1199853, revisions=(890883,useless=606365), ccks=181075, wck=27.812, mem=250M84 43.07/31.78 decisions=113518, wrong=46391, backtracks=40859, failedAssignments=24473, nogoods=797, foundSolutions=6, bestBound=48151 43.07/31.78 44.78/33.40 num=113, depth=17..41, filters=1292500, revisions=(964205,useless=659693), ccks=193040, wck=29.431, mem=250M84 44.78/33.40 decisions=122219, wrong=50732, backtracks=44866, failedAssignments=26760, nogoods=809, foundSolutions=6, bestBound=48151 44.78/33.40 46.58/35.24 num=114, depth=13..40, filters=1401997, revisions=(1049989,useless=725450), ccks=202647, wck=31.274, mem=250M84 46.58/35.24 decisions=132164, wrong=55696, backtracks=49304, failedAssignments=29276, nogoods=822, foundSolutions=6, bestBound=48151 46.58/35.24 48.68/37.34 num=115, depth=14..41, filters=1512372, revisions=(1139971,useless=790496), ccks=216457, wck=33.369, mem=250M84 48.68/37.34 decisions=142581, wrong=60894, backtracks=53977, failedAssignments=32044, nogoods=833, foundSolutions=6, bestBound=48151 48.68/37.34 50.98/39.68 num=116, depth=14..40, filters=1630621, revisions=(1231215,useless=856155), ccks=229667, wck=35.713, mem=250M84 50.98/39.68 decisions=154129, wrong=66659, backtracks=59221, failedAssignments=35088, nogoods=850, foundSolutions=6, bestBound=48151 50.98/39.68 53.39/42.09 num=117, depth=12..38, filters=1760738, revisions=(1339109,useless=936693), ccks=244667, wck=38.124, mem=250M84 53.39/42.09 decisions=165887, wrong=72528, backtracks=64662, failedAssignments=38437, nogoods=861, foundSolutions=6, bestBound=48151 53.39/42.09 56.28/44.90 num=118, depth=12..41, filters=1915852, revisions=(1468323,useless=1033001), ccks=263482, wck=40.935, mem=250M84 56.28/44.90 decisions=179817, wrong=79483, backtracks=70917, failedAssignments=42121, nogoods=872, foundSolutions=6, bestBound=48151 56.28/44.90 58.98/47.66 num=119, depth=16..41, filters=2056585, revisions=(1579568,useless=1114953), ccks=278881, wck=43.696, mem=250M84 58.98/47.66 decisions=194906, wrong=87017, backtracks=77749, failedAssignments=46173, nogoods=886, foundSolutions=6, bestBound=48151 58.98/47.66 62.28/50.97 num=120, depth=13..43, filters=2228361, revisions=(1723392,useless=1221281), ccks=300406, wck=47.002, mem=250M84 62.28/50.97 decisions=212376, wrong=95741, backtracks=85692, failedAssignments=50630, nogoods=896, foundSolutions=6, bestBound=48151 62.28/50.97 66.19/54.81 num=121, depth=17..39, filters=2431511, revisions=(1878853,useless=1337351), ccks=320033, wck=50.838, mem=250M84 66.19/54.81 decisions=232961, wrong=106023, backtracks=94945, failedAssignments=55533, nogoods=908, foundSolutions=6, bestBound=48151 66.19/54.81 70.10/58.79 num=122, depth=13..48, filters=2625842, revisions=(2030134,useless=1448737), ccks=341070, wck=54.821, mem=250M84 70.10/58.79 decisions=253782, wrong=116422, backtracks=104377, failedAssignments=60927, nogoods=921, foundSolutions=6, bestBound=48151 70.10/58.79 74.41/63.06 num=123, depth=12..43, filters=2867831, revisions=(2229664,useless=1598548), ccks=369489, wck=59.096, mem=250M84 74.41/63.06 decisions=275374, wrong=127210, backtracks=114084, failedAssignments=66860, nogoods=936, foundSolutions=6, bestBound=48151 74.41/63.06 79.60/68.26 num=124, depth=15..41, filters=3130732, revisions=(2434041,useless=1744568), ccks=402495, wck=64.296, mem=250M84 79.60/68.26 decisions=301109, wrong=140068, backtracks=125787, failedAssignments=73386, nogoods=947, foundSolutions=6, bestBound=48151 79.60/68.26 85.31/73.98 num=125, depth=16..39, filters=3447463, revisions=(2693214,useless=1936588), ccks=441437, wck=70.016, mem=254M416 85.31/73.98 decisions=329297, wrong=154152, backtracks=138554, failedAssignments=80565, nogoods=960, foundSolutions=6, bestBound=48151 85.31/73.98 91.31/80.00 num=126, depth=12..87, filters=3766626, revisions=(2938051,useless=2113020), ccks=480739, wck=76.033, mem=254M416 91.31/80.00 decisions=362080, wrong=170507, backtracks=152734, failedAssignments=88462, nogoods=988, foundSolutions=6, bestBound=48151 91.31/80.00 97.34/85.93 num=127, depth=15..42, filters=4094886, revisions=(3192906,useless=2301248), ccks=514896, wck=81.958, mem=254M416 97.34/85.93 decisions=392795, wrong=185854, backtracks=166629, failedAssignments=97149, nogoods=1002, foundSolutions=6, bestBound=48151 97.34/85.93 104.65/93.23 num=128, depth=13..41, filters=4485029, revisions=(3485333,useless=2524194), ccks=545336, wck=89.264, mem=254M416 104.65/93.23 decisions=433505, wrong=206200, backtracks=184656, failedAssignments=106704, nogoods=1015, foundSolutions=6, bestBound=48151 104.65/93.23 111.22/99.76 num=129, depth=6..84, filters=4809035, revisions=(3695091,useless=2667212), ccks=577478, wck=95.795, mem=254M416 111.22/99.76 decisions=476282, wrong=227558, backtracks=200580, failedAssignments=117215, nogoods=1045, foundSolutions=6, bestBound=48151 111.22/99.76 117.02/105.58 num=130, depth=18..85, filters=5091064, revisions=(3804239,useless=2728620), ccks=592979, wck=101.608, mem=254M416 117.02/105.58 decisions=526060, wrong=252415, backtracks=216376, failedAssignments=128777, nogoods=1081, foundSolutions=6, bestBound=48151 117.02/105.58 125.63/114.12 num=131, depth=14..40, filters=5543944, revisions=(4165269,useless=2993439), ccks=643871, wck=110.152, mem=254M416 125.63/114.12 decisions=573046, wrong=275899, backtracks=237915, failedAssignments=141495, nogoods=1091, foundSolutions=6, bestBound=48151 125.63/114.12 135.93/124.49 num=132, depth=9..37, filters=6132625, revisions=(4666928,useless=3368280), ccks=720301, wck=120.521, mem=258M748 135.93/124.49 decisions=626393, wrong=302564, backtracks=262168, failedAssignments=155485, nogoods=1101, foundSolutions=6, bestBound=48151 135.93/124.49 146.83/135.30 num=133, depth=13..37, filters=6726568, revisions=(5161568,useless=3737286), ccks=788516, wck=131.33, mem=258M748 146.83/135.30 decisions=685490, wrong=332104, backtracks=288886, failedAssignments=170874, nogoods=1113, foundSolutions=6, bestBound=48151 146.83/135.30 159.84/148.38 num=134, depth=11..33, filters=7412699, revisions=(5709851,useless=4125159), ccks=885191, wck=144.41, mem=258M748 159.84/148.38 decisions=751132, wrong=364918, backtracks=318691, failedAssignments=187802, nogoods=1118, foundSolutions=6, bestBound=48151 159.84/148.38 170.24/158.75 num=135, depth=9..79, filters=7949447, revisions=(6009346,useless=4324087), ccks=926951, wck=154.78, mem=258M748 170.24/158.75 decisions=823507, wrong=401075, backtracks=343748, failedAssignments=206423, nogoods=1129, foundSolutions=6, bestBound=48151 170.24/158.75 181.45/169.96 num=136, depth=11..77, filters=8542082, revisions=(6333221,useless=4549388), ccks=964074, wck=165.988, mem=263M80 181.45/169.96 decisions=911202, wrong=444888, backtracks=372760, failedAssignments=226907, nogoods=1152, foundSolutions=6, bestBound=48151 181.45/169.96 197.95/186.44 num=137, depth=11..37, filters=9420260, revisions=(7062820,useless=5068626), ccks=1090134, wck=182.469, mem=263M80 197.95/186.44 decisions=990788, wrong=484673, backtracks=408714, failedAssignments=249439, nogoods=1167, foundSolutions=6, bestBound=48151 197.95/186.44 216.46/204.96 num=138, depth=7..40, filters=10433191, revisions=(7876759,useless=5681140), ccks=1195030, wck=200.997, mem=263M80 216.46/204.96 decisions=1086234, wrong=532386, backtracks=451800, failedAssignments=274224, nogoods=1179, foundSolutions=6, bestBound=48151 216.46/204.96 236.97/225.43 num=139, depth=11..36, filters=11594904, revisions=(8828918,useless=6391661), ccks=1329984, wck=221.459, mem=267M412 236.97/225.43 decisions=1197740, wrong=588130, backtracks=501348, failedAssignments=301488, nogoods=1193, foundSolutions=6, bestBound=48151 236.97/225.43 259.08/247.55 num=140, depth=12..44, filters=12770791, revisions=(9745236,useless=7056088), ccks=1472667, wck=243.586, mem=267M412 259.08/247.55 decisions=1311547, wrong=645024, backtracks=553087, failedAssignments=331478, nogoods=1205, foundSolutions=6, bestBound=48151 259.08/247.55 285.09/273.55 num=141, depth=12..43, filters=14112440, revisions=(10805607,useless=7817844), ccks=1644202, wck=269.586, mem=271M744 285.09/273.55 decisions=1440481, wrong=709483, backtracks=611131, failedAssignments=364467, nogoods=1218, foundSolutions=6, bestBound=48151 285.09/273.55 314.40/302.88 num=142, depth=11..40, filters=15628733, revisions=(11963625,useless=8664715), ccks=1813482, wck=298.915, mem=271M744 314.40/302.88 decisions=1588181, wrong=783324, backtracks=677569, failedAssignments=400755, nogoods=1229, foundSolutions=6, bestBound=48151 314.40/302.88 334.11/322.58 num=143, depth=17..90, filters=16620949, revisions=(12388559,useless=8942616), ccks=1840681, wck=318.617, mem=276M77 334.11/322.58 decisions=1757273, wrong=867831, backtracks=731348, failedAssignments=440672, nogoods=1247, foundSolutions=6, bestBound=48151 334.11/322.58 366.75/355.14 num=144, depth=15..678, filters=18577033, revisions=(14009765,useless=10227594), ccks=2024185, wck=351.172, mem=280M409 366.75/355.14 decisions=1943885, wrong=960845, backtracks=815089, failedAssignments=484581, nogoods=1273, foundSolutions=6, bestBound=48151 366.75/355.14 407.95/396.31 num=145, depth=12..44, filters=20707989, revisions=(15604472,useless=11397516), ccks=2251122, wck=392.347, mem=280M409 407.95/396.31 decisions=2162251, wrong=1070018, backtracks=912244, failedAssignments=532881, nogoods=1285, foundSolutions=6, bestBound=48151 407.95/396.31 445.77/434.11 num=146, depth=12..86, filters=22739461, revisions=(17126524,useless=12521726), ccks=2443721, wck=430.14, mem=284M741 445.77/434.11 decisions=2378093, wrong=1177906, backtracks=1006684, failedAssignments=586011, nogoods=1301, foundSolutions=6, bestBound=48151 445.77/434.11 491.09/479.44 num=147, depth=13..44, filters=25078315, revisions=(18845963,useless=13758977), ccks=2697306, wck=475.472, mem=289M73 491.09/479.44 decisions=2608002, wrong=1292850, backtracks=1108818, failedAssignments=644454, nogoods=1314, foundSolutions=6, bestBound=48151 491.09/479.44 546.10/534.42 num=148, depth=7..44, filters=27971546, revisions=(20983528,useless=15322124), ccks=3004793, wck=530.456, mem=293M405 546.10/534.42 decisions=2900825, wrong=1439252, backtracks=1238910, failedAssignments=708741, nogoods=1328, foundSolutions=6, bestBound=48151 546.10/534.42 585.42/573.73 num=149, depth=13..79, filters=29901577, revisions=(21963187,useless=15948684), ccks=3127417, wck=569.764, mem=297M737 585.42/573.73 decisions=3198354, wrong=1587986, backtracks=1342139, failedAssignments=779457, nogoods=1360, foundSolutions=6, bestBound=48151 585.42/573.73 636.54/624.81 num=150, depth=6..89, filters=32550968, revisions=(23611649,useless=17096930), ccks=3371343, wck=620.847, mem=302M69 636.54/624.81 decisions=3511607, wrong=1744580, backtracks=1462260, failedAssignments=857244, nogoods=1380, foundSolutions=6, bestBound=48151 636.54/624.81 710.95/699.08 num=151, depth=12..43, filters=36236534, revisions=(26191947,useless=19005699), ccks=3678747, wck=695.112, mem=172M209 710.95/699.08 decisions=3905129, wrong=1941331, backtracks=1636599, failedAssignments=942810, nogoods=1393, foundSolutions=6, bestBound=48151 710.95/699.08 788.36/776.44 num=152, depth=11..43, filters=40202752, revisions=(29456497,useless=21454013), ccks=4143373, wck=772.469, mem=180M887 788.36/776.44 decisions=4288888, wrong=2133202, backtracks=1809492, failedAssignments=1036933, nogoods=1406, foundSolutions=6, bestBound=48151 788.36/776.44 876.00/864.07 num=153, depth=9..47, filters=44582985, revisions=(32882094,useless=24060085), ccks=4548863, wck=860.103, mem=189M564 876.00/864.07 decisions=4731914, wrong=2354706, backtracks=2009685, failedAssignments=1140468, nogoods=1417, foundSolutions=6, bestBound=48151 876.00/864.07 953.72/941.71 num=154, depth=19..137, filters=47827705, revisions=(34251857,useless=24818660), ccks=4737982, wck=937.742, mem=193M903 953.72/941.71 decisions=5235331, wrong=2606357, backtracks=2188125, failedAssignments=1254357, nogoods=1439, foundSolutions=6, bestBound=48151 953.72/941.71 1024.54/1012.56 num=155, depth=14..123, filters=51054987, revisions=(35651228,useless=25719769), ccks=4799063, wck=1008.588, mem=202M580 1024.54/1012.56 decisions=5784305, wrong=2880790, backtracks=2366109, failedAssignments=1379635, nogoods=1467, foundSolutions=6, bestBound=48151 1024.54/1012.56 1115.27/1103.21 num=156, depth=8..123, filters=54796274, revisions=(37472633,useless=26844445), ccks=4984737, wck=1099.239, mem=211M257 1115.27/1103.21 decisions=6381068, wrong=3179136, backtracks=2554632, failedAssignments=1517441, nogoods=1485, foundSolutions=6, bestBound=48151 1115.27/1103.21 1191.69/1179.65 num=157, depth=8..97, filters=58180650, revisions=(38759100,useless=27558515), ccks=5211897, wck=1175.677, mem=219M935 1191.69/1179.65 decisions=7016167, wrong=3496651, backtracks=2744599, failedAssignments=1669027, nogoods=1516, foundSolutions=6, bestBound=48151 1191.69/1179.65 1297.24/1285.14 num=158, depth=8..91, filters=62747958, revisions=(40768721,useless=28827796), ccks=5396320, wck=1281.177, mem=228M612 1297.24/1285.14 decisions=7772842, wrong=3874952, backtracks=2997377, failedAssignments=1835772, nogoods=1537, foundSolutions=6, bestBound=48151 1297.24/1285.14 1407.06/1394.95 num=159, depth=8..89, filters=67627517, revisions=(42561418,useless=29746840), ccks=5737999, wck=1390.979, mem=237M289 1407.06/1394.95 decisions=8584784, wrong=4280885, backtracks=3248595, failedAssignments=2019191, nogoods=1564, foundSolutions=6, bestBound=48151 1407.06/1394.95 1512.89/1500.79 num=160, depth=8..88, filters=73139507, revisions=(44581660,useless=30916197), ccks=5786730, wck=1496.823, mem=250M306 1512.89/1500.79 decisions=9410417, wrong=4693668, backtracks=3490965, failedAssignments=2220952, nogoods=1586, foundSolutions=6, bestBound=48151 1512.89/1500.79 1619.24/1607.04 num=161, depth=12..87, filters=78098648, revisions=(46487979,useless=32064640), ccks=5921473, wck=1603.076, mem=263M322 1619.24/1607.04 decisions=10304543, wrong=5140697, backtracks=3750414, failedAssignments=2442890, nogoods=1615, foundSolutions=6, bestBound=48151 1619.24/1607.04 1813.19/1800.99 num=162, depth=54..84, filters=86182064, revisions=(51144756,useless=34896435), ccks=6650166, wck=1797.021, mem=276M338 1813.19/1800.99 decisions=11413528, wrong=5695159, backtracks=4149257, failedAssignments=2687021, nogoods=1632, foundSolutions=6, bestBound=48151 1813.19/1800.99 1948.35/1936.06 num=163, depth=12..82, filters=92123913, revisions=(53467574,useless=36215299), ccks=6961437, wck=1932.095, mem=289M354 1948.35/1936.06 decisions=12547312, wrong=6262019, backtracks=4486082, failedAssignments=2955566, nogoods=1655, foundSolutions=6, bestBound=48151 1948.35/1936.06 2134.79/2122.44 num=164, depth=27..136, filters=100129876, revisions=(57075521,useless=38406093), ccks=7387056, wck=2118.476, mem=311M47 2134.79/2122.44 decisions=13846153, wrong=6911382, backtracks=4923337, failedAssignments=3250965, nogoods=1678, foundSolutions=6, bestBound=48151 2134.79/2122.44 2326.15/2313.76 num=165, depth=42..88, filters=109725228, revisions=(61997719,useless=41787900), ccks=7975732, wck=2309.792, mem=328M402 2326.15/2313.76 decisions=15240336, wrong=7608444, backtracks=5370508, failedAssignments=3575904, nogoods=1695, foundSolutions=6, bestBound=48151 2326.15/2313.76 2400.08/2387.60 2400.08/2387.60 v <instantiation id='sol6' type='solution' cost='48151'> <list> x[][] ps[][] ds[][] wk[][] cn[] cf[] cc[][] </list> <values> 1 0 3 0 1 1 0 0 0 0 3 0 1 0 0 0 3 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 3 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 3 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 3 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 3 0 3 0 0 1 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 0 3 3 0 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 0 3 3 3 3 3 3 3 3 0 0 1 1 0 0 0 1 1 0 0 0 3 3 0 1 3 0 0 3 3 3 0 0 1 1 0 0 0 1 1 0 0 0 3 3 0 1 3 0 0 3 0 1 0 0 1 1 0 0 0 1 1 0 0 0 3 0 0 1 0 0 0 0 0 1 0 3 1 1 0 0 0 1 1 0 3 0 3 0 0 1 0 0 0 0 0 1 3 3 3 1 0 0 0 1 1 0 3 0 0 0 0 1 0 0 0 0 0 1 3 3 3 3 3 3 3 3 3 3 0 3 0 0 3 3 0 3 3 0 0 3 0 3 1 3 3 3 3 3 3 3 0 3 0 0 3 3 0 3 3 0 3 3 0 3 1 1 0 0 3 1 1 3 0 0 3 3 0 1 3 0 0 3 3 3 0 0 1 1 0 0 3 1 1 3 0 0 3 3 0 1 3 0 0 3 0 1 0 0 1 1 0 0 3 1 1 3 0 0 0 0 0 1 0 0 0 0 0 1 3 0 3 1 0 0 3 1 3 3 3 0 0 0 0 1 0 0 0 0 1 1 3 0 3 1 0 0 3 1 3 3 3 0 0 0 0 1 0 0 0 0 2 1 0 3 1 3 3 3 3 3 1 0 0 3 0 3 3 3 0 3 3 3 3 3 0 3 1 3 3 3 3 3 1 0 0 3 0 3 3 3 0 3 3 3 3 3 0 0 1 1 0 0 3 1 1 0 0 0 3 0 3 3 3 0 0 0 0 1 0 0 1 1 0 0 3 1 1 0 0 0 3 0 3 1 3 0 0 0 0 1 3 0 3 1 3 0 0 3 1 0 0 0 0 0 0 1 0 0 0 0 0 1 3 0 3 1 3 0 0 3 3 3 3 0 0 0 0 1 0 0 0 0 0 3 0 3 1 1 0 0 0 3 3 3 3 0 0 0 0 1 0 3 0 0 0 3 0 3 1 3 0 3 0 3 1 0 0 3 0 3 0 1 0 3 3 3 3 1 0 0 1 3 0 3 0 1 1 0 0 3 0 3 0 3 0 0 3 3 3 1 0 0 1 1 0 0 3 1 1 0 0 0 3 0 3 3 3 0 0 3 3 1 3 0 3 1 0 0 3 1 1 0 0 0 3 0 3 1 3 0 0 3 3 1 3 0 3 1 3 0 0 1 1 0 3 3 0 0 0 1 0 0 0 3 3 3 0 3 1 3 3 0 0 1 3 3 3 3 0 0 0 1 0 0 0 0 3 3 0 3 1 3 3 3 0 3 3 3 0 3 0 0 0 2 0 3 3 0 3 3 3 0 1 3 3 3 0 3 1 0 0 3 0 3 0 3 0 3 3 3 3 3 3 0 1 3 0 0 0 1 1 0 0 3 0 3 0 3 0 0 0 3 3 3 0 0 3 3 0 0 3 1 1 0 0 3 3 0 3 1 3 0 0 0 0 3 0 0 3 3 0 0 3 1 1 0 0 3 3 0 3 1 3 0 0 0 0 3 0 3 1 3 0 0 0 1 3 0 3 3 0 3 0 1 0 0 0 0 0 3 0 3 1 3 3 0 0 1 3 3 3 0 0 3 0 3 0 0 0 0 3 3 3 0 1 1 3 3 0 3 3 3 0 0 0 3 0 3 0 3 3 0 3 1 3 0 1 1 3 3 0 3 3 0 0 0 0 3 0 3 0 3 3 3 0 1 3 0 3 1 3 0 0 1 1 0 0 0 0 3 0 1 0 0 0 3 0 1 3 0 3 1 0 0 3 1 1 0 0 0 3 0 3 1 3 0 0 0 0 1 0 3 1 1 0 0 3 1 1 0 0 3 3 0 3 1 3 0 0 0 0 3 0 3 1 3 0 0 0 1 1 0 3 3 0 0 3 1 0 0 0 0 0 3 0 0 1 3 0 0 0 1 1 3 3 0 0 0 3 1 0 0 0 0 3 1 0 0 1 1 0 3 0 3 3 3 3 0 0 0 3 3 0 3 3 0 3 1 3 0 3 1 3 3 0 3 3 0 3 0 0 3 0 3 0 3 3 3 3 1 3 0 3 1 3 3 0 1 1 0 3 0 0 3 0 1 0 3 0 3 3 1 0 3 3 1 0 0 3 1 1 0 3 0 3 3 0 1 3 3 0 0 0 3 0 3 3 1 0 0 3 1 1 0 3 3 3 3 0 1 3 3 0 0 0 3 0 3 3 3 0 0 0 1 1 0 3 3 0 3 0 1 3 3 0 0 0 1 0 0 3 3 0 0 0 1 1 3 0 0 0 0 3 3 3 3 0 0 0 1 3 0 3 1 0 0 0 3 3 3 0 0 0 0 3 3 3 3 3 3 2 1 3 0 1 1 3 3 0 3 3 0 3 0 3 0 0 3 3 3 3 3 3 1 3 3 1 1 3 3 0 1 1 0 3 0 3 0 0 3 3 0 0 3 3 3 3 3 1 1 3 3 3 1 1 0 0 0 0 0 0 3 0 0 0 3 0 3 0 0 1 1 0 3 3 1 1 0 0 3 0 3 0 1 0 0 3 3 0 1 0 0 3 3 0 3 0 1 1 0 0 3 0 3 0 1 0 0 3 0 0 1 0 0 3 3 0 3 0 1 1 3 0 0 0 0 3 1 0 0 3 0 0 1 0 0 1 1 0 3 0 3 3 3 0 0 0 0 3 2 0 3 0 0 3 1 3 3 1 1 3 3 0 3 3 3 3 0 3 0 0 3 3 3 0 0 3 3 3 3 3 1 3 0 0 3 3 3 3 0 3 0 0 3 3 0 0 0 0 3 3 3 3 1 0 0 3 3 1 0 0 0 0 0 0 3 0 0 0 3 0 1 0 0 1 1 0 0 3 1 1 0 0 3 0 3 0 3 0 0 0 3 0 1 0 0 1 3 0 1 0 1 1 0 0 3 0 3 0 1 0 0 3 3 0 1 0 0 1 3 0 3 0 1 1 0 0 0 0 0 3 1 0 0 3 3 0 1 0 0 1 1 0 3 0 3 1 0 0 0 0 0 3 1 0 3 0 0 3 3 3 3 3 1 3 0 3 3 3 3 3 0 3 0 3 1 3 3 0 0 3 3 3 3 3 1 3 0 3 1 3 3 3 0 3 0 3 1 3 0 0 0 0 3 3 3 3 1 0 0 0 1 1 0 0 0 0 0 0 3 3 0 3 0 0 1 0 0 1 1 0 0 0 1 1 0 0 3 0 3 0 3 3 0 3 0 0 1 0 0 1 3 0 0 0 1 1 0 0 3 0 3 0 1 0 0 3 3 3 1 0 0 1 3 0 3 0 1 1 0 0 0 0 0 0 1 0 0 3 3 3 1 0 0 1 1 0 3 0 3 1 0 0 0 0 0 0 1 0 3 3 0 0 3 3 3 3 1 3 3 3 3 3 3 3 0 3 3 3 1 3 3 3 0 0 3 3 3 3 1 3 3 3 3 3 3 3 0 3 3 3 1 3 3 3 0 0 1 3 3 3 1 0 0 0 3 1 0 0 0 0 3 0 3 0 0 0 0 0 1 0 0 1 1 0 0 0 3 1 0 0 3 0 3 0 3 0 0 0 3 0 1 0 0 1 3 3 0 0 1 3 0 0 3 0 0 0 3 0 0 0 3 3 3 0 0 1 3 3 0 0 1 3 0 0 0 0 0 0 3 0 0 0 0 3 3 1 2 2 3 3 0 3 2 3 3 2 2 3 0 3 3 2 3 0 0 0 1 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1 3 3 3 0 0 1 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 1 3 3 3 0 0 1 3 3 3 0 53 0 31 52 0 0 32 51 1 0 32 52 0 0 32 0 52 1 31 0 54 0 30 54 0 0 30 52 0 1 31 53 0 1 30 54 0 0 30 52 0 0 32 54 0 0 30 0 50 2 32 52 0 1 31 53 0 0 31 54 0 0 30 52 0 0 32 49 1 2 32 0 49 0 35 49 1 0 34 49 0 1 34 0 49 1 34 13 6 0 3 15 6 0 1 15 6 0 1 15 6 0 1 12 4 0 6 3 0 0 19 4 1 0 17 11 5 0 6 12 6 0 4 14 6 0 2 12 5 0 5 13 5 0 4 7 1 0 14 6 1 0 15 9 5 0 8 10 6 0 6 13 5 0 4 11 5 0 6 11 5 1 5 5 2 0 15 6 2 0 14 12 5 0 5 11 5 0 6 14 4 0 4 12 3 0 7 12 3 0 7 9 4 0 9 10 4 0 8 9 4 0 9 9 5 0 8 10 5 0 7 10 3 0 9 8 1 1 12 7 2 0 13 12 2 0 8 11 3 0 8 10 4 0 8 12 3 0 7 10 2 0 10 8 3 0 11 9 2 0 11 12 5 0 5 11 6 0 5 10 5 0 7 13 4 0 5 12 5 0 5 8 2 0 12 7 2 0 13 8 5 0 9 9 4 0 9 8 4 0 10 11 4 0 7 11 3 0 8 8 3 1 10 5 3 0 14 7 4 0 11 12 4 0 6 10 5 0 7 12 4 0 6 12 5 0 5 9 3 1 9 6 1 0 15 9 1 0 12 14 4 0 4 12 5 0 5 11 6 0 5 12 5 0 5 10 3 0 9 5 2 0 15 7 3 0 12 14 5 0 3 12 5 0 5 11 5 0 6 12 5 0 5 11 3 0 8 3 2 0 17 3 3 0 16 15 4 0 3 13 4 0 5 12 2 0 8 12 2 2 6 5 1 4 12 3 2 0 17 3 2 0 17 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 2 2 2 2 2 2 2 2 2 1 1 0 0 0 3 3 3 2 2 2 2 2 0 0 0 2 0 0 1 1 2 3 2 1 1 1 2 0 0 0 2 2 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 1 1 2 2 2 1 2 2 2 0 0 0 2 0 2 3 3 3 3 0 3 3 3 3 0 1 1 0 0 0 0 0 1 1 2 2 2 2 2 0 3 3 1 1 1 3 3 3 3 3 1 0 0 0 0 3 3 1 1 1 2 2 0 0 0 0 2 3 3 3 3 0 0 3 3 0 2 2 2 2 1 1 1 1 2 2 0 0 1 1 3 3 1 1 2 3 3 3 3 3 1 1 0 0 0 0 3 1 3 3 3 3 3 1 1 1 2 0 0 0 2 1 1 1 1 1 0 0 0 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 0 0 1 0 0 0 3 3 3 2 0 2 0 0 0 0 2 2 2 2 2 1 1 1 1 1 3 3 0 0 0 0 2 2 1 1 0 0 1 0 0 2 2 2 2 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 3 1 3 3 3 1 2 2 2 3 0 0 0 0 0 2 3 3 3 2 2 0 0 0 0 1 1 0 0 1 3 2 2 0 0 1 0 0 0 0 0 0 0 3 3 0 1 1 0 0 0 1 1 1 0 0 0 0 0 3 3 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 1 2 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 8 2 600 0 10 3 700 0 10 3 500 0 9 3 700 0 5 1 500 0 200 300 300 0 100 200 700 0 6 1 500 0 7 3 400 0 8 3 600 0 5 1 500 0 6 1 600 0 3 100 500 0 3 200 600 0 4 2 500 0 5 4 500 0 8 2 600 0 7 3 400 0 8 3 600 0 0 200 500 0 3 100 600 0 7 3 500 0 8 2 700 0 10 1 600 0 5 200 500 0 7 0 600 0 5 100 500 0 7 1 400 0 3 0 700 0 4 2 500 0 5 2 500 0 4 100 500 0 3 200 300 0 2 100 500 0 5 100 500 0 5 100 500 0 4 1 500 0 5 100 500 0 5 200 500 0 4 100 600 0 5 200 600 0 7 2 300 0 4 1 600 0 5 0 500 0 7 1 500 0 7 2 500 0 2 100 500 0 2 0 400 0 4 2 500 0 4 1 500 0 2 0 500 0 6 1 400 0 6 0 700 0 2 1 400 0 0 0 500 0 2 1 600 0 5 2 500 0 3 2 400 0 6 2 600 0 5 4 700 0 4 1 400 0 1 0 700 0 4 0 400 0 9 3 500 0 7 3 500 0 5 4 500 0 6 1 300 0 6 2 400 0 100 100 400 0 2 100 400 0 7 3 400 0 9 4 400 0 6 2 700 0 7 2 500 0 6 0 400 0 200 100 500 0 200 0 500 0 10 1 600 0 9 3 500 0 8 100 500 0 7 0 300 0 0 100 100 0 300 100 500 0 100 100 700 0 </values> </instantiation> 2400.08/2387.60 s SATISFIABLE
OK 48151
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 (11971 MiB free) memory of node 1: 16384 MiB (13938 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391344-1568391584/watcher-4391344-1568391584 -o /tmp/evaluation-result-4391344-1568391584/solver-4391344-1568391584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568388843-13118 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391344-1568391584.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=14220, runsolver pid=14217 [startup+0.102887 s]* /proc/loadavg: 1.89 1.81 1.78 4/228 14235 /proc/meminfo: memFree=26515592/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10659884 memory=29408 CPUtime=0.14 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 5856 0 0 0 13 1 0 0 20 0 15 0 415073312 10915721216 7352 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2664971 7352 2911 1 0 2627468 0 [pid=14220/tid=14222] ppid=14217 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) R 14217 14220 10765 0 -1 4202560 3204 0 0 0 9 0 0 0 20 0 15 0 415073312 10915721216 7352 33554432000 4194304 4196468 140736999183664 139778097275720 139778093069469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 7352 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 7352 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073314 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073315 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777651168800 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073315 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777650115952 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073317 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) S 14217 14220 10765 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 415073317 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777648011632 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 415073317 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0.02 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) R 14217 14220 10765 0 -1 4202560 580 0 0 0 2 0 0 0 20 0 15 0 415073317 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777645901992 139778071412193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073318 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073318 10915721216 7352 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29408 KiB [startup+0.210609 s]* /proc/loadavg: 1.89 1.81 1.78 5/228 14235 /proc/meminfo: memFree=26504420/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10659884 memory=37184 CPUtime=0.33 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 9048 0 0 0 30 3 0 0 20 0 15 0 415073312 10915721216 9296 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2664971 9296 2989 1 0 2627468 0 [pid=14220/tid=14222] ppid=14217 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) R 14217 14220 10765 0 -1 4202560 6076 0 0 0 18 2 0 0 20 0 15 0 415073312 10915721216 9296 33554432000 4194304 4196468 140736999183664 139778097278736 139778093069469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9296 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10659884 memory=139674697366221 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9296 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073314 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073315 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777651168800 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073315 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777650115952 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073317 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) S 14217 14220 10765 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 415073317 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777648011632 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 493 0 0 0 3 0 0 0 20 0 15 0 415073317 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0.05 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) S 14217 14220 10765 0 -1 1077944384 615 0 0 0 5 0 0 0 20 0 15 0 415073317 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777645906032 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073318 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073318 10915721216 9296 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 37184 KiB [startup+0.310237 s]* /proc/loadavg: 1.89 1.81 1.78 3/228 14235 /proc/meminfo: memFree=26502240/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10659884 memory=39744 CPUtime=0.47 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 9252 0 0 0 44 3 0 0 20 0 15 0 415073312 10915721216 9936 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2664971 9936 3033 1 0 2627468 0 [pid=14220/tid=14222] ppid=14217 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) R 14217 14220 10765 0 -1 4202560 6201 0 0 0 28 2 0 0 20 0 15 0 415073312 10915721216 9936 33554432000 4194304 4196468 140736999183664 139778097285856 139778077128030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9936 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10659884 memory=139674697366150 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9936 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073313 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073314 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073315 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777651168800 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073315 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777650115952 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073317 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) S 14217 14220 10765 0 -1 1077944384 513 0 0 0 3 0 0 0 20 0 15 0 415073317 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777648011632 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 531 0 0 0 4 0 0 0 20 0 15 0 415073317 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0.08 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) S 14217 14220 10765 0 -1 1077944384 651 0 0 0 8 0 0 0 20 0 15 0 415073317 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777645906032 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073318 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10659884 memory=139674694297216 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073318 10915721216 9936 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 39744 KiB [startup+0.700754 s] /proc/loadavg: 1.89 1.81 1.78 3/228 14235 /proc/meminfo: memFree=26491596/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10661932 memory=63720 CPUtime=1.1 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 12918 0 0 0 105 5 0 0 20 0 15 0 415073312 10917818368 15930 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2665483 15930 3073 1 0 2627980 0 [pid=14220/tid=14222] ppid=14217 vsize=10661932 memory=14056 CPUtime=0.68 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) R 14217 14220 10765 0 -1 4202560 8759 0 0 0 64 4 0 0 20 0 15 0 415073312 10917818368 15930 33554432000 4194304 4196468 140736999183664 139778097279568 139778077128030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10917818368 15930 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10917818368 15930 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073313 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073314 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073315 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777651168800 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073315 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777650115952 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073317 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10661932 memory=7086240636179272035 CPUtime=0.1 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) R 14217 14220 10765 0 -1 4202560 867 0 0 0 10 0 0 0 20 0 15 0 415073317 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777648011632 139778076544331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10661932 memory=7453282923444726100 CPUtime=0.11 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 762 0 0 0 11 0 0 0 20 0 15 0 415073317 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) S 14217 14220 10765 0 -1 1077944384 1172 0 0 0 19 0 0 0 20 0 15 0 415073317 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777645906032 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073318 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10661932 memory=7955161671362897768 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073318 10917818368 15930 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 63720 KiB [startup+1.50083 s] /proc/loadavg: 1.89 1.81 1.78 3/228 14235 /proc/meminfo: memFree=26475428/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10663980 memory=75668 CPUtime=2.01 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 18548 0 0 0 195 6 0 0 20 0 15 0 415073312 10919915520 18917 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2665995 18917 3094 1 0 2628492 0 [pid=14220/tid=14222] ppid=14217 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) R 14217 14220 10765 0 -1 4202560 13084 0 0 0 143 5 0 0 20 0 15 0 415073312 10919915520 18917 33554432000 4194304 4196468 140736999183664 139778097279568 139778077128030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10919915520 18917 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10919915520 18917 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073313 10919915520 18917 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073313 10919915520 18917 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 415073314 10919915520 18917 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 ################ # More data... # ################ /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 464 0 0 0 8 6 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.04 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2109 0 0 0 3 1 0 0 20 0 16 0 415073314 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10748324 memory=7988 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777651168864 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10748324 memory=3504 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777650115968 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10748324 memory=1620 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10748324 memory=1408 CPUtime=4.98 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) S 14217 14220 10765 0 -1 1077944384 16845 0 0 0 495 3 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777648011632 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10748324 memory=3228 CPUtime=5 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 18535 0 0 0 498 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10748324 memory=279349102844960 CPUtime=1.34 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) S 14217 14220 10765 0 -1 1077944384 11865 0 0 0 132 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777645906032 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.72 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1745 0 0 0 29 43 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14236] ppid=14217 vsize=10748324 memory=776 CPUtime=2260.15 cores=0,2,4,6 /proc/14220/task/14236/stat : 14236 (java) R 14217 14220 10765 0 -1 4202560 23308 0 0 0 226008 7 0 0 20 0 16 0 415073501 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777558888336 139777721345616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 2274.73 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 540600 KiB [startup+2322.3 s] /proc/loadavg: 1.00 1.03 1.51 2/207 14576 /proc/meminfo: memFree=26304500/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10748324 memory=540600 CPUtime=2334.76 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 94075 0 0 0 233389 87 0 0 20 0 16 0 415073312 11006283776 135150 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2687081 135150 3383 1 0 2647217 0 [pid=14220/tid=14222] ppid=14217 vsize=10748324 memory=540600 CPUtime=1.87 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) S 14217 14220 10765 0 -1 1077944384 15344 0 0 0 180 7 0 0 20 0 16 0 415073312 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778097290416 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.12 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1500 0 0 0 7 5 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.11 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 190 0 0 0 7 4 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.15 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 345 0 0 0 9 6 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.14 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 464 0 0 0 8 6 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.04 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2115 0 0 0 3 1 0 0 20 0 16 0 415073314 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777651168864 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10748324 memory=540600 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777650115968 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10748324 memory=540600 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10748324 memory=540600 CPUtime=4.98 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) S 14217 14220 10765 0 -1 1077944384 16848 0 0 0 495 3 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777648011632 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10748324 memory=540600 CPUtime=5 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 18538 0 0 0 498 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10748324 memory=540600 CPUtime=1.34 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) S 14217 14220 10765 0 -1 1077944384 11873 0 0 0 132 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777645906032 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10748324 memory=1440 CPUtime=0.75 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1774 0 0 0 31 44 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14236] ppid=14217 vsize=10748324 memory=540600 CPUtime=2320.14 cores=0,2,4,6 /proc/14220/task/14236/stat : 14236 (java) R 14217 14220 10765 0 -1 4202560 23683 0 0 0 232007 7 0 0 20 0 16 0 415073501 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777558888336 139777719401563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 2334.76 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 540600 KiB [startup+2382.3 s] /proc/loadavg: 1.00 1.03 1.48 2/207 14581 /proc/meminfo: memFree=26303624/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10748324 memory=540600 CPUtime=2394.78 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 94286 0 0 0 239390 88 0 0 20 0 16 0 415073312 11006283776 135150 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2687081 135150 3383 1 0 2647217 0 [pid=14220/tid=14222] ppid=14217 vsize=10748324 memory=540600 CPUtime=1.87 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) S 14217 14220 10765 0 -1 1077944384 15344 0 0 0 180 7 0 0 20 0 16 0 415073312 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778097290416 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10748324 memory=0 CPUtime=0.12 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1500 0 0 0 7 5 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.11 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 190 0 0 0 7 4 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.15 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 345 0 0 0 9 6 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.14 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 464 0 0 0 8 6 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.04 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2121 0 0 0 3 1 0 0 20 0 16 0 415073314 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10748324 memory=540600 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777651168864 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10748324 memory=540600 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777650115968 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10748324 memory=540600 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10748324 memory=540600 CPUtime=4.98 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) S 14217 14220 10765 0 -1 1077944384 16851 0 0 0 495 3 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777648011632 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10748324 memory=540600 CPUtime=5 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 18541 0 0 0 498 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10748324 memory=3504 CPUtime=1.34 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) S 14217 14220 10765 0 -1 1077944384 11880 0 0 0 132 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777645906032 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10748324 memory=3504 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10748324 memory=39872 CPUtime=0.76 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1805 0 0 0 31 45 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14236] ppid=14217 vsize=10748324 memory=39872 CPUtime=2380.14 cores=0,2,4,6 /proc/14220/task/14236/stat : 14236 (java) R 14217 14220 10765 0 -1 4202560 23844 0 0 0 238007 7 0 0 20 0 16 0 415073501 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777558888336 139777718462832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 2394.78 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 540600 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2387.6 s] /proc/loadavg: 1.00 1.02 1.48 2/207 14582 /proc/meminfo: memFree=26303868/32770624 swapFree=66939840/67108860 [pid=14220] ppid=14217 vsize=10748324 memory=540600 CPUtime=2400.08 cores=0,2,4,6 /proc/14220/stat : 14220 (java) S 14217 14220 10765 0 -1 1077944320 94288 0 0 0 239920 88 0 0 20 0 16 0 415073312 11006283776 135150 33554432000 4194304 4196468 140736999183664 140736999166208 139778093047543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 /proc/14220/statm: 2687081 135150 3383 1 0 2647217 0 [pid=14220/tid=14222] ppid=14217 vsize=10748324 memory=1256 CPUtime=1.87 cores=0,2,4,6 /proc/14220/task/14222/stat : 14222 (java) S 14217 14220 10765 0 -1 1077944384 15344 0 0 0 180 7 0 0 20 0 16 0 415073312 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778097290416 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14223] ppid=14217 vsize=10748324 memory=540600 CPUtime=0.12 cores=0,2,4,6 /proc/14220/task/14223/stat : 14223 (java) S 14217 14220 10765 0 -1 1077944384 1500 0 0 0 7 5 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778035051152 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14224] ppid=14217 vsize=10748324 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6 /proc/14220/task/14224/stat : 14224 (java) S 14217 14220 10765 0 -1 1077944384 190 0 0 0 7 4 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139778033998352 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14225] ppid=14217 vsize=10748324 memory=39872 CPUtime=0.15 cores=0,2,4,6 /proc/14220/task/14225/stat : 14225 (java) S 14217 14220 10765 0 -1 1077944384 345 0 0 0 9 6 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777698224528 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14226] ppid=14217 vsize=10748324 memory=988 CPUtime=0.14 cores=0,2,4,6 /proc/14220/task/14226/stat : 14226 (java) S 14217 14220 10765 0 -1 1077944384 464 0 0 0 8 6 0 0 20 0 16 0 415073313 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777697171728 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14227] ppid=14217 vsize=10748324 memory=2008 CPUtime=0.04 cores=0,2,4,6 /proc/14220/task/14227/stat : 14227 (java) S 14217 14220 10765 0 -1 1077944384 2121 0 0 0 3 1 0 0 20 0 16 0 415073314 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777652222832 139778093058690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14228] ppid=14217 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14228/stat : 14228 (java) S 14217 14220 10765 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777651168864 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14229] ppid=14217 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14229/stat : 14229 (java) S 14217 14220 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415073315 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777650115968 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14230] ppid=14217 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14230/stat : 14230 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777649064272 139778093066139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14231] ppid=14217 vsize=10748324 memory=2008 CPUtime=4.98 cores=0,2,4,6 /proc/14220/task/14231/stat : 14231 (java) S 14217 14220 10765 0 -1 1077944384 16851 0 0 0 495 3 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777648011632 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14232] ppid=14217 vsize=10748324 memory=1436 CPUtime=5 cores=0,2,4,6 /proc/14220/task/14232/stat : 14232 (java) S 14217 14220 10765 0 -1 1077944384 18541 0 0 0 498 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777646958832 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14233] ppid=14217 vsize=10748324 memory=4164 CPUtime=1.34 cores=0,2,4,6 /proc/14220/task/14233/stat : 14233 (java) S 14217 14220 10765 0 -1 1077944384 11880 0 0 0 132 2 0 0 20 0 16 0 415073317 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777645906032 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14234] ppid=14217 vsize=10748324 memory=1548 CPUtime=0 cores=0,2,4,6 /proc/14220/task/14234/stat : 14234 (java) S 14217 14220 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777644853472 139778093057749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14235] ppid=14217 vsize=10748324 memory=1728 CPUtime=0.77 cores=0,2,4,6 /proc/14220/task/14235/stat : 14235 (java) S 14217 14220 10765 0 -1 1077944384 1807 0 0 0 32 45 0 0 20 0 16 0 415073318 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777643801776 139778093058690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 [pid=14220/tid=14236] ppid=14217 vsize=10748324 memory=3504 CPUtime=2385.44 cores=0,2,4,6 /proc/14220/task/14236/stat : 14236 (java) R 14217 14220 10765 0 -1 4202560 23844 0 0 0 238537 7 0 0 20 0 16 0 415073501 11006283776 135150 33554432000 4194304 4196468 140736999183664 139777558888336 139777718462832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23216128 140736999191563 140736999191666 140736999191666 140736999194575 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 540600 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2387.61 s] # the end of solver process 14220 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.21 s, system=0.887057 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2387.61 CPU time (s): 2400.1 CPU user time (s): 2399.21 CPU system time (s): 0.887057 CPU usage (%): 100.523 Max. virtual memory (cumulated for all children) (KiB): 10750808 Max. memory (cumulated for all children) (KiB): 540600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.21 system time used= 0.887057 maximum resident set size= 541088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94827 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1520 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55798 involuntary context switches= 2941 # summary of solver processes directly reported to runsolver: # pid: 14220 # total CPU time (s): 2400.1 # total CPU user time (s): 2399.21 # total CPU system time (s): 0.887057 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.6748 second user time and 21.9617 second system time The end
Begin job on node119 at 2019-09-13 18:19:04 IDJOB=4391344 IDBENCH=141053 IDSOLVER=2833 FILE ID=node119/4391344-1568391584 RUNJOBID= node119-1568388843-13118 PBS_JOBID= 21701844 Free space on /tmp= 61492 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391344-1568391584/watcher-4391344-1568391584 -o /tmp/evaluation-result-4391344-1568391584/solver-4391344-1568391584 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568388843-13118 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391344-1568391584.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d RANDOM SEED=619890726 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26531612 kB MemAvailable: 31529344 kB Buffers: 188180 kB Cached: 5076240 kB SwapCached: 61108 kB Active: 2112880 kB Inactive: 3513824 kB Active(anon): 300536 kB Inactive(anon): 103112 kB Active(file): 1812344 kB Inactive(file): 3410712 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66939840 kB Dirty: 9324 kB Writeback: 0 kB AnonPages: 493444 kB Mapped: 56928 kB Shmem: 32816 kB Slab: 210392 kB SReclaimable: 181020 kB SUnreclaim: 29372 kB KernelStack: 4000 kB PageTables: 6140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1262468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 421888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61492 MiB End job on node119 at 2019-09-13 18:58:52