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 | 2520.02 | 2511.91 |
| 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 | 20057 |
| 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.38/1.89 2.38/1.89 AbsCon 2 2.63/1.91 3.63/2.27 Instance 3.63/2.27 name=instance-4391052-1568383018, framework=COP, bounds=-infty..+infty 3.63/2.27 3.63/2.27 Loading variables... 3.97/2.38 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4aa53a 6.00/2.92 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76ce7dd4 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be7a1cf 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615afd71 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c39cd36 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bab6e1 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e0d5c5 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@111fe3f8 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2af179f 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@446f7bee 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56283be4 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49ed1b88 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7e8007 6.00/2.93 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9ad72d 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e66a921 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c1d002c 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c65b46 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639da0e 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@396f5fa2 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eb07a89 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dcf9af7 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe79292 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72aaa19c 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2513c77f 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d674a8e 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dbd822e 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45609e3e 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@663cd050 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1170465c 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa7c5ad 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c1b6011 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd8bb4a 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@571d9447 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d14cfb 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6282c5b9 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bc6cc14 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@101f437f 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@928b7a8 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20ab5ba7 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43348e1d 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf10eee 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b3235b3 6.00/2.94 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41ac6138 6.00/2.95 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fde9628 6.00/2.95 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c1e8b3d 6.00/2.95 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4dfa58 6.00/2.95 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa4a08 6.00/2.95 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bfb5d87 6.00/2.95 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aea0c07 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173862af 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe0256f 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df556ed 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ee044f 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fcea28f 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd4bf23 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512303c6 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367499cd 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf7db4b 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ccbf6a 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21d36c71 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7128087d 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eadf869 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755428f5 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da66901 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7881cec2 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@679b7c84 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f83f1c4 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25db4f82 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a143482 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f751356 6.00/2.96 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13cd1d7 6.37/3.08 6.37/3.08 6.37/3.08 Domains 6.37/3.08 nTypes=143, nValues=13066, sizes=[2#2629,3#2,4#1,5#2...137#1,139#1,141#1,143#1] 6.37/3.08 Variables 6.37/3.08 count=2770, degrees=[2#2698,71#72] 6.37/3.08 Objectives 6.37/3.08 way=min, type=SumSimpleLE 6.37/3.08 Constraints 6.37/3.08 count=2699, nSpecific=72, arities=[2#72,3#2557,4#1,5#1...69#1,70#1,71#2,72#1] 6.37/3.08 distribution=[CtrIntension#2627,SumSimpleLE#1,SumWeightedEQ#71] 6.37/3.08 nIntStructures=(72,shared:2555), nCftStructures=(72,shared:2555,unbuilt:72) 6.37/3.08 wck=1.212, cpu=3.021, mem=72M843 6.37/3.09 Solver SolverBacktrack being built... 6.37/3.09 6.70/3.14 6.70/3.14 Solver 6.70/3.14 guaranteedGAC=false 6.70/3.14 wck=1.277, cpu=3.085, mem=114M850 6.89/3.20 6.89/3.20 Preprocessing 6.89/3.20 filters=0, ccks=251419, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 6.89/3.20 wck=0.058, cpu=3.145, mem=114M850 6.89/3.20 7.20/3.34 o 121836 7.20/3.35 num=0, depth=2771..2769, filters=6408, revisions=(10295,useless=6443), ccks=508014, wck=0.212, mem=117M466 7.20/3.35 decisions=72, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=121836 7.20/3.35 7.53/3.49 o 111896 7.53/3.49 num=1, depth=0..2769, filters=12760, revisions=(20696,useless=13014), ccks=576023, wck=0.352, mem=120M82 7.53/3.49 decisions=146, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=111896 7.53/3.49 8.15/3.61 o 102516 8.15/3.61 num=2, depth=71..2769, filters=19261, revisions=(31417,useless=19790), ccks=646811, wck=0.471, mem=120M82 8.15/3.61 decisions=219, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=102516 8.15/3.61 8.40/3.71 o 19112 8.40/3.71 num=3, depth=39..2769, filters=25546, revisions=(45819,useless=30341), ccks=666616, wck=0.57, mem=122M698 8.40/3.71 decisions=263, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=4, bestBound=19112 8.40/3.71 8.40/3.79 o 17456 8.72/3.80 num=4, depth=2771..2769, filters=30203, revisions=(57957,useless=39785), ccks=686583, wck=0.648, mem=125M314 8.72/3.80 decisions=304, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=5, bestBound=17456 8.72/3.80 8.89/3.90 num=5, depth=40..73, filters=46156, revisions=(82850,useless=54304), ccks=833797, wck=0.762, mem=125M314 8.89/3.90 decisions=414, wrong=26, backtracks=16, failedAssignments=15, nogoods=7, foundSolutions=5, bestBound=17456 8.89/3.90 8.89/3.92 num=6, depth=72..83, filters=48119, revisions=(97103,useless=67256), ccks=869027, wck=0.778, mem=125M314 8.89/3.92 decisions=530, wrong=48, backtracks=27, failedAssignments=26, nogoods=8, foundSolutions=5, bestBound=17456 8.89/3.92 8.89/3.98 o 12648 8.89/3.98 num=7, depth=67..2769, filters=59783, revisions=(123456,useless=85945), ccks=995858, wck=0.841, mem=127M930 8.89/3.98 decisions=629, wrong=61, backtracks=32, failedAssignments=36, nogoods=16, foundSolutions=6, bestBound=12648 8.89/3.98 9.07/4.07 o 10056 9.07/4.08 num=8, depth=67..2769, filters=67227, revisions=(144000,useless=101243), ccks=1110415, wck=0.936, mem=130M571 9.07/4.08 decisions=725, wrong=75, backtracks=37, failedAssignments=45, nogoods=22, foundSolutions=7, bestBound=10056 9.07/4.08 9.28/4.16 o 5984 9.28/4.16 num=9, depth=69..2769, filters=72876, revisions=(161347,useless=114853), ccks=1248621, wck=1.02, mem=130M571 9.28/4.16 decisions=811, wrong=82, backtracks=38, failedAssignments=51, nogoods=28, foundSolutions=8, bestBound=5984 9.28/4.16 9.40/4.24 o 4764 9.40/4.25 num=10, depth=43..2769, filters=80284, revisions=(182532,useless=131165), ccks=1381371, wck=1.106, mem=133M235 9.40/4.25 decisions=901, wrong=92, backtracks=42, failedAssignments=57, nogoods=31, foundSolutions=9, bestBound=4764 9.40/4.25 9.50/4.32 o 4596 9.50/4.33 num=11, depth=2771..2769, filters=85802, revisions=(198704,useless=143794), ccks=1512874, wck=1.186, mem=135M851 9.50/4.33 decisions=969, wrong=92, backtracks=42, failedAssignments=57, nogoods=31, foundSolutions=10, bestBound=4596 9.50/4.33 9.60/4.40 num=12, depth=68..74, filters=94147, revisions=(214000,useless=153141), ccks=1625419, wck=1.261, mem=135M851 9.60/4.40 decisions=1077, wrong=111, backtracks=50, failedAssignments=68, nogoods=42, foundSolutions=10, bestBound=4596 9.60/4.40 9.60/4.44 o 3832 9.60/4.44 num=13, depth=66..2769, filters=99600, revisions=(229603,useless=165315), ccks=1742288, wck=1.301, mem=135M851 9.60/4.44 decisions=1149, wrong=113, backtracks=50, failedAssignments=70, nogoods=44, foundSolutions=11, bestBound=3832 9.60/4.44 9.71/4.52 num=14, depth=67..73, filters=108653, revisions=(244786,useless=174562), ccks=1856764, wck=1.379, mem=135M851 9.71/4.52 decisions=1248, wrong=128, backtracks=56, failedAssignments=82, nogoods=53, foundSolutions=11, bestBound=3832 9.71/4.52 9.71/4.56 o 3536 9.71/4.56 num=15, depth=2771..2769, filters=113855, revisions=(259437,useless=185800), ccks=1979838, wck=1.42, mem=138M467 9.71/4.56 decisions=1314, wrong=128, backtracks=56, failedAssignments=82, nogoods=53, foundSolutions=12, bestBound=3536 9.71/4.56 9.81/4.64 num=16, depth=66..72, filters=122773, revisions=(274997,useless=195032), ccks=2089199, wck=1.497, mem=138M467 9.81/4.64 decisions=1416, wrong=144, backtracks=64, failedAssignments=94, nogoods=58, foundSolutions=12, bestBound=3536 9.81/4.64 9.81/4.67 num=17, depth=66..70, filters=130536, revisions=(289161,useless=203637), ccks=2203507, wck=1.533, mem=138M467 9.81/4.67 decisions=1516, wrong=161, backtracks=72, failedAssignments=105, nogoods=62, foundSolutions=12, bestBound=3536 9.81/4.67 9.92/4.71 num=18, depth=66..70, filters=139333, revisions=(304651,useless=212638), ccks=2326710, wck=1.572, mem=138M467 9.92/4.71 decisions=1619, wrong=179, backtracks=78, failedAssignments=117, nogoods=64, foundSolutions=12, bestBound=3536 9.92/4.71 9.92/4.75 o 2536 9.92/4.75 num=19, depth=63..2769, filters=144698, revisions=(319514,useless=223889), ccks=2443658, wck=1.611, mem=141M107 9.92/4.75 decisions=1694, wrong=181, backtracks=78, failedAssignments=119, nogoods=66, foundSolutions=13, bestBound=2536 9.92/4.75 10.03/4.83 num=20, depth=70..75, filters=152456, revisions=(333085,useless=231943), ccks=2544156, wck=1.685, mem=141M107 10.03/4.83 decisions=1809, wrong=204, backtracks=88, failedAssignments=133, nogoods=68, foundSolutions=13, bestBound=2536 10.03/4.83 10.03/4.86 num=21, depth=68..73, filters=159414, revisions=(345770,useless=239835), ccks=2641698, wck=1.721, mem=141M107 10.03/4.86 decisions=1912, wrong=221, backtracks=94, failedAssignments=144, nogoods=70, foundSolutions=13, bestBound=2536 10.03/4.86 10.15/4.90 num=22, depth=58..69, filters=164636, revisions=(356638,useless=247232), ccks=2738607, wck=1.761, mem=141M107 10.15/4.90 decisions=1999, wrong=235, backtracks=105, failedAssignments=156, nogoods=72, foundSolutions=13, bestBound=2536 10.15/4.90 10.15/4.94 num=23, depth=65..69, filters=172076, revisions=(370768,useless=256048), ccks=2841144, wck=1.795, mem=141M107 10.15/4.94 decisions=2100, wrong=253, backtracks=114, failedAssignments=169, nogoods=76, foundSolutions=13, bestBound=2536 10.15/4.94 10.15/4.98 num=24, depth=65..70, filters=182440, revisions=(389499,useless=266990), ccks=2961390, wck=1.836, mem=141M107 10.15/4.98 decisions=2208, wrong=274, backtracks=123, failedAssignments=183, nogoods=78, foundSolutions=13, bestBound=2536 10.15/4.98 10.27/5.03 num=25, depth=63..69, filters=197860, revisions=(416531,useless=281674), ccks=3089031, wck=1.888, mem=141M107 10.27/5.03 decisions=2324, wrong=300, backtracks=136, failedAssignments=199, nogoods=82, foundSolutions=13, bestBound=2536 10.27/5.03 10.27/5.08 num=26, depth=65..72, filters=214579, revisions=(442750,useless=295907), ccks=3222687, wck=1.943, mem=141M107 10.27/5.08 decisions=2452, wrong=331, backtracks=155, failedAssignments=216, nogoods=85, foundSolutions=13, bestBound=2536 10.27/5.08 10.37/5.12 num=27, depth=65..70, filters=225306, revisions=(461495,useless=306391), ccks=3334197, wck=1.982, mem=143M723 10.37/5.12 decisions=2573, wrong=359, backtracks=169, failedAssignments=235, nogoods=86, foundSolutions=13, bestBound=2536 10.37/5.12 10.37/5.16 num=28, depth=55..63, filters=231337, revisions=(473877,useless=314643), ccks=3456332, wck=2.016, mem=143M723 10.37/5.16 decisions=2686, wrong=388, backtracks=190, failedAssignments=256, nogoods=93, foundSolutions=13, bestBound=2536 10.37/5.16 10.46/5.23 num=29, depth=64..70, filters=249981, revisions=(504694,useless=331907), ccks=3612052, wck=2.085, mem=143M723 10.46/5.23 decisions=2814, wrong=419, backtracks=206, failedAssignments=279, nogoods=98, foundSolutions=13, bestBound=2536 10.46/5.23 10.56/5.31 num=30, depth=30..49, filters=275408, revisions=(588765,useless=390966), ccks=3681458, wck=2.168, mem=143M723 10.56/5.31 decisions=2958, wrong=476, backtracks=258, failedAssignments=304, nogoods=99, foundSolutions=13, bestBound=2536 10.56/5.31 10.56/5.36 num=31, depth=66..72, filters=290114, revisions=(612242,useless=403241), ccks=3827837, wck=2.219, mem=143M723 10.56/5.36 decisions=3116, wrong=521, backtracks=279, failedAssignments=332, nogoods=102, foundSolutions=13, bestBound=2536 10.56/5.36 10.67/5.45 num=32, depth=56..74, filters=319645, revisions=(655134,useless=424127), ccks=4025682, wck=2.31, mem=143M723 10.67/5.45 decisions=3294, wrong=578, backtracks=318, failedAssignments=363, nogoods=106, foundSolutions=13, bestBound=2536 10.67/5.45 10.67/5.50 num=33, depth=67..75, filters=334359, revisions=(677117,useless=434997), ccks=4135922, wck=2.355, mem=146M339 10.67/5.50 decisions=3463, wrong=629, backtracks=338, failedAssignments=397, nogoods=113, foundSolutions=13, bestBound=2536 10.67/5.50 10.78/5.54 num=34, depth=68..76, filters=348729, revisions=(698681,useless=445420), ccks=4239882, wck=2.399, mem=146M339 10.78/5.54 decisions=3645, wrong=686, backtracks=358, failedAssignments=434, nogoods=115, foundSolutions=13, bestBound=2536 10.78/5.54 10.78/5.59 num=35, depth=68..75, filters=363491, revisions=(719923,useless=455661), ccks=4341096, wck=2.448, mem=146M339 10.78/5.59 decisions=3832, wrong=744, backtracks=376, failedAssignments=475, nogoods=121, foundSolutions=13, bestBound=2536 10.78/5.59 10.92/5.65 num=36, depth=66..73, filters=385296, revisions=(750306,useless=469438), ccks=4469825, wck=2.512, mem=146M339 10.92/5.65 decisions=4038, wrong=813, backtracks=408, failedAssignments=520, nogoods=126, foundSolutions=13, bestBound=2536 10.92/5.65 11.03/5.70 num=37, depth=67..75, filters=401452, revisions=(775055,useless=481496), ccks=4587429, wck=2.559, mem=146M339 11.03/5.70 decisions=4261, wrong=890, backtracks=440, failedAssignments=570, nogoods=134, foundSolutions=13, bestBound=2536 11.03/5.70 11.03/5.75 o 1428 11.03/5.75 num=38, depth=61..2769, filters=413515, revisions=(797160,useless=495078), ccks=4707087, wck=2.611, mem=149M2 11.03/5.75 decisions=4365, wrong=907, backtracks=451, failedAssignments=580, nogoods=139, foundSolutions=14, bestBound=1428 11.03/5.75 11.13/5.86 num=39, depth=67..78, filters=434755, revisions=(827573,useless=509039), ccks=4827877, wck=2.718, mem=149M2 11.13/5.86 decisions=4605, wrong=992, backtracks=480, failedAssignments=641, nogoods=154, foundSolutions=14, bestBound=1428 11.13/5.86 11.30/5.94 num=40, depth=61..66, filters=445223, revisions=(845387,useless=519103), ccks=4919309, wck=2.802, mem=149M2 11.30/5.94 decisions=4709, wrong=1013, backtracks=496, failedAssignments=652, nogoods=157, foundSolutions=14, bestBound=1428 11.30/5.94 11.30/5.98 num=41, depth=65..71, filters=453655, revisions=(859752,useless=527241), ccks=4996720, wck=2.836, mem=149M2 11.30/5.98 decisions=4813, wrong=1032, backtracks=505, failedAssignments=664, nogoods=159, foundSolutions=14, bestBound=1428 11.30/5.98 11.43/6.04 num=42, depth=57..69, filters=474333, revisions=(887698,useless=540459), ccks=5099965, wck=2.9, mem=149M2 11.43/6.04 decisions=4935, wrong=1062, backtracks=527, failedAssignments=677, nogoods=163, foundSolutions=14, bestBound=1428 11.43/6.04 11.43/6.07 num=43, depth=60..64, filters=482213, revisions=(901784,useless=548486), ccks=5164634, wck=2.932, mem=149M2 11.43/6.07 decisions=5036, wrong=1082, backtracks=537, failedAssignments=691, nogoods=165, foundSolutions=14, bestBound=1428 11.43/6.07 11.54/6.11 num=44, depth=57..62, filters=492644, revisions=(919498,useless=557808), ccks=5235753, wck=2.968, mem=149M2 11.54/6.11 decisions=5138, wrong=1104, backtracks=548, failedAssignments=707, nogoods=168, foundSolutions=14, bestBound=1428 11.54/6.11 11.54/6.14 num=45, depth=52..61, filters=500534, revisions=(934967,useless=567438), ccks=5296939, wck=3.0, mem=151M322 11.54/6.14 decisions=5249, wrong=1133, backtracks=575, failedAssignments=724, nogoods=172, foundSolutions=14, bestBound=1428 11.54/6.14 11.54/6.18 num=46, depth=55..61, filters=513006, revisions=(955958,useless=577901), ccks=5374589, wck=3.042, mem=151M322 11.54/6.18 decisions=5358, wrong=1160, backtracks=592, failedAssignments=743, nogoods=173, foundSolutions=14, bestBound=1428 11.54/6.18 11.63/6.21 num=47, depth=56..61, filters=523282, revisions=(974178,useless=587125), ccks=5434480, wck=3.074, mem=151M322 11.63/6.21 decisions=5471, wrong=1188, backtracks=601, failedAssignments=764, nogoods=181, foundSolutions=14, bestBound=1428 11.63/6.21 11.63/6.25 num=48, depth=54..66, filters=534195, revisions=(992691,useless=596627), ccks=5506366, wck=3.111, mem=151M322 11.63/6.25 decisions=5583, wrong=1217, backtracks=616, failedAssignments=787, nogoods=192, foundSolutions=14, bestBound=1428 11.63/6.25 11.74/6.31 num=49, depth=55..60, filters=551249, revisions=(1018828,useless=608527), ccks=5599611, wck=3.169, mem=151M322 11.74/6.31 decisions=5705, wrong=1250, backtracks=631, failedAssignments=812, nogoods=202, foundSolutions=14, bestBound=1428 11.74/6.31 11.84/6.42 num=50, depth=51..60, filters=588574, revisions=(1068854,useless=630656), ccks=5695904, wck=3.277, mem=151M322 11.84/6.42 decisions=5864, wrong=1303, backtracks=673, failedAssignments=840, nogoods=205, foundSolutions=14, bestBound=1428 11.84/6.42 11.84/6.47 num=51, depth=57..63, filters=608227, revisions=(1098898,useless=643530), ccks=5793659, wck=3.33, mem=151M322 11.84/6.47 decisions=6005, wrong=1345, backtracks=693, failedAssignments=871, nogoods=208, foundSolutions=14, bestBound=1428 11.84/6.47 11.99/6.55 num=52, depth=51..65, filters=620102, revisions=(1120404,useless=656107), ccks=5897640, wck=3.409, mem=63M699 11.99/6.55 decisions=6146, wrong=1390, backtracks=737, failedAssignments=905, nogoods=209, foundSolutions=14, bestBound=1428 11.99/6.55 12.12/6.65 num=53, depth=53..60, filters=652271, revisions=(1168548,useless=675756), ccks=6111966, wck=3.509, mem=63M699 12.12/6.65 decisions=6303, wrong=1441, backtracks=773, failedAssignments=942, nogoods=213, foundSolutions=14, bestBound=1428 12.12/6.65 12.22/6.73 num=54, depth=53..60, filters=677684, revisions=(1208042,useless=692906), ccks=6249585, wck=3.589, mem=63M699 12.22/6.73 decisions=6478, wrong=1502, backtracks=809, failedAssignments=983, nogoods=218, foundSolutions=14, bestBound=1428 12.22/6.73 12.32/6.86 num=55, depth=55..61, filters=715992, revisions=(1263407,useless=715151), ccks=6547300, wck=3.718, mem=64M558 12.32/6.86 decisions=6666, wrong=1568, backtracks=863, failedAssignments=1028, nogoods=224, foundSolutions=14, bestBound=1428 12.32/6.86 12.42/6.96 num=56, depth=54..61, filters=746042, revisions=(1308287,useless=734040), ccks=6745295, wck=3.816, mem=67M173 12.42/6.96 decisions=6859, wrong=1637, backtracks=904, failedAssignments=1078, nogoods=228, foundSolutions=14, bestBound=1428 12.42/6.96 12.53/7.05 num=57, depth=54..60, filters=774670, revisions=(1351644,useless=752350), ccks=6934776, wck=3.91, mem=67M173 12.53/7.05 decisions=7063, wrong=1712, backtracks=952, failedAssignments=1133, nogoods=239, foundSolutions=14, bestBound=1428 12.53/7.05 12.63/7.17 num=58, depth=52..61, filters=811025, revisions=(1404852,useless=774419), ccks=7144972, wck=4.029, mem=67M173 12.63/7.17 decisions=7277, wrong=1792, backtracks=1004, failedAssignments=1194, nogoods=254, foundSolutions=14, bestBound=1428 12.63/7.17 12.83/7.34 num=59, depth=51..59, filters=868475, revisions=(1487499,useless=806241), ccks=7487838, wck=4.198, mem=69M787 12.83/7.34 decisions=7510, wrong=1882, backtracks=1073, failedAssignments=1261, nogoods=263, foundSolutions=14, bestBound=1428 12.83/7.34 12.93/7.48 num=60, depth=49..61, filters=920641, revisions=(1565641,useless=838275), ccks=7735474, wck=4.343, mem=69M787 12.93/7.48 decisions=7754, wrong=1979, backtracks=1143, failedAssignments=1335, nogoods=269, foundSolutions=14, bestBound=1428 12.93/7.48 13.13/7.63 num=61, depth=50..58, filters=968525, revisions=(1637748,useless=867886), ccks=8003618, wck=4.488, mem=69M787 13.13/7.63 decisions=8020, wrong=2086, backtracks=1212, failedAssignments=1416, nogoods=282, foundSolutions=14, bestBound=1428 13.13/7.63 13.23/7.78 num=62, depth=50..57, filters=1019392, revisions=(1714424,useless=898967), ccks=8329046, wck=4.643, mem=72M402 13.23/7.78 decisions=8310, wrong=2205, backtracks=1290, failedAssignments=1505, nogoods=287, foundSolutions=14, bestBound=1428 13.23/7.78 13.33/7.85 num=63, depth=31..54, filters=1032924, revisions=(1759608,useless=930971), ccks=8395781, wck=4.711, mem=72M402 13.33/7.85 decisions=8652, wrong=2357, backtracks=1422, failedAssignments=1603, nogoods=298, foundSolutions=14, bestBound=1428 13.33/7.85 13.56/8.09 num=64, depth=52..60, filters=1109630, revisions=(1865459,useless=969277), ccks=8855308, wck=4.951, mem=75M17 13.56/8.09 decisions=9001, wrong=2505, backtracks=1522, failedAssignments=1711, nogoods=306, foundSolutions=14, bestBound=1428 13.56/8.09 14.05/8.54 num=65, depth=50..62, filters=1231388, revisions=(2017351,useless=1025714), ccks=9486590, wck=5.399, mem=75M17 14.05/8.54 decisions=9402, wrong=2679, backtracks=1676, failedAssignments=1830, nogoods=313, foundSolutions=14, bestBound=1428 14.05/8.54 14.25/8.78 num=66, depth=49..58, filters=1318574, revisions=(2144763,useless=1076027), ccks=9919038, wck=5.637, mem=77M631 14.25/8.78 decisions=9798, wrong=2851, backtracks=1798, failedAssignments=1961, nogoods=327, foundSolutions=14, bestBound=1428 14.25/8.78 14.56/9.10 num=67, depth=48..60, filters=1421367, revisions=(2291336,useless=1132206), ccks=10526979, wck=5.957, mem=80M246 14.56/9.10 decisions=10242, wrong=3047, backtracks=1937, failedAssignments=2105, nogoods=345, foundSolutions=14, bestBound=1428 14.56/9.10 15.05/9.53 num=68, depth=48..64, filters=1556753, revisions=(2455778,useless=1191306), ccks=10949266, wck=6.386, mem=82M860 15.05/9.53 decisions=10716, wrong=3258, backtracks=2079, failedAssignments=2263, nogoods=382, foundSolutions=14, bestBound=1428 15.05/9.53 15.45/9.92 num=69, depth=52..61, filters=1694125, revisions=(2640205,useless=1254370), ccks=11750599, wck=6.777, mem=85M475 15.45/9.92 decisions=11251, wrong=3498, backtracks=2247, failedAssignments=2437, nogoods=390, foundSolutions=14, bestBound=1428 15.45/9.92 15.56/10.10 num=70, depth=49..63, filters=1746041, revisions=(2721371,useless=1293019), ccks=12155139, wck=6.955, mem=85M475 15.56/10.10 decisions=11784, wrong=3739, backtracks=2439, failedAssignments=2628, nogoods=397, foundSolutions=14, bestBound=1428 15.56/10.10 16.07/10.54 num=71, depth=50..59, filters=1905336, revisions=(2945460,useless=1373556), ccks=13076078, wck=7.397, mem=90M704 16.07/10.54 decisions=12417, wrong=4029, backtracks=2640, failedAssignments=2839, nogoods=413, foundSolutions=14, bestBound=1428 16.07/10.54 16.58/11.03 num=72, depth=49..59, filters=2077158, revisions=(3187059,useless=1462081), ccks=14084817, wck=7.895, mem=93M319 16.58/11.03 decisions=13073, wrong=4331, backtracks=2877, failedAssignments=3071, nogoods=429, foundSolutions=14, bestBound=1428 16.58/11.03 16.77/11.21 num=73, depth=32..60, filters=2119030, revisions=(3300647,useless=1535098), ccks=14216744, wck=8.065, mem=93M319 16.77/11.21 decisions=13948, wrong=4746, backtracks=3260, failedAssignments=3326, nogoods=439, foundSolutions=14, bestBound=1428 16.77/11.21 17.28/11.77 num=74, depth=57..66, filters=2341812, revisions=(3584888,useless=1638477), ccks=15153936, wck=8.631, mem=98M549 17.28/11.77 decisions=14916, wrong=5200, backtracks=3568, failedAssignments=3607, nogoods=447, foundSolutions=14, bestBound=1428 17.28/11.77 17.88/12.30 num=75, depth=55..64, filters=2506058, revisions=(3799970,useless=1714322), ccks=16331076, wck=9.158, mem=101M163 17.88/12.30 decisions=15880, wrong=5653, backtracks=3868, failedAssignments=3916, nogoods=457, foundSolutions=14, bestBound=1428 17.88/12.30 18.48/12.96 num=76, depth=51..63, filters=2725432, revisions=(4093544,useless=1815111), ccks=17681881, wck=9.821, mem=106M392 18.48/12.96 decisions=16868, wrong=6120, backtracks=4182, failedAssignments=4256, nogoods=472, foundSolutions=14, bestBound=1428 18.48/12.96 19.28/13.74 num=77, depth=50..60, filters=2981673, revisions=(4436972,useless=1938982), ccks=19226464, wck=10.604, mem=111M622 19.28/13.74 decisions=17952, wrong=6636, backtracks=4551, failedAssignments=4630, nogoods=490, foundSolutions=14, bestBound=1428 19.28/13.74 19.98/14.43 num=78, depth=51..61, filters=3187235, revisions=(4719930,useless=2042140), ccks=20651727, wck=11.286, mem=116M851 19.98/14.43 decisions=19176, wrong=7222, backtracks=4939, failedAssignments=5041, nogoods=505, foundSolutions=14, bestBound=1428 19.98/14.43 20.78/15.26 num=79, depth=49..59, filters=3468520, revisions=(5113537,useless=2186559), ccks=22420831, wck=12.119, mem=122M80 20.78/15.26 decisions=20476, wrong=7847, backtracks=5382, failedAssignments=5493, nogoods=522, foundSolutions=14, bestBound=1428 20.78/15.26 21.99/16.42 num=80, depth=48..59, filters=3823766, revisions=(5604972,useless=2365985), ccks=25016190, wck=13.281, mem=129M924 21.99/16.42 decisions=21885, wrong=8526, backtracks=5950, failedAssignments=5990, nogoods=530, foundSolutions=14, bestBound=1428 21.99/16.42 23.31/17.73 num=81, depth=49..64, filters=4218212, revisions=(6084016,useless=2534306), ccks=27058883, wck=14.593, mem=135M153 23.31/17.73 decisions=23456, wrong=9285, backtracks=6541, failedAssignments=6537, nogoods=541, foundSolutions=14, bestBound=1428 23.31/17.73 24.31/18.71 num=82, depth=50..62, filters=4513886, revisions=(6487423,useless=2682526), ccks=29087258, wck=15.57, mem=142M997 24.31/18.71 decisions=25140, wrong=10101, backtracks=7173, failedAssignments=7139, nogoods=559, foundSolutions=14, bestBound=1428 24.31/18.71 25.81/20.25 num=83, depth=53..63, filters=5001939, revisions=(7119774,useless=2896789), ccks=32718026, wck=17.108, mem=153M455 25.81/20.25 decisions=27083, wrong=11045, backtracks=8043, failedAssignments=7801, nogoods=567, foundSolutions=14, bestBound=1428 25.81/20.25 27.32/21.74 num=84, depth=50..61, filters=5453848, revisions=(7716153,useless=3099121), ccks=36022016, wck=18.599, mem=161M299 27.32/21.74 decisions=29108, wrong=12031, backtracks=8790, failedAssignments=8529, nogoods=577, foundSolutions=14, bestBound=1428 27.32/21.74 29.02/23.41 num=85, depth=48..59, filters=5991888, revisions=(8444269,useless=3355763), ccks=39541771, wck=20.271, mem=174M372 29.02/23.41 decisions=31376, wrong=13140, backtracks=9607, failedAssignments=9330, nogoods=594, foundSolutions=14, bestBound=1428 29.02/23.41 30.92/25.35 num=86, depth=47..59, filters=6608283, revisions=(9279762,useless=3651546), ccks=43546431, wck=22.206, mem=184M831 30.92/25.35 decisions=33789, wrong=14322, backtracks=10562, failedAssignments=10211, nogoods=603, foundSolutions=14, bestBound=1428 30.92/25.35 32.97/27.39 num=87, depth=48..60, filters=7247362, revisions=(10148415,useless=3953178), ccks=47887472, wck=24.25, mem=68M625 32.97/27.39 decisions=36435, wrong=15620, backtracks=11588, failedAssignments=11181, nogoods=619, foundSolutions=14, bestBound=1428 32.97/27.39 35.17/29.51 num=88, depth=47..59, filters=7865317, revisions=(11001446,useless=4262333), ccks=52476238, wck=26.373, mem=79M691 35.17/29.51 decisions=39378, wrong=17066, backtracks=12710, failedAssignments=12248, nogoods=644, foundSolutions=14, bestBound=1428 35.17/29.51 37.47/31.90 num=89, depth=47..60, filters=8545325, revisions=(11935562,useless=4599693), ccks=57542866, wck=28.755, mem=94M445 37.47/31.90 decisions=42608, wrong=18657, backtracks=13959, failedAssignments=13421, nogoods=651, foundSolutions=14, bestBound=1428 37.47/31.90 40.27/34.63 num=90, depth=48..61, filters=9361937, revisions=(13038534,useless=4983480), ccks=63336661, wck=31.49, mem=112M887 40.27/34.63 decisions=46150, wrong=20403, backtracks=15320, failedAssignments=14712, nogoods=663, foundSolutions=14, bestBound=1428 40.27/34.63 43.57/37.91 num=91, depth=47..61, filters=10368463, revisions=(14411485,useless=5470245), ccks=70260236, wck=34.769, mem=135M19 43.57/37.91 decisions=50081, wrong=22344, backtracks=16896, failedAssignments=16132, nogoods=671, foundSolutions=14, bestBound=1428 43.57/37.91 46.57/40.95 num=92, depth=48..61, filters=11245150, revisions=(15587354,useless=5886485), ccks=76573768, wck=37.809, mem=153M461 46.57/40.95 decisions=54312, wrong=24434, backtracks=18466, failedAssignments=17694, nogoods=695, foundSolutions=14, bestBound=1428 46.57/40.95 49.97/44.35 num=93, depth=48..60, filters=12198515, revisions=(16863391,useless=6326103), ccks=84247546, wck=41.213, mem=171M904 49.97/44.35 decisions=59096, wrong=26801, backtracks=20258, failedAssignments=19412, nogoods=705, foundSolutions=14, bestBound=1428 49.97/44.35 53.87/48.26 num=94, depth=46..59, filters=13388568, revisions=(18484918,useless=6901088), ccks=92273638, wck=45.119, mem=197M723 53.87/48.26 decisions=64303, wrong=29380, backtracks=22199, failedAssignments=21302, nogoods=709, foundSolutions=14, bestBound=1428 53.87/48.26 58.28/52.65 num=95, depth=47..61, filters=14714255, revisions=(20260727,useless=7508301), ccks=101442113, wck=49.51, mem=223M543 58.28/52.65 decisions=69913, wrong=32161, backtracks=24336, failedAssignments=23381, nogoods=721, foundSolutions=14, bestBound=1428 58.28/52.65 63.23/57.53 num=96, depth=46..58, filters=16299505, revisions=(22473750,useless=8304886), ccks=111621252, wck=54.392, mem=72M116 63.23/57.53 decisions=76321, wrong=35341, backtracks=26730, failedAssignments=25668, nogoods=748, foundSolutions=14, bestBound=1428 63.23/57.53 65.75/60.01 num=97, depth=43..64, filters=16971149, revisions=(23465308,useless=8774388), ccks=117845066, wck=56.869, mem=86M584 65.75/60.01 decisions=82872, wrong=38593, backtracks=29700, failedAssignments=28184, nogoods=769, foundSolutions=14, bestBound=1428 65.75/60.01 71.55/65.80 num=98, depth=47..60, filters=18758132, revisions=(25875820,useless=9599189), ccks=130975762, wck=62.656, mem=122M754 71.55/65.80 decisions=90456, wrong=42360, backtracks=32711, failedAssignments=30952, nogoods=780, foundSolutions=14, bestBound=1428 71.55/65.80 77.36/71.64 num=99, depth=45..61, filters=20747169, revisions=(28633190,useless=10582779), ccks=142229242, wck=68.501, mem=162M541 77.36/71.64 decisions=98933, wrong=46575, backtracks=35656, failedAssignments=33996, nogoods=789, foundSolutions=14, bestBound=1428 77.36/71.64 83.36/77.64 num=100, depth=47..61, filters=22560670, revisions=(31049565,useless=11421035), ccks=154761106, wck=74.5, mem=202M328 83.36/77.64 decisions=108086, wrong=51126, backtracks=38939, failedAssignments=37345, nogoods=811, foundSolutions=14, bestBound=1428 83.36/77.64 90.40/84.61 num=101, depth=46..62, filters=24930634, revisions=(34293084,useless=12558300), ccks=168373345, wck=81.473, mem=64M923 90.40/84.61 decisions=118214, wrong=56165, backtracks=42446, failedAssignments=41029, nogoods=822, foundSolutions=14, bestBound=1428 90.40/84.61 98.81/93.10 num=102, depth=47..61, filters=27558448, revisions=(37794558,useless=13761646), ccks=186863754, wck=89.958, mem=121M746 98.81/93.10 decisions=129423, wrong=61744, backtracks=46905, failedAssignments=45081, nogoods=831, foundSolutions=14, bestBound=1428 98.81/93.10 107.81/102.02 num=103, depth=48..61, filters=30211748, revisions=(41257919,useless=14912172), ccks=207274413, wck=98.883, mem=175M17 107.81/102.02 decisions=141936, wrong=67975, backtracks=51634, failedAssignments=49538, nogoods=848, foundSolutions=14, bestBound=1428 107.81/102.02 117.60/111.87 num=104, depth=47..61, filters=33342351, revisions=(45343382,useless=16265810), ccks=227911487, wck=108.734, mem=238M943 117.60/111.87 decisions=155400, wrong=74683, backtracks=56611, failedAssignments=54441, nogoods=876, foundSolutions=14, bestBound=1428 117.60/111.87 128.63/122.87 num=105, depth=47..63, filters=36768847, revisions=(49835203,useless=17775730), ccks=251078082, wck=119.732, mem=131M31 128.63/122.87 decisions=170219, wrong=82067, backtracks=62263, failedAssignments=59835, nogoods=894, foundSolutions=14, bestBound=1428 128.63/122.87 141.23/135.42 num=106, depth=45..61, filters=40859157, revisions=(55295453,useless=19645045), ccks=274151129, wck=132.275, mem=214M624 141.23/135.42 decisions=186662, wrong=90265, backtracks=68143, failedAssignments=65768, nogoods=897, foundSolutions=14, bestBound=1428 141.23/135.42 154.55/148.71 num=107, depth=47..62, filters=45096155, revisions=(60899690,useless=21526836), ccks=301750288, wck=145.569, mem=126M255 154.55/148.71 decisions=204898, wrong=99358, backtracks=74842, failedAssignments=72294, nogoods=921, foundSolutions=14, bestBound=1428 154.55/148.71 167.45/161.62 num=108, depth=46..64, filters=49197057, revisions=(66291173,useless=23331198), ccks=327006649, wck=158.483, mem=208M162 167.45/161.62 decisions=225081, wrong=109425, backtracks=81684, failedAssignments=79473, nogoods=933, foundSolutions=14, bestBound=1428 167.45/161.62 175.38/169.53 num=109, depth=26..67, filters=51081417, revisions=(70661973,useless=25939442), ccks=331569852, wck=166.39, mem=91M493 175.38/169.53 decisions=264162, wrong=128937, backtracks=100091, failedAssignments=87370, nogoods=939, foundSolutions=14, bestBound=1428 175.38/169.53 205.11/199.21 num=110, depth=52..69, filters=60270706, revisions=(85328137,useless=33363044), ccks=372060079, wck=196.07, mem=120M424 205.11/199.21 decisions=294882, wrong=144269, backtracks=112411, failedAssignments=96057, nogoods=950, foundSolutions=14, bestBound=1428 205.11/199.21 227.37/221.32 num=111, depth=55..75, filters=68046052, revisions=(96254406,useless=38428314), ccks=401704501, wck=218.177, mem=122M589 227.37/221.32 decisions=329614, wrong=161605, backtracks=124840, failedAssignments=105612, nogoods=962, foundSolutions=14, bestBound=1428 227.37/221.32 247.91/241.86 num=112, depth=45..72, filters=74757444, revisions=(110401754,useless=46526937), ccks=421464091, wck=238.716, mem=156M112 247.91/241.86 decisions=370661, wrong=182104, backtracks=141335, failedAssignments=116123, nogoods=970, foundSolutions=14, bestBound=1428 247.91/241.86 264.83/258.76 num=113, depth=56..71, filters=80547853, revisions=(117769804,useless=49391239), ccks=457195969, wck=255.618, mem=123M316 264.83/258.76 decisions=410725, wrong=202105, backtracks=154731, failedAssignments=127685, nogoods=977, foundSolutions=14, bestBound=1428 264.83/258.76 277.96/271.85 num=114, depth=57..73, filters=85906102, revisions=(124531501,useless=52067387), ccks=475341717, wck=268.712, mem=76M611 277.96/271.85 decisions=451598, wrong=222510, backtracks=165608, failedAssignments=140403, nogoods=995, foundSolutions=14, bestBound=1428 277.96/271.85 301.69/295.55 num=115, depth=53..69, filters=93056963, revisions=(133229416,useless=55077358), ccks=527137846, wck=292.413, mem=70M362 301.69/295.55 decisions=495811, wrong=244589, backtracks=179720, failedAssignments=154393, nogoods=1006, foundSolutions=14, bestBound=1428 301.69/295.55 328.22/322.04 num=116, depth=45..62, filters=101860158, revisions=(144963485,useless=59054132), ccks=578726658, wck=318.902, mem=99M458 328.22/322.04 decisions=539067, wrong=266192, backtracks=193869, failedAssignments=169782, nogoods=1013, foundSolutions=14, bestBound=1428 328.22/322.04 351.54/345.33 num=117, depth=46..62, filters=109603303, revisions=(155485000,useless=62737792), ccks=623803106, wck=342.191, mem=108M429 351.54/345.33 decisions=586875, wrong=290071, backtracks=208874, failedAssignments=186710, nogoods=1037, foundSolutions=14, bestBound=1428 351.54/345.33 376.10/369.85 num=118, depth=19..70, filters=116356954, revisions=(172812457,useless=73743220), ccks=639048673, wck=366.705, mem=144M807 376.10/369.85 decisions=779045, wrong=386140, backtracks=298879, failedAssignments=205331, nogoods=1042, foundSolutions=14, bestBound=1428 376.10/369.85 480.57/474.28 num=119, depth=48..71, filters=147280041, revisions=(239533354,useless=115795398), ccks=749945422, wck=471.141, mem=97M721 480.57/474.28 decisions=843141, wrong=418161, backtracks=327028, failedAssignments=225815, nogoods=1054, foundSolutions=14, bestBound=1428 480.57/474.28 580.04/573.66 num=120, depth=48..71, filters=178009768, revisions=(300732241,useless=152864290), ccks=848856215, wck=570.515, mem=162M599 580.04/573.66 decisions=913980, wrong=453553, backtracks=356779, failedAssignments=248347, nogoods=1072, foundSolutions=14, bestBound=1428 580.04/573.66 681.30/674.88 num=121, depth=48..71, filters=208471403, revisions=(365846267,useless=193492717), ccks=952608583, wck=671.744, mem=86M312 681.30/674.88 decisions=993339, wrong=493204, backtracks=390276, failedAssignments=273132, nogoods=1087, foundSolutions=14, bestBound=1428 681.30/674.88 741.15/734.68 num=122, depth=54..72, filters=231906864, revisions=(397389157,useless=207761236), ccks=1056807439, wck=731.539, mem=92M314 741.15/734.68 decisions=1086192, wrong=539600, backtracks=419697, failedAssignments=300396, nogoods=1103, foundSolutions=14, bestBound=1428 741.15/734.68 820.31/813.76 num=123, depth=45..73, filters=262723344, revisions=(439067125,useless=226892740), ccks=1162087795, wck=810.616, mem=143M623 820.31/813.76 decisions=1200807, wrong=596879, backtracks=467818, failedAssignments=330386, nogoods=1120, foundSolutions=14, bestBound=1428 820.31/813.76 883.27/876.64 num=124, depth=54..72, filters=286097637, revisions=(471851894,useless=241730873), ccks=1279955583, wck=873.501, mem=66M241 883.27/876.64 decisions=1318232, wrong=655561, backtracks=504503, failedAssignments=363375, nogoods=1136, foundSolutions=14, bestBound=1428 883.27/876.64 926.01/919.38 num=125, depth=52..71, filters=306711869, revisions=(501209895,useless=253831188), ccks=1354460600, wck=916.237, mem=86M176 926.01/919.38 decisions=1436145, wrong=714487, backtracks=535444, failedAssignments=399663, nogoods=1157, foundSolutions=14, bestBound=1428 926.01/919.38 963.54/956.87 num=126, depth=52..70, filters=325771270, revisions=(526418215,useless=263205959), ccks=1410863500, wck=953.731, mem=134M165 963.54/956.87 decisions=1559596, wrong=776182, backtracks=567128, failedAssignments=439580, nogoods=1181, foundSolutions=14, bestBound=1428 963.54/956.87 1004.92/998.16 num=127, depth=54..72, filters=345329054, revisions=(551178061,useless=272150589), ccks=1477618287, wck=995.023, mem=59M601 1004.92/998.16 decisions=1693959, wrong=843333, backtracks=602695, failedAssignments=483489, nogoods=1198, foundSolutions=14, bestBound=1428 1004.92/998.16 1064.88/1058.04 num=128, depth=53..72, filters=368432256, revisions=(579625957,useless=282418262), ccks=1604914228, wck=1054.904, mem=74M862 1064.88/1058.04 decisions=1849972, wrong=921310, backtracks=654777, failedAssignments=531789, nogoods=1208, foundSolutions=14, bestBound=1428 1064.88/1058.04 1140.24/1133.38 num=129, depth=50..69, filters=397918026, revisions=(615472014,useless=294346077), ccks=1753552877, wck=1130.244, mem=83M55 1140.24/1133.38 decisions=2006842, wrong=999718, backtracks=710156, failedAssignments=584919, nogoods=1224, foundSolutions=14, bestBound=1428 1140.24/1133.38 1225.81/1218.88 num=130, depth=48..66, filters=429748522, revisions=(654871006,useless=306838668), ccks=1935826805, wck=1215.738, mem=64M222 1225.81/1218.88 decisions=2175766, wrong=1084154, backtracks=764887, failedAssignments=643362, nogoods=1231, foundSolutions=14, bestBound=1428 1225.81/1218.88 1299.68/1292.62 num=131, depth=45..67, filters=453986713, revisions=(686626300,useless=318462042), ccks=2120494856, wck=1289.48, mem=80M698 1299.68/1292.62 decisions=2354657, wrong=1173574, backtracks=835616, failedAssignments=707649, nogoods=1239, foundSolutions=14, bestBound=1428 1299.68/1292.62 1374.55/1367.45 num=132, depth=43..66, filters=477864993, revisions=(719387753,useless=331322395), ccks=2322891909, wck=1364.309, mem=79M665 1374.55/1367.45 decisions=2541702, wrong=1267072, backtracks=916393, failedAssignments=778365, nogoods=1259, foundSolutions=14, bestBound=1428 1374.55/1367.45 1503.87/1496.65 num=133, depth=45..65, filters=521060542, revisions=(773834674,useless=348911550), ccks=2614202491, wck=1493.511, mem=87M103 1503.87/1496.65 decisions=2760955, wrong=1376674, backtracks=993685, failedAssignments=856152, nogoods=1280, foundSolutions=14, bestBound=1428 1503.87/1496.65 1591.15/1583.83 num=134, depth=45..66, filters=549668832, revisions=(811858959,useless=363416599), ccks=2842248557, wck=1580.693, mem=71M166 1591.15/1583.83 decisions=2991414, wrong=1491879, backtracks=1088046, failedAssignments=941718, nogoods=1290, foundSolutions=14, bestBound=1428 1591.15/1583.83 1750.00/1742.55 num=135, depth=44..67, filters=605411241, revisions=(883661373,useless=387263318), ccks=3193163764, wck=1739.409, mem=101M56 1750.00/1742.55 decisions=3257037, wrong=1624665, backtracks=1186215, failedAssignments=1035841, nogoods=1306, foundSolutions=14, bestBound=1428 1750.00/1742.55 1907.23/1899.65 num=136, depth=45..63, filters=654525274, revisions=(946895526,useless=408774893), ccks=3570655165, wck=1896.509, mem=107M490 1907.23/1899.65 decisions=3548702, wrong=1770472, backtracks=1292948, failedAssignments=1139376, nogoods=1330, foundSolutions=14, bestBound=1428 1907.23/1899.65 2144.89/2137.11 num=137, depth=45..65, filters=728845366, revisions=(1040083556,useless=439058983), ccks=4154103141, wck=2133.969, mem=85M54 2144.89/2137.11 decisions=3875855, wrong=1934023, backtracks=1437635, failedAssignments=1253265, nogoods=1338, foundSolutions=14, bestBound=1428 2144.89/2137.11 2355.45/2347.55 num=138, depth=44..64, filters=797954073, revisions=(1127632360,useless=467863257), ccks=4637572653, wck=2344.41, mem=84M1 2355.45/2347.55 decisions=4230945, wrong=2111544, backtracks=1567518, failedAssignments=1378543, nogoods=1362, foundSolutions=14, bestBound=1428 2355.45/2347.55 2520.00/2511.90 2520.00/2511.90 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> 2520.00/2511.90 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: 16374 MiB (8442 MiB free)
memory of node 1: 16384 MiB (14691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391052-1568383018/watcher-4391052-1568383018 -o /tmp/evaluation-result-4391052-1568383018/solver-4391052-1568383018 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17709 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391052-1568383018.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18065, runsolver pid=18062
[startup+0.102411 s]*
/proc/loadavg: 1.95 2.00 1.87 4/228 18080
/proc/meminfo: memFree=23673512/32770624 swapFree=67020048/67108860
[pid=18065] ppid=18062 vsize=10659884 memory=30792 CPUtime=0.14 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 5701 0 0 0 13 1 0 0 20 0 15 0 414574473 10915721216 7698 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2664971 7698 2904 1 0 2627468 0
[pid=18065/tid=18067] ppid=18062 vsize=10659884 memory=-8773748148830243964 CPUtime=0.1 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) R 18062 18065 17678 0 -1 4202560 2987 0 0 0 9 1 0 0 20 0 15 0 414574473 10915721216 7698 33554432000 4194304 4196468 140725076867632 140163256359568 140163252151453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 7698 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 7698 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 7698 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 7698 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574475 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414574475 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162742805664 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414574476 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162741752560 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) R 18062 18065 17678 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162739649264 140163252140674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) R 18062 18065 17678 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162738596720 140163238150319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0.02 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) R 18062 18065 17678 0 -1 4202560 691 0 0 0 2 0 0 0 20 0 15 0 414574478 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162737539576 140163230755391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 7698 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30792 KiB
[startup+0.210878 s]*
/proc/loadavg: 1.95 2.00 1.87 3/228 18080
/proc/meminfo: memFree=23666192/32770624 swapFree=67020048/67108860
[pid=18065] ppid=18062 vsize=10659884 memory=35416 CPUtime=0.33 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 6476 0 0 0 31 2 0 0 20 0 15 0 414574473 10915721216 8854 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2664971 8854 2989 1 0 2627468 0
[pid=18065/tid=18067] ppid=18062 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) R 18062 18065 17678 0 -1 4202560 3452 0 0 0 19 1 0 0 20 0 15 0 414574473 10915721216 8854 33554432000 4194304 4196468 140725076867632 140163256361616 140163252151453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 8854 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10659884 memory=3691178142939723424 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 8854 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 8854 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 8854 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574475 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414574475 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162742805664 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414574476 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162741752560 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18065 17678 0 -1 1077944384 632 0 0 0 2 0 0 0 20 0 15 0 414574478 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162739649264 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18065 17678 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 15 0 414574478 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162738596720 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0.05 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18065 17678 0 -1 1077944384 715 0 0 0 5 0 0 0 20 0 15 0 414574478 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162737543664 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 8854 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35416 KiB
[startup+0.310228 s]*
/proc/loadavg: 1.95 2.00 1.87 4/228 18080
/proc/meminfo: memFree=23659672/32770624 swapFree=67020048/67108860
[pid=18065] ppid=18062 vsize=10659884 memory=40340 CPUtime=0.47 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 8941 0 0 0 44 3 0 0 20 0 15 0 414574473 10915721216 10085 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2664971 10085 3001 1 0 2627468 0
[pid=18065/tid=18067] ppid=18062 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) R 18062 18065 17678 0 -1 4202560 5856 0 0 0 28 2 0 0 20 0 15 0 414574473 10915721216 10085 33554432000 4194304 4196468 140725076867632 140163256342944 140163252151453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 10085 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10659884 memory=3473877261895841440 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 10085 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 10085 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10915721216 10085 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574475 10915721216 10085 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414574475 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162742805664 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414574476 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162741752560 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18065 17678 0 -1 1077944384 666 0 0 0 4 0 0 0 20 0 15 0 414574478 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162739649264 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18065 17678 0 -1 1077944384 335 0 0 0 4 0 0 0 20 0 15 0 414574478 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162738596720 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0.07 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18065 17678 0 -1 1077944384 726 0 0 0 7 0 0 0 20 0 15 0 414574478 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162737543664 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10659884 memory=140461194327680 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574478 10915721216 10151 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40340 KiB
[startup+0.701841 s]
/proc/loadavg: 1.95 2.00 1.87 4/228 18080
/proc/meminfo: memFree=23651260/32770624 swapFree=67020048/67108860
[pid=18065] ppid=18062 vsize=10661932 memory=62584 CPUtime=1.1 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 12315 0 0 0 105 5 0 0 20 0 15 0 414574473 10917818368 15646 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2665483 15646 3062 1 0 2627980 0
[pid=18065/tid=18067] ppid=18062 vsize=10661932 memory=1844 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) R 18062 18065 17678 0 -1 4202560 8414 0 0 0 64 4 0 0 20 0 15 0 414574473 10917818368 15646 33554432000 4194304 4196468 140725076867632 140163256361552 140163232401277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10661932 memory=4964 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10917818368 15646 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10661932 memory=10092 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574474 10917818368 15646 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10661932 memory=1908 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10917818368 15646 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10661932 memory=1360 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10917818368 15646 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10661932 memory=7420 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574475 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10661932 memory=860 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414574475 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162742805664 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414574476 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162741752560 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10661932 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10661932 memory=7014751519599842897 CPUtime=0.1 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) R 18062 18065 17678 0 -1 4202560 817 0 0 0 10 0 0 0 20 0 15 0 414574478 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162739635360 140163235515861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10661932 memory=6081666446975789422 CPUtime=0.12 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18065 17678 0 -1 1077944384 640 0 0 0 12 0 0 0 20 0 15 0 414574478 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162738596720 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10661932 memory=5787213848606435153 CPUtime=0.18 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18065 17678 0 -1 1077944384 1084 0 0 0 18 0 0 0 20 0 15 0 414574478 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162737543664 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414574478 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574478 10917818368 15646 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62584 KiB
[startup+1.50071 s]
/proc/loadavg: 1.95 2.00 1.87 3/228 18080
/proc/meminfo: memFree=23635316/32770624 swapFree=67020048/67108860
[pid=18065] ppid=18062 vsize=10663980 memory=75264 CPUtime=2 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 17588 0 0 0 194 6 0 0 20 0 15 0 414574473 10919915520 18816 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2665995 18816 3098 1 0 2628492 0
[pid=18065/tid=18067] ppid=18062 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) R 18062 18065 17678 0 -1 4202560 12316 0 0 0 143 5 0 0 20 0 15 0 414574473 10919915520 18816 33554432000 4194304 4196468 140725076867632 140163256369808 140163233693065 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10919915520 18816 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414574474 10919915520 18816 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10919915520 18816 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414574474 10919915520 18816 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 414574475 10919915520 18816 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
################
# More data... #
################
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 4102 0 0 0 62 5 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.22 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 6868 0 0 0 18 4 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162742805728 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414574476 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162741752576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10748324 memory=1224 CPUtime=2.5 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18065 17678 0 -1 1077944384 11208 0 0 0 249 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162739649264 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10748324 memory=247704 CPUtime=2.23 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18065 17678 0 -1 1077944384 7686 0 0 0 222 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162738596720 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10748324 memory=1844 CPUtime=1.04 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18065 17678 0 -1 1077944384 9601 0 0 0 103 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162737543664 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10748324 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10748324 memory=21564 CPUtime=0.58 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1746 0 0 0 25 33 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18081] ppid=18062 vsize=10748324 memory=7420 CPUtime=2439.14 cores=0,2,4,6
/proc/18065/task/18081/stat : 18081 (java) R 18062 18065 17678 0 -1 4202560 18299 0 0 0 243908 6 0 0 20 0 16 0 414574662 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162718665952 140162861546231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 2450.36 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 247704 KiB
[startup+2502.3 s]
/proc/loadavg: 1.59 1.63 1.67 3/229 18408
/proc/meminfo: memFree=24288160/32770624 swapFree=67020140/67108860
[pid=18065] ppid=18062 vsize=10748324 memory=247704 CPUtime=2510.39 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 90910 0 0 0 250973 66 0 0 20 0 16 0 414574473 11006283776 61926 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2687081 61926 3382 1 0 2647217 0
[pid=18065/tid=18067] ppid=18062 vsize=10748324 memory=247704 CPUtime=1.87 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) S 18062 18065 17678 0 -1 1077944384 14485 0 0 0 181 6 0 0 20 0 16 0 414574473 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163256372400 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10748324 memory=164 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 6732 0 0 0 64 4 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10748324 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 4185 0 0 0 62 4 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10748324 memory=164 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 4174 0 0 0 63 5 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 4159 0 0 0 63 5 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.23 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 7053 0 0 0 19 4 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162742805728 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414574476 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162741752576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10748324 memory=247704 CPUtime=2.5 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18065 17678 0 -1 1077944384 11210 0 0 0 249 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162739649264 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10748324 memory=9136 CPUtime=2.23 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18065 17678 0 -1 1077944384 7688 0 0 0 222 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162738596720 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10748324 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18065 17678 0 -1 1077944384 9603 0 0 0 103 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162737543664 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10748324 memory=7512119001895235943 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10748324 memory=6791534058613427641 CPUtime=0.58 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1774 0 0 0 25 33 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18081] ppid=18062 vsize=10748324 memory=1908 CPUtime=2499.11 cores=0,2,4,6
/proc/18065/task/18081/stat : 18081 (java) R 18062 18065 17678 0 -1 4202560 18422 0 0 0 249905 6 0 0 20 0 16 0 414574662 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162718666032 140162860793728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 2510.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 247704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.9 s]
/proc/loadavg: 1.66 1.64 1.67 3/229 18409
/proc/meminfo: memFree=24287912/32770624 swapFree=67020140/67108860
[pid=18065] ppid=18062 vsize=10748324 memory=247704 CPUtime=2520 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 90916 0 0 0 251934 66 0 0 20 0 16 0 414574473 11006283776 61926 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2687081 61926 3382 1 0 2647217 0
[pid=18065/tid=18067] ppid=18062 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) S 18062 18065 17678 0 -1 1077944384 14485 0 0 0 181 6 0 0 20 0 16 0 414574473 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163256372400 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10748324 memory=776 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 6732 0 0 0 64 4 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.66 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 4185 0 0 0 62 4 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10748324 memory=68 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 4174 0 0 0 63 5 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10748324 memory=2876 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 4159 0 0 0 63 5 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.24 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 7055 0 0 0 19 5 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10748324 memory=223 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162742805728 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414574476 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162741752576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10748324 memory=920 CPUtime=2.5 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18065 17678 0 -1 1077944384 11210 0 0 0 249 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162739649264 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10748324 memory=247704 CPUtime=2.23 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18065 17678 0 -1 1077944384 7688 0 0 0 222 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162738596720 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10748324 memory=247704 CPUtime=1.04 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18065 17678 0 -1 1077944384 9603 0 0 0 103 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162737543664 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.6 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1776 0 0 0 26 34 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18081] ppid=18062 vsize=10748324 memory=1296 CPUtime=2508.7 cores=0,2,4,6
/proc/18065/task/18081/stat : 18081 (java) R 18062 18065 17678 0 -1 4202560 18424 0 0 0 250864 6 0 0 20 0 16 0 414574662 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162718666032 140162861281204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 247704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.91 s]
# the end of solver process 18065 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.35 s, system=0.667042 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2511.9 s]
/proc/loadavg: 1.66 1.64 1.67 3/229 18409
/proc/meminfo: memFree=24287912/32770624 swapFree=67020140/67108860
[pid=18065] ppid=18062 vsize=10748324 memory=247704 CPUtime=2520 cores=0,2,4,6
/proc/18065/stat : 18065 (java) S 18062 18065 17678 0 -1 1077944320 90916 0 0 0 251934 66 0 0 20 0 16 0 414574473 11006283776 61926 33554432000 4194304 4196468 140725076867632 140725076850176 140163252129527 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
/proc/18065/statm: 2687081 61926 3382 1 0 2647217 0
[pid=18065/tid=18067] ppid=18062 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/18065/task/18067/stat : 18067 (java) S 18062 18065 17678 0 -1 1077944384 14485 0 0 0 181 6 0 0 20 0 16 0 414574473 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163256372400 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18068] ppid=18062 vsize=10748324 memory=776 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18068/stat : 18068 (java) S 18062 18065 17678 0 -1 1077944384 6732 0 0 0 64 4 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163178204176 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18069] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.66 cores=0,2,4,6
/proc/18065/task/18069/stat : 18069 (java) S 18062 18065 17678 0 -1 1077944384 4185 0 0 0 62 4 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163177151632 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18070] ppid=18062 vsize=10748324 memory=68 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18070/stat : 18070 (java) S 18062 18065 17678 0 -1 1077944384 4174 0 0 0 63 5 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163176098576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18071] ppid=18062 vsize=10748324 memory=2876 CPUtime=0.68 cores=0,2,4,6
/proc/18065/task/18071/stat : 18071 (java) S 18062 18065 17678 0 -1 1077944384 4159 0 0 0 63 5 0 0 20 0 16 0 414574474 11006283776 61926 33554432000 4194304 4196468 140725076867632 140163175046032 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18072] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.24 cores=0,2,4,6
/proc/18065/task/18072/stat : 18072 (java) S 18062 18065 17678 0 -1 1077944384 7055 0 0 0 19 5 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162743859440 140163252140674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18073] ppid=18062 vsize=10748324 memory=223 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18073/stat : 18073 (java) S 18062 18065 17678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414574475 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162742805728 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18074] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18074/stat : 18074 (java) S 18062 18065 17678 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 414574476 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162741752576 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18075] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18075/stat : 18075 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162740701136 140163252148123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18076] ppid=18062 vsize=10748324 memory=920 CPUtime=2.5 cores=0,2,4,6
/proc/18065/task/18076/stat : 18076 (java) S 18062 18065 17678 0 -1 1077944384 11210 0 0 0 249 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162739649264 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18077] ppid=18062 vsize=10748324 memory=247704 CPUtime=2.23 cores=0,2,4,6
/proc/18065/task/18077/stat : 18077 (java) S 18062 18065 17678 0 -1 1077944384 7688 0 0 0 222 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162738596720 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18078] ppid=18062 vsize=10748324 memory=247704 CPUtime=1.04 cores=0,2,4,6
/proc/18065/task/18078/stat : 18078 (java) S 18062 18065 17678 0 -1 1077944384 9603 0 0 0 103 1 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162737543664 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18079] ppid=18062 vsize=10748324 memory=247704 CPUtime=0 cores=0,2,4,6
/proc/18065/task/18079/stat : 18079 (java) S 18062 18065 17678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162736491360 140163252139733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18080] ppid=18062 vsize=10748324 memory=247704 CPUtime=0.6 cores=0,2,4,6
/proc/18065/task/18080/stat : 18080 (java) S 18062 18065 17678 0 -1 1077944384 1776 0 0 0 26 34 0 0 20 0 16 0 414574478 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162735438384 140163252140674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
[pid=18065/tid=18081] ppid=18062 vsize=10748324 memory=1296 CPUtime=2508.7 cores=0,2,4,6
/proc/18065/task/18081/stat : 18081 (java) R 18062 18065 17678 0 -1 4202560 18424 0 0 0 250864 6 0 0 20 0 16 0 414574662 11006283776 61926 33554432000 4194304 4196468 140725076867632 140162718666032 140162861281204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140725076870155 140725076870258 140725076870258 140725076873167 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 247704 KiB
Child status: 143
Real time (s): 2511.91
CPU time (s): 2520.02
CPU user time (s): 2519.35
CPU system time (s): 0.667042
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 380240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.35
system time used= 0.667042
maximum resident set size= 380252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61701
involuntary context switches= 2742
# summary of solver processes directly reported to runsolver:
# pid: 18065
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.35
# total CPU system time (s): 0.667042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.086 second user time and 23.6217 second system time
The end
Begin job on node150 at 2019-09-13 15:56:19 IDJOB=4391052 IDBENCH=127018 IDSOLVER=2832 FILE ID=node150/4391052-1568383018 RUNJOBID= node150-1568380475-17709 PBS_JOBID= 21701821 Free space on /tmp= 55020 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-4391052-1568383018/watcher-4391052-1568383018 -o /tmp/evaluation-result-4391052-1568383018/solver-4391052-1568383018 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568380475-17709 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391052-1568383018.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b7c910d9b57f1d6426daaa1c2d4da0c RANDOM SEED=1006868870 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23690084 kB MemAvailable: 30804428 kB Buffers: 175616 kB Cached: 7080348 kB SwapCached: 12828 kB Active: 2224132 kB Inactive: 6106412 kB Active(anon): 1039576 kB Inactive(anon): 59012 kB Active(file): 1184556 kB Inactive(file): 6047400 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 67020048 kB Dirty: 8828 kB Writeback: 0 kB AnonPages: 1171732 kB Mapped: 50200 kB Shmem: 15388 kB Slab: 341152 kB SReclaimable: 310848 kB SUnreclaim: 30304 kB KernelStack: 3696 kB PageTables: 7756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2041588 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1013760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 55012 MiB End job on node150 at 2019-09-13 16:38:11