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) | 2499 | 2400.06 | 2392.12 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-078.xml |
| MD5SUM | b749a4e5de10f3f67b20d160b8ef335e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 659 |
| Best CPU time to get the best result obtained on this benchmark | 2400.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6161 |
| Number of constraints | 3157 |
| Number of domains | 155 |
| Minimum domain size | 2 |
| Maximum domain size | 155 |
| Distribution of domain sizes | [{"size":2,"count":3082},{"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":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}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 77 |
| Distribution of variable degrees | [{"degree":0,"count":2926},{"degree":2,"count":3157},{"degree":77,"count":78}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 78 |
| Distribution of constraint arities | [{"arity":2,"count":78},{"arity":3,"count":3004},{"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":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}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3080 |
| Distribution of constraint types | [{"type":"intension","count":3080},{"type":"sum","count":77}] |
| Optimization problem | YES |
| Type of objective | min SUM |
2.38/1.89 2.38/1.89 AbsCon 2 2.62/1.91 3.59/2.25 Instance 3.59/2.25 name=instance-4391356-1568389922, framework=COP, bounds=-infty..+infty 3.59/2.25 3.59/2.25 Loading variables... 3.96/2.37 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eea613 6.32/3.02 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fb0c071 6.32/3.02 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae737d4 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602df16e 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364d4d28 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681973b2 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d817fff 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb6f127 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ab9122 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e26ea8a 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f84731a 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c21566d 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@233e19ed 6.32/3.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c6ac5b 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d2d9fa4 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e9afd1d 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29e522ea 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5651a620 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cfa14d4 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e04ada5 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a1a6766 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f557cc2 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ebe3a3 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8400ffe 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@126ec6a8 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@832682b 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b2f480b 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2daeb26f 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@371d3666 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e82ad47 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c30a93b 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba97ffa 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@506306e7 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@300e44e6 6.32/3.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491c149c 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e47e9ab 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@152780be 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc492fe 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea9f6f7 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722a85e9 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c39f03 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7996a331 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62178567 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a12f5ee 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72077571 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2323b59d 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69a94112 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2538bf5a 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469203a7 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761e6c5a 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46cfe51e 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336799c9 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@281126c4 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6312189b 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d03aa3b 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b53cc2 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1218cae 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a8fb78d 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b7f4dd5 6.32/3.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ea5094 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5857a333 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@589e70c0 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef0ab1f 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305b720b 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5dbc3c 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e80591d 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a381821 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a82dfb 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a716ff7 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1179a157 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e6d8a5 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62763d13 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfaf60c 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a9eee49 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3636f282 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf5c3b4 6.32/3.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40a1f1b5 6.97/3.23 6.97/3.23 6.97/3.23 Domains 6.97/3.23 nTypes=155, nValues=15325, sizes=[2#3082,3#2,4#1,5#2...149#1,151#1,153#1,155#1] 7.55/3.40 Variables 7.55/3.40 count=3235, degrees=[2#3157,77#78] 7.55/3.40 Objectives 7.55/3.40 way=min, type=SumSimpleLE 7.55/3.40 Constraints 7.55/3.40 count=3158, nSpecific=78, arities=[2#78,3#3004,4#1,5#1...75#1,76#1,77#2,78#1] 7.55/3.40 distribution=[CtrIntension#3080,SumSimpleLE#1,SumWeightedEQ#77] 7.55/3.40 nIntStructures=(78,shared:3002), nCftStructures=(78,shared:3002,unbuilt:78) 7.55/3.40 wck=1.371, cpu=3.165, mem=104M519 7.55/3.40 Solver SolverBacktrack being built... 7.55/3.40 7.55/3.40 7.55/3.40 Solver 7.55/3.40 guaranteedGAC=false 7.55/3.40 wck=1.476, cpu=3.238, mem=73M545 7.55/3.43 7.55/3.43 Preprocessing 7.55/3.43 filters=0, ccks=319404, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 7.55/3.43 wck=0.093, cpu=3.334, mem=73M545 7.55/3.43 8.12/3.62 o 155155 8.12/3.64 num=0, depth=3236..3234, filters=7527, revisions=(12089,useless=7565), ccks=644884, wck=0.3, mem=77M40 8.12/3.64 decisions=78, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=155155 8.12/3.64 8.75/3.84 o 143451 8.75/3.85 num=1, depth=0..3234, filters=14993, revisions=(24293,useless=15269), ccks=730767, wck=0.509, mem=79M637 8.75/3.85 decisions=158, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=143451 8.75/3.85 9.39/4.01 o 132355 9.39/4.01 num=2, depth=77..3234, filters=22621, revisions=(36844,useless=23195), ccks=819897, wck=0.674, mem=82M233 9.39/4.01 decisions=237, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=132355 9.39/4.01 9.57/4.14 o 26835 9.57/4.15 num=3, depth=3236..3234, filters=27903, revisions=(50864,useless=34137), ccks=830734, wck=0.809, mem=82M233 9.57/4.15 decisions=279, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=4, bestBound=26835 9.57/4.15 9.98/4.32 num=4, depth=42..61, filters=49245, revisions=(82185,useless=51379), ccks=914107, wck=0.985, mem=84M830 9.98/4.32 decisions=352, wrong=13, backtracks=0, failedAssignments=13, nogoods=12, foundSolutions=4, bestBound=26835 9.98/4.32 10.10/4.43 num=5, depth=52..78, filters=76219, revisions=(117745,useless=68174), ccks=1064994, wck=1.096, mem=84M830 10.10/4.43 decisions=464, wrong=41, backtracks=26, failedAssignments=24, nogoods=14, foundSolutions=4, bestBound=26835 10.10/4.43 10.10/4.48 o 5939 10.10/4.49 num=6, depth=52..3234, filters=83128, revisions=(137786,useless=83999), ccks=1146187, wck=1.151, mem=87M427 10.10/4.49 decisions=522, wrong=43, backtracks=26, failedAssignments=26, nogoods=16, foundSolutions=5, bestBound=5939 10.10/4.49 10.37/4.62 num=7, depth=54..67, filters=93862, revisions=(160325,useless=99097), ccks=1259180, wck=1.281, mem=87M427 10.37/4.62 decisions=609, wrong=60, backtracks=41, failedAssignments=39, nogoods=18, foundSolutions=5, bestBound=5939 10.37/4.62 10.37/4.69 num=8, depth=58..68, filters=107079, revisions=(183693,useless=113339), ccks=1422172, wck=1.349, mem=87M427 10.37/4.69 decisions=711, wrong=82, backtracks=55, failedAssignments=50, nogoods=19, foundSolutions=5, bestBound=5939 10.37/4.69 10.49/4.74 o 4155 10.49/4.74 num=9, depth=63..3234, filters=113209, revisions=(199557,useless=125400), ccks=1550216, wck=1.404, mem=90M23 10.49/4.74 decisions=780, wrong=84, backtracks=55, failedAssignments=52, nogoods=21, foundSolutions=6, bestBound=4155 10.49/4.74 10.66/4.86 o 3915 10.66/4.87 num=10, depth=3236..3234, filters=119165, revisions=(215113,useless=137321), ccks=1660098, wck=1.529, mem=90M23 10.66/4.87 decisions=848, wrong=84, backtracks=55, failedAssignments=52, nogoods=21, foundSolutions=7, bestBound=3915 10.66/4.87 10.80/4.99 o 2907 10.80/4.99 num=11, depth=68..3234, filters=125825, revisions=(231994,useless=149682), ccks=1780570, wck=1.654, mem=92M620 10.80/4.99 decisions=925, wrong=87, backtracks=55, failedAssignments=55, nogoods=24, foundSolutions=8, bestBound=2907 10.80/4.99 11.02/5.12 o 2499 11.02/5.12 num=12, depth=69..3234, filters=135352, revisions=(250932,useless=162485), ccks=1907730, wck=1.786, mem=95M300 11.02/5.12 decisions=1013, wrong=96, backtracks=56, failedAssignments=63, nogoods=32, foundSolutions=9, bestBound=2499 11.02/5.12 11.15/5.25 num=13, depth=67..75, filters=147750, revisions=(269974,useless=172797), ccks=2027535, wck=1.913, mem=95M300 11.15/5.25 decisions=1138, wrong=121, backtracks=70, failedAssignments=74, nogoods=43, foundSolutions=9, bestBound=2499 11.15/5.25 11.15/5.27 num=14, depth=30..42, filters=149475, revisions=(279802,useless=180951), ccks=2071957, wck=1.932, mem=95M300 11.15/5.27 decisions=1207, wrong=137, backtracks=77, failedAssignments=85, nogoods=49, foundSolutions=9, bestBound=2499 11.15/5.27 11.29/5.32 num=15, depth=75..78, filters=157421, revisions=(293920,useless=189389), ccks=2173658, wck=1.981, mem=95M300 11.29/5.32 decisions=1317, wrong=154, backtracks=82, failedAssignments=97, nogoods=57, foundSolutions=9, bestBound=2499 11.29/5.32 11.29/5.37 num=16, depth=73..80, filters=166700, revisions=(309278,useless=198224), ccks=2272843, wck=2.032, mem=95M300 11.29/5.37 decisions=1426, wrong=169, backtracks=84, failedAssignments=110, nogoods=70, foundSolutions=9, bestBound=2499 11.29/5.37 11.29/5.39 num=17, depth=39..45, filters=169382, revisions=(322098,useless=208410), ccks=2320012, wck=2.055, mem=95M300 11.29/5.39 decisions=1512, wrong=192, backtracks=104, failedAssignments=124, nogoods=73, foundSolutions=9, bestBound=2499 11.29/5.39 11.46/5.44 num=18, depth=73..81, filters=178077, revisions=(337183,useless=217077), ccks=2418137, wck=2.098, mem=95M300 11.46/5.44 decisions=1632, wrong=213, backtracks=109, failedAssignments=140, nogoods=85, foundSolutions=9, bestBound=2499 11.46/5.44 11.46/5.48 num=19, depth=75..79, filters=187350, revisions=(353246,useless=226233), ccks=2519214, wck=2.145, mem=95M300 11.46/5.48 decisions=1755, wrong=237, backtracks=118, failedAssignments=157, nogoods=89, foundSolutions=9, bestBound=2499 11.46/5.48 11.60/5.58 num=20, depth=74..84, filters=198967, revisions=(370859,useless=235454), ccks=2627067, wck=2.239, mem=97M897 11.60/5.58 decisions=1885, wrong=265, backtracks=130, failedAssignments=176, nogoods=90, foundSolutions=9, bestBound=2499 11.60/5.58 11.75/5.63 num=21, depth=74..81, filters=210890, revisions=(389337,useless=244994), ccks=2735299, wck=2.29, mem=97M897 11.75/5.63 decisions=2024, wrong=296, backtracks=141, failedAssignments=197, nogoods=95, foundSolutions=9, bestBound=2499 11.75/5.63 11.75/5.67 num=22, depth=73..82, filters=220724, revisions=(406439,useless=254729), ccks=2848306, wck=2.336, mem=97M897 11.75/5.67 decisions=2166, wrong=329, backtracks=155, failedAssignments=220, nogoods=100, foundSolutions=9, bestBound=2499 11.75/5.67 11.85/5.72 num=23, depth=75..81, filters=230491, revisions=(423113,useless=264169), ccks=2955111, wck=2.383, mem=97M897 11.85/5.72 decisions=2315, wrong=365, backtracks=168, failedAssignments=245, nogoods=105, foundSolutions=9, bestBound=2499 11.85/5.72 11.85/5.79 num=24, depth=66..78, filters=246408, revisions=(447944,useless=277216), ccks=3135215, wck=2.452, mem=97M897 11.85/5.79 decisions=2502, wrong=422, backtracks=212, failedAssignments=273, nogoods=110, foundSolutions=9, bestBound=2499 11.85/5.79 11.95/5.85 num=25, depth=72..81, filters=263200, revisions=(475040,useless=291579), ccks=3280087, wck=2.515, mem=97M897 11.95/5.85 decisions=2676, wrong=472, backtracks=239, failedAssignments=304, nogoods=113, foundSolutions=9, bestBound=2499 11.95/5.85 12.05/5.97 num=26, depth=42..59, filters=292669, revisions=(556918,useless=344654), ccks=3372170, wck=2.632, mem=97M897 12.05/5.97 decisions=2866, wrong=546, backtracks=294, failedAssignments=338, nogoods=114, foundSolutions=9, bestBound=2499 12.05/5.97 12.16/6.08 num=27, depth=69..76, filters=325020, revisions=(606300,useless=369273), ccks=3602631, wck=2.743, mem=100M493 12.16/6.08 decisions=3072, wrong=613, backtracks=333, failedAssignments=375, nogoods=116, foundSolutions=9, bestBound=2499 12.16/6.08 12.27/6.19 num=28, depth=69..79, filters=356416, revisions=(652576,useless=391790), ccks=3831064, wck=2.85, mem=100M493 12.27/6.19 decisions=3281, wrong=683, backtracks=375, failedAssignments=416, nogoods=118, foundSolutions=9, bestBound=2499 12.27/6.19 12.36/6.29 num=29, depth=69..80, filters=388293, revisions=(697059,useless=412698), ccks=4039301, wck=2.956, mem=100M493 12.36/6.29 decisions=3517, wrong=764, backtracks=425, failedAssignments=461, nogoods=121, foundSolutions=9, bestBound=2499 12.36/6.29 12.66/6.51 num=30, depth=46..56, filters=453844, revisions=(857719,useless=509904), ccks=4178880, wck=3.176, mem=103M90 12.66/6.51 decisions=3771, wrong=867, backtracks=504, failedAssignments=511, nogoods=125, foundSolutions=9, bestBound=2499 12.66/6.51 12.76/6.61 num=31, depth=71..78, filters=482334, revisions=(897519,useless=528241), ccks=4369987, wck=3.268, mem=103M90 12.76/6.61 decisions=4027, wrong=959, backtracks=556, failedAssignments=566, nogoods=128, foundSolutions=9, bestBound=2499 12.76/6.61 12.86/6.70 num=32, depth=70..81, filters=512078, revisions=(942591,useless=549598), ccks=4580054, wck=3.363, mem=103M90 12.86/6.70 decisions=4303, wrong=1060, backtracks=609, failedAssignments=627, nogoods=131, foundSolutions=9, bestBound=2499 12.86/6.70 12.97/6.81 num=33, depth=70..78, filters=545078, revisions=(988736,useless=570394), ccks=4786663, wck=3.469, mem=105M686 12.97/6.81 decisions=4585, wrong=1164, backtracks=661, failedAssignments=694, nogoods=141, foundSolutions=9, bestBound=2499 12.97/6.81 12.97/6.89 num=34, depth=72..85, filters=570013, revisions=(1022317,useless=585280), ccks=4936163, wck=3.55, mem=105M686 12.97/6.89 decisions=4881, wrong=1275, backtracks=708, failedAssignments=768, nogoods=147, foundSolutions=9, bestBound=2499 12.97/6.89 13.08/6.97 num=35, depth=71..84, filters=595941, revisions=(1059306,useless=602285), ccks=5098610, wck=3.634, mem=105M686 13.08/6.97 decisions=5219, wrong=1408, backtracks=778, failedAssignments=849, nogoods=150, foundSolutions=9, bestBound=2499 13.08/6.97 13.19/7.06 num=36, depth=71..82, filters=624390, revisions=(1100512,useless=620904), ccks=5247808, wck=3.719, mem=105M686 13.19/7.06 decisions=5575, wrong=1547, backtracks=841, failedAssignments=938, nogoods=168, foundSolutions=9, bestBound=2499 13.19/7.06 13.36/7.17 num=37, depth=71..78, filters=660260, revisions=(1150285,useless=643040), ccks=5441786, wck=3.836, mem=108M283 13.36/7.17 decisions=5948, wrong=1697, backtracks=904, failedAssignments=1036, nogoods=179, foundSolutions=9, bestBound=2499 13.36/7.17 13.75/7.52 num=38, depth=53..71, filters=791034, revisions=(1404596,useless=776767), ccks=5713315, wck=4.183, mem=110M879 13.75/7.52 decisions=6493, wrong=1939, backtracks=1104, failedAssignments=1144, nogoods=185, foundSolutions=9, bestBound=2499 13.75/7.52 13.85/7.65 num=39, depth=26..60, filters=816200, revisions=(1489766,useless=837279), ccks=5851491, wck=4.314, mem=110M879 13.85/7.65 decisions=7051, wrong=2200, backtracks=1303, failedAssignments=1263, nogoods=193, foundSolutions=9, bestBound=2499 13.85/7.65 14.05/7.88 num=40, depth=69..80, filters=891525, revisions=(1585674,useless=875958), ccks=6250811, wck=4.537, mem=113M476 14.05/7.88 decisions=7557, wrong=2416, backtracks=1413, failedAssignments=1394, nogoods=195, foundSolutions=9, bestBound=2499 14.05/7.88 14.15/7.98 num=41, depth=71..79, filters=933145, revisions=(1643818,useless=900371), ccks=6435498, wck=4.644, mem=113M476 14.15/7.98 decisions=8052, wrong=2628, backtracks=1501, failedAssignments=1538, nogoods=202, foundSolutions=9, bestBound=2499 14.15/7.98 14.45/8.22 num=42, depth=67..78, filters=1017787, revisions=(1753289,useless=942212), ccks=6939456, wck=4.886, mem=116M72 14.45/8.22 decisions=8612, wrong=2873, backtracks=1639, failedAssignments=1696, nogoods=207, foundSolutions=9, bestBound=2499 14.45/8.22 15.05/8.88 num=43, depth=63..76, filters=1219584, revisions=(1982460,useless=1025050), ccks=8084100, wck=5.538, mem=118M669 15.05/8.88 decisions=9388, wrong=3227, backtracks=1916, failedAssignments=1870, nogoods=210, foundSolutions=9, bestBound=2499 15.05/8.88 15.45/9.24 num=44, depth=64..73, filters=1338495, revisions=(2132612,useless=1076225), ccks=8853142, wck=5.901, mem=121M265 15.45/9.24 decisions=10028, wrong=3514, backtracks=2086, failedAssignments=2061, nogoods=215, foundSolutions=9, bestBound=2499 15.45/9.24 15.75/9.56 num=45, depth=63..73, filters=1444311, revisions=(2269859,useless=1122241), ccks=9509914, wck=6.225, mem=123M862 15.75/9.56 decisions=10699, wrong=3817, backtracks=2245, failedAssignments=2272, nogoods=225, foundSolutions=9, bestBound=2499 15.75/9.56 16.36/10.11 num=46, depth=57..68, filters=1604518, revisions=(2484422,useless=1195359), ccks=10770478, wck=6.769, mem=126M459 16.36/10.11 decisions=11389, wrong=4133, backtracks=2463, failedAssignments=2504, nogoods=227, foundSolutions=9, bestBound=2499 16.36/10.11 16.88/10.64 num=47, depth=57..69, filters=1754691, revisions=(2679185,useless=1260567), ccks=11821165, wck=7.302, mem=131M652 16.88/10.64 decisions=12131, wrong=4475, backtracks=2676, failedAssignments=2759, nogoods=235, foundSolutions=9, bestBound=2499 16.88/10.64 18.39/12.14 num=48, depth=53..70, filters=2166923, revisions=(3147338,useless=1424934), ccks=13456105, wck=8.802, mem=136M845 18.39/12.14 decisions=13082, wrong=4922, backtracks=3048, failedAssignments=3040, nogoods=243, foundSolutions=9, bestBound=2499 18.39/12.14 18.99/12.79 num=49, depth=58..68, filters=2351377, revisions=(3390202,useless=1506584), ccks=14982782, wck=9.45, mem=142M38 18.99/12.79 decisions=14010, wrong=5356, backtracks=3332, failedAssignments=3349, nogoods=256, foundSolutions=9, bestBound=2499 18.99/12.79 19.81/13.54 num=50, depth=58..68, filters=2563474, revisions=(3669123,useless=1602099), ccks=16747305, wck=10.198, mem=144M634 19.81/13.54 decisions=15010, wrong=5826, backtracks=3660, failedAssignments=3689, nogoods=268, foundSolutions=9, bestBound=2499 19.81/13.54 20.61/14.30 num=51, depth=58..71, filters=2773357, revisions=(3944164,useless=1693763), ccks=18600064, wck=10.966, mem=149M827 20.61/14.30 decisions=16087, wrong=6334, backtracks=4002, failedAssignments=4063, nogoods=280, foundSolutions=9, bestBound=2499 20.61/14.30 21.11/14.89 num=52, depth=57..72, filters=2932989, revisions=(4159504,useless=1774763), ccks=20167172, wck=11.551, mem=152M424 21.11/14.89 decisions=17198, wrong=6859, backtracks=4408, failedAssignments=4474, nogoods=297, foundSolutions=9, bestBound=2499 21.11/14.89 22.21/15.93 num=53, depth=59..69, filters=3253205, revisions=(4566583,useless=1906871), ccks=22502128, wck=12.591, mem=160M214 22.21/15.93 decisions=18518, wrong=7488, backtracks=4846, failedAssignments=4926, nogoods=311, foundSolutions=9, bestBound=2499 22.21/15.93 23.61/17.32 num=54, depth=56..66, filters=3668739, revisions=(5099112,useless=2082855), ccks=25123878, wck=13.984, mem=168M3 23.61/17.32 decisions=19933, wrong=8167, backtracks=5300, failedAssignments=5423, nogoods=323, foundSolutions=9, bestBound=2499 23.61/17.32 25.21/18.94 num=55, depth=54..65, filters=4153577, revisions=(5730110,useless=2294404), ccks=28489864, wck=15.603, mem=178M389 25.21/18.94 decisions=21476, wrong=8911, backtracks=5862, failedAssignments=5970, nogoods=346, foundSolutions=9, bestBound=2499 25.21/18.94 26.83/20.59 num=56, depth=55..66, filters=4577343, revisions=(6282587,useless=2477211), ccks=32275547, wck=17.257, mem=186M179 26.83/20.59 decisions=23151, wrong=9720, backtracks=6482, failedAssignments=6572, nogoods=357, foundSolutions=9, bestBound=2499 26.83/20.59 28.79/22.49 num=57, depth=54..66, filters=5086894, revisions=(6967970,useless=2708284), ccks=37041921, wck=19.151, mem=75M808 28.79/22.49 decisions=24988, wrong=10610, backtracks=7195, failedAssignments=7234, nogoods=363, foundSolutions=9, bestBound=2499 28.79/22.49 30.51/24.15 num=58, depth=53..65, filters=5560591, revisions=(7612119,useless=2933703), ccks=40794896, wck=20.814, mem=84M445 30.51/24.15 decisions=26973, wrong=11575, backtracks=7921, failedAssignments=7962, nogoods=377, foundSolutions=9, bestBound=2499 30.51/24.15 32.41/26.10 num=59, depth=52..65, filters=6109329, revisions=(8353430,useless=3193934), ccks=45166461, wck=22.759, mem=97M401 32.41/26.10 decisions=29129, wrong=12626, backtracks=8717, failedAssignments=8763, nogoods=392, foundSolutions=9, bestBound=2499 32.41/26.10 34.60/28.27 num=60, depth=53..66, filters=6697555, revisions=(9130049,useless=3456420), ccks=50160106, wck=24.929, mem=110M356 34.60/28.27 decisions=31503, wrong=13785, backtracks=9594, failedAssignments=9644, nogoods=401, foundSolutions=9, bestBound=2499 34.60/28.27 37.31/30.94 num=61, depth=52..65, filters=7411150, revisions=(10086114,useless=3784165), ccks=56579006, wck=27.606, mem=123M311 37.31/30.94 decisions=34094, wrong=15053, backtracks=10661, failedAssignments=10614, nogoods=410, foundSolutions=9, bestBound=2499 37.31/30.94 39.71/33.37 num=62, depth=53..66, filters=8094879, revisions=(10985668,useless=4095620), ccks=61397337, wck=30.031, mem=136M267 39.71/33.37 decisions=36933, wrong=16444, backtracks=11674, failedAssignments=11681, nogoods=429, foundSolutions=9, bestBound=2499 39.71/33.37 42.82/36.46 num=63, depth=53..67, filters=8981415, revisions=(12147749,useless=4483753), ccks=68322015, wck=33.12, mem=157M859 42.82/36.46 decisions=40105, wrong=18001, backtracks=12884, failedAssignments=12854, nogoods=448, foundSolutions=9, bestBound=2499 42.82/36.46 46.31/39.93 num=64, depth=53..66, filters=9974790, revisions=(13452279,useless=4909005), ccks=76592488, wck=36.591, mem=175M133 46.31/39.93 decisions=43636, wrong=19738, backtracks=14246, failedAssignments=14145, nogoods=460, foundSolutions=9, bestBound=2499 46.31/39.93 49.64/43.27 num=65, depth=53..66, filters=10918500, revisions=(14688288,useless=5320063), ccks=84157518, wck=39.934, mem=196M725 49.64/43.27 decisions=47503, wrong=21643, backtracks=15642, failedAssignments=15565, nogoods=470, foundSolutions=9, bestBound=2499 49.64/43.27 54.15/47.75 num=66, depth=54..67, filters=12096023, revisions=(16201644,useless=5802608), ccks=95732668, wck=44.407, mem=222M636 54.15/47.75 decisions=51884, wrong=23805, backtracks=17385, failedAssignments=17127, nogoods=488, foundSolutions=9, bestBound=2499 54.15/47.75 59.34/52.96 num=67, depth=53..66, filters=13597931, revisions=(18172461,useless=6457142), ccks=108187518, wck=49.622, mem=252M865 59.34/52.96 decisions=56638, wrong=26154, backtracks=19407, failedAssignments=18845, nogoods=495, foundSolutions=9, bestBound=2499 59.34/52.96 63.85/57.40 num=68, depth=53..66, filters=14815039, revisions=(19779660,useless=7009063), ccks=118727451, wck=54.066, mem=278M776 63.85/57.40 decisions=61778, wrong=28696, backtracks=21358, failedAssignments=20735, nogoods=514, foundSolutions=9, bestBound=2499 63.85/57.40 69.30/62.80 num=69, depth=55..68, filters=16281698, revisions=(21649769,useless=7605642), ccks=132228683, wck=59.462, mem=89M480 69.30/62.80 decisions=67565, wrong=31560, backtracks=23664, failedAssignments=22814, nogoods=518, foundSolutions=9, bestBound=2499 69.30/62.80 76.00/69.57 num=70, depth=53..68, filters=18034146, revisions=(23929906,useless=8358530), ccks=149526468, wck=66.235, mem=129M921 76.00/69.57 decisions=73740, wrong=34620, backtracks=26389, failedAssignments=25101, nogoods=535, foundSolutions=9, bestBound=2499 76.00/69.57 81.40/74.91 num=71, depth=52..65, filters=19302550, revisions=(25656950,useless=8970546), ccks=164230499, wck=71.575, mem=156M881 81.40/74.91 decisions=80609, wrong=38027, backtracks=28982, failedAssignments=27617, nogoods=551, foundSolutions=9, bestBound=2499 81.40/74.91 90.51/84.02 num=72, depth=52..66, filters=21712685, revisions=(28754843,useless=9944149), ccks=188764423, wck=80.686, mem=210M802 90.51/84.02 decisions=88189, wrong=41789, backtracks=32499, failedAssignments=30385, nogoods=559, foundSolutions=9, bestBound=2499 90.51/84.02 99.72/93.21 num=73, depth=51..66, filters=24243295, revisions=(32121102,useless=11075202), ccks=211292844, wck=89.876, mem=264M723 99.72/93.21 decisions=96333, wrong=45833, backtracks=36119, failedAssignments=33429, nogoods=577, foundSolutions=9, bestBound=2499 99.72/93.21 109.38/102.85 num=74, depth=51..65, filters=26756027, revisions=(35387460,useless=12160950), ccks=235048070, wck=99.51, mem=92M131 109.38/102.85 decisions=105223, wrong=50250, backtracks=40027, failedAssignments=36778, nogoods=585, foundSolutions=9, bestBound=2499 109.38/102.85 118.28/111.73 num=75, depth=51..66, filters=29263351, revisions=(38722245,useless=13284934), ccks=256837507, wck=108.389, mem=146M956 118.28/111.73 decisions=115112, wrong=55167, backtracks=43910, failedAssignments=40462, nogoods=597, foundSolutions=9, bestBound=2499 118.28/111.73 129.49/122.98 num=76, depth=52..65, filters=32335183, revisions=(42698686,useless=14558464), ccks=285793664, wck=119.641, mem=208M634 129.49/122.98 decisions=126365, wrong=60766, backtracks=48443, failedAssignments=44514, nogoods=606, foundSolutions=9, bestBound=2499 129.49/122.98 143.89/137.33 num=77, depth=53..68, filters=36243537, revisions=(47648560,useless=16083149), ccks=322901214, wck=133.987, mem=297M725 143.89/137.33 decisions=138704, wrong=66908, backtracks=53978, failedAssignments=48971, nogoods=619, foundSolutions=9, bestBound=2499 143.89/137.33 158.89/152.38 num=78, depth=51..67, filters=40219466, revisions=(52793184,useless=17754382), ccks=361487647, wck=149.04, mem=379M962 158.89/152.38 decisions=151895, wrong=73476, backtracks=59901, failedAssignments=53874, nogoods=632, foundSolutions=9, bestBound=2499 158.89/152.38 172.54/165.97 num=79, depth=51..65, filters=44283150, revisions=(58165947,useless=19534223), ccks=393543110, wck=162.63, mem=118M275 172.54/165.97 decisions=166629, wrong=80816, backtracks=65599, failedAssignments=59268, nogoods=654, foundSolutions=9, bestBound=2499 172.54/165.97 187.84/181.23 num=80, depth=51..68, filters=48551716, revisions=(63786813,useless=21480652), ccks=429627477, wck=177.888, mem=211M615 187.84/181.23 decisions=182999, wrong=88973, backtracks=72108, failedAssignments=65201, nogoods=667, foundSolutions=9, bestBound=2499 187.84/181.23 206.55/199.94 num=81, depth=52..70, filters=53648281, revisions=(70230354,useless=23504579), ccks=477444971, wck=196.606, mem=318M290 206.55/199.94 decisions=200894, wrong=97892, backtracks=79751, failedAssignments=71727, nogoods=684, foundSolutions=9, bestBound=2499 206.55/199.94 224.71/218.01 num=82, depth=52..67, filters=58797023, revisions=(76886261,useless=25636996), ccks=523050886, wck=214.672, mem=91M74 224.71/218.01 decisions=220569, wrong=107702, backtracks=87549, failedAssignments=78906, nogoods=698, foundSolutions=9, bestBound=2499 224.71/218.01 249.61/242.91 num=83, depth=50..66, filters=66067528, revisions=(86554731,useless=28852156), ccks=587281814, wck=239.568, mem=246M507 249.61/242.91 decisions=243451, wrong=119115, backtracks=97571, failedAssignments=86803, nogoods=705, foundSolutions=9, bestBound=2499 249.61/242.91 274.31/267.61 num=84, depth=52..69, filters=72802354, revisions=(95156355,useless=31617511), ccks=649966950, wck=264.268, mem=388M986 274.31/267.61 decisions=267239, wrong=130982, backtracks=107890, failedAssignments=95490, nogoods=723, foundSolutions=9, bestBound=2499 274.31/267.61 299.34/292.65 num=85, depth=52..66, filters=79801010, revisions=(104097500,useless=34420794), ccks=712122970, wck=289.312, mem=216M415 299.34/292.65 decisions=293326, wrong=143998, backtracks=118283, failedAssignments=105045, nogoods=729, foundSolutions=9, bestBound=2499 299.34/292.65 328.76/322.06 num=86, depth=50..67, filters=88074306, revisions=(114657396,useless=37859889), ccks=780622806, wck=318.718, mem=386M323 328.76/322.06 decisions=322636, wrong=158625, backtracks=129759, failedAssignments=115556, nogoods=737, foundSolutions=9, bestBound=2499 328.76/322.06 361.38/354.66 num=87, depth=50..67, filters=97080547, revisions=(126485140,useless=41834843), ccks=861366443, wck=351.325, mem=261M302 361.38/354.66 decisions=354802, wrong=174682, backtracks=143247, failedAssignments=127118, nogoods=749, foundSolutions=9, bestBound=2499 361.38/354.66 394.62/387.85 num=88, depth=52..69, filters=106225531, revisions=(138036530,useless=45460621), ccks=943933226, wck=384.513, mem=143M73 394.62/387.85 decisions=389395, wrong=191950, backtracks=157209, failedAssignments=139836, nogoods=765, foundSolutions=9, bestBound=2499 394.62/387.85 429.72/422.93 num=89, depth=52..67, filters=115487340, revisions=(149648883,useless=49127238), ccks=1030812581, wck=419.593, mem=339M498 429.72/422.93 decisions=427691, wrong=211070, backtracks=172033, failedAssignments=153826, nogoods=787, foundSolutions=9, bestBound=2499 429.72/422.93 464.26/457.49 num=90, depth=52..67, filters=124705894, revisions=(161310591,useless=52936022), ccks=1117213612, wck=454.152, mem=233M649 464.26/457.49 decisions=470335, wrong=232364, backtracks=188309, failedAssignments=169215, nogoods=799, foundSolutions=9, bestBound=2499 464.26/457.49 518.30/511.45 num=91, depth=21..65, filters=138479453, revisions=(195919547,useless=74826866), ccks=1138229686, wck=508.109, mem=240M560 518.30/511.45 decisions=530378, wrong=262373, backtracks=215636, failedAssignments=186143, nogoods=807, foundSolutions=9, bestBound=2499 518.30/511.45 571.24/564.30 num=92, depth=53..69, filters=152883059, revisions=(213713654,useless=80466196), ccks=1272807401, wck=560.965, mem=258M138 571.24/564.30 decisions=584682, wrong=289496, backtracks=239179, failedAssignments=204764, nogoods=817, foundSolutions=9, bestBound=2499 571.24/564.30 630.78/623.89 num=93, depth=51..68, filters=167329574, revisions=(231637360,useless=86310296), ccks=1432132769, wck=620.554, mem=301M220 630.78/623.89 decisions=641746, wrong=318000, backtracks=265811, failedAssignments=225248, nogoods=829, foundSolutions=9, bestBound=2499 630.78/623.89 702.44/695.45 num=94, depth=52..68, filters=186026293, revisions=(254757653,useless=93430345), ccks=1618800719, wck=692.113, mem=168M233 702.44/695.45 decisions=705082, wrong=349640, backtracks=295745, failedAssignments=247780, nogoods=837, foundSolutions=9, bestBound=2499 702.44/695.45 769.20/762.18 num=95, depth=52..67, filters=204137059, revisions=(277212481,useless=100358141), ccks=1801088603, wck=758.845, mem=302M145 769.20/762.18 decisions=774152, wrong=384148, backtracks=325934, failedAssignments=272565, nogoods=855, foundSolutions=9, bestBound=2499 769.20/762.18 847.83/840.75 num=96, depth=51..68, filters=226145148, revisions=(304795001,useless=109029192), ccks=2019269265, wck=837.412, mem=286M188 847.83/840.75 decisions=849360, wrong=421724, backtracks=361667, failedAssignments=299829, nogoods=868, foundSolutions=9, bestBound=2499 847.83/840.75 929.96/922.88 num=97, depth=51..67, filters=250245669, revisions=(334901062,useless=118530554), ccks=2234993540, wck=919.541, mem=100M676 929.96/922.88 decisions=933249, wrong=463642, backtracks=399229, failedAssignments=329819, nogoods=891, foundSolutions=9, bestBound=2499 929.96/922.88 1017.20/1010.06 num=98, depth=51..68, filters=274974621, revisions=(365481405,useless=127875429), ccks=2466887087, wck=1006.725, mem=190M962 1017.20/1010.06 decisions=1025939, wrong=509959, backtracks=437497, failedAssignments=362808, nogoods=902, foundSolutions=9, bestBound=2499 1017.20/1010.06 1099.73/1092.57 num=99, depth=53..69, filters=298916225, revisions=(394634002,useless=136976787), ccks=2684569771, wck=1089.228, mem=74M147 1099.73/1092.57 decisions=1128579, wrong=561250, backtracks=479234, failedAssignments=399096, nogoods=920, foundSolutions=9, bestBound=2499 1099.73/1092.57 1191.06/1183.80 num=100, depth=53..69, filters=324355483, revisions=(425824354,useless=146516141), ccks=2932554670, wck=1180.463, mem=237M848 1191.06/1183.80 decisions=1244727, wrong=619295, backtracks=525165, failedAssignments=439013, nogoods=943, foundSolutions=9, bestBound=2499 1191.06/1183.80 1315.72/1308.40 num=101, depth=53..71, filters=362651488, revisions=(472364496,useless=161268212), ccks=3255573623, wck=1305.064, mem=123M899 1315.72/1308.40 decisions=1376422, wrong=685114, backtracks=588988, failedAssignments=482922, nogoods=957, foundSolutions=9, bestBound=2499 1315.72/1308.40 1442.99/1435.67 num=102, depth=51..70, filters=398617795, revisions=(516615585,useless=174942804), ccks=3601466677, wck=1432.331, mem=76M489 1442.99/1435.67 decisions=1510506, wrong=752128, backtracks=648562, failedAssignments=531222, nogoods=971, foundSolutions=9, bestBound=2499 1442.99/1435.67 1590.75/1583.31 num=103, depth=52..69, filters=440612312, revisions=(567186155,useless=190762617), ccks=3996774311, wck=1579.977, mem=84M122 1590.75/1583.31 decisions=1666848, wrong=830269, backtracks=722010, failedAssignments=584352, nogoods=978, foundSolutions=9, bestBound=2499 1590.75/1583.31 1740.72/1733.22 num=104, depth=51..69, filters=481667709, revisions=(617489500,useless=206160153), ccks=4405505885, wck=1729.884, mem=174M54 1740.72/1733.22 decisions=1828886, wrong=911260, backtracks=792515, failedAssignments=642795, nogoods=992, foundSolutions=9, bestBound=2499 1740.72/1733.22 1902.91/1895.34 num=105, depth=51..69, filters=528200159, revisions=(674904991,useless=224165368), ccks=4841046953, wck=1892.004, mem=100M825 1902.91/1895.34 decisions=2010277, wrong=1001928, backtracks=870858, failedAssignments=707082, nogoods=1003, foundSolutions=9, bestBound=2499 1902.91/1895.34 2080.73/2073.07 num=106, depth=50..68, filters=580847600, revisions=(740465353,useless=244328601), ccks=5306851448, wck=2069.73, mem=89M362 2080.73/2073.07 decisions=2210258, wrong=1101891, backtracks=950621, failedAssignments=777798, nogoods=1019, foundSolutions=9, bestBound=2499 2080.73/2073.07 2283.15/2275.37 num=107, depth=51..70, filters=637179013, revisions=(809211075,useless=265197974), ccks=5857580304, wck=2272.036, mem=146M20 2283.15/2275.37 decisions=2427593, wrong=1210531, backtracks=1045085, failedAssignments=855585, nogoods=1035, foundSolutions=9, bestBound=2499 2283.15/2275.37 2400.04/2392.11 2400.04/2392.11 v <instantiation id='sol9' type='solution' cost='2499'> <list> x[] y[][] c[] s[] </list> <values> -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 * -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 * * -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 * * * -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 * * * * 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 * * * * * -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 * * * * * * 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 * * * * * * * -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 * * * * * * * * 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 * * * * * * * * * * * * 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 * * * * * * * * * * * * * -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 -6 7 22 -5 8 -1 -6 3 16 -1 4 11 2 -3 14 1 -2 1 10 -3 8 5 4 -5 8 -3 0 5 4 -5 8 7 4 -1 8 -5 -4 -3 -10 -5 -6 -5 -2 3 -6 -5 2 1 -6 -7 -2 -1 -2 -3 -2 1 4 1 -4 -3 0 1 -8 -1 -2 3 -2 -1 -4 -1 -2 -1 -4 -1 0 1 25 36 49 484 25 64 1 36 9 256 1 16 121 4 9 196 1 4 1 100 9 64 25 16 25 64 9 0 25 16 25 64 49 16 1 64 25 16 9 100 25 36 25 4 9 36 25 4 1 36 49 4 1 4 9 4 1 16 1 16 9 0 1 64 1 4 9 4 1 16 1 4 1 16 1 0 1 </values> </instantiation> 2400.04/2392.11 s SATISFIABLE
OK 2499
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 (14418 MiB free)
memory of node 1: 16384 MiB (15210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391356-1568389922/watcher-4391356-1568389922 -o /tmp/evaluation-result-4391356-1568389922/solver-4391356-1568389922 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568389880-15697 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391356-1568389922.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15727, runsolver pid=15723
Current StackSize limit: 8192 KiB
[startup+0.100223 s]*
/proc/loadavg: 0.86 0.93 1.08 7/232 15755
/proc/meminfo: memFree=30310464/32770624 swapFree=66916512/67108860
[pid=15727] ppid=15723 vsize=10659884 memory=29236 CPUtime=0.14 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 5839 0 0 0 13 1 0 0 20 0 15 0 415242716 10915721216 7309 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2664971 7309 2909 1 0 2627468 0
[pid=15727/tid=15729] ppid=15723 vsize=10659884 memory=-8125511277465342593 CPUtime=0.1 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) R 15723 15727 15665 0 -1 4202560 3230 0 0 0 9 1 0 0 20 0 15 0 415242717 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940853364912 139940849156698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242717 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940340164000 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940339111408 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) R 15723 15727 15665 0 -1 4202560 491 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940337006576 139940833402066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) R 15723 15727 15665 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0.02 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) R 15723 15727 15665 0 -1 4202560 585 0 0 0 2 0 0 0 20 0 15 0 415242722 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940334897992 139940828076942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 7309 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29236 KiB
[startup+0.211305 s]*
/proc/loadavg: 0.86 0.93 1.08 4/232 15755
/proc/meminfo: memFree=30287744/32770624 swapFree=66916512/67108860
[pid=15727] ppid=15723 vsize=10659884 memory=36940 CPUtime=0.32 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 8990 0 0 0 30 2 0 0 20 0 15 0 415242716 10915721216 9235 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2664971 9235 2984 1 0 2627468 0
[pid=15727/tid=15729] ppid=15723 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) R 15723 15727 15665 0 -1 4202560 6081 0 0 0 18 1 0 0 20 0 15 0 415242717 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940853367440 139940453290031 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242717 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10659884 memory=3473315697338566304 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940340164000 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940339111408 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) S 15723 15727 15665 0 -1 1077944384 679 0 0 0 3 0 0 0 20 0 15 0 415242722 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940337006576 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) S 15723 15727 15665 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 415242722 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0.05 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) S 15723 15727 15665 0 -1 1077944384 614 0 0 0 5 0 0 0 20 0 15 0 415242722 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940334901488 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 9235 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36940 KiB
[startup+0.313555 s]*
/proc/loadavg: 0.86 0.93 1.08 6/232 15755
/proc/meminfo: memFree=30283256/32770624 swapFree=66916512/67108860
[pid=15727] ppid=15723 vsize=10659884 memory=39736 CPUtime=0.46 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 9188 0 0 0 44 2 0 0 20 0 15 0 415242716 10915721216 9934 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2664971 9934 3010 1 0 2627468 0
[pid=15727/tid=15729] ppid=15723 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) R 15723 15727 15665 0 -1 4202560 6209 0 0 0 28 2 0 0 20 0 15 0 415242717 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940853367152 139940849147286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10659884 memory=4294980864 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242717 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10659884 memory=3689207004475639456 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242718 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940340164000 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415242719 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940339111408 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) S 15723 15727 15665 0 -1 1077944384 720 0 0 0 4 0 0 0 20 0 15 0 415242722 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940337006576 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) S 15723 15727 15665 0 -1 1077944384 264 0 0 0 3 0 0 0 20 0 15 0 415242722 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0.07 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) R 15723 15727 15665 0 -1 4202560 637 0 0 0 7 0 0 0 20 0 15 0 415242722 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940334901488 139940849156698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10659884 memory=139656157152896 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242722 10915721216 9934 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39736 KiB
[startup+0.709363 s]
/proc/loadavg: 0.86 0.93 1.08 4/232 15755
/proc/meminfo: memFree=30264012/32770624 swapFree=66916512/67108860
[pid=15727] ppid=15723 vsize=10661932 memory=63504 CPUtime=1.1 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 12887 0 0 0 105 5 0 0 20 0 15 0 415242716 10917818368 15876 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2665483 15876 3063 1 0 2627980 0
[pid=15727/tid=15729] ppid=15723 vsize=10661932 memory=207254519304409 CPUtime=0.68 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) R 15723 15727 15665 0 -1 4202560 8779 0 0 0 65 3 0 0 20 0 15 0 415242717 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940853358288 139940829407088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10661932 memory=3091125 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242717 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242718 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242719 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10661932 memory=-3535359994705172060 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415242719 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940340164000 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10661932 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415242719 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940339111408 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10661932 memory=6944652177228980320 CPUtime=0.12 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) R 15723 15727 15665 0 -1 4202560 935 0 0 0 12 0 0 0 20 0 15 0 415242722 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940336992672 139940828382084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10661932 memory=6944656592387989600 CPUtime=0.09 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) S 15723 15727 15665 0 -1 1077944384 685 0 0 0 9 0 0 0 20 0 15 0 415242722 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) S 15723 15727 15665 0 -1 1077944384 1128 0 0 0 18 0 0 0 20 0 15 0 415242722 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940334901488 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415242722 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10661932 memory=20156 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242722 10917818368 15876 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63504 KiB
[startup+1.50074 s]
/proc/loadavg: 0.86 0.93 1.08 4/232 15755
/proc/meminfo: memFree=30233096/32770624 swapFree=66916512/67108860
[pid=15727] ppid=15723 vsize=10663980 memory=75680 CPUtime=1.99 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 18444 0 0 0 193 6 0 0 20 0 15 0 415242716 10919915520 18920 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2665995 18920 3092 1 0 2628492 0
[pid=15727/tid=15729] ppid=15723 vsize=10663980 memory=13796 CPUtime=1.47 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) R 15723 15727 15665 0 -1 4202560 12908 0 0 0 143 4 0 0 20 0 15 0 415242717 10919915520 18920 33554432000 4194304 4196468 140720708586704 139940853361232 139940833215838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242717 10919915520 18920 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10919915520 18920 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415242718 10919915520 18920 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415242718 10919915520 18920 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 415242719 10919915520 18920 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
################
# More data... #
################
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 5009 0 0 0 31 6 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.12 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 8267 0 0 0 9 3 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940340164064 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940339111424 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.63 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) S 15723 15727 15665 0 -1 1077944384 10699 0 0 0 262 1 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940337006576 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.61 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) S 15723 15727 15665 0 -1 1077944384 13359 0 0 0 259 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10748324 memory=295924 CPUtime=1.07 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) S 15723 15727 15665 0 -1 1077944384 13601 0 0 0 105 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940334901488 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10748324 memory=3628 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.48 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 2323 0 0 0 20 28 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15757] ppid=15723 vsize=10748324 memory=776 CPUtime=2319.79 cores=1,3,5,7
/proc/15727/task/15757/stat : 15757 (java) R 15723 15727 15665 0 -1 4202560 28016 0 0 0 231969 10 0 0 20 0 16 0 415242906 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940315729440 139940457740303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 2330.19 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295924 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/234 16884
/proc/meminfo: memFree=27579124/32770624 swapFree=66916516/67108860
[pid=15727] ppid=15723 vsize=10748324 memory=295924 CPUtime=2390.23 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 116752 0 0 0 238945 78 0 0 20 0 16 0 415242716 11006283776 73981 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2687081 73981 3378 1 0 2647217 0
[pid=15727/tid=15729] ppid=15723 vsize=10748324 memory=12036 CPUtime=1.86 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) S 15723 15727 15665 0 -1 1077944384 15198 0 0 0 181 5 0 0 20 0 16 0 415242717 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940853378224 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.39 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 5279 0 0 0 33 6 0 0 20 0 16 0 415242717 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.39 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 7876 0 0 0 32 7 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.39 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 5228 0 0 0 33 6 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.38 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 5064 0 0 0 32 6 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10748324 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 8460 0 0 0 9 3 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940340164064 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10748324 memory=8300 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940339111424 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.63 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) S 15723 15727 15665 0 -1 1077944384 10701 0 0 0 262 1 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940337006576 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.61 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) S 15723 15727 15665 0 -1 1077944384 13362 0 0 0 259 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10748324 memory=295924 CPUtime=1.07 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) S 15723 15727 15665 0 -1 1077944384 13603 0 0 0 105 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940334901488 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10748324 memory=3628 CPUtime=0.49 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 2353 0 0 0 21 28 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15757] ppid=15723 vsize=10748324 memory=38720 CPUtime=2379.78 cores=1,3,5,7
/proc/15727/task/15757/stat : 15757 (java) R 15723 15727 15665 0 -1 4202560 28223 0 0 0 237968 10 0 0 20 0 16 0 415242906 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940315729584 139940462286219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 2390.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.11 s]
/proc/loadavg: 2.04 2.01 1.93 3/233 16884
/proc/meminfo: memFree=27579196/32770624 swapFree=66916516/67108860
[pid=15727] ppid=15723 vsize=10748324 memory=295924 CPUtime=2400.04 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 116908 0 0 0 239926 78 0 0 20 0 16 0 415242716 11006283776 73981 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2687081 73981 3378 1 0 2647217 0
[pid=15727/tid=15729] ppid=15723 vsize=10748324 memory=295924 CPUtime=1.86 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) S 15723 15727 15665 0 -1 1077944384 15198 0 0 0 181 5 0 0 20 0 16 0 415242717 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940853378224 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.39 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 5280 0 0 0 33 6 0 0 20 0 16 0 415242717 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.39 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 7876 0 0 0 32 7 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.4 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 5228 0 0 0 34 6 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.38 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 5064 0 0 0 32 6 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.12 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 8462 0 0 0 9 3 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10748324 memory=12036 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940340164064 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940339111424 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.63 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) S 15723 15727 15665 0 -1 1077944384 10703 0 0 0 262 1 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940337006576 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.61 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) S 15723 15727 15665 0 -1 1077944384 13365 0 0 0 259 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10748324 memory=295924 CPUtime=1.07 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) S 15723 15727 15665 0 -1 1077944384 13605 0 0 0 105 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940334901488 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10748324 memory=944 CPUtime=0.49 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 2379 0 0 0 21 28 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15757] ppid=15723 vsize=10748324 memory=1552 CPUtime=2389.58 cores=1,3,5,7
/proc/15727/task/15757/stat : 15757 (java) R 15723 15727 15665 0 -1 4202560 28343 0 0 0 238948 10 0 0 20 0 16 0 415242906 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940315729584 139940463718831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.12 s]
# the end of solver process 15727 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.28 s, system=0.786047 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2392.11 s]
/proc/loadavg: 2.04 2.01 1.93 3/233 16884
/proc/meminfo: memFree=27579196/32770624 swapFree=66916516/67108860
[pid=15727] ppid=15723 vsize=10748324 memory=295924 CPUtime=2400.04 cores=1,3,5,7
/proc/15727/stat : 15727 (java) S 15723 15727 15665 0 -1 1077944320 116908 0 0 0 239926 78 0 0 20 0 16 0 415242716 11006283776 73981 33554432000 4194304 4196468 140720708586704 140720708569248 139940849135351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
/proc/15727/statm: 2687081 73981 3378 1 0 2647217 0
[pid=15727/tid=15729] ppid=15723 vsize=10748324 memory=295924 CPUtime=1.86 cores=1,3,5,7
/proc/15727/task/15729/stat : 15729 (java) S 15723 15727 15665 0 -1 1077944384 15198 0 0 0 181 5 0 0 20 0 16 0 415242717 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940853378224 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15734] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.39 cores=1,3,5,7
/proc/15727/task/15734/stat : 15734 (java) S 15723 15727 15665 0 -1 1077944384 5280 0 0 0 33 6 0 0 20 0 16 0 415242717 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940775209232 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15735] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.39 cores=1,3,5,7
/proc/15727/task/15735/stat : 15735 (java) S 15723 15727 15665 0 -1 1077944384 7876 0 0 0 32 7 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940774156688 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15736] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.4 cores=1,3,5,7
/proc/15727/task/15736/stat : 15736 (java) S 15723 15727 15665 0 -1 1077944384 5228 0 0 0 34 6 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940773104144 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15737] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.38 cores=1,3,5,7
/proc/15727/task/15737/stat : 15737 (java) S 15723 15727 15665 0 -1 1077944384 5064 0 0 0 32 6 0 0 20 0 16 0 415242718 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940453149328 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15739] ppid=15723 vsize=10748324 memory=295924 CPUtime=0.12 cores=1,3,5,7
/proc/15727/task/15739/stat : 15739 (java) S 15723 15727 15665 0 -1 1077944384 8462 0 0 0 9 3 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940341217776 139940849146498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15742] ppid=15723 vsize=10748324 memory=12036 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15742/stat : 15742 (java) S 15723 15727 15665 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940340164064 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15743] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15743/stat : 15743 (java) S 15723 15727 15665 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415242719 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940339111424 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15748] ppid=15723 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15748/stat : 15748 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940338059984 139940849153947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15749] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.63 cores=1,3,5,7
/proc/15727/task/15749/stat : 15749 (java) S 15723 15727 15665 0 -1 1077944384 10703 0 0 0 262 1 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940337006576 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15750] ppid=15723 vsize=10748324 memory=295924 CPUtime=2.61 cores=1,3,5,7
/proc/15727/task/15750/stat : 15750 (java) S 15723 15727 15665 0 -1 1077944384 13365 0 0 0 259 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940335954032 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15752] ppid=15723 vsize=10748324 memory=295924 CPUtime=1.07 cores=1,3,5,7
/proc/15727/task/15752/stat : 15752 (java) S 15723 15727 15665 0 -1 1077944384 13605 0 0 0 105 2 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940334901488 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15753] ppid=15723 vsize=10748324 memory=295924 CPUtime=0 cores=1,3,5,7
/proc/15727/task/15753/stat : 15753 (java) S 15723 15727 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940333849184 139940849145557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15755] ppid=15723 vsize=10748324 memory=944 CPUtime=0.49 cores=1,3,5,7
/proc/15727/task/15755/stat : 15755 (java) S 15723 15727 15665 0 -1 1077944384 2379 0 0 0 21 28 0 0 20 0 16 0 415242722 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940332796720 139940849146498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
[pid=15727/tid=15757] ppid=15723 vsize=10748324 memory=1552 CPUtime=2389.58 cores=1,3,5,7
/proc/15727/task/15757/stat : 15757 (java) R 15723 15727 15665 0 -1 4202560 28343 0 0 0 238948 10 0 0 20 0 16 0 415242906 11006283776 73981 33554432000 4194304 4196468 140720708586704 139940315729584 139940463718831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27000832 140720708588555 140720708588658 140720708588658 140720708591567 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 295924 KiB
Child status: 143
Real time (s): 2392.12
CPU time (s): 2400.06
CPU user time (s): 2399.28
CPU system time (s): 0.786047
CPU usage (%): 100.332
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 551652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.28
system time used= 0.786047
maximum resident set size= 563452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56708
involuntary context switches= 2346
# summary of solver processes directly reported to runsolver:
# pid: 15727
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.28
# total CPU system time (s): 0.786047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5947 second user time and 21.0961 second system time
The end
Begin job on node134 at 2019-09-13 17:51:20 IDJOB=4391356 IDBENCH=127075 IDSOLVER=2833 FILE ID=node134/4391356-1568389922 RUNJOBID= node134-1568389880-15697 PBS_JOBID= 21701859 Free space on /tmp= 59572 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-078.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391356-1568389922/watcher-4391356-1568389922 -o /tmp/evaluation-result-4391356-1568389922/solver-4391356-1568389922 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568389880-15697 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391356-1568389922.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b749a4e5de10f3f67b20d160b8ef335e RANDOM SEED=730480778 node134.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.76 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.76 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.76 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.76 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: 30342076 kB MemAvailable: 31795384 kB Buffers: 172668 kB Cached: 1547872 kB SwapCached: 90704 kB Active: 425488 kB Inactive: 1386380 kB Active(anon): 24292 kB Inactive(anon): 106816 kB Active(file): 401196 kB Inactive(file): 1279564 kB Unevictable: 111180 kB Mlocked: 111180 kB SwapTotal: 67108860 kB SwapFree: 66916512 kB Dirty: 17184 kB Writeback: 0 kB AnonPages: 113180 kB Mapped: 42556 kB Shmem: 30964 kB Slab: 206680 kB SReclaimable: 176768 kB SUnreclaim: 29912 kB KernelStack: 3376 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 503408 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59560 MiB End job on node134 at 2019-09-13 18:31:13