Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| AbsCon 2019-07-23 | SAT (TO) | 1428 | 2400.09 | 2390.81 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-072.xml |
| MD5SUM | 3b7c910d9b57f1d6426daaa1c2d4da0c |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 584 |
| Best CPU time to get the best result obtained on this benchmark | 2400.45 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5255 |
| Number of constraints | 2698 |
| Number of domains | 143 |
| Minimum domain size | 2 |
| Maximum domain size | 143 |
| Distribution of domain sizes | [{"size":2,"count":2629},{"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":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 71 |
| Distribution of variable degrees | [{"degree":0,"count":2485},{"degree":2,"count":2698},{"degree":71,"count":72}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 72 |
| Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":2557},{"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":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2627 |
| Distribution of constraint types | [{"type":"intension","count":2627},{"type":"sum","count":71}] |
| Optimization problem | YES |
| Type of objective | min SUM |
2.87/2.12 2.87/2.12 AbsCon 2 2.87/2.14 4.18/2.52 Instance 4.18/2.52 name=instance-4391352-1568389903, framework=COP, bounds=-infty..+infty 4.18/2.52 4.18/2.52 Loading variables... 4.54/2.65 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab83618 6.52/3.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233a1f90 6.52/3.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73ad1544 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70810d0c 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da9a875 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@440ed3ab 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7d45df 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a07c065 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d07c2b7 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7725647e 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca377dd 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fc72189 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17772b04 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f01921c 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c4afd12 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773218ed 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d6c438 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542f0a92 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3532f 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@720d9663 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b0b0812 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@899ea85 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19f1105b 6.52/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65fd807 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@314f437 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1432374d 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@101a5ec6 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53ad28f6 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78e8649e 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1360e00e 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d7e5c3 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c84ad08 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2cac94 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e67b4b6 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca04293 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dfc044a 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4746405a 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a11f95c 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ed1a44 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66783651 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc6330f 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e4a90b4 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@718cca25 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d933206 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aa64c5 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@446113ef 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@285d686 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ed6fe7b 6.52/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af8bf25 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@626c2291 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201ea0a9 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@690a7657 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6215843e 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc8efd7 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d89344f 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34137b23 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a4a3e4 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27a589c3 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8310eb7 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a94403f 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d837f9 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e630a0f 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a696b3 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58a082c2 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6db259 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27015ef4 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a89bd40 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77b7c9b2 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d91d893 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a5256f 6.52/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195dbffe 7.22/3.42 7.22/3.42 7.22/3.42 Domains 7.22/3.42 nTypes=143, nValues=13066, sizes=[2#2629,3#2,4#1,5#2...137#1,139#1,141#1,143#1] 7.22/3.42 Variables 7.22/3.42 count=2770, degrees=[2#2698,71#72] 7.22/3.42 Objectives 7.22/3.42 way=min, type=SumSimpleLE 7.22/3.42 Constraints 7.22/3.42 count=2699, nSpecific=72, arities=[2#72,3#2557,4#1,5#1...69#1,70#1,71#2,72#1] 7.22/3.42 distribution=[CtrIntension#2627,SumSimpleLE#1,SumWeightedEQ#71] 7.22/3.42 nIntStructures=(72,shared:2555), nCftStructures=(72,shared:2555,unbuilt:72) 7.22/3.42 wck=1.329, cpu=3.372, mem=74M776 7.22/3.44 Solver SolverBacktrack being built... 7.22/3.44 7.22/3.49 7.22/3.49 Solver 7.22/3.49 guaranteedGAC=false 7.22/3.49 wck=1.399, cpu=3.441, mem=116M440 7.51/3.56 7.51/3.56 Preprocessing 7.51/3.56 filters=0, ccks=251419, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 7.51/3.56 wck=0.064, cpu=3.508, mem=116M440 7.51/3.56 8.08/3.72 o 121836 8.08/3.74 num=0, depth=2771..2769, filters=6408, revisions=(10295,useless=6443), ccks=508014, wck=0.243, mem=119M30 8.08/3.74 decisions=72, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=121836 8.08/3.74 8.41/3.88 o 111896 8.41/3.89 num=1, depth=0..2769, filters=12760, revisions=(20696,useless=13014), ccks=576023, wck=0.396, mem=121M663 8.41/3.89 decisions=146, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=111896 8.41/3.89 9.05/4.02 o 102516 9.05/4.02 num=2, depth=71..2769, filters=19261, revisions=(31417,useless=19790), ccks=646811, wck=0.532, mem=124M294 9.05/4.02 decisions=219, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=102516 9.05/4.02 9.36/4.13 o 19112 9.36/4.14 num=3, depth=39..2769, filters=25546, revisions=(45819,useless=30341), ccks=666616, wck=0.646, mem=126M884 9.36/4.14 decisions=263, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=4, bestBound=19112 9.36/4.14 9.63/4.24 o 17456 9.63/4.24 num=4, depth=2771..2769, filters=30203, revisions=(57957,useless=39785), ccks=686583, wck=0.752, mem=126M884 9.63/4.24 decisions=304, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=5, bestBound=17456 9.63/4.24 10.24/4.41 num=5, depth=40..73, filters=46156, revisions=(82850,useless=54304), ccks=833797, wck=0.92, mem=129M473 10.24/4.41 decisions=414, wrong=26, backtracks=16, failedAssignments=15, nogoods=7, foundSolutions=5, bestBound=17456 10.24/4.41 10.24/4.43 num=6, depth=72..83, filters=48119, revisions=(97103,useless=67256), ccks=869027, wck=0.939, mem=129M473 10.24/4.43 decisions=530, wrong=48, backtracks=27, failedAssignments=26, nogoods=8, foundSolutions=5, bestBound=17456 10.24/4.43 10.49/4.50 o 12648 10.49/4.51 num=7, depth=67..2769, filters=59783, revisions=(123456,useless=85945), ccks=995858, wck=1.014, mem=132M63 10.49/4.51 decisions=629, wrong=61, backtracks=32, failedAssignments=36, nogoods=16, foundSolutions=6, bestBound=12648 10.49/4.51 10.67/4.60 o 10056 10.67/4.61 num=8, depth=67..2769, filters=67227, revisions=(144000,useless=101243), ccks=1110415, wck=1.116, mem=132M63 10.67/4.61 decisions=725, wrong=75, backtracks=37, failedAssignments=45, nogoods=22, foundSolutions=7, bestBound=10056 10.67/4.61 10.85/4.70 o 5984 10.85/4.70 num=9, depth=69..2769, filters=72876, revisions=(161347,useless=114853), ccks=1248621, wck=1.213, mem=134M652 10.85/4.70 decisions=811, wrong=82, backtracks=38, failedAssignments=51, nogoods=28, foundSolutions=8, bestBound=5984 10.85/4.70 11.02/4.80 o 4764 11.02/4.80 num=10, depth=43..2769, filters=80284, revisions=(182532,useless=131165), ccks=1381371, wck=1.312, mem=137M242 11.02/4.80 decisions=901, wrong=92, backtracks=42, failedAssignments=57, nogoods=31, foundSolutions=9, bestBound=4764 11.02/4.80 11.02/4.89 o 4596 11.17/4.90 num=11, depth=2771..2769, filters=85802, revisions=(198704,useless=143794), ccks=1512874, wck=1.404, mem=137M242 11.17/4.90 decisions=969, wrong=92, backtracks=42, failedAssignments=57, nogoods=31, foundSolutions=10, bestBound=4596 11.17/4.90 11.17/4.98 num=12, depth=68..74, filters=94147, revisions=(214000,useless=153141), ccks=1625419, wck=1.491, mem=139M832 11.17/4.98 decisions=1077, wrong=111, backtracks=50, failedAssignments=68, nogoods=42, foundSolutions=10, bestBound=4596 11.17/4.98 11.34/5.03 o 3832 11.34/5.03 num=13, depth=66..2769, filters=99600, revisions=(229603,useless=165315), ccks=1742288, wck=1.538, mem=139M832 11.34/5.03 decisions=1149, wrong=113, backtracks=50, failedAssignments=70, nogoods=44, foundSolutions=11, bestBound=3832 11.34/5.03 11.53/5.12 num=14, depth=67..73, filters=108653, revisions=(244786,useless=174562), ccks=1856764, wck=1.628, mem=139M832 11.53/5.12 decisions=1248, wrong=128, backtracks=56, failedAssignments=82, nogoods=53, foundSolutions=11, bestBound=3832 11.53/5.12 11.53/5.16 o 3536 11.53/5.17 num=15, depth=2771..2769, filters=113855, revisions=(259437,useless=185800), ccks=1979838, wck=1.674, mem=142M467 11.53/5.17 decisions=1314, wrong=128, backtracks=56, failedAssignments=82, nogoods=53, foundSolutions=12, bestBound=3536 11.53/5.17 11.63/5.25 num=16, depth=66..72, filters=122773, revisions=(274997,useless=195032), ccks=2089199, wck=1.762, mem=142M467 11.63/5.25 decisions=1416, wrong=144, backtracks=64, failedAssignments=94, nogoods=58, foundSolutions=12, bestBound=3536 11.63/5.25 11.63/5.30 num=17, depth=66..70, filters=130536, revisions=(289161,useless=203637), ccks=2203507, wck=1.804, mem=142M467 11.63/5.30 decisions=1516, wrong=161, backtracks=72, failedAssignments=105, nogoods=62, foundSolutions=12, bestBound=3536 11.63/5.30 11.73/5.34 num=18, depth=66..70, filters=139333, revisions=(304651,useless=212638), ccks=2326710, wck=1.848, mem=142M467 11.73/5.34 decisions=1619, wrong=179, backtracks=78, failedAssignments=117, nogoods=64, foundSolutions=12, bestBound=3536 11.73/5.34 11.73/5.38 o 2536 11.73/5.39 num=19, depth=63..2769, filters=144698, revisions=(319514,useless=223889), ccks=2443658, wck=1.894, mem=145M57 11.73/5.39 decisions=1694, wrong=181, backtracks=78, failedAssignments=119, nogoods=66, foundSolutions=13, bestBound=2536 11.73/5.39 11.84/5.47 num=20, depth=70..75, filters=152456, revisions=(333085,useless=231943), ccks=2544156, wck=1.977, mem=145M57 11.84/5.47 decisions=1809, wrong=204, backtracks=88, failedAssignments=133, nogoods=68, foundSolutions=13, bestBound=2536 11.84/5.47 11.98/5.51 num=21, depth=68..73, filters=159414, revisions=(345770,useless=239835), ccks=2641698, wck=2.02, mem=145M57 11.98/5.51 decisions=1912, wrong=221, backtracks=94, failedAssignments=144, nogoods=70, foundSolutions=13, bestBound=2536 11.98/5.51 11.98/5.56 num=22, depth=58..69, filters=164636, revisions=(356638,useless=247232), ccks=2738607, wck=2.067, mem=145M57 11.98/5.56 decisions=1999, wrong=235, backtracks=105, failedAssignments=156, nogoods=72, foundSolutions=13, bestBound=2536 11.98/5.56 12.11/5.60 num=23, depth=65..69, filters=172076, revisions=(370768,useless=256048), ccks=2841144, wck=2.106, mem=145M57 12.11/5.60 decisions=2100, wrong=253, backtracks=114, failedAssignments=169, nogoods=76, foundSolutions=13, bestBound=2536 12.11/5.60 12.11/5.64 num=24, depth=65..70, filters=182440, revisions=(389499,useless=266990), ccks=2961390, wck=2.152, mem=145M57 12.11/5.64 decisions=2208, wrong=274, backtracks=123, failedAssignments=183, nogoods=78, foundSolutions=13, bestBound=2536 12.11/5.64 12.22/5.70 num=25, depth=63..69, filters=197860, revisions=(416531,useless=281674), ccks=3089031, wck=2.211, mem=145M57 12.22/5.70 decisions=2324, wrong=300, backtracks=136, failedAssignments=199, nogoods=82, foundSolutions=13, bestBound=2536 12.22/5.70 12.22/5.77 num=26, depth=65..72, filters=214579, revisions=(442750,useless=295907), ccks=3222687, wck=2.275, mem=145M57 12.22/5.77 decisions=2452, wrong=331, backtracks=155, failedAssignments=216, nogoods=85, foundSolutions=13, bestBound=2536 12.22/5.77 12.32/5.81 num=27, depth=65..70, filters=225306, revisions=(461495,useless=306391), ccks=3334197, wck=2.32, mem=147M647 12.32/5.81 decisions=2573, wrong=359, backtracks=169, failedAssignments=235, nogoods=86, foundSolutions=13, bestBound=2536 12.32/5.81 12.32/5.85 num=28, depth=55..63, filters=231337, revisions=(473877,useless=314643), ccks=3456332, wck=2.36, mem=147M647 12.32/5.85 decisions=2686, wrong=388, backtracks=190, failedAssignments=256, nogoods=93, foundSolutions=13, bestBound=2536 12.32/5.85 12.42/5.93 num=29, depth=64..70, filters=249981, revisions=(504694,useless=331907), ccks=3612052, wck=2.439, mem=147M647 12.42/5.93 decisions=2814, wrong=419, backtracks=206, failedAssignments=279, nogoods=98, foundSolutions=13, bestBound=2536 12.42/5.93 12.53/6.03 num=30, depth=30..49, filters=275408, revisions=(588765,useless=390966), ccks=3681458, wck=2.536, mem=147M647 12.53/6.03 decisions=2958, wrong=476, backtracks=258, failedAssignments=304, nogoods=99, foundSolutions=13, bestBound=2536 12.53/6.03 12.53/6.09 num=31, depth=66..72, filters=290114, revisions=(612242,useless=403241), ccks=3827837, wck=2.596, mem=147M647 12.53/6.09 decisions=3116, wrong=521, backtracks=279, failedAssignments=332, nogoods=102, foundSolutions=13, bestBound=2536 12.53/6.09 12.64/6.19 num=32, depth=56..74, filters=319645, revisions=(655134,useless=424127), ccks=4025682, wck=2.701, mem=147M647 12.64/6.19 decisions=3294, wrong=578, backtracks=318, failedAssignments=363, nogoods=106, foundSolutions=13, bestBound=2536 12.64/6.19 12.73/6.25 num=33, depth=67..75, filters=334359, revisions=(677117,useless=434997), ccks=4135922, wck=2.754, mem=150M236 12.73/6.25 decisions=3463, wrong=629, backtracks=338, failedAssignments=397, nogoods=113, foundSolutions=13, bestBound=2536 12.73/6.25 12.85/6.30 num=34, depth=68..76, filters=348729, revisions=(698681,useless=445420), ccks=4239882, wck=2.805, mem=150M236 12.85/6.30 decisions=3645, wrong=686, backtracks=358, failedAssignments=434, nogoods=115, foundSolutions=13, bestBound=2536 12.85/6.30 12.85/6.35 num=35, depth=68..75, filters=363491, revisions=(719923,useless=455661), ccks=4341096, wck=2.859, mem=150M236 12.85/6.35 decisions=3832, wrong=744, backtracks=376, failedAssignments=475, nogoods=121, foundSolutions=13, bestBound=2536 12.85/6.35 12.97/6.42 num=36, depth=66..73, filters=385296, revisions=(750306,useless=469438), ccks=4469825, wck=2.932, mem=150M236 12.97/6.42 decisions=4038, wrong=813, backtracks=408, failedAssignments=520, nogoods=126, foundSolutions=13, bestBound=2536 12.97/6.42 12.97/6.48 num=37, depth=67..75, filters=401452, revisions=(775055,useless=481496), ccks=4587429, wck=2.986, mem=150M236 12.97/6.48 decisions=4261, wrong=890, backtracks=440, failedAssignments=570, nogoods=134, foundSolutions=13, bestBound=2536 12.97/6.48 13.09/6.54 o 1428 13.09/6.54 num=38, depth=61..2769, filters=413515, revisions=(797160,useless=495078), ccks=4707087, wck=3.047, mem=151M195 13.09/6.54 decisions=4365, wrong=907, backtracks=451, failedAssignments=580, nogoods=139, foundSolutions=14, bestBound=1428 13.09/6.54 13.19/6.69 num=39, depth=67..78, filters=434755, revisions=(827573,useless=509039), ccks=4827877, wck=3.202, mem=63M754 13.19/6.69 decisions=4605, wrong=992, backtracks=480, failedAssignments=641, nogoods=154, foundSolutions=14, bestBound=1428 13.19/6.69 13.41/6.79 num=40, depth=61..66, filters=445223, revisions=(845387,useless=519103), ccks=4919309, wck=3.299, mem=63M754 13.41/6.79 decisions=4709, wrong=1013, backtracks=496, failedAssignments=652, nogoods=157, foundSolutions=14, bestBound=1428 13.41/6.79 13.58/6.83 num=41, depth=65..71, filters=453655, revisions=(859752,useless=527241), ccks=4996720, wck=3.341, mem=63M754 13.58/6.83 decisions=4813, wrong=1032, backtracks=505, failedAssignments=664, nogoods=159, foundSolutions=14, bestBound=1428 13.58/6.83 13.69/6.92 num=42, depth=57..69, filters=474333, revisions=(887698,useless=540459), ccks=5099965, wck=3.425, mem=63M754 13.69/6.92 decisions=4935, wrong=1062, backtracks=527, failedAssignments=677, nogoods=163, foundSolutions=14, bestBound=1428 13.69/6.92 13.69/6.96 num=43, depth=60..64, filters=482213, revisions=(901784,useless=548486), ccks=5164634, wck=3.466, mem=63M754 13.69/6.96 decisions=5036, wrong=1082, backtracks=537, failedAssignments=691, nogoods=165, foundSolutions=14, bestBound=1428 13.69/6.96 13.69/7.00 num=44, depth=57..62, filters=492644, revisions=(919498,useless=557808), ccks=5235753, wck=3.512, mem=63M754 13.69/7.00 decisions=5138, wrong=1104, backtracks=548, failedAssignments=707, nogoods=168, foundSolutions=14, bestBound=1428 13.69/7.00 13.79/7.04 num=45, depth=52..61, filters=500534, revisions=(934967,useless=567438), ccks=5296939, wck=3.553, mem=63M754 13.79/7.04 decisions=5249, wrong=1133, backtracks=575, failedAssignments=724, nogoods=172, foundSolutions=14, bestBound=1428 13.79/7.04 13.79/7.10 num=46, depth=55..61, filters=513006, revisions=(955958,useless=577901), ccks=5374589, wck=3.606, mem=63M754 13.79/7.10 decisions=5358, wrong=1160, backtracks=592, failedAssignments=743, nogoods=173, foundSolutions=14, bestBound=1428 13.79/7.10 13.90/7.14 num=47, depth=56..61, filters=523282, revisions=(974178,useless=587125), ccks=5434480, wck=3.647, mem=63M754 13.90/7.14 decisions=5471, wrong=1188, backtracks=601, failedAssignments=764, nogoods=181, foundSolutions=14, bestBound=1428 13.90/7.14 13.90/7.19 num=48, depth=54..66, filters=534195, revisions=(992691,useless=596627), ccks=5506366, wck=3.694, mem=63M754 13.90/7.19 decisions=5583, wrong=1217, backtracks=616, failedAssignments=787, nogoods=192, foundSolutions=14, bestBound=1428 13.90/7.19 13.99/7.26 num=49, depth=55..60, filters=551249, revisions=(1018828,useless=608527), ccks=5599611, wck=3.768, mem=66M352 13.99/7.26 decisions=5705, wrong=1250, backtracks=631, failedAssignments=812, nogoods=202, foundSolutions=14, bestBound=1428 13.99/7.26 14.19/7.40 num=50, depth=51..60, filters=588574, revisions=(1068854,useless=630656), ccks=5695904, wck=3.911, mem=66M352 14.19/7.40 decisions=5864, wrong=1303, backtracks=673, failedAssignments=840, nogoods=205, foundSolutions=14, bestBound=1428 14.19/7.40 14.19/7.47 num=51, depth=57..63, filters=608227, revisions=(1098898,useless=643530), ccks=5793659, wck=3.979, mem=66M352 14.19/7.47 decisions=6005, wrong=1345, backtracks=693, failedAssignments=871, nogoods=208, foundSolutions=14, bestBound=1428 14.19/7.47 14.30/7.53 num=52, depth=51..65, filters=620102, revisions=(1120404,useless=656107), ccks=5897640, wck=4.039, mem=66M352 14.30/7.53 decisions=6146, wrong=1390, backtracks=737, failedAssignments=905, nogoods=209, foundSolutions=14, bestBound=1428 14.30/7.53 14.40/7.65 num=53, depth=53..60, filters=652271, revisions=(1168548,useless=675756), ccks=6111966, wck=4.156, mem=66M352 14.40/7.65 decisions=6303, wrong=1441, backtracks=773, failedAssignments=942, nogoods=213, foundSolutions=14, bestBound=1428 14.40/7.65 14.50/7.74 num=54, depth=53..60, filters=677684, revisions=(1208042,useless=692906), ccks=6249585, wck=4.25, mem=68M950 14.50/7.74 decisions=6478, wrong=1502, backtracks=809, failedAssignments=983, nogoods=218, foundSolutions=14, bestBound=1428 14.50/7.74 14.60/7.89 num=55, depth=55..61, filters=715992, revisions=(1263407,useless=715151), ccks=6547300, wck=4.4, mem=68M950 14.60/7.89 decisions=6666, wrong=1568, backtracks=863, failedAssignments=1028, nogoods=224, foundSolutions=14, bestBound=1428 14.60/7.89 14.71/8.01 num=56, depth=54..61, filters=746042, revisions=(1308287,useless=734040), ccks=6745295, wck=4.515, mem=69M808 14.71/8.01 decisions=6859, wrong=1637, backtracks=904, failedAssignments=1078, nogoods=228, foundSolutions=14, bestBound=1428 14.71/8.01 14.92/8.12 num=57, depth=54..60, filters=774670, revisions=(1351644,useless=752350), ccks=6934776, wck=4.624, mem=69M808 14.92/8.12 decisions=7063, wrong=1712, backtracks=952, failedAssignments=1133, nogoods=239, foundSolutions=14, bestBound=1428 14.92/8.12 15.01/8.26 num=58, depth=52..61, filters=811025, revisions=(1404852,useless=774419), ccks=7144972, wck=4.764, mem=72M406 15.01/8.26 decisions=7277, wrong=1792, backtracks=1004, failedAssignments=1194, nogoods=254, foundSolutions=14, bestBound=1428 15.01/8.26 15.21/8.45 num=59, depth=51..59, filters=868475, revisions=(1487499,useless=806241), ccks=7487838, wck=4.962, mem=72M406 15.21/8.45 decisions=7510, wrong=1882, backtracks=1073, failedAssignments=1261, nogoods=263, foundSolutions=14, bestBound=1428 15.21/8.45 15.41/8.62 num=60, depth=49..61, filters=920641, revisions=(1565641,useless=838275), ccks=7735474, wck=5.133, mem=75M4 15.41/8.62 decisions=7754, wrong=1979, backtracks=1143, failedAssignments=1335, nogoods=269, foundSolutions=14, bestBound=1428 15.41/8.62 15.51/8.79 num=61, depth=50..58, filters=968525, revisions=(1637748,useless=867886), ccks=8003618, wck=5.303, mem=75M4 15.51/8.79 decisions=8020, wrong=2086, backtracks=1212, failedAssignments=1416, nogoods=282, foundSolutions=14, bestBound=1428 15.51/8.79 15.71/8.98 num=62, depth=50..57, filters=1019392, revisions=(1714424,useless=898967), ccks=8329046, wck=5.485, mem=75M4 15.71/8.98 decisions=8310, wrong=2205, backtracks=1290, failedAssignments=1505, nogoods=287, foundSolutions=14, bestBound=1428 15.71/8.98 15.84/9.06 num=63, depth=31..54, filters=1032924, revisions=(1759608,useless=930971), ccks=8395781, wck=5.57, mem=77M602 15.84/9.06 decisions=8652, wrong=2357, backtracks=1422, failedAssignments=1603, nogoods=298, foundSolutions=14, bestBound=1428 15.84/9.06 16.13/9.34 num=64, depth=52..60, filters=1109630, revisions=(1865459,useless=969277), ccks=8855308, wck=5.849, mem=77M602 16.13/9.34 decisions=9001, wrong=2505, backtracks=1522, failedAssignments=1711, nogoods=306, foundSolutions=14, bestBound=1428 16.13/9.34 16.64/9.87 num=65, depth=50..62, filters=1231388, revisions=(2017351,useless=1025714), ccks=9486590, wck=6.379, mem=80M200 16.64/9.87 decisions=9402, wrong=2679, backtracks=1676, failedAssignments=1830, nogoods=313, foundSolutions=14, bestBound=1428 16.64/9.87 16.95/10.15 num=66, depth=49..58, filters=1318574, revisions=(2144763,useless=1076027), ccks=9919038, wck=6.661, mem=82M798 16.95/10.15 decisions=9798, wrong=2851, backtracks=1798, failedAssignments=1961, nogoods=327, foundSolutions=14, bestBound=1428 16.95/10.15 17.34/10.53 num=67, depth=48..60, filters=1421367, revisions=(2291336,useless=1132206), ccks=10526979, wck=7.035, mem=82M798 17.34/10.53 decisions=10242, wrong=3047, backtracks=1937, failedAssignments=2105, nogoods=345, foundSolutions=14, bestBound=1428 17.34/10.53 17.85/11.04 num=68, depth=48..64, filters=1556753, revisions=(2455778,useless=1191306), ccks=10949266, wck=7.545, mem=85M395 17.85/11.04 decisions=10716, wrong=3258, backtracks=2079, failedAssignments=2263, nogoods=382, foundSolutions=14, bestBound=1428 17.85/11.04 18.24/11.49 num=69, depth=52..61, filters=1694125, revisions=(2640205,useless=1254370), ccks=11750599, wck=8.002, mem=87M993 18.24/11.49 decisions=11251, wrong=3498, backtracks=2247, failedAssignments=2437, nogoods=390, foundSolutions=14, bestBound=1428 18.24/11.49 18.54/11.70 num=70, depth=49..63, filters=1746041, revisions=(2721371,useless=1293019), ccks=12155139, wck=8.212, mem=90M591 18.54/11.70 decisions=11784, wrong=3739, backtracks=2439, failedAssignments=2628, nogoods=397, foundSolutions=14, bestBound=1428 18.54/11.70 19.07/12.22 num=71, depth=50..59, filters=1905336, revisions=(2945460,useless=1373556), ccks=13076078, wck=8.73, mem=93M189 19.07/12.22 decisions=12417, wrong=4029, backtracks=2640, failedAssignments=2839, nogoods=413, foundSolutions=14, bestBound=1428 19.07/12.22 19.67/12.81 num=72, depth=49..59, filters=2077158, revisions=(3187059,useless=1462081), ccks=14084817, wck=9.313, mem=95M787 19.67/12.81 decisions=13073, wrong=4331, backtracks=2877, failedAssignments=3071, nogoods=429, foundSolutions=14, bestBound=1428 19.67/12.81 19.88/13.02 num=73, depth=32..60, filters=2119030, revisions=(3300647,useless=1535098), ccks=14216744, wck=9.524, mem=98M385 19.88/13.02 decisions=13948, wrong=4746, backtracks=3260, failedAssignments=3326, nogoods=439, foundSolutions=14, bestBound=1428 19.88/13.02 20.48/13.68 num=74, depth=57..66, filters=2341812, revisions=(3584888,useless=1638477), ccks=15153936, wck=10.189, mem=103M580 20.48/13.68 decisions=14916, wrong=5200, backtracks=3568, failedAssignments=3607, nogoods=447, foundSolutions=14, bestBound=1428 20.48/13.68 21.08/14.29 num=75, depth=55..64, filters=2506058, revisions=(3799970,useless=1714322), ccks=16331076, wck=10.795, mem=106M178 21.08/14.29 decisions=15880, wrong=5653, backtracks=3868, failedAssignments=3916, nogoods=457, foundSolutions=14, bestBound=1428 21.08/14.29 21.89/15.06 num=76, depth=51..63, filters=2725432, revisions=(4093544,useless=1815111), ccks=17681881, wck=11.569, mem=111M374 21.89/15.06 decisions=16868, wrong=6120, backtracks=4182, failedAssignments=4256, nogoods=472, foundSolutions=14, bestBound=1428 21.89/15.06 22.78/15.98 num=77, depth=50..60, filters=2981673, revisions=(4436972,useless=1938982), ccks=19226464, wck=12.488, mem=116M569 22.78/15.98 decisions=17952, wrong=6636, backtracks=4551, failedAssignments=4630, nogoods=490, foundSolutions=14, bestBound=1428 22.78/15.98 23.58/16.77 num=78, depth=51..61, filters=3187235, revisions=(4719930,useless=2042140), ccks=20651727, wck=13.279, mem=119M167 23.58/16.77 decisions=19176, wrong=7222, backtracks=4939, failedAssignments=5041, nogoods=505, foundSolutions=14, bestBound=1428 23.58/16.77 24.59/17.75 num=79, depth=49..59, filters=3468520, revisions=(5113537,useless=2186559), ccks=22420831, wck=14.254, mem=124M363 24.59/17.75 decisions=20476, wrong=7847, backtracks=5382, failedAssignments=5493, nogoods=522, foundSolutions=14, bestBound=1428 24.59/17.75 25.89/19.10 num=80, depth=48..59, filters=3823766, revisions=(5604972,useless=2365985), ccks=25016190, wck=15.607, mem=132M156 25.89/19.10 decisions=21885, wrong=8526, backtracks=5950, failedAssignments=5990, nogoods=530, foundSolutions=14, bestBound=1428 25.89/19.10 27.49/20.65 num=81, depth=49..64, filters=4218212, revisions=(6084016,useless=2534306), ccks=27058883, wck=17.157, mem=139M950 27.49/20.65 decisions=23456, wrong=9285, backtracks=6541, failedAssignments=6537, nogoods=541, foundSolutions=14, bestBound=1428 27.49/20.65 28.59/21.78 num=82, depth=50..62, filters=4513886, revisions=(6487423,useless=2682526), ccks=29087258, wck=18.293, mem=145M145 28.59/21.78 decisions=25140, wrong=10101, backtracks=7173, failedAssignments=7139, nogoods=559, foundSolutions=14, bestBound=1428 28.59/21.78 30.39/23.56 num=83, depth=53..63, filters=5001939, revisions=(7119774,useless=2896789), ccks=32718026, wck=20.07, mem=155M537 30.39/23.56 decisions=27083, wrong=11045, backtracks=8043, failedAssignments=7801, nogoods=567, foundSolutions=14, bestBound=1428 30.39/23.56 32.09/25.29 num=84, depth=50..61, filters=5453848, revisions=(7716153,useless=3099121), ccks=36022016, wck=21.803, mem=165M928 32.09/25.29 decisions=29108, wrong=12031, backtracks=8790, failedAssignments=8529, nogoods=577, foundSolutions=14, bestBound=1428 32.09/25.29 34.10/27.25 num=85, depth=48..59, filters=5991888, revisions=(8444269,useless=3355763), ccks=39541771, wck=23.758, mem=176M319 34.10/27.25 decisions=31376, wrong=13140, backtracks=9607, failedAssignments=9330, nogoods=594, foundSolutions=14, bestBound=1428 34.10/27.25 36.43/29.52 num=86, depth=47..59, filters=6608283, revisions=(9279762,useless=3651546), ccks=43546431, wck=26.025, mem=189M308 36.43/29.52 decisions=33789, wrong=14322, backtracks=10562, failedAssignments=10211, nogoods=603, foundSolutions=14, bestBound=1428 36.43/29.52 38.77/31.85 num=87, depth=48..60, filters=7247362, revisions=(10148415,useless=3953178), ccks=47887472, wck=28.363, mem=72M478 38.77/31.85 decisions=36435, wrong=15620, backtracks=11588, failedAssignments=11181, nogoods=619, foundSolutions=14, bestBound=1428 38.77/31.85 41.18/34.20 num=88, depth=47..59, filters=7865317, revisions=(11001446,useless=4262333), ccks=52476238, wck=30.708, mem=83M653 41.18/34.20 decisions=39378, wrong=17066, backtracks=12710, failedAssignments=12248, nogoods=644, foundSolutions=14, bestBound=1428 41.18/34.20 43.78/36.83 num=89, depth=47..60, filters=8545325, revisions=(11935562,useless=4599693), ccks=57542866, wck=33.34, mem=98M552 43.78/36.83 decisions=42608, wrong=18657, backtracks=13959, failedAssignments=13421, nogoods=651, foundSolutions=14, bestBound=1428 43.78/36.83 46.79/39.85 num=90, depth=48..61, filters=9361937, revisions=(13038534,useless=4983480), ccks=63336661, wck=36.359, mem=117M177 46.79/39.85 decisions=46150, wrong=20403, backtracks=15320, failedAssignments=14712, nogoods=663, foundSolutions=14, bestBound=1428 46.79/39.85 50.39/43.48 num=91, depth=47..61, filters=10368463, revisions=(14411485,useless=5470245), ccks=70260236, wck=39.987, mem=135M801 50.39/43.48 decisions=50081, wrong=22344, backtracks=16896, failedAssignments=16132, nogoods=671, foundSolutions=14, bestBound=1428 50.39/43.48 53.79/46.84 num=92, depth=48..61, filters=11245150, revisions=(15587354,useless=5886485), ccks=76573768, wck=43.346, mem=154M425 53.79/46.84 decisions=54312, wrong=24434, backtracks=18466, failedAssignments=17694, nogoods=695, foundSolutions=14, bestBound=1428 53.79/46.84 57.59/50.60 num=93, depth=48..60, filters=12198515, revisions=(16863391,useless=6326103), ccks=84247546, wck=47.105, mem=176M775 57.59/50.60 decisions=59096, wrong=26801, backtracks=20258, failedAssignments=19412, nogoods=705, foundSolutions=14, bestBound=1428 57.59/50.60 61.89/54.92 num=94, depth=46..59, filters=13388568, revisions=(18484918,useless=6901088), ccks=92273638, wck=51.43, mem=199M124 61.89/54.92 decisions=64303, wrong=29380, backtracks=22199, failedAssignments=21302, nogoods=709, foundSolutions=14, bestBound=1428 61.89/54.92 66.70/59.78 num=95, depth=47..61, filters=14714255, revisions=(20260727,useless=7508301), ccks=101442113, wck=56.291, mem=228M923 66.70/59.78 decisions=69913, wrong=32161, backtracks=24336, failedAssignments=23381, nogoods=721, foundSolutions=14, bestBound=1428 66.70/59.78 72.15/65.19 num=96, depth=46..58, filters=16299505, revisions=(22473750,useless=8304886), ccks=111621252, wck=61.698, mem=72M339 72.15/65.19 decisions=76321, wrong=35341, backtracks=26730, failedAssignments=25668, nogoods=748, foundSolutions=14, bestBound=1428 72.15/65.19 74.96/68.00 num=97, depth=43..64, filters=16971149, revisions=(23465308,useless=8774388), ccks=117845066, wck=64.512, mem=86M975 74.96/68.00 decisions=82872, wrong=38593, backtracks=29700, failedAssignments=28184, nogoods=769, foundSolutions=14, bestBound=1428 74.96/68.00 81.46/74.46 num=98, depth=47..60, filters=18758132, revisions=(25875820,useless=9599189), ccks=130975762, wck=70.97, mem=123M567 81.46/74.46 decisions=90456, wrong=42360, backtracks=32711, failedAssignments=30952, nogoods=780, foundSolutions=14, bestBound=1428 81.46/74.46 87.98/80.98 num=99, depth=45..61, filters=20747169, revisions=(28633190,useless=10582779), ccks=142229242, wck=77.49, mem=163M819 87.98/80.98 decisions=98933, wrong=46575, backtracks=35656, failedAssignments=33996, nogoods=789, foundSolutions=14, bestBound=1428 87.98/80.98 94.69/87.66 num=100, depth=47..61, filters=22560670, revisions=(31049565,useless=11421035), ccks=154761106, wck=84.166, mem=200M411 94.69/87.66 decisions=108086, wrong=51126, backtracks=38939, failedAssignments=37345, nogoods=811, foundSolutions=14, bestBound=1428 94.69/87.66 102.52/95.43 num=101, depth=46..62, filters=24930634, revisions=(34293084,useless=12558300), ccks=168373345, wck=91.939, mem=65M48 102.52/95.43 decisions=118214, wrong=56165, backtracks=42446, failedAssignments=41029, nogoods=822, foundSolutions=14, bestBound=1428 102.52/95.43 111.92/104.83 num=102, depth=47..61, filters=27558448, revisions=(37794558,useless=13761646), ccks=186863754, wck=101.337, mem=119M8 111.92/104.83 decisions=129423, wrong=61744, backtracks=46905, failedAssignments=45081, nogoods=831, foundSolutions=14, bestBound=1428 111.92/104.83 121.83/114.73 num=103, depth=48..61, filters=30211748, revisions=(41257919,useless=14912172), ccks=207274413, wck=111.235, mem=172M968 121.83/114.73 decisions=141936, wrong=67975, backtracks=51634, failedAssignments=49538, nogoods=848, foundSolutions=14, bestBound=1428 121.83/114.73 132.73/125.65 num=104, depth=47..61, filters=33342351, revisions=(45343382,useless=16265810), ccks=227911487, wck=122.159, mem=237M720 132.73/125.65 decisions=155400, wrong=74683, backtracks=56611, failedAssignments=54441, nogoods=876, foundSolutions=14, bestBound=1428 132.73/125.65 144.98/137.87 num=105, depth=47..63, filters=36768847, revisions=(49835203,useless=17775730), ccks=251078082, wck=134.377, mem=124M981 144.98/137.87 decisions=170219, wrong=82067, backtracks=62263, failedAssignments=59835, nogoods=894, foundSolutions=14, bestBound=1428 144.98/137.87 158.97/151.81 num=106, depth=45..61, filters=40859157, revisions=(55295453,useless=19645045), ccks=274151129, wck=148.319, mem=209M732 158.97/151.81 decisions=186662, wrong=90265, backtracks=68143, failedAssignments=65768, nogoods=897, foundSolutions=14, bestBound=1428 158.97/151.81 173.71/166.55 num=107, depth=47..62, filters=45096155, revisions=(60899690,useless=21526836), ccks=301750288, wck=163.062, mem=116M885 173.71/166.55 decisions=204898, wrong=99358, backtracks=74842, failedAssignments=72294, nogoods=921, foundSolutions=14, bestBound=1428 173.71/166.55 188.01/180.86 num=108, depth=46..64, filters=49197057, revisions=(66291173,useless=23331198), ccks=327006649, wck=177.367, mem=199M987 188.01/180.86 decisions=225081, wrong=109425, backtracks=81684, failedAssignments=79473, nogoods=933, foundSolutions=14, bestBound=1428 188.01/180.86 196.84/189.68 num=109, depth=26..67, filters=51081417, revisions=(70661973,useless=25939442), ccks=331569852, wck=186.186, mem=78M445 196.84/189.68 decisions=264162, wrong=128937, backtracks=100091, failedAssignments=87370, nogoods=939, foundSolutions=14, bestBound=1428 196.84/189.68 229.77/222.53 num=110, depth=52..69, filters=60270706, revisions=(85328137,useless=33363044), ccks=372060079, wck=219.035, mem=104M789 229.77/222.53 decisions=294882, wrong=144269, backtracks=112411, failedAssignments=96057, nogoods=950, foundSolutions=14, bestBound=1428 229.77/222.53 254.58/247.16 num=111, depth=55..75, filters=68046052, revisions=(96254406,useless=38428314), ccks=401704501, wck=243.665, mem=104M19 254.58/247.16 decisions=329614, wrong=161605, backtracks=124840, failedAssignments=105612, nogoods=962, foundSolutions=14, bestBound=1428 254.58/247.16 277.79/270.39 num=112, depth=45..72, filters=74757444, revisions=(110401754,useless=46526937), ccks=421464091, wck=266.903, mem=132M44 277.79/270.39 decisions=370661, wrong=182104, backtracks=141335, failedAssignments=116123, nogoods=970, foundSolutions=14, bestBound=1428 277.79/270.39 297.21/289.72 num=113, depth=56..71, filters=80547853, revisions=(117769804,useless=49391239), ccks=457195969, wck=286.228, mem=99M189 297.21/289.72 decisions=410725, wrong=202105, backtracks=154731, failedAssignments=127685, nogoods=977, foundSolutions=14, bestBound=1428 297.21/289.72 312.01/304.55 num=114, depth=57..73, filters=85906102, revisions=(124531501,useless=52067387), ccks=475341717, wck=301.062, mem=206M114 312.01/304.55 decisions=451598, wrong=222510, backtracks=165608, failedAssignments=140403, nogoods=995, foundSolutions=14, bestBound=1428 312.01/304.55 338.85/331.34 num=115, depth=53..69, filters=93056963, revisions=(133229416,useless=55077358), ccks=527137846, wck=327.846, mem=194M21 338.85/331.34 decisions=495811, wrong=244589, backtracks=179720, failedAssignments=154393, nogoods=1006, foundSolutions=14, bestBound=1428 338.85/331.34 368.40/360.89 num=116, depth=45..62, filters=101860158, revisions=(144963485,useless=59054132), ccks=578726658, wck=357.399, mem=64M494 368.40/360.89 decisions=539067, wrong=266192, backtracks=193869, failedAssignments=169782, nogoods=1013, foundSolutions=14, bestBound=1428 368.40/360.89 395.24/387.69 num=117, depth=46..62, filters=109603303, revisions=(155485000,useless=62737792), ccks=623803106, wck=384.198, mem=74M177 395.24/387.69 decisions=586875, wrong=290071, backtracks=208874, failedAssignments=186710, nogoods=1037, foundSolutions=14, bestBound=1428 395.24/387.69 423.60/415.90 num=118, depth=19..70, filters=116356954, revisions=(172812457,useless=73743220), ccks=639048673, wck=412.41, mem=103M502 423.60/415.90 decisions=779045, wrong=386140, backtracks=298879, failedAssignments=205331, nogoods=1042, foundSolutions=14, bestBound=1428 423.60/415.90 543.08/535.34 num=119, depth=48..71, filters=147280041, revisions=(239533354,useless=115795398), ccks=749945422, wck=531.852, mem=166M105 543.08/535.34 decisions=843141, wrong=418161, backtracks=327028, failedAssignments=225815, nogoods=1054, foundSolutions=14, bestBound=1428 543.08/535.34 655.74/647.97 num=120, depth=48..71, filters=178009768, revisions=(300732241,useless=152864290), ccks=848856215, wck=644.481, mem=90M219 655.74/647.97 decisions=913980, wrong=453553, backtracks=356779, failedAssignments=248347, nogoods=1072, foundSolutions=14, bestBound=1428 655.74/647.97 770.22/762.39 num=121, depth=48..71, filters=208471403, revisions=(365846267,useless=193492717), ccks=952608583, wck=758.895, mem=103M894 770.22/762.39 decisions=993339, wrong=493204, backtracks=390276, failedAssignments=273132, nogoods=1087, foundSolutions=14, bestBound=1428 770.22/762.39 837.97/830.07 num=122, depth=54..72, filters=231906864, revisions=(397389157,useless=207761236), ccks=1056807439, wck=826.578, mem=97M194 837.97/830.07 decisions=1086192, wrong=539600, backtracks=419697, failedAssignments=300396, nogoods=1103, foundSolutions=14, bestBound=1428 837.97/830.07 929.12/921.13 num=123, depth=45..73, filters=262723344, revisions=(439067125,useless=226892740), ccks=1162087795, wck=917.64, mem=129M609 929.12/921.13 decisions=1200807, wrong=596879, backtracks=467818, failedAssignments=330386, nogoods=1120, foundSolutions=14, bestBound=1428 929.12/921.13 1000.96/992.96 num=124, depth=54..72, filters=286097637, revisions=(471851894,useless=241730873), ccks=1279955583, wck=989.471, mem=117M850 1000.96/992.96 decisions=1318232, wrong=655561, backtracks=504503, failedAssignments=363375, nogoods=1136, foundSolutions=14, bestBound=1428 1000.96/992.96 1049.61/1041.59 num=125, depth=52..71, filters=306711869, revisions=(501209895,useless=253831188), ccks=1354460600, wck=1038.094, mem=120M655 1049.61/1041.59 decisions=1436145, wrong=714487, backtracks=535444, failedAssignments=399663, nogoods=1157, foundSolutions=14, bestBound=1428 1049.61/1041.59 1092.75/1084.64 num=126, depth=52..70, filters=325771270, revisions=(526418215,useless=263205959), ccks=1410863500, wck=1081.145, mem=82M773 1092.75/1084.64 decisions=1559596, wrong=776182, backtracks=567128, failedAssignments=439580, nogoods=1181, foundSolutions=14, bestBound=1428 1092.75/1084.64 1139.92/1131.71 num=127, depth=54..72, filters=345329054, revisions=(551178061,useless=272150589), ccks=1477618287, wck=1128.223, mem=77M468 1139.92/1131.71 decisions=1693959, wrong=843333, backtracks=602695, failedAssignments=483489, nogoods=1198, foundSolutions=14, bestBound=1428 1139.92/1131.71 1208.38/1200.15 num=128, depth=53..72, filters=368432256, revisions=(579625957,useless=282418262), ccks=1604914228, wck=1196.66, mem=79M551 1208.38/1200.15 decisions=1849972, wrong=921310, backtracks=654777, failedAssignments=531789, nogoods=1208, foundSolutions=14, bestBound=1428 1208.38/1200.15 1294.14/1285.86 num=129, depth=50..69, filters=397918026, revisions=(615472014,useless=294346077), ccks=1753552877, wck=1282.364, mem=74M291 1294.14/1285.86 decisions=2006842, wrong=999718, backtracks=710156, failedAssignments=584919, nogoods=1224, foundSolutions=14, bestBound=1428 1294.14/1285.86 1390.72/1382.38 num=130, depth=48..66, filters=429748522, revisions=(654871006,useless=306838668), ccks=1935826805, wck=1378.886, mem=100M700 1390.72/1382.38 decisions=2175766, wrong=1084154, backtracks=764887, failedAssignments=643362, nogoods=1231, foundSolutions=14, bestBound=1428 1390.72/1382.38 1474.59/1466.18 num=131, depth=45..67, filters=453986713, revisions=(686626300,useless=318462042), ccks=2120494856, wck=1462.693, mem=97M799 1474.59/1466.18 decisions=2354657, wrong=1173574, backtracks=835616, failedAssignments=707649, nogoods=1239, foundSolutions=14, bestBound=1428 1474.59/1466.18 1560.05/1551.54 num=132, depth=43..66, filters=477864993, revisions=(719387753,useless=331322395), ccks=2322891909, wck=1548.048, mem=78M803 1560.05/1551.54 decisions=2541702, wrong=1267072, backtracks=916393, failedAssignments=778365, nogoods=1259, foundSolutions=14, bestBound=1428 1560.05/1551.54 1704.60/1695.97 num=133, depth=45..65, filters=521060542, revisions=(773834674,useless=348911550), ccks=2614202491, wck=1692.482, mem=75M514 1704.60/1695.97 decisions=2760955, wrong=1376674, backtracks=993685, failedAssignments=856152, nogoods=1280, foundSolutions=14, bestBound=1428 1704.60/1695.97 1803.69/1794.98 num=134, depth=45..66, filters=549668832, revisions=(811858959,useless=363416599), ccks=2842248557, wck=1791.491, mem=104M780 1803.69/1794.98 decisions=2991414, wrong=1491879, backtracks=1088046, failedAssignments=941718, nogoods=1290, foundSolutions=14, bestBound=1428 1803.69/1794.98 1982.26/1973.39 num=135, depth=44..67, filters=605411241, revisions=(883661373,useless=387263318), ccks=3193163764, wck=1969.894, mem=68M3 1982.26/1973.39 decisions=3257037, wrong=1624665, backtracks=1186215, failedAssignments=1035841, nogoods=1306, foundSolutions=14, bestBound=1428 1982.26/1973.39 2158.80/2149.76 num=136, depth=45..63, filters=654525274, revisions=(946895526,useless=408774893), ccks=3570655165, wck=2146.268, mem=60M459 2158.80/2149.76 decisions=3548702, wrong=1770472, backtracks=1292948, failedAssignments=1139376, nogoods=1330, foundSolutions=14, bestBound=1428 2158.80/2149.76 2400.07/2390.80 2400.07/2390.80 v <instantiation id='sol14' type='solution' cost='1428'> <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 -2 -7 0 -3 -4 -7 12 5 4 -11 2 1 6 1 0 -3 -2 -1 4 9 2 5 4 1 6 1 -10 7 0 1 0 9 8 5 -8 -5 -4 -1 -4 3 0 9 -6 -5 2 3 4 3 2 3 0 1 -2 -1 4 -1 2 -1 -2 -1 0 -5 4 -1 0 3 -4 3 -2 1 1 4 49 0 9 16 49 144 25 16 121 4 1 36 1 0 9 4 1 16 81 4 25 16 1 36 1 100 49 0 1 0 81 64 25 64 25 16 1 16 9 0 81 36 25 4 9 16 9 4 9 0 1 4 1 16 1 4 1 4 1 0 25 16 1 0 9 16 9 4 1 </values> </instantiation> 2400.07/2390.80 s SATISFIABLE
OK 1428
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: 16375 MiB (13547 MiB free)
memory of node 1: 16384 MiB (13302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391352-1568389903/watcher-4391352-1568389903 -o /tmp/evaluation-result-4391352-1568389903/solver-4391352-1568389903 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323902568-2187 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391352-1568389903.xml -cm
running on 4 cores: 0-3
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
solver pid=2690, runsolver pid=2687
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 1.96 1.88 1.87 4/229 2705
/proc/meminfo: memFree=27478668/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10659884 memory=27300 CPUtime=0.12 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 5296 0 0 0 11 1 0 0 20 0 15 0 414996676 10915721216 6825 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2664971 6825 2844 1 0 2627468 0
[pid=2690/tid=2692] ppid=2687 vsize=10659884 memory=7022364594140610616 CPUtime=0.09 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) R 2687 2690 804 0 -1 4202560 3179 0 0 0 8 1 0 0 20 0 15 0 414996677 10915721216 6891 33554432000 4194304 4196468 140723338808592 140366239613840 140366235397526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10659884 memory=364 CPUtime=0 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 6891 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10659884 memory=140700137551275 CPUtime=0 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 6891 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365793522464 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414996680 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365792470128 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996682 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) S 2687 2690 804 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 414996682 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365790366320 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996682 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365789313520 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0.01 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) R 2687 2690 804 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 414996682 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365788261232 140366235397526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 6891 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27300 KiB
[startup+0.212484 s]*
/proc/loadavg: 1.96 1.88 1.87 6/229 2705
/proc/meminfo: memFree=27466992/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10659884 memory=36944 CPUtime=0.31 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 8993 0 0 0 28 3 0 0 20 0 15 0 414996676 10915721216 9236 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2664971 9236 2975 1 0 2627468 0
[pid=2690/tid=2692] ppid=2687 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) R 2687 2690 804 0 -1 4202560 6081 0 0 0 18 2 0 0 20 0 15 0 414996677 10915721216 9301 33554432000 4194304 4196468 140723338808592 140366239622200 140366235407517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10659884 memory=364 CPUtime=0 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9301 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10659884 memory=140700137551275 CPUtime=0 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9301 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365793522464 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414996680 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365792470128 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996682 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10659884 memory=0 CPUtime=0.02 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) R 2687 2690 804 0 -1 4202560 810 0 0 0 2 0 0 0 20 0 15 0 414996682 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365790366320 140366227622718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10659884 memory=-1 CPUtime=0.01 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) R 2687 2690 804 0 -1 4202560 91 0 0 0 1 0 0 0 20 0 15 0 414996682 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365789313520 140366216929308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0.06 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) R 2687 2690 804 0 -1 1077944384 688 0 0 0 6 0 0 0 20 0 15 0 414996682 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365788261232 140366235396738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 9301 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36944 KiB
[startup+0.311269 s]*
/proc/loadavg: 1.96 1.88 1.87 5/229 2705
/proc/meminfo: memFree=27466620/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10659884 memory=37468 CPUtime=0.45 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 9183 0 0 0 41 4 0 0 20 0 15 0 414996676 10915721216 9367 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2664971 9367 2987 1 0 2627468 0
[pid=2690/tid=2692] ppid=2687 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) R 2687 2690 804 0 -1 4202560 6117 0 0 0 27 3 0 0 20 0 15 0 414996677 10915721216 9367 33554432000 4194304 4196468 140723338808592 140366239622200 140366219466078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10659884 memory=288230600429797399 CPUtime=0 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9367 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10659884 memory=140700137550366 CPUtime=0 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9367 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365793522464 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414996680 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365792470128 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996682 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10659884 memory=0 CPUtime=0.04 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) S 2687 2690 804 0 -1 1077944384 922 0 0 0 4 0 0 0 20 0 15 0 414996682 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365790366320 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10659884 memory=-1 CPUtime=0.02 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) S 2687 2690 804 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 414996682 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365789313520 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10659884 memory=281400112063824 CPUtime=0.06 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) R 2687 2690 804 0 -1 4202560 690 0 0 0 6 0 0 0 20 0 15 0 414996682 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365788261232 140366235406938 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10659884 memory=140700137535104 CPUtime=0 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 9367 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37468 KiB
[startup+0.700802 s]
/proc/loadavg: 1.96 1.88 1.87 3/229 2705
/proc/meminfo: memFree=27457208/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10659884 memory=57900 CPUtime=1.13 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 12606 0 0 0 108 5 0 0 20 0 15 0 414996676 10915721216 14475 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2664971 14475 3056 1 0 2627468 0
[pid=2690/tid=2692] ppid=2687 vsize=10659884 memory=281399949181200 CPUtime=0.68 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) R 2687 2690 804 0 -1 4202560 8491 0 0 0 64 4 0 0 20 0 15 0 414996677 10915721216 14475 33554432000 4194304 4196468 140723338808592 140366239617952 140366219466078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 14475 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 14475 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996677 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414996679 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365793522464 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414996680 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365792470128 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996682 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10659884 memory=0 CPUtime=0.12 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) S 2687 2690 804 0 -1 1077944384 1170 0 0 0 12 0 0 0 20 0 15 0 414996682 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365790366320 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10659884 memory=0 CPUtime=0.13 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) S 2687 2690 804 0 -1 1077944384 459 0 0 0 13 0 0 0 20 0 15 0 414996682 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365789313520 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10659884 memory=6416681141432 CPUtime=0.19 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) S 2687 2690 804 0 -1 1077944384 1125 0 0 0 19 0 0 0 20 0 15 0 414996682 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365788261232 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10659884 memory=288230591755977018 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10659884 memory=14978871065839408 CPUtime=0 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996683 10915721216 14475 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 57900 KiB
[startup+1.50079 s]
/proc/loadavg: 1.96 1.88 1.87 3/229 2705
/proc/meminfo: memFree=27438596/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10663980 memory=72032 CPUtime=2.02 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 17550 0 0 0 196 6 0 0 20 0 15 0 414996676 10919915520 18008 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2665995 18008 3080 1 0 2628492 0
[pid=2690/tid=2692] ppid=2687 vsize=10663980 memory=0 CPUtime=1.48 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) R 2687 2690 804 0 -1 4202560 12739 0 0 0 143 5 0 0 20 0 15 0 414996677 10919915520 18008 33554432000 4194304 4196468 140723338808592 140366239602624 140366219472020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10663980 memory=152283501404392 CPUtime=0 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10919915520 18008 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414996677 10919915520 18008 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10663980 memory=7902864622126029280 CPUtime=0 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414996677 10919915520 18008 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414996677 10919915520 18008 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10663980 memory=281399949000944 CPUtime=0 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 414996679 10919915520 18008 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
################
# More data... #
################
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 5083 0 0 0 53 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10748324 memory=3624 CPUtime=0.19 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 8659 0 0 0 15 4 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10748324 memory=46688 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365793522528 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10748324 memory=262888 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414996680 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365792470144 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10748324 memory=262888 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10748324 memory=262888 CPUtime=2.87 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) S 2687 2690 804 0 -1 1077944384 13073 0 0 0 285 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365790366320 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10748324 memory=3624 CPUtime=3.05 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) S 2687 2690 804 0 -1 1077944384 13473 0 0 0 303 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365789313520 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10748324 memory=262888 CPUtime=1.18 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) S 2687 2690 804 0 -1 1077944384 13346 0 0 0 115 3 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365788261232 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10748324 memory=3624 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10748324 memory=46688 CPUtime=0.56 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1290 0 0 0 24 32 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2706] ppid=2687 vsize=10748324 memory=984 CPUtime=2259.12 cores=0-3
/proc/2690/task/2706/stat : 2706 (java) R 2687 2690 804 0 -1 4202560 21352 0 0 0 225905 7 0 0 20 0 16 0 414996889 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365701008528 140365865771371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 2271.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 262888 KiB
[startup+2322.3 s]
/proc/loadavg: 1.94 1.95 1.95 3/230 3004
/proc/meminfo: memFree=26414096/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10748324 memory=262888 CPUtime=2331.53 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 112446 0 0 0 233076 77 0 0 20 0 16 0 414996676 11006283776 65722 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2687081 65722 3382 1 0 2647217 0
[pid=2690/tid=2692] ppid=2687 vsize=10748324 memory=262888 CPUtime=2.1 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) S 2687 2690 804 0 -1 1077944384 15416 0 0 0 203 7 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366239628464 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.59 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 6529 0 0 0 54 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.57 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 6768 0 0 0 53 4 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10748324 memory=3316 CPUtime=0.6 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 5385 0 0 0 55 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.6 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 5373 0 0 0 55 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.19 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 8843 0 0 0 15 4 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10748324 memory=164 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365793522528 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10748324 memory=262888 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414996680 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365792470144 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10748324 memory=262888 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10748324 memory=262888 CPUtime=2.87 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) S 2687 2690 804 0 -1 1077944384 13076 0 0 0 285 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365790366320 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10748324 memory=262888 CPUtime=3.05 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) S 2687 2690 804 0 -1 1077944384 13475 0 0 0 303 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365789313520 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10748324 memory=8112282956445269571 CPUtime=1.18 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) S 2687 2690 804 0 -1 1077944384 13348 0 0 0 115 3 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365788261232 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10748324 memory=1432 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.57 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1320 0 0 0 24 33 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2706] ppid=2687 vsize=10748324 memory=776 CPUtime=2319.1 cores=0-3
/proc/2690/task/2706/stat : 2706 (java) R 2687 2690 804 0 -1 4202560 21513 0 0 0 231903 7 0 0 20 0 16 0 414996889 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365701008464 140365866645279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 2331.53 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 262888 KiB
[startup+2382.3 s]
/proc/loadavg: 1.98 1.96 1.95 3/229 3008
/proc/meminfo: memFree=26413832/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10748324 memory=262888 CPUtime=2391.56 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 113185 0 0 0 239078 78 0 0 20 0 16 0 414996676 11006283776 65722 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2687081 65722 3382 1 0 2647217 0
[pid=2690/tid=2692] ppid=2687 vsize=10748324 memory=262888 CPUtime=2.1 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) S 2687 2690 804 0 -1 1077944384 15416 0 0 0 203 7 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366239628464 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.59 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 6537 0 0 0 54 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.58 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 7051 0 0 0 54 4 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.6 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 5387 0 0 0 55 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10748324 memory=46688 CPUtime=0.6 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 5441 0 0 0 55 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10748324 memory=12028 CPUtime=0.21 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 9029 0 0 0 16 5 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10748324 memory=25296 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365793522528 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10748324 memory=1808 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414996680 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365792470144 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10748324 memory=924 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10748324 memory=3228 CPUtime=2.87 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) S 2687 2690 804 0 -1 1077944384 13078 0 0 0 285 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365790366320 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10748324 memory=1770236 CPUtime=3.05 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) S 2687 2690 804 0 -1 1077944384 13477 0 0 0 303 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365789313520 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10748324 memory=262888 CPUtime=1.18 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) S 2687 2690 804 0 -1 1077944384 13350 0 0 0 115 3 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365788261232 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10748324 memory=3624 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10748324 memory=262888 CPUtime=0.58 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1348 0 0 0 25 33 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2706] ppid=2687 vsize=10748324 memory=776 CPUtime=2379.09 cores=0-3
/proc/2690/task/2706/stat : 2706 (java) R 2687 2690 804 0 -1 4202560 21671 0 0 0 237902 7 0 0 20 0 16 0 414996889 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365701008464 140365860883199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 2391.56 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 262888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2390.8 s]
/proc/loadavg: 1.98 1.96 1.95 3/229 3008
/proc/meminfo: memFree=26413732/32770688 swapFree=66919992/67108860
[pid=2690] ppid=2687 vsize=10748324 memory=262888 CPUtime=2400.07 cores=0-3
/proc/2690/stat : 2690 (java) S 2687 2690 804 0 -1 1077944320 113188 0 0 0 239929 78 0 0 20 0 16 0 414996676 11006283776 65722 33554432000 4194304 4196468 140723338808592 140723338791136 140366235385591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
/proc/2690/statm: 2687081 65722 3382 1 0 2647217 0
[pid=2690/tid=2692] ppid=2687 vsize=10748324 memory=46704 CPUtime=2.1 cores=0-3
/proc/2690/task/2692/stat : 2692 (java) S 2687 2690 804 0 -1 1077944384 15416 0 0 0 203 7 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366239628464 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2693] ppid=2687 vsize=10748324 memory=984 CPUtime=0.6 cores=0-3
/proc/2690/task/2693/stat : 2693 (java) S 2687 2690 804 0 -1 1077944384 6537 0 0 0 55 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366177389456 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2694] ppid=2687 vsize=10748324 memory=2020 CPUtime=0.58 cores=0-3
/proc/2690/task/2694/stat : 2694 (java) S 2687 2690 804 0 -1 1077944384 7051 0 0 0 54 4 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140366176336656 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2695] ppid=2687 vsize=10748324 memory=4164 CPUtime=0.6 cores=0-3
/proc/2690/task/2695/stat : 2695 (java) S 2687 2690 804 0 -1 1077944384 5387 0 0 0 55 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365840309392 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2696] ppid=2687 vsize=10748324 memory=1056 CPUtime=0.6 cores=0-3
/proc/2690/task/2696/stat : 2696 (java) S 2687 2690 804 0 -1 1077944384 5441 0 0 0 55 5 0 0 20 0 16 0 414996677 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365839256592 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2697] ppid=2687 vsize=10748324 memory=2828 CPUtime=0.21 cores=0-3
/proc/2690/task/2697/stat : 2697 (java) S 2687 2690 804 0 -1 1077944384 9031 0 0 0 16 5 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365794576496 140366235396738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2698] ppid=2687 vsize=10748324 memory=1176 CPUtime=0 cores=0-3
/proc/2690/task/2698/stat : 2698 (java) S 2687 2690 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414996679 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365793522528 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2699] ppid=2687 vsize=10748324 memory=980 CPUtime=0 cores=0-3
/proc/2690/task/2699/stat : 2699 (java) S 2687 2690 804 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414996680 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365792470144 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2700] ppid=2687 vsize=10748324 memory=262888 CPUtime=0 cores=0-3
/proc/2690/task/2700/stat : 2700 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365791418448 140366235404187 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2701] ppid=2687 vsize=10748324 memory=2776 CPUtime=2.87 cores=0-3
/proc/2690/task/2701/stat : 2701 (java) S 2687 2690 804 0 -1 1077944384 13078 0 0 0 285 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365790366320 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2702] ppid=2687 vsize=10748324 memory=262888 CPUtime=3.05 cores=0-3
/proc/2690/task/2702/stat : 2702 (java) S 2687 2690 804 0 -1 1077944384 13477 0 0 0 303 2 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365789313520 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2703] ppid=2687 vsize=10748324 memory=2612 CPUtime=1.18 cores=0-3
/proc/2690/task/2703/stat : 2703 (java) S 2687 2690 804 0 -1 1077944384 13350 0 0 0 115 3 0 0 20 0 16 0 414996682 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365788261232 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2704] ppid=2687 vsize=10748324 memory=924 CPUtime=0 cores=0-3
/proc/2690/task/2704/stat : 2704 (java) S 2687 2690 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365787208672 140366235395797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2705] ppid=2687 vsize=10748324 memory=1444 CPUtime=0.58 cores=0-3
/proc/2690/task/2705/stat : 2705 (java) S 2687 2690 804 0 -1 1077944384 1348 0 0 0 25 33 0 0 20 0 16 0 414996683 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365786155440 140366235396738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
[pid=2690/tid=2706] ppid=2687 vsize=10748324 memory=1764 CPUtime=2387.58 cores=0-3
/proc/2690/task/2706/stat : 2706 (java) R 2687 2690 804 0 -1 4202560 21672 0 0 0 238751 7 0 0 20 0 16 0 414996889 11006283776 65722 33554432000 4194304 4196468 140723338808592 140365701008464 140365860882799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30945280 140723338814475 140723338814578 140723338814578 140723338817487 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 262888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2390.81 s]
# the end of solver process 2690 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.3 s, system=0.785041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2390.81
CPU time (s): 2400.09
CPU user time (s): 2399.3
CPU system time (s): 0.785041
CPU usage (%): 100.388
Max. virtual memory (cumulated for all children) (KiB): 10750736
Max. memory (cumulated for all children) (KiB): 401548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.3
system time used= 0.785041
maximum resident set size= 401564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113597
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58398
involuntary context switches= 3041
# summary of solver processes directly reported to runsolver:
# pid: 2690
# total CPU time (s): 2400.09
# total CPU user time (s): 2399.3
# total CPU system time (s): 0.785041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3083 second user time and 23.8119 second system time
The end
Begin job on node120 at 2011-12-15 00:12:06 IDJOB=4391352 IDBENCH=127018 IDSOLVER=2833 FILE ID=node120/4391352-1568389903 RUNJOBID= node120-1323902568-2187 PBS_JOBID= 21701843 Free space on /tmp= 59144 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-072.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391352-1568389903/watcher-4391352-1568389903 -o /tmp/evaluation-result-4391352-1568389903/solver-4391352-1568389903 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323902568-2187 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391352-1568389903.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b7c910d9b57f1d6426daaa1c2d4da0c RANDOM SEED=1579444439 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27493760 kB MemAvailable: 31563940 kB Buffers: 174216 kB Cached: 4189456 kB SwapCached: 77548 kB Active: 1531064 kB Inactive: 3167252 kB Active(anon): 257584 kB Inactive(anon): 126920 kB Active(file): 1273480 kB Inactive(file): 3040332 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 8752 kB Writeback: 0 kB AnonPages: 367012 kB Mapped: 60448 kB Shmem: 41008 kB Slab: 173036 kB SReclaimable: 144404 kB SUnreclaim: 28632 kB KernelStack: 3728 kB PageTables: 6336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1251016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 296960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61632 MiB End job on node120 at 2011-12-15 00:51:57