Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | SAT (TO) | 2775 | 2400.1 | 2391.41 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-086.xml |
MD5SUM | a6faa7a5ef9c34b1bccb6ba71ed7d002 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 887 |
Best CPU time to get the best result obtained on this benchmark | 2400.54 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7481 |
Number of constraints | 3825 |
Number of domains | 171 |
Minimum domain size | 2 |
Maximum domain size | 171 |
Distribution of domain sizes | [{"size":2,"count":3742},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 85 |
Distribution of variable degrees | [{"degree":0,"count":3570},{"degree":2,"count":3825},{"degree":85,"count":86}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 86 |
Distribution of constraint arities | [{"arity":2,"count":86},{"arity":3,"count":3656},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3740 |
Distribution of constraint types | [{"type":"intension","count":3740},{"type":"sum","count":85}] |
Optimization problem | YES |
Type of objective | min SUM |
2.43/1.87 2.43/1.87 AbsCon 2 2.43/1.88 3.67/2.28 Instance 3.67/2.28 name=instance-4391333-1568389768, framework=COP, bounds=-infty..+infty 3.67/2.28 3.67/2.28 Loading variables... 4.37/2.43 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1005332 6.68/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1efd5b7e 6.68/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760d58a5 6.68/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fabb8e1 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c2bd6 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b286d 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191c7620 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d16c99a 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea4ee9 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72ccdd3a 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ff6428 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ca0ef4 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1910393b 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e99cd 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@569b9711 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610ff38a 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705710dc 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c0e86 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402c1791 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374abf3c 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3653c3c3 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d423e9f 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbcfcd3 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@408c5618 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d891ed 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@be37b07 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c3d658 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17778a3d 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aad6753 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610895f9 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cce1bc 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@568bd12 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778ca12d 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c9eef2 6.68/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704f13ea 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266bd2 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d9cd559 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@313ff8cb 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7da337b9 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f01ed67 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d021152 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@694b0bb2 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5af1b33a 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdac32f 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a63aa39 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271efaf9 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a96589 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28399dc 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f260d99 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c398b 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76050ef9 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ea1db9 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722fd4f0 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fdcf836 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c69633 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33dacd32 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b93ae7 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bee3d1a 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e24da2 6.68/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb70ad 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1171996f 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cc726d6 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d20150 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45486f 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2754307c 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c95d3b 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737a799a 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f4970e 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36634a86 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b0cd38 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4059d6be 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5903162b 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fede12e 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e43820 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6ba29a 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41e327e0 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d63bc9 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ce40aca 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36fc16a6 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@499dabbb 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b60424 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a42d012 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@675baaad 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ce6b4e 6.99/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a2558b 7.31/3.39 7.31/3.39 7.31/3.39 Domains 7.31/3.39 nTypes=171, nValues=18617, sizes=[2#3742,3#2,4#1,5#2...165#1,167#1,169#1,171#1] 7.31/3.39 Variables 7.31/3.39 count=3911, degrees=[2#3825,85#86] 7.31/3.39 Objectives 7.31/3.39 way=min, type=SumSimpleLE 7.31/3.39 Constraints 7.31/3.39 count=3826, nSpecific=86, arities=[2#86,3#3656,4#1,5#1...83#1,84#1,85#2,86#1] 7.31/3.39 distribution=[CtrIntension#3740,SumSimpleLE#1,SumWeightedEQ#85] 7.31/3.39 nIntStructures=(86,shared:3654), nCftStructures=(86,shared:3654,unbuilt:86) 7.31/3.39 wck=1.548, cpu=3.342, mem=149M491 7.65/3.43 Solver SolverBacktrack being built... 7.65/3.43 7.65/3.49 7.65/3.49 Solver 7.65/3.49 guaranteedGAC=false 7.65/3.49 wck=1.649, cpu=3.423, mem=98M424 7.93/3.59 7.93/3.59 Preprocessing 7.93/3.59 filters=0, ccks=427728, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 7.93/3.59 wck=0.106, cpu=3.532, mem=98M424 7.93/3.59 8.73/3.82 o 208335 8.73/3.83 num=0, depth=3912..3910, filters=9159, revisions=(14705,useless=9201), ccks=862844, wck=0.345, mem=101M14 8.73/3.83 decisions=86, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=208335 8.73/3.83 9.36/4.03 o 194055 9.36/4.03 num=1, depth=0..3910, filters=18250, revisions=(29537,useless=18556), ccks=977084, wck=0.546, mem=103M605 9.36/4.03 decisions=174, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=194055 9.36/4.03 9.92/4.20 o 180447 9.92/4.21 num=2, depth=85..3910, filters=27521, revisions=(44752,useless=28155), ccks=1095256, wck=0.719, mem=106M196 9.92/4.21 decisions=261, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=180447 9.92/4.21 10.16/4.35 o 36295 10.16/4.36 num=3, depth=3912..3910, filters=33970, revisions=(61813,useless=41478), ccks=1108400, wck=0.868, mem=108M787 10.16/4.36 decisions=307, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=4, bestBound=36295 10.16/4.36 10.48/4.55 num=4, depth=46..65, filters=60174, revisions=(100444,useless=62805), ccks=1210068, wck=1.064, mem=111M378 10.48/4.55 decisions=384, wrong=13, backtracks=0, failedAssignments=13, nogoods=12, foundSolutions=4, bestBound=36295 10.48/4.55 10.73/4.70 num=5, depth=56..86, filters=97946, revisions=(148427,useless=84677), ccks=1399424, wck=1.213, mem=111M378 10.73/4.70 decisions=502, wrong=44, backtracks=30, failedAssignments=24, nogoods=13, foundSolutions=4, bestBound=36295 10.73/4.70 10.73/4.75 o 13223 10.73/4.75 num=6, depth=52..3910, filters=105107, revisions=(170919,useless=102963), ccks=1488643, wck=1.267, mem=114M34 10.73/4.75 decisions=557, wrong=45, backtracks=30, failedAssignments=25, nogoods=14, foundSolutions=5, bestBound=13223 10.73/4.75 10.88/4.89 o 9823 10.88/4.89 num=7, depth=54..3910, filters=112656, revisions=(194261,useless=121680), ccks=1577299, wck=1.405, mem=116M625 10.88/4.89 decisions=616, wrong=47, backtracks=30, failedAssignments=27, nogoods=16, foundSolutions=6, bestBound=9823 10.88/4.89 11.11/5.08 num=8, depth=55..62, filters=135034, revisions=(232566,useless=145014), ccks=1750187, wck=1.593, mem=116M625 11.11/5.08 decisions=697, wrong=60, backtracks=35, failedAssignments=38, nogoods=24, foundSolutions=6, bestBound=9823 11.11/5.08 11.24/5.16 o 4783 11.24/5.17 num=9, depth=60..3910, filters=148769, revisions=(262026,useless=166032), ccks=1899204, wck=1.678, mem=119M216 11.24/5.17 decisions=770, wrong=65, backtracks=36, failedAssignments=42, nogoods=28, foundSolutions=7, bestBound=4783 11.24/5.17 11.43/5.31 o 4735 11.43/5.31 num=10, depth=69..3910, filters=156442, revisions=(283745,useless=182831), ccks=2064999, wck=1.824, mem=121M823 11.43/5.31 decisions=847, wrong=68, backtracks=36, failedAssignments=45, nogoods=31, foundSolutions=8, bestBound=4735 11.43/5.31 11.53/5.45 o 4487 11.53/5.46 num=11, depth=75..3910, filters=164793, revisions=(306575,useless=199987), ccks=2221314, wck=1.97, mem=124M414 11.53/5.46 decisions=938, wrong=74, backtracks=37, failedAssignments=50, nogoods=36, foundSolutions=9, bestBound=4487 11.53/5.46 11.73/5.61 num=12, depth=76..82, filters=178448, revisions=(328852,useless=213329), ccks=2404305, wck=2.124, mem=124M414 11.73/5.61 decisions=1040, wrong=87, backtracks=41, failedAssignments=61, nogoods=45, foundSolutions=9, bestBound=4487 11.73/5.61 11.83/5.70 num=13, depth=72..82, filters=197483, revisions=(357464,useless=228866), ccks=2602950, wck=2.211, mem=124M414 11.83/5.70 decisions=1158, wrong=110, backtracks=56, failedAssignments=72, nogoods=46, foundSolutions=9, bestBound=4487 11.83/5.70 11.83/5.76 num=14, depth=75..82, filters=207536, revisions=(376236,useless=240438), ccks=2773067, wck=2.269, mem=124M414 11.83/5.76 decisions=1267, wrong=125, backtracks=63, failedAssignments=84, nogoods=54, foundSolutions=9, bestBound=4487 11.83/5.76 11.93/5.82 num=15, depth=77..81, filters=222102, revisions=(401035,useless=254251), ccks=2948645, wck=2.338, mem=124M414 11.93/5.82 decisions=1382, wrong=144, backtracks=71, failedAssignments=97, nogoods=58, foundSolutions=9, bestBound=4487 11.93/5.82 12.06/5.93 num=16, depth=73..84, filters=241953, revisions=(434841,useless=272937), ccks=3157944, wck=2.439, mem=124M414 12.06/5.93 decisions=1517, wrong=171, backtracks=88, failedAssignments=111, nogoods=63, foundSolutions=9, bestBound=4487 12.06/5.93 12.06/6.00 num=17, depth=63..68, filters=256081, revisions=(463478,useless=291012), ccks=3378919, wck=2.51, mem=124M414 12.06/6.00 decisions=1637, wrong=199, backtracks=109, failedAssignments=127, nogoods=67, foundSolutions=9, bestBound=4487 12.06/6.00 12.17/6.08 num=18, depth=80..85, filters=272807, revisions=(490333,useless=305262), ccks=3597241, wck=2.591, mem=124M414 12.17/6.08 decisions=1768, wrong=224, backtracks=122, failedAssignments=144, nogoods=72, foundSolutions=9, bestBound=4487 12.17/6.08 12.28/6.15 num=19, depth=80..87, filters=286537, revisions=(513455,useless=318309), ccks=3783772, wck=2.66, mem=127M5 12.28/6.15 decisions=1904, wrong=251, backtracks=133, failedAssignments=163, nogoods=82, foundSolutions=9, bestBound=4487 12.28/6.15 12.37/6.24 num=20, depth=65..77, filters=306994, revisions=(550037,useless=339077), ccks=4031742, wck=2.75, mem=127M5 12.37/6.24 decisions=2033, wrong=282, backtracks=158, failedAssignments=184, nogoods=86, foundSolutions=9, bestBound=4487 12.37/6.24 12.47/6.31 num=21, depth=82..87, filters=321715, revisions=(573014,useless=351505), ccks=4236970, wck=2.826, mem=127M5 12.47/6.31 decisions=2180, wrong=314, backtracks=169, failedAssignments=207, nogoods=92, foundSolutions=9, bestBound=4487 12.47/6.31 12.47/6.37 o 2887 12.47/6.38 num=22, depth=71..3910, filters=328966, revisions=(593622,useless=367159), ccks=4391481, wck=2.891, mem=129M650 12.47/6.38 decisions=2255, wrong=315, backtracks=169, failedAssignments=208, nogoods=93, foundSolutions=10, bestBound=2887 12.47/6.38 12.68/6.53 num=23, depth=83..88, filters=343089, revisions=(616902,useless=380146), ccks=4567561, wck=3.043, mem=129M650 12.68/6.53 decisions=2416, wrong=354, backtracks=184, failedAssignments=236, nogoods=99, foundSolutions=10, bestBound=2887 12.68/6.53 12.68/6.59 num=24, depth=81..86, filters=353880, revisions=(636520,useless=392155), ccks=4709421, wck=3.102, mem=129M650 12.68/6.59 decisions=2528, wrong=369, backtracks=191, failedAssignments=247, nogoods=102, foundSolutions=10, bestBound=2887 12.68/6.59 12.78/6.65 num=25, depth=66..71, filters=365709, revisions=(660597,useless=407314), ccks=4857205, wck=3.159, mem=129M650 12.78/6.65 decisions=2636, wrong=390, backtracks=208, failedAssignments=259, nogoods=105, foundSolutions=10, bestBound=2887 12.78/6.65 12.89/6.71 num=26, depth=78..83, filters=379895, revisions=(684471,useless=420910), ccks=5028160, wck=3.226, mem=129M650 12.89/6.71 decisions=2754, wrong=410, backtracks=219, failedAssignments=272, nogoods=106, foundSolutions=10, bestBound=2887 12.89/6.71 12.89/6.79 num=27, depth=80..84, filters=395569, revisions=(708752,useless=434867), ccks=5185712, wck=3.298, mem=129M650 12.89/6.79 decisions=2873, wrong=429, backtracks=227, failedAssignments=286, nogoods=111, foundSolutions=10, bestBound=2887 12.89/6.79 12.99/6.86 num=28, depth=63..68, filters=411511, revisions=(740553,useless=454441), ccks=5366113, wck=3.368, mem=129M650 12.99/6.86 decisions=2989, wrong=455, backtracks=247, failedAssignments=302, nogoods=115, foundSolutions=10, bestBound=2887 12.99/6.86 13.09/6.92 num=29, depth=80..88, filters=425463, revisions=(763593,useless=467344), ccks=5529446, wck=3.435, mem=132M241 13.09/6.92 decisions=3123, wrong=482, backtracks=259, failedAssignments=319, nogoods=116, foundSolutions=10, bestBound=2887 13.09/6.92 13.26/7.01 num=30, depth=80..86, filters=444264, revisions=(792163,useless=482368), ccks=5701734, wck=3.525, mem=132M241 13.26/7.01 decisions=3271, wrong=516, backtracks=279, failedAssignments=338, nogoods=118, foundSolutions=10, bestBound=2887 13.26/7.01 13.26/7.07 num=31, depth=80..84, filters=457535, revisions=(815930,useless=495964), ccks=5853619, wck=3.586, mem=132M241 13.26/7.07 decisions=3413, wrong=546, backtracks=291, failedAssignments=359, nogoods=126, foundSolutions=10, bestBound=2887 13.26/7.07 13.40/7.15 num=32, depth=76..84, filters=473582, revisions=(844297,useless=511876), ccks=6046548, wck=3.66, mem=132M241 13.40/7.15 decisions=3563, wrong=583, backtracks=319, failedAssignments=382, nogoods=128, foundSolutions=10, bestBound=2887 13.40/7.15 13.49/7.22 num=33, depth=78..84, filters=492074, revisions=(874721,useless=527898), ccks=6230038, wck=3.737, mem=132M241 13.49/7.22 decisions=3721, wrong=623, backtracks=337, failedAssignments=407, nogoods=131, foundSolutions=10, bestBound=2887 13.49/7.22 13.59/7.31 num=34, depth=77..84, filters=513478, revisions=(909795,useless=545618), ccks=6446413, wck=3.822, mem=132M241 13.59/7.31 decisions=3889, wrong=667, backtracks=361, failedAssignments=435, nogoods=136, foundSolutions=10, bestBound=2887 13.59/7.31 13.59/7.39 num=35, depth=79..86, filters=534327, revisions=(941642,useless=561209), ccks=6640073, wck=3.905, mem=134M831 13.59/7.39 decisions=4067, wrong=715, backtracks=380, failedAssignments=466, nogoods=141, foundSolutions=10, bestBound=2887 13.59/7.39 13.69/7.47 num=36, depth=76..86, filters=551127, revisions=(968295,useless=575347), ccks=6817695, wck=3.979, mem=134M831 13.69/7.47 decisions=4264, wrong=773, backtracks=414, failedAssignments=500, nogoods=145, foundSolutions=10, bestBound=2887 13.69/7.47 13.79/7.54 num=37, depth=80..87, filters=568010, revisions=(994906,useless=589166), ccks=6974332, wck=4.049, mem=134M831 13.79/7.54 decisions=4456, wrong=827, backtracks=434, failedAssignments=537, nogoods=156, foundSolutions=10, bestBound=2887 13.79/7.54 13.90/7.67 num=38, depth=77..85, filters=604043, revisions=(1042951,useless=609510), ccks=7267588, wck=4.181, mem=134M831 13.90/7.67 decisions=4671, wrong=896, backtracks=471, failedAssignments=578, nogoods=157, foundSolutions=10, bestBound=2887 13.90/7.67 14.00/7.76 num=39, depth=79..86, filters=627573, revisions=(1076404,useless=624454), ccks=7450707, wck=4.27, mem=134M831 14.00/7.76 decisions=4886, wrong=964, backtracks=502, failedAssignments=623, nogoods=159, foundSolutions=10, bestBound=2887 14.00/7.76 14.10/7.85 num=40, depth=77..84, filters=657433, revisions=(1117894,useless=642375), ccks=7611201, wck=4.365, mem=137M422 14.10/7.85 decisions=5099, wrong=1032, backtracks=528, failedAssignments=673, nogoods=163, foundSolutions=10, bestBound=2887 14.10/7.85 14.31/8.04 num=41, depth=71..81, filters=707892, revisions=(1183636,useless=670534), ccks=7940267, wck=4.549, mem=137M422 14.31/8.04 decisions=5342, wrong=1117, backtracks=583, failedAssignments=728, nogoods=178, foundSolutions=10, bestBound=2887 14.31/8.04 14.50/8.27 num=42, depth=68..76, filters=763590, revisions=(1259632,useless=698576), ccks=8614320, wck=4.785, mem=137M422 14.50/8.27 decisions=5604, wrong=1212, backtracks=634, failedAssignments=789, nogoods=185, foundSolutions=10, bestBound=2887 14.50/8.27 14.70/8.41 num=43, depth=64..78, filters=792709, revisions=(1305785,useless=721202), ccks=9005651, wck=4.928, mem=140M13 14.70/8.41 decisions=5837, wrong=1294, backtracks=702, failedAssignments=856, nogoods=197, foundSolutions=10, bestBound=2887 14.70/8.41 14.91/8.63 num=44, depth=65..75, filters=851183, revisions=(1386702,useless=754182), ccks=9435807, wck=5.138, mem=140M13 14.91/8.63 decisions=6103, wrong=1394, backtracks=774, failedAssignments=930, nogoods=213, foundSolutions=10, bestBound=2887 14.91/8.63 15.11/8.81 num=45, depth=62..81, filters=894138, revisions=(1448665,useless=783721), ccks=9904572, wck=5.324, mem=140M13 15.11/8.81 decisions=6446, wrong=1530, backtracks=887, failedAssignments=1011, nogoods=226, foundSolutions=10, bestBound=2887 15.11/8.81 15.41/9.18 num=46, depth=60..80, filters=998009, revisions=(1584528,useless=838014), ccks=10478856, wck=5.695, mem=142M604 15.41/9.18 decisions=6810, wrong=1678, backtracks=1014, failedAssignments=1100, nogoods=236, foundSolutions=10, bestBound=2887 15.41/9.18 15.81/9.50 num=47, depth=71..78, filters=1097137, revisions=(1716612,useless=886820), ccks=11164888, wck=6.01, mem=145M195 15.81/9.50 decisions=7177, wrong=1825, backtracks=1129, failedAssignments=1198, nogoods=242, foundSolutions=10, bestBound=2887 15.81/9.50 16.01/9.74 num=48, depth=73..80, filters=1176353, revisions=(1821081,useless=925168), ccks=11638223, wck=6.252, mem=147M785 16.01/9.74 decisions=7559, wrong=1979, backtracks=1224, failedAssignments=1306, nogoods=254, foundSolutions=10, bestBound=2887 16.01/9.74 16.35/10.02 num=49, depth=73..80, filters=1261496, revisions=(1928268,useless=964977), ccks=12154824, wck=6.533, mem=147M785 16.35/10.02 decisions=7987, wrong=2155, backtracks=1333, failedAssignments=1425, nogoods=270, foundSolutions=10, bestBound=2887 16.35/10.02 16.45/10.17 num=50, depth=33..74, filters=1290423, revisions=(2020642,useless=1029072), ccks=12278140, wck=6.678, mem=150M376 16.45/10.17 decisions=8805, wrong=2538, backtracks=1674, failedAssignments=1556, nogoods=272, foundSolutions=10, bestBound=2887 16.45/10.17 17.00/10.66 num=51, depth=71..83, filters=1435377, revisions=(2261773,useless=1153173), ccks=13081557, wck=7.174, mem=152M967 17.00/10.66 decisions=9369, wrong=2783, backtracks=1824, failedAssignments=1700, nogoods=284, foundSolutions=10, bestBound=2887 17.00/10.66 17.32/10.94 num=52, depth=75..83, filters=1533530, revisions=(2408132,useless=1218829), ccks=13646502, wck=7.457, mem=155M558 17.32/10.94 decisions=9938, wrong=3029, backtracks=1965, failedAssignments=1858, nogoods=292, foundSolutions=10, bestBound=2887 17.32/10.94 17.62/11.20 num=53, depth=76..86, filters=1613207, revisions=(2518987,useless=1265896), ccks=14205326, wck=7.713, mem=155M558 17.62/11.20 decisions=10599, wrong=3319, backtracks=2118, failedAssignments=2032, nogoods=314, foundSolutions=10, bestBound=2887 17.62/11.20 17.82/11.49 num=54, depth=72..87, filters=1696179, revisions=(2627090,useless=1310139), ccks=14847923, wck=8.001, mem=158M149 17.82/11.49 decisions=11382, wrong=3673, backtracks=2368, failedAssignments=2223, nogoods=321, foundSolutions=10, bestBound=2887 17.82/11.49 18.69/12.17 num=55, depth=74..85, filters=1887788, revisions=(2853882,useless=1387540), ccks=16123757, wck=8.681, mem=103M785 18.69/12.17 decisions=12161, wrong=4024, backtracks=2596, failedAssignments=2434, nogoods=335, foundSolutions=10, bestBound=2887 18.69/12.17 19.39/12.84 num=56, depth=69..79, filters=2066254, revisions=(3074266,useless=1460094), ccks=17613918, wck=9.348, mem=107M832 19.39/12.84 decisions=12900, wrong=4357, backtracks=2807, failedAssignments=2666, nogoods=339, foundSolutions=10, bestBound=2887 19.39/12.84 19.80/13.28 num=57, depth=63..78, filters=2154148, revisions=(3205017,useless=1523330), ccks=18961300, wck=9.795, mem=107M832 19.80/13.28 decisions=13687, wrong=4718, backtracks=3140, failedAssignments=2921, nogoods=346, foundSolutions=10, bestBound=2887 19.80/13.28 20.80/14.27 num=58, depth=68..78, filters=2414909, revisions=(3530210,useless=1629599), ccks=21257353, wck=10.781, mem=115M927 20.80/14.27 decisions=14587, wrong=5132, backtracks=3480, failedAssignments=3202, nogoods=351, foundSolutions=10, bestBound=2887 20.80/14.27 21.61/15.07 num=59, depth=64..73, filters=2617464, revisions=(3797900,useless=1718312), ccks=23274911, wck=11.585, mem=119M974 21.61/15.07 decisions=15497, wrong=5554, backtracks=3747, failedAssignments=3511, nogoods=358, foundSolutions=10, bestBound=2887 21.61/15.07 22.71/16.18 num=60, depth=61..73, filters=2917564, revisions=(4204622,useless=1856788), ccks=25969111, wck=12.697, mem=124M21 22.71/16.18 decisions=16477, wrong=6012, backtracks=4076, failedAssignments=3851, nogoods=370, foundSolutions=10, bestBound=2887 22.71/16.18 23.40/16.86 num=61, depth=60..78, filters=3073096, revisions=(4421128,useless=1945825), ccks=27762178, wck=13.37, mem=128M69 23.40/16.86 decisions=17613, wrong=6547, backtracks=4525, failedAssignments=4225, nogoods=382, foundSolutions=10, bestBound=2887 23.40/16.86 24.11/17.59 num=62, depth=74..83, filters=3324447, revisions=(4727936,useless=2055690), ccks=28835696, wck=14.1, mem=132M116 24.11/17.59 decisions=18952, wrong=7179, backtracks=4944, failedAssignments=4636, nogoods=390, foundSolutions=10, bestBound=2887 24.11/17.59 25.02/18.49 num=63, depth=73..82, filters=3602533, revisions=(5062417,useless=2171255), ccks=30523169, wck=15.008, mem=140M211 25.02/18.49 decisions=20379, wrong=7855, backtracks=5422, failedAssignments=5088, nogoods=399, foundSolutions=10, bestBound=2887 25.02/18.49 25.45/18.88 num=64, depth=35..69, filters=3696766, revisions=(5325321,useless=2343218), ccks=30886727, wck=15.394, mem=140M211 25.45/18.88 decisions=22101, wrong=8693, backtracks=6124, failedAssignments=5585, nogoods=419, foundSolutions=10, bestBound=2887 25.45/18.88 26.97/20.31 num=65, depth=72..82, filters=4124114, revisions=(5835715,useless=2509645), ccks=33776714, wck=16.827, mem=152M352 26.97/20.31 decisions=23959, wrong=9585, backtracks=6766, failedAssignments=6132, nogoods=426, foundSolutions=10, bestBound=2887 26.97/20.31 28.78/22.12 num=66, depth=67..77, filters=4598423, revisions=(6423769,useless=2690758), ccks=38309244, wck=18.628, mem=160M447 28.78/22.12 decisions=25848, wrong=10495, backtracks=7414, failedAssignments=6734, nogoods=437, foundSolutions=10, bestBound=2887 28.78/22.12 30.78/24.16 num=67, depth=66..77, filters=5148288, revisions=(7115636,useless=2912323), ccks=43125579, wck=20.677, mem=172M589 30.78/24.16 decisions=27802, wrong=11438, backtracks=8139, failedAssignments=7396, nogoods=455, foundSolutions=10, bestBound=2887 30.78/24.16 31.48/24.80 num=68, depth=38..67, filters=5303916, revisions=(7534781,useless=3180416), ccks=43631238, wck=21.318, mem=176M636 31.48/24.80 decisions=30074, wrong=12550, backtracks=9119, failedAssignments=8124, nogoods=470, foundSolutions=10, bestBound=2887 31.48/24.80 34.21/27.57 num=69, depth=63..74, filters=6142495, revisions=(8632536,useless=3534904), ccks=49936794, wck=24.084, mem=192M825 34.21/27.57 decisions=32372, wrong=13666, backtracks=10012, failedAssignments=8925, nogoods=476, foundSolutions=10, bestBound=2887 34.21/27.57 36.61/29.99 num=70, depth=64..75, filters=6758812, revisions=(9419904,useless=3789825), ccks=55924269, wck=26.507, mem=209M14 36.61/29.99 decisions=34847, wrong=14870, backtracks=10874, failedAssignments=9806, nogoods=483, foundSolutions=10, bestBound=2887 36.61/29.99 38.82/32.19 num=71, depth=59..80, filters=7241184, revisions=(10047181,useless=4034155), ccks=61912207, wck=28.708, mem=217M109 38.82/32.19 decisions=38311, wrong=16571, backtracks=12401, failedAssignments=10776, nogoods=487, foundSolutions=10, bestBound=2887 38.82/32.19 40.22/33.55 num=72, depth=74..86, filters=7711718, revisions=(10627991,useless=4253382), ccks=63689177, wck=30.063, mem=225M203 40.22/33.55 decisions=41746, wrong=18248, backtracks=13352, failedAssignments=11843, nogoods=495, foundSolutions=10, bestBound=2887 40.22/33.55 42.92/36.29 num=73, depth=73..86, filters=8567498, revisions=(11832992,useless=4791591), ccks=68531939, wck=32.804, mem=245M440 42.92/36.29 decisions=45523, wrong=20099, backtracks=14361, failedAssignments=13016, nogoods=501, foundSolutions=10, bestBound=2887 42.92/36.29 45.32/38.67 num=74, depth=72..85, filters=9342397, revisions=(12863369,useless=5208972), ccks=72903455, wck=35.179, mem=261M629 45.32/38.67 decisions=50066, wrong=22332, backtracks=15711, failedAssignments=14307, nogoods=508, foundSolutions=10, bestBound=2887 45.32/38.67 45.42/38.79 o 2775 45.42/38.79 num=75, depth=71..3910, filters=9367822, revisions=(12905542,useless=5232539), ccks=73176896, wck=35.306, mem=265M676 45.42/38.79 decisions=50235, wrong=22379, backtracks=15749, failedAssignments=14338, nogoods=514, foundSolutions=11, bestBound=2775 45.42/38.79 47.12/40.46 num=76, depth=75..87, filters=9920838, revisions=(13580585,useless=5477085), ccks=75389499, wck=36.972, mem=277M818 47.12/40.46 decisions=55043, wrong=24744, backtracks=16947, failedAssignments=15900, nogoods=526, foundSolutions=11, bestBound=2775 47.12/40.46 47.22/40.52 num=77, depth=77..82, filters=9930605, revisions=(13598100,useless=5487465), ccks=75526944, wck=37.032, mem=277M818 47.22/40.52 decisions=55152, wrong=24758, backtracks=16951, failedAssignments=15911, nogoods=532, foundSolutions=11, bestBound=2775 47.22/40.52 47.22/40.59 num=78, depth=71..79, filters=9943253, revisions=(13620336,useless=5500268), ccks=75685305, wck=37.099, mem=277M818 47.22/40.59 decisions=55275, wrong=24783, backtracks=16971, failedAssignments=15923, nogoods=535, foundSolutions=11, bestBound=2775 47.22/40.59 47.32/40.65 num=79, depth=76..80, filters=9955398, revisions=(13640508,useless=5511410), ccks=75807053, wck=37.161, mem=277M818 47.32/40.65 decisions=55389, wrong=24801, backtracks=16978, failedAssignments=15936, nogoods=538, foundSolutions=11, bestBound=2775 47.32/40.65 47.42/40.71 num=80, depth=68..75, filters=9969040, revisions=(13664368,useless=5524931), ccks=75964933, wck=37.228, mem=277M818 47.42/40.71 decisions=55511, wrong=24828, backtracks=16996, failedAssignments=15950, nogoods=539, foundSolutions=11, bestBound=2775 47.42/40.71 47.42/40.77 num=81, depth=77..82, filters=9979526, revisions=(13682882,useless=5535575), ccks=76073256, wck=37.283, mem=277M818 47.42/40.77 decisions=55632, wrong=24850, backtracks=17004, failedAssignments=15966, nogoods=541, foundSolutions=11, bestBound=2775 47.42/40.77 47.52/40.82 num=82, depth=38..57, filters=9991892, revisions=(13718917,useless=5559674), ccks=76136585, wck=37.332, mem=277M818 47.52/40.82 decisions=55722, wrong=24872, backtracks=17013, failedAssignments=15983, nogoods=550, foundSolutions=11, bestBound=2775 47.52/40.82 47.52/40.89 num=83, depth=76..81, filters=10004872, revisions=(13739922,useless=5571302), ccks=76266273, wck=37.398, mem=277M818 47.52/40.89 decisions=55851, wrong=24898, backtracks=17023, failedAssignments=16002, nogoods=558, foundSolutions=11, bestBound=2775 47.52/40.89 47.63/40.96 num=84, depth=75..82, filters=10019563, revisions=(13763548,useless=5583358), ccks=76416305, wck=37.472, mem=277M818 47.63/40.96 decisions=55989, wrong=24929, backtracks=17037, failedAssignments=16023, nogoods=565, foundSolutions=11, bestBound=2775 47.63/40.96 47.74/41.06 num=85, depth=68..79, filters=10040759, revisions=(13796295,useless=5600069), ccks=76631138, wck=37.568, mem=281M865 47.74/41.06 decisions=56146, wrong=24970, backtracks=17069, failedAssignments=16046, nogoods=570, foundSolutions=11, bestBound=2775 47.74/41.06 47.85/41.13 num=86, depth=75..80, filters=10056931, revisions=(13821316,useless=5612726), ccks=76788806, wck=37.647, mem=281M865 47.85/41.13 decisions=56293, wrong=25005, backtracks=17086, failedAssignments=16071, nogoods=573, foundSolutions=11, bestBound=2775 47.85/41.13 47.94/41.27 num=87, depth=70..79, filters=10092020, revisions=(13866918,useless=5633048), ccks=77016594, wck=37.784, mem=281M865 47.94/41.27 decisions=56462, wrong=25054, backtracks=17130, failedAssignments=16099, nogoods=577, foundSolutions=11, bestBound=2775 47.94/41.27 48.04/41.36 num=88, depth=71..80, filters=10109951, revisions=(13894703,useless=5646566), ccks=77225667, wck=37.875, mem=281M865 48.04/41.36 decisions=56618, wrong=25096, backtracks=17150, failedAssignments=16130, nogoods=583, foundSolutions=11, bestBound=2775 48.04/41.36 48.14/41.46 num=89, depth=72..80, filters=10130475, revisions=(13925439,useless=5660837), ccks=77439045, wck=37.975, mem=281M865 48.14/41.46 decisions=56786, wrong=25143, backtracks=17175, failedAssignments=16164, nogoods=590, foundSolutions=11, bestBound=2775 48.14/41.46 48.24/41.56 num=90, depth=71..78, filters=10153108, revisions=(13959632,useless=5676469), ccks=77664533, wck=38.078, mem=281M865 48.24/41.56 decisions=56957, wrong=25193, backtracks=17198, failedAssignments=16201, nogoods=598, foundSolutions=11, bestBound=2775 48.24/41.56 48.44/41.73 num=91, depth=69..75, filters=10192325, revisions=(14013951,useless=5698475), ccks=78024166, wck=38.244, mem=281M865 48.44/41.73 decisions=57142, wrong=25250, backtracks=17229, failedAssignments=16242, nogoods=606, foundSolutions=11, bestBound=2775 48.44/41.73 48.54/41.85 num=92, depth=65..78, filters=10215321, revisions=(14051513,useless=5718839), ccks=78315779, wck=38.361, mem=281M865 48.54/41.85 decisions=57347, wrong=25318, backtracks=17292, failedAssignments=16287, nogoods=610, foundSolutions=11, bestBound=2775 48.54/41.85 48.64/41.94 num=93, depth=70..74, filters=10241794, revisions=(14091850,useless=5736082), ccks=78483635, wck=38.454, mem=285M912 48.64/41.94 decisions=57559, wrong=25389, backtracks=17319, failedAssignments=16337, nogoods=624, foundSolutions=11, bestBound=2775 48.64/41.94 48.75/42.10 num=94, depth=69..78, filters=10280719, revisions=(14147267,useless=5757749), ccks=78843017, wck=38.609, mem=285M912 48.75/42.10 decisions=57787, wrong=25468, backtracks=17355, failedAssignments=16392, nogoods=638, foundSolutions=11, bestBound=2775 48.75/42.10 48.94/42.21 num=95, depth=62..75, filters=10302587, revisions=(14185505,useless=5779862), ccks=79138173, wck=38.726, mem=285M912 48.94/42.21 decisions=58011, wrong=25548, backtracks=17428, failedAssignments=16453, nogoods=643, foundSolutions=11, bestBound=2775 48.94/42.21 49.04/42.33 num=96, depth=70..77, filters=10335282, revisions=(14234006,useless=5799574), ccks=79342605, wck=38.841, mem=285M912 49.04/42.33 decisions=58260, wrong=25636, backtracks=17462, failedAssignments=16520, nogoods=662, foundSolutions=11, bestBound=2775 49.04/42.33 49.34/42.65 num=97, depth=66..79, filters=10419276, revisions=(14338115,useless=5839652), ccks=79830705, wck=39.164, mem=285M912 49.34/42.65 decisions=58553, wrong=25749, backtracks=17554, failedAssignments=16594, nogoods=668, foundSolutions=11, bestBound=2775 49.34/42.65 49.44/42.78 num=98, depth=68..76, filters=10461596, revisions=(14399888,useless=5863051), ccks=80085532, wck=39.294, mem=289M960 49.44/42.78 decisions=58849, wrong=25861, backtracks=17597, failedAssignments=16675, nogoods=679, foundSolutions=11, bestBound=2775 49.44/42.78 49.64/42.99 num=99, depth=65..73, filters=10519540, revisions=(14483296,useless=5894775), ccks=80556852, wck=39.505, mem=289M960 49.64/42.99 decisions=59156, wrong=25981, backtracks=17662, failedAssignments=16764, nogoods=695, foundSolutions=11, bestBound=2775 49.64/42.99 49.85/43.17 num=100, depth=59..74, filters=10553517, revisions=(14542481,useless=5927868), ccks=81001277, wck=39.679, mem=289M960 49.85/43.17 decisions=59513, wrong=26129, backtracks=17803, failedAssignments=16862, nogoods=701, foundSolutions=11, bestBound=2775 49.85/43.17 50.24/43.52 num=101, depth=63..72, filters=10644822, revisions=(14669459,useless=5972672), ccks=81841094, wck=40.032, mem=294M7 50.24/43.52 decisions=59861, wrong=26270, backtracks=17892, failedAssignments=16970, nogoods=715, foundSolutions=11, bestBound=2775 50.24/43.52 50.54/43.82 num=102, depth=59..70, filters=10746108, revisions=(14819958,useless=6030242), ccks=82439064, wck=40.338, mem=294M7 50.54/43.82 decisions=60238, wrong=26427, backtracks=17972, failedAssignments=17089, nogoods=724, foundSolutions=11, bestBound=2775 50.54/43.82 50.77/44.05 num=103, depth=63..71, filters=10823400, revisions=(14932443,useless=6072602), ccks=82844971, wck=40.567, mem=294M7 50.77/44.05 decisions=60667, wrong=26610, backtracks=18056, failedAssignments=17220, nogoods=740, foundSolutions=11, bestBound=2775 50.77/44.05 50.96/44.29 num=104, depth=59..75, filters=10876963, revisions=(15016267,useless=6109322), ccks=83487856, wck=40.805, mem=298M54 50.96/44.29 decisions=61069, wrong=26780, backtracks=18195, failedAssignments=17364, nogoods=745, foundSolutions=11, bestBound=2775 50.96/44.29 51.36/44.66 num=105, depth=63..74, filters=10990081, revisions=(15168972,useless=6161617), ccks=84148397, wck=41.177, mem=298M54 51.36/44.66 decisions=61561, wrong=26994, backtracks=18309, failedAssignments=17522, nogoods=757, foundSolutions=11, bestBound=2775 51.36/44.66 51.66/44.97 num=106, depth=62..70, filters=11103717, revisions=(15337381,useless=6224735), ccks=84669441, wck=41.478, mem=302M101 51.66/44.97 decisions=62117, wrong=27240, backtracks=18420, failedAssignments=17696, nogoods=760, foundSolutions=11, bestBound=2775 51.66/44.97 52.06/45.37 num=107, depth=60..73, filters=11231666, revisions=(15521829,useless=6293501), ccks=85434154, wck=41.888, mem=302M101 52.06/45.37 decisions=62673, wrong=27487, backtracks=18564, failedAssignments=17887, nogoods=775, foundSolutions=11, bestBound=2775 52.06/45.37 52.46/45.79 num=108, depth=59..68, filters=11376716, revisions=(15738779,useless=6376317), ccks=86171336, wck=42.306, mem=305M259 52.46/45.79 decisions=63305, wrong=27773, backtracks=18717, failedAssignments=18098, nogoods=786, foundSolutions=11, bestBound=2775 52.46/45.79 53.10/46.37 num=109, depth=60..70, filters=11558060, revisions=(15995948,useless=6469331), ccks=87125337, wck=42.883, mem=104M100 53.10/46.37 decisions=63982, wrong=28081, backtracks=18888, failedAssignments=18330, nogoods=802, foundSolutions=11, bestBound=2775 53.10/46.37 53.60/46.83 num=110, depth=60..70, filters=11719138, revisions=(16233252,useless=6558096), ccks=87852917, wck=43.341, mem=108M273 53.60/46.83 decisions=64745, wrong=28430, backtracks=19060, failedAssignments=18585, nogoods=821, foundSolutions=11, bestBound=2775 53.60/46.83 54.70/47.92 num=111, depth=57..76, filters=11987994, revisions=(16559312,useless=6676313), ccks=88986999, wck=44.436, mem=112M447 54.70/47.92 decisions=65543, wrong=28799, backtracks=19334, failedAssignments=18866, nogoods=834, foundSolutions=11, bestBound=2775 54.70/47.92 55.41/48.60 num=112, depth=60..72, filters=12194955, revisions=(16849244,useless=6783137), ccks=90199744, wck=45.111, mem=116M620 55.41/48.60 decisions=66446, wrong=29220, backtracks=19542, failedAssignments=19175, nogoods=852, foundSolutions=11, bestBound=2775 55.41/48.60 56.12/49.31 num=113, depth=62..71, filters=12418402, revisions=(17160353,useless=6892169), ccks=91544184, wck=45.822, mem=120M793 56.12/49.31 decisions=67406, wrong=29669, backtracks=19799, failedAssignments=19515, nogoods=865, foundSolutions=11, bestBound=2775 56.12/49.31 56.93/50.17 num=114, depth=60..72, filters=12678992, revisions=(17525241,useless=7021405), ccks=93399597, wck=46.681, mem=124M966 56.93/50.17 decisions=68478, wrong=30174, backtracks=20099, failedAssignments=19889, nogoods=876, foundSolutions=11, bestBound=2775 56.93/50.17 57.93/51.14 num=115, depth=59..71, filters=12989355, revisions=(17974911,useless=7190118), ccks=95384773, wck=47.649, mem=133M313 57.93/51.14 decisions=69631, wrong=30720, backtracks=20453, failedAssignments=20300, nogoods=890, foundSolutions=11, bestBound=2775 57.93/51.14 59.02/52.27 num=116, depth=59..70, filters=13295158, revisions=(18403760,useless=7345883), ccks=97962573, wck=48.784, mem=141M659 59.02/52.27 decisions=70916, wrong=31332, backtracks=20847, failedAssignments=20752, nogoods=905, foundSolutions=11, bestBound=2775 59.02/52.27 60.22/53.45 num=117, depth=59..72, filters=13644583, revisions=(18880268,useless=7515396), ccks=100298980, wck=49.967, mem=145M832 60.22/53.45 decisions=72310, wrong=31998, backtracks=21251, failedAssignments=21249, nogoods=917, foundSolutions=11, bestBound=2775 60.22/53.45 61.42/54.69 num=118, depth=58..70, filters=13971112, revisions=(19350991,useless=7695599), ccks=103006417, wck=51.203, mem=154M178 61.42/54.69 decisions=73828, wrong=32727, backtracks=21735, failedAssignments=21796, nogoods=927, foundSolutions=11, bestBound=2775 61.42/54.69 62.83/56.05 num=119, depth=58..72, filters=14358373, revisions=(19885264,useless=7889285), ccks=105964197, wck=52.566, mem=162M525 62.83/56.05 decisions=75520, wrong=33542, backtracks=22219, failedAssignments=22398, nogoods=937, foundSolutions=11, bestBound=2775 62.83/56.05 64.25/57.40 num=120, depth=58..71, filters=14740494, revisions=(20421770,useless=8089451), ccks=108471832, wck=53.91, mem=170M871 64.25/57.40 decisions=77322, wrong=34413, backtracks=22743, failedAssignments=23060, nogoods=943, foundSolutions=11, bestBound=2775 64.25/57.40 65.86/59.09 num=121, depth=59..73, filters=15222269, revisions=(21085529,useless=8316246), ccks=112479756, wck=55.608, mem=179M218 65.86/59.09 decisions=79285, wrong=35364, backtracks=23373, failedAssignments=23788, nogoods=955, foundSolutions=11, bestBound=2775 65.86/59.09 68.46/61.63 num=122, depth=31..70, filters=15976647, revisions=(22940055,useless=9426482), ccks=113644816, wck=58.147, mem=196M801 68.46/61.63 decisions=81717, wrong=36561, backtracks=24455, failedAssignments=24589, nogoods=959, foundSolutions=11, bestBound=2775 68.46/61.63 70.88/64.05 num=123, depth=56..70, filters=16694937, revisions=(23960348,useless=9811429), ccks=118087385, wck=60.561, mem=209M320 70.88/64.05 decisions=84092, wrong=37720, backtracks=25271, failedAssignments=25470, nogoods=972, foundSolutions=11, bestBound=2775 70.88/64.05 75.88/69.10 num=124, depth=26..57, filters=18035584, revisions=(27789786,useless=12321250), ccks=120047320, wck=65.614, mem=238M533 75.88/69.10 decisions=87452, wrong=39383, backtracks=26787, failedAssignments=26440, nogoods=982, foundSolutions=11, bestBound=2775 75.88/69.10 78.48/71.62 num=125, depth=54..67, filters=18708063, revisions=(28797287,useless=12739710), ccks=125200074, wck=68.132, mem=255M225 78.48/71.62 decisions=90459, wrong=40858, backtracks=27730, failedAssignments=27507, nogoods=999, foundSolutions=11, bestBound=2775 78.48/71.62 81.99/75.18 num=126, depth=59..71, filters=19680283, revisions=(30117521,useless=13212106), ccks=133231559, wck=71.691, mem=276M91 81.99/75.18 decisions=93669, wrong=42433, backtracks=28913, failedAssignments=28680, nogoods=1017, foundSolutions=11, bestBound=2775 81.99/75.18 83.70/76.84 num=127, depth=57..76, filters=20057073, revisions=(30683579,useless=13460525), ccks=138161036, wck=73.357, mem=284M438 83.70/76.84 decisions=96944, wrong=44040, backtracks=30187, failedAssignments=29971, nogoods=1028, foundSolutions=11, bestBound=2775 83.70/76.84 87.30/80.45 num=128, depth=59..74, filters=21038797, revisions=(32027622,useless=13940035), ccks=146468748, wck=76.961, mem=301M130 87.30/80.45 decisions=100892, wrong=45983, backtracks=31491, failedAssignments=31391, nogoods=1046, foundSolutions=11, bestBound=2775 87.30/80.45 91.64/84.77 num=129, depth=58..71, filters=22270958, revisions=(33698355,useless=14525662), ccks=155266655, wck=81.283, mem=116M435 91.64/84.77 decisions=105134, wrong=48074, backtracks=32916, failedAssignments=32953, nogoods=1070, foundSolutions=11, bestBound=2775 91.64/84.77 95.54/88.69 num=130, depth=55..69, filters=23184484, revisions=(35011048,useless=15059664), ccks=164479488, wck=85.202, mem=136M876 95.54/88.69 decisions=109860, wrong=50409, backtracks=34564, failedAssignments=34671, nogoods=1083, foundSolutions=11, bestBound=2775 95.54/88.69 96.66/89.75 num=131, depth=28..69, filters=23477881, revisions=(35924490,useless=15683613), ccks=165537478, wck=86.265, mem=149M140 96.66/89.75 decisions=115824, wrong=53371, backtracks=37128, failedAssignments=36561, nogoods=1093, foundSolutions=11, bestBound=2775 96.66/89.75 104.97/98.05 num=132, depth=60..73, filters=25550857, revisions=(38600525,useless=16572161), ccks=186100913, wck=94.565, mem=194M108 104.97/98.05 decisions=122020, wrong=56437, backtracks=39719, failedAssignments=38640, nogoods=1109, foundSolutions=11, bestBound=2775 104.97/98.05 110.56/103.65 num=133, depth=59..72, filters=26851491, revisions=(40372457,useless=17200340), ccks=201343658, wck=100.165, mem=226M813 110.56/103.65 decisions=128390, wrong=59590, backtracks=42049, failedAssignments=40927, nogoods=1114, foundSolutions=11, bestBound=2775 110.56/103.65 118.36/111.49 num=134, depth=58..72, filters=28906824, revisions=(43127370,useless=18152610), ccks=220542119, wck=108.006, mem=267M693 118.36/111.49 decisions=135254, wrong=62991, backtracks=44679, failedAssignments=43443, nogoods=1124, foundSolutions=11, bestBound=2775 118.36/111.49 126.51/119.54 num=135, depth=58..72, filters=30929976, revisions=(45852531,useless=19140243), ccks=239525258, wck=116.054, mem=108M103 126.51/119.54 decisions=142948, wrong=66808, backtracks=47534, failedAssignments=46211, nogoods=1152, foundSolutions=11, bestBound=2775 126.51/119.54 135.81/128.86 num=136, depth=57..72, filters=33239691, revisions=(48925712,useless=20240584), ccks=260942541, wck=125.37, mem=156M171 135.81/128.86 decisions=151343, wrong=70975, backtracks=50638, failedAssignments=49255, nogoods=1180, foundSolutions=11, bestBound=2775 135.81/128.86 145.91/138.98 num=137, depth=58..71, filters=35873398, revisions=(52428435,useless=21452021), ccks=286385551, wck=135.498, mem=212M250 145.91/138.98 decisions=160556, wrong=75551, backtracks=54141, failedAssignments=52604, nogoods=1198, foundSolutions=11, bestBound=2775 145.91/138.98 158.41/151.42 num=138, depth=59..73, filters=39305853, revisions=(56963662,useless=22927641), ccks=317235301, wck=147.937, mem=284M352 158.41/151.42 decisions=170621, wrong=80552, backtracks=58230, failedAssignments=56288, nogoods=1208, foundSolutions=11, bestBound=2775 158.41/151.42 172.85/165.85 num=139, depth=58..73, filters=42808167, revisions=(61584739,useless=24449694), ccks=356132332, wck=162.361, mem=162M709 172.85/165.85 decisions=181714, wrong=86067, backtracks=63061, failedAssignments=60340, nogoods=1216, foundSolutions=11, bestBound=2775 172.85/165.85 186.95/179.97 num=140, depth=57..71, filters=46800157, revisions=(66970042,useless=26312460), ccks=388690026, wck=176.487, mem=244M927 186.95/179.97 decisions=193882, wrong=92122, backtracks=67711, failedAssignments=64797, nogoods=1234, foundSolutions=11, bestBound=2775 186.95/179.97 203.39/196.37 num=141, depth=58..73, filters=50891949, revisions=(72352250,useless=28040928), ccks=432368637, wck=192.879, mem=138M474 203.39/196.37 decisions=207084, wrong=98693, backtracks=73188, failedAssignments=69700, nogoods=1242, foundSolutions=11, bestBound=2775 203.39/196.37 218.29/211.25 num=142, depth=54..70, filters=54989320, revisions=(78027159,useless=30182485), ccks=464076442, wck=207.763, mem=226M735 218.29/211.25 decisions=221765, wrong=106005, backtracks=78511, failedAssignments=75094, nogoods=1258, foundSolutions=11, bestBound=2775 218.29/211.25 237.51/230.46 num=143, depth=57..72, filters=59895840, revisions=(84480160,useless=32333968), ccks=512302977, wck=226.977, mem=137M674 237.51/230.46 decisions=237989, wrong=114086, backtracks=84788, failedAssignments=81027, nogoods=1278, foundSolutions=11, bestBound=2775 237.51/230.46 262.63/255.59 num=144, depth=58..74, filters=66254307, revisions=(92676172,useless=34885112), ccks=578536265, wck=252.104, mem=276M702 262.63/255.59 decisions=255923, wrong=123022, backtracks=92640, failedAssignments=87553, nogoods=1298, foundSolutions=11, bestBound=2775 262.63/255.59 287.35/280.28 num=145, depth=57..73, filters=72521128, revisions=(100947239,useless=37673392), ccks=638888562, wck=276.794, mem=225M186 287.35/280.28 decisions=275681, wrong=132870, backtracks=100936, failedAssignments=94732, nogoods=1319, foundSolutions=11, bestBound=2775 287.35/280.28 312.07/304.90 num=146, depth=57..73, filters=78869209, revisions=(109330839,useless=40398151), ccks=703399556, wck=301.416, mem=179M443 312.07/304.90 decisions=296914, wrong=143456, backtracks=109541, failedAssignments=102629, nogoods=1341, foundSolutions=11, bestBound=2775 312.07/304.90 342.40/335.22 num=147, depth=57..72, filters=87743399, revisions=(121035240,useless=44104130), ccks=777713126, wck=331.736, mem=181M334 342.40/335.22 decisions=321421, wrong=155679, backtracks=118620, failedAssignments=111316, nogoods=1350, foundSolutions=11, bestBound=2775 342.40/335.22 376.83/369.65 num=148, depth=57..71, filters=96753870, revisions=(132739588,useless=47841022), ccks=861860206, wck=366.167, mem=193M562 376.83/369.65 decisions=347876, wrong=168876, backtracks=129244, failedAssignments=120871, nogoods=1359, foundSolutions=11, bestBound=2775 376.83/369.65 410.46/403.25 num=149, depth=57..73, filters=105420422, revisions=(144022278,useless=51548058), ccks=941176348, wck=399.764, mem=205M104 410.46/403.25 decisions=377012, wrong=183413, backtracks=140505, failedAssignments=131382, nogoods=1370, foundSolutions=11, bestBound=2775 410.46/403.25 453.81/446.55 num=150, depth=57..73, filters=117070614, revisions=(159273228,useless=56404980), ccks=1052864626, wck=443.067, mem=117M554 453.81/446.55 decisions=409601, wrong=199676, backtracks=154206, failedAssignments=142944, nogoods=1381, foundSolutions=11, bestBound=2775 453.81/446.55 495.03/487.73 num=151, depth=57..73, filters=127112571, revisions=(172449965,useless=60926880), ccks=1163665983, wck=484.246, mem=171M554 495.03/487.73 decisions=445599, wrong=217645, backtracks=169355, failedAssignments=155662, nogoods=1397, foundSolutions=11, bestBound=2775 495.03/487.73 536.77/529.48 num=152, depth=57..73, filters=138320125, revisions=(186967438,useless=65557059), ccks=1272410950, wck=525.991, mem=94M317 536.77/529.48 decisions=484282, wrong=236956, backtracks=183980, failedAssignments=169652, nogoods=1415, foundSolutions=11, bestBound=2775 536.77/529.48 588.69/581.31 num=153, depth=57..73, filters=153160099, revisions=(206457020,useless=71977180), ccks=1401620225, wck=577.823, mem=103M139 588.69/581.31 decisions=528677, wrong=259123, backtracks=201366, failedAssignments=185041, nogoods=1428, foundSolutions=11, bestBound=2775 588.69/581.31 645.62/638.26 num=154, depth=58..73, filters=169475582, revisions=(227617894,useless=78685326), ccks=1546975294, wck=634.769, mem=148M562 645.62/638.26 decisions=575573, wrong=282541, backtracks=221072, failedAssignments=201969, nogoods=1444, foundSolutions=11, bestBound=2775 645.62/638.26 708.15/700.74 num=155, depth=56..73, filters=185948841, revisions=(249098706,useless=85834863), ccks=1699074198, wck=697.252, mem=212M708 708.15/700.74 decisions=626398, wrong=307923, backtracks=242607, failedAssignments=220590, nogoods=1454, foundSolutions=11, bestBound=2775 708.15/700.74 768.59/761.11 num=156, depth=58..74, filters=201361072, revisions=(268703766,useless=91946324), ccks=1856584715, wck=757.626, mem=138M783 768.59/761.11 decisions=683375, wrong=336381, backtracks=264163, failedAssignments=241074, nogoods=1486, foundSolutions=11, bestBound=2775 768.59/761.11 839.81/832.38 num=157, depth=55..74, filters=221822814, revisions=(295804552,useless=101154634), ccks=2024714596, wck=828.889, mem=176M697 839.81/832.38 decisions=748093, wrong=368710, backtracks=288735, failedAssignments=263606, nogoods=1495, foundSolutions=11, bestBound=2775 839.81/832.38 934.46/926.98 num=158, depth=58..74, filters=246261350, revisions=(326684854,useless=110537809), ccks=2273046211, wck=923.492, mem=96M158 934.46/926.98 decisions=817478, wrong=403372, backtracks=319877, failedAssignments=288391, nogoods=1511, foundSolutions=11, bestBound=2775 934.46/926.98 1036.30/1028.78 num=159, depth=56..73, filters=274124044, revisions=(363125353,useless=122175281), ccks=2539678126, wck=1025.289, mem=134M830 1036.30/1028.78 decisions=893575, wrong=441391, backtracks=353335, failedAssignments=315655, nogoods=1525, foundSolutions=11, bestBound=2775 1036.30/1028.78 1150.46/1142.88 num=160, depth=57..73, filters=303535472, revisions=(400596842,useless=133543811), ccks=2847113991, wck=1139.393, mem=149M126 1150.46/1142.88 decisions=977286, wrong=483216, backtracks=390369, failedAssignments=345645, nogoods=1540, foundSolutions=11, bestBound=2775 1150.46/1142.88 1250.63/1242.91 num=161, depth=54..73, filters=332208635, revisions=(438760176,useless=146595664), ccks=3083830560, wck=1239.422, mem=175M197 1250.63/1242.91 decisions=1068785, wrong=528937, backtracks=425573, failedAssignments=378634, nogoods=1573, foundSolutions=11, bestBound=2775 1250.63/1242.91 1283.56/1275.87 num=162, depth=30..74, filters=341930434, revisions=(459847408,useless=158598968), ccks=3111614614, wck=1272.379, mem=172M333 1283.56/1275.87 decisions=1198629, wrong=593840, backtracks=484547, failedAssignments=414922, nogoods=1578, foundSolutions=11, bestBound=2775 1283.56/1275.87 1353.20/1345.42 num=163, depth=68..86, filters=366348006, revisions=(490103447,useless=169857029), ccks=3217821466, wck=1341.933, mem=145M22 1353.20/1345.42 decisions=1328514, wrong=658746, backtracks=529766, failedAssignments=454839, nogoods=1597, foundSolutions=11, bestBound=2775 1353.20/1345.42 1464.08/1456.26 num=164, depth=64..84, filters=404395541, revisions=(536415540,useless=185286016), ccks=3418609030, wck=1452.775, mem=162M150 1464.08/1456.26 decisions=1467830, wrong=728368, backtracks=583003, failedAssignments=498748, nogoods=1613, foundSolutions=11, bestBound=2775 1464.08/1456.26 1584.37/1576.41 num=165, depth=62..80, filters=440971139, revisions=(580966332,useless=199274914), ccks=3671724703, wck=1572.921, mem=127M445 1584.37/1576.41 decisions=1610387, wrong=799614, backtracks=632547, failedAssignments=547048, nogoods=1630, foundSolutions=11, bestBound=2775 1584.37/1576.41 1722.09/1714.02 num=166, depth=60..79, filters=477864356, revisions=(626102717,useless=213030792), ccks=4000342733, wck=1710.53, mem=133M785 1722.09/1714.02 decisions=1759469, wrong=874122, backtracks=687191, failedAssignments=600178, nogoods=1646, foundSolutions=11, bestBound=2775 1722.09/1714.02 1865.08/1856.93 num=167, depth=59..77, filters=515129574, revisions=(672212850,useless=227121678), ccks=4351739873, wck=1853.445, mem=103M578 1865.08/1856.93 decisions=1923786, wrong=956248, backtracks=743731, failedAssignments=658621, nogoods=1654, foundSolutions=11, bestBound=2775 1865.08/1856.93 2069.08/2060.78 num=168, depth=55..76, filters=572143720, revisions=(746432573,useless=250732207), ccks=4865007236, wck=2057.291, mem=99M353 2069.08/2060.78 decisions=2098455, wrong=1043553, backtracks=815194, failedAssignments=722908, nogoods=1670, foundSolutions=11, bestBound=2775 2069.08/2060.78 2264.85/2256.38 num=169, depth=56..75, filters=622528847, revisions=(810415576,useless=270900454), ccks=5366284926, wck=2252.889, mem=96M138 2264.85/2256.38 decisions=2295654, wrong=1142122, backtracks=888406, failedAssignments=793624, nogoods=1686, foundSolutions=11, bestBound=2775 2264.85/2256.38 2400.07/2391.40 2400.07/2391.40 v <instantiation id='sol11' type='solution' cost='2775'> <list> x[] y[][] c[] s[] </list> <values> -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 * -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 * * 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 * * * -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 * * * * -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 * * * * * 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 * * * * * * * 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 * * * * * * * * 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 * * * * * * * * * -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 * * * * * * * * * * 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -7 0 13 10 1 4 -1 -4 5 4 -3 2 13 4 15 6 1 4 17 -2 -1 4 7 -2 3 8 -3 2 11 -4 7 8 3 2 5 0 13 8 -1 4 7 2 1 4 -5 10 -5 2 1 -6 9 4 3 6 7 10 3 0 5 6 3 -4 3 -2 -1 -4 5 2 5 4 -1 10 1 0 5 -2 1 -2 -5 2 1 0 1 2 1 49 0 169 100 1 16 1 16 25 16 9 4 169 16 225 36 1 16 289 4 1 16 49 4 9 64 9 4 121 16 49 64 9 4 25 0 169 64 1 16 49 4 1 16 25 100 25 4 1 36 81 16 9 36 49 100 9 0 25 36 9 16 9 4 1 16 25 4 25 16 1 100 1 0 25 4 1 4 25 4 1 0 1 4 1 </values> </instantiation> 2400.07/2391.40 s SATISFIABLE
OK 2775
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 (9424 MiB free) memory of node 1: 16384 MiB (11658 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391333-1568389768/watcher-4391333-1568389768 -o /tmp/evaluation-result-4391333-1568389768/solver-4391333-1568389768 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4914 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391333-1568389768.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5214, runsolver pid=5211 [startup+0.100126 s]* /proc/loadavg: 1.97 1.34 1.26 4/228 5229 /proc/meminfo: memFree=21572788/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10659884 memory=27968 CPUtime=0.13 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 5538 0 0 0 13 0 0 0 20 0 15 0 414915229 10915721216 6992 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2664971 6992 2908 1 0 2627468 0 [pid=5214/tid=5216] ppid=5211 vsize=10659884 memory=-8392274780071228608 CPUtime=0.09 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) R 5211 5214 2817 0 -1 4202560 3247 0 0 0 9 0 0 0 20 0 15 0 414915229 10915721216 7058 33554432000 4194304 4196468 140725764964992 140099189558928 140099185349789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 7058 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915231 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915232 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098488644896 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915232 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098487592560 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) S 5211 5214 2817 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098484434928 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0.02 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) R 5211 5214 2817 0 -1 4202560 407 0 0 0 2 0 0 0 20 0 15 0 414915234 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098483379656 140099164463309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915235 10915721216 7058 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 27968 KiB [startup+0.210681 s]* /proc/loadavg: 1.97 1.34 1.26 3/228 5229 /proc/meminfo: memFree=21561904/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10659884 memory=37464 CPUtime=0.33 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 9190 0 0 0 31 2 0 0 20 0 15 0 414915229 10915721216 9366 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2664971 9366 2982 1 0 2627468 0 [pid=5214/tid=5216] ppid=5211 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) R 5211 5214 2817 0 -1 4202560 6147 0 0 0 19 1 0 0 20 0 15 0 414915229 10915721216 9366 33554432000 4194304 4196468 140725764964992 140099189554224 140099185349789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 9366 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10659884 memory=288370514138257024 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915231 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915232 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098488644896 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915232 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098487592560 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 15 0 414915234 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) S 5211 5214 2817 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 414915234 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098484434928 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0.05 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) S 5211 5214 2817 0 -1 1077944384 715 0 0 0 5 0 0 0 20 0 15 0 414915234 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098483382640 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915235 10915721216 9366 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 37464 KiB [startup+0.310181 s]* /proc/loadavg: 1.97 1.34 1.26 3/228 5229 /proc/meminfo: memFree=21559596/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10659884 memory=40536 CPUtime=0.48 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 9412 0 0 0 45 3 0 0 20 0 15 0 414915229 10915721216 10134 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2664971 10134 3005 1 0 2627468 0 [pid=5214/tid=5216] ppid=5211 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) R 5211 5214 2817 0 -1 4202560 6300 0 0 0 28 2 0 0 20 0 15 0 414915229 10915721216 10134 33554432000 4194304 4196468 140725764964992 140099189559664 140099185349789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10659884 memory=4297096155 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 10134 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10659884 memory=288370514138257024 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915230 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915231 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915232 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098488644896 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915232 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098487592560 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 494 0 0 0 4 0 0 0 20 0 15 0 414915234 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) R 5211 5214 2817 0 -1 1077944384 523 0 0 0 4 0 0 0 20 0 15 0 414915234 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098484434928 140099185339010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0.08 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) S 5211 5214 2817 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 414915234 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098483382640 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10659884 memory=140137986545280 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915235 10915721216 10134 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40536 KiB [startup+0.701464 s] /proc/loadavg: 1.97 1.34 1.26 3/228 5229 /proc/meminfo: memFree=21549720/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10661932 memory=63524 CPUtime=1.12 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 12899 0 0 0 107 5 0 0 20 0 15 0 414915229 10917818368 15881 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2665483 15881 3068 1 0 2627980 0 [pid=5214/tid=5216] ppid=5211 vsize=10661932 memory=2116 CPUtime=0.68 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) R 5211 5214 2817 0 -1 4202560 8848 0 0 0 65 3 0 0 20 0 15 0 414915229 10917818368 15881 33554432000 4194304 4196468 140725764964992 140099189559888 140099168514689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10661932 memory=18832 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915230 10917818368 15881 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10661932 memory=532 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10661932 memory=932 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915230 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10661932 memory=3680 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915231 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10661932 memory=864 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915232 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098488644896 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10661932 memory=1436 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915232 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098487592560 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10661932 memory=4640781674728153957 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10661932 memory=7163086641608552552 CPUtime=0.11 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 712 0 0 0 11 0 0 0 20 0 15 0 414915234 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10661932 memory=7523071198212214892 CPUtime=0.11 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) R 5211 5214 2817 0 -1 4202560 828 0 0 0 11 0 0 0 20 0 15 0 414915234 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098484421856 140099170452578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) S 5211 5214 2817 0 -1 1077944384 1151 0 0 0 19 0 0 0 20 0 15 0 414915234 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098483382640 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915234 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10661932 memory=1220 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915235 10917818368 15881 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 63524 KiB [startup+1.50078 s] /proc/loadavg: 1.97 1.34 1.26 3/228 5229 /proc/meminfo: memFree=21533528/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10663980 memory=75428 CPUtime=2 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 17153 0 0 0 195 5 0 0 20 0 15 0 414915229 10919915520 18857 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2665995 18857 3089 1 0 2628492 0 [pid=5214/tid=5216] ppid=5211 vsize=10663980 memory=71792 CPUtime=1.48 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) R 5211 5214 2817 0 -1 4202560 11936 0 0 0 144 4 0 0 20 0 15 0 414915229 10919915520 18857 33554432000 4194304 4196468 140725764964992 140099189553744 140099166891449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915230 10919915520 18857 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10919915520 18857 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915230 10919915520 18857 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915230 10919915520 18857 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414915231 10919915520 18857 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 ################ # More data... # ################ /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 4603 0 0 0 45 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.17 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 6489 0 0 0 13 4 0 0 20 0 16 0 414915231 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098488644960 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098487592576 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10748324 memory=297180 CPUtime=2.77 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 9874 0 0 0 276 1 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10748324 memory=297180 CPUtime=2.74 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) S 5211 5214 2817 0 -1 1077944384 14498 0 0 0 272 2 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098484434928 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10748324 memory=297180 CPUtime=1.1 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) S 5211 5214 2817 0 -1 1077944384 14781 0 0 0 107 3 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098483382640 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10748324 memory=3624 CPUtime=0.48 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 2221 0 0 0 19 29 0 0 20 0 16 0 414915235 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5232] ppid=5211 vsize=10748324 memory=39292 CPUtime=2259.5 cores=1,3,5,7 /proc/5214/task/5232/stat : 5232 (java) R 5211 5214 2817 0 -1 4202560 21664 0 0 0 225944 6 0 0 20 0 16 0 414915416 11006283776 74295 33554432000 4194304 4196468 140725764964992 140097821171392 140098831095032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 2270.85 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 297180 KiB [startup+2322.3 s] /proc/loadavg: 1.94 1.93 1.87 3/229 5550 /proc/meminfo: memFree=22665008/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10748324 memory=297180 CPUtime=2330.91 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 103967 0 0 0 233014 77 0 0 20 0 16 0 414915229 11006283776 74295 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2687081 74295 3390 1 0 2647217 0 [pid=5214/tid=5216] ppid=5211 vsize=10748324 memory=297180 CPUtime=1.85 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) S 5211 5214 2817 0 -1 1077944384 13968 0 0 0 179 6 0 0 20 0 16 0 414915229 11006283776 74295 33554432000 4194304 4196468 140725764964992 140099189570736 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.54 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3712 0 0 0 47 7 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.54 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 3644 0 0 0 46 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.55 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 6837 0 0 0 47 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.55 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 4610 0 0 0 47 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.18 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 6542 0 0 0 14 4 0 0 20 0 16 0 414915231 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098488644960 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098487592576 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10748324 memory=297180 CPUtime=2.77 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 9874 0 0 0 276 1 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10748324 memory=772 CPUtime=2.74 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) S 5211 5214 2817 0 -1 1077944384 14498 0 0 0 272 2 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098484434928 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10748324 memory=297180 CPUtime=1.1 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) S 5211 5214 2817 0 -1 1077944384 14781 0 0 0 107 3 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098483382640 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.5 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 2247 0 0 0 20 30 0 0 20 0 16 0 414915235 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5232] ppid=5211 vsize=10748324 memory=772 CPUtime=2319.48 cores=1,3,5,7 /proc/5214/task/5232/stat : 5232 (java) R 5211 5214 2817 0 -1 4202560 21818 0 0 0 231942 6 0 0 20 0 16 0 414915416 11006283776 74295 33554432000 4194304 4196468 140725764964992 140097821179184 140098826036895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 2330.91 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 297180 KiB [startup+2382.3 s] /proc/loadavg: 1.92 1.92 1.87 3/229 5557 /proc/meminfo: memFree=22664864/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10748324 memory=297180 CPUtime=2390.96 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 104701 0 0 0 239019 77 0 0 20 0 16 0 414915229 11006283776 74295 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2687081 74295 3390 1 0 2647217 0 [pid=5214/tid=5216] ppid=5211 vsize=10748324 memory=297180 CPUtime=1.85 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) S 5211 5214 2817 0 -1 1077944384 13968 0 0 0 179 6 0 0 20 0 16 0 414915229 11006283776 74295 33554432000 4194304 4196468 140725764964992 140099189570736 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.56 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3998 0 0 0 49 7 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10748324 memory=55 CPUtime=0.56 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 3709 0 0 0 48 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.57 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 6843 0 0 0 49 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.56 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 4640 0 0 0 48 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10748324 memory=297180 CPUtime=0.18 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 6730 0 0 0 14 4 0 0 20 0 16 0 414915231 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10748324 memory=2716 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098488644960 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098487592576 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10748324 memory=297180 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10748324 memory=297180 CPUtime=2.77 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 9876 0 0 0 276 1 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10748324 memory=39296 CPUtime=2.74 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) S 5211 5214 2817 0 -1 1077944384 14500 0 0 0 272 2 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098484434928 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10748324 memory=297180 CPUtime=1.1 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) S 5211 5214 2817 0 -1 1077944384 14783 0 0 0 107 3 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098483382640 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10748324 memory=39296 CPUtime=0.51 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 2275 0 0 0 20 31 0 0 20 0 16 0 414915235 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5232] ppid=5211 vsize=10748324 memory=988 CPUtime=2379.46 cores=1,3,5,7 /proc/5214/task/5232/stat : 5232 (java) R 5211 5214 2817 0 -1 4202560 21943 0 0 0 237940 6 0 0 20 0 16 0 414915416 11006283776 74295 33554432000 4194304 4196468 140725764964992 140097821179184 140098831095064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 2390.96 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 297180 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2391.4 s] /proc/loadavg: 1.94 1.93 1.87 3/229 5557 /proc/meminfo: memFree=22664864/32770624 swapFree=66999272/67108860 [pid=5214] ppid=5211 vsize=10748324 memory=297180 CPUtime=2400.07 cores=1,3,5,7 /proc/5214/stat : 5214 (java) S 5211 5214 2817 0 -1 1077944320 104710 0 0 0 239930 77 0 0 20 0 16 0 414915229 11006283776 74295 33554432000 4194304 4196468 140725764964992 140725764947536 140099185327863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 /proc/5214/statm: 2687081 74295 3390 1 0 2647217 0 [pid=5214/tid=5216] ppid=5211 vsize=10748324 memory=1048 CPUtime=1.85 cores=1,3,5,7 /proc/5214/task/5216/stat : 5216 (java) S 5211 5214 2817 0 -1 1077944384 13968 0 0 0 179 6 0 0 20 0 16 0 414915229 11006283776 74295 33554432000 4194304 4196468 140725764964992 140099189570736 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5217] ppid=5211 vsize=10748324 memory=8112282956445269571 CPUtime=0.56 cores=1,3,5,7 /proc/5214/task/5217/stat : 5217 (java) S 5211 5214 2817 0 -1 1077944384 3999 0 0 0 49 7 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140099150608784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5218] ppid=5211 vsize=10748324 memory=10596 CPUtime=0.56 cores=1,3,5,7 /proc/5214/task/5218/stat : 5218 (java) S 5211 5214 2817 0 -1 1077944384 3709 0 0 0 48 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098790861072 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5219] ppid=5211 vsize=10748324 memory=1712 CPUtime=0.57 cores=1,3,5,7 /proc/5214/task/5219/stat : 5219 (java) S 5211 5214 2817 0 -1 1077944384 6843 0 0 0 49 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098789808784 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5220] ppid=5211 vsize=10748324 memory=988 CPUtime=0.56 cores=1,3,5,7 /proc/5214/task/5220/stat : 5220 (java) S 5211 5214 2817 0 -1 1077944384 4640 0 0 0 48 8 0 0 20 0 16 0 414915230 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098788755984 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5221] ppid=5211 vsize=10748324 memory=4004 CPUtime=0.18 cores=1,3,5,7 /proc/5214/task/5221/stat : 5221 (java) S 5211 5214 2817 0 -1 1077944384 6731 0 0 0 14 4 0 0 20 0 16 0 414915231 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098489698928 140099185339010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5222] ppid=5211 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5222/stat : 5222 (java) S 5211 5214 2817 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098488644960 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5223] ppid=5211 vsize=10748324 memory=1048 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5223/stat : 5223 (java) S 5211 5214 2817 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 414915232 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098487592576 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5224] ppid=5211 vsize=10748324 memory=5900 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5224/stat : 5224 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098486540880 140099185346459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5225] ppid=5211 vsize=10748324 memory=612 CPUtime=2.77 cores=1,3,5,7 /proc/5214/task/5225/stat : 5225 (java) S 5211 5214 2817 0 -1 1077944384 9876 0 0 0 276 1 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098485487728 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5226] ppid=5211 vsize=10748324 memory=1220 CPUtime=2.74 cores=1,3,5,7 /proc/5214/task/5226/stat : 5226 (java) S 5211 5214 2817 0 -1 1077944384 14500 0 0 0 272 2 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098484434928 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5227] ppid=5211 vsize=10748324 memory=14004 CPUtime=1.1 cores=1,3,5,7 /proc/5214/task/5227/stat : 5227 (java) S 5211 5214 2817 0 -1 1077944384 14783 0 0 0 107 3 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098483382640 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5228] ppid=5211 vsize=10748324 memory=14060 CPUtime=0 cores=1,3,5,7 /proc/5214/task/5228/stat : 5228 (java) S 5211 5214 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915234 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098482330080 140099185338069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5229] ppid=5211 vsize=10748324 memory=2116 CPUtime=0.52 cores=1,3,5,7 /proc/5214/task/5229/stat : 5229 (java) S 5211 5214 2817 0 -1 1077944384 2275 0 0 0 21 31 0 0 20 0 16 0 414915235 11006283776 74295 33554432000 4194304 4196468 140725764964992 140098481277872 140099185339010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 [pid=5214/tid=5232] ppid=5211 vsize=10748324 memory=18872 CPUtime=2388.56 cores=1,3,5,7 /proc/5214/task/5232/stat : 5232 (java) R 5211 5214 2817 0 -1 4202560 21950 0 0 0 238850 6 0 0 20 0 16 0 414915416 11006283776 74295 33554432000 4194304 4196468 140725764964992 140097821179312 140098831986643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15912960 140725764969483 140725764969586 140725764969586 140725764972495 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 297180 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2391.41 s] # the end of solver process 5214 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.32 s, system=0.782072 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2391.41 CPU time (s): 2400.1 CPU user time (s): 2399.32 CPU system time (s): 0.782072 CPU usage (%): 100.363 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 485248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.32 system time used= 0.782072 maximum resident set size= 486864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105156 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57815 involuntary context switches= 1990 # summary of solver processes directly reported to runsolver: # pid: 5214 # total CPU time (s): 2400.1 # total CPU user time (s): 2399.32 # total CPU system time (s): 0.782072 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.4509 second user time and 20.9407 second system time The end
Begin job on node140 at 2019-09-13 17:48:48 IDJOB=4391333 IDBENCH=126990 IDSOLVER=2833 FILE ID=node140/4391333-1568389768 RUNJOBID= node140-1568389579-4914 PBS_JOBID= 21701829 Free space on /tmp= 56860 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-086.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391333-1568389768/watcher-4391333-1568389768 -o /tmp/evaluation-result-4391333-1568389768/solver-4391333-1568389768 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4914 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391333-1568389768.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6faa7a5ef9c34b1bccb6ba71ed7d002 RANDOM SEED=2071167722 node140.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.43 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.43 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.43 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.43 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: 21589032 kB MemAvailable: 31511384 kB Buffers: 164948 kB Cached: 9931924 kB SwapCached: 2748 kB Active: 1944896 kB Inactive: 8506228 kB Active(anon): 351048 kB Inactive(anon): 43940 kB Active(file): 1593848 kB Inactive(file): 8462288 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66999272 kB Dirty: 8540 kB Writeback: 0 kB AnonPages: 474300 kB Mapped: 56332 kB Shmem: 32248 kB Slab: 325088 kB SReclaimable: 294676 kB SUnreclaim: 30412 kB KernelStack: 4000 kB PageTables: 6524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1306336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58120 MiB End job on node140 at 2019-09-13 18:28:39