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) | 3269 | 2520.04 | 2510.82 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-090.xml |
| MD5SUM | d92bd6a6dba83323313b355bf487e521 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 941 |
| Best CPU time to get the best result obtained on this benchmark | 19937.9 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 8189 |
| Number of constraints | 4183 |
| Number of domains | 179 |
| Minimum domain size | 2 |
| Maximum domain size | 179 |
| Distribution of domain sizes | [{"size":2,"count":4096},{"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":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 89 |
| Distribution of variable degrees | [{"degree":0,"count":3916},{"degree":2,"count":4183},{"degree":89,"count":90}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 90 |
| Distribution of constraint arities | [{"arity":2,"count":90},{"arity":3,"count":4006},{"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":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 4094 |
| Distribution of constraint types | [{"type":"intension","count":4094},{"type":"sum","count":89}] |
| Optimization problem | YES |
| Type of objective | min SUM |
2.42/1.87 2.42/1.87 AbsCon 2 2.42/1.89 4.00/2.30 Instance 4.00/2.30 name=instance-4390989-1568382853, framework=COP, bounds=-infty..+infty 4.00/2.30 4.00/2.30 Loading variables... 4.34/2.44 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f4a539 6.72/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2181302a 6.72/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@340cf93c 6.72/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae7298e 6.72/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c5fbaf8 6.72/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772c550a 6.72/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f158f5 6.72/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765f7c71 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ff10a5 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419cd5e4 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2c2400 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28925844 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa15562 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0bb624 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4434a14 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe22983 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d17285d 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a40621d 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0058a7 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1230e79 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@597970c0 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3bf502 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2151f4c 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573b680c 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29c50741 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be45b85 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d259439 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0adc4b 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cfc9fad 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f822ad6 6.72/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100680a8 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd893cd 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ec5189 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1449945e 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef374f7 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@84ea60e 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1653c21 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45bb9c12 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c366ceb 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c2bd9c8 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713e1b95 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6a8257 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@667891f8 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fdc7d55 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ca92dd 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38026ea5 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376b61d1 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c72f053 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbd77f2 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67333ccd 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@473afd6e 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309b0b58 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5117cd6e 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735ccd8d 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69212875 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49e7b9d5 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@380dd914 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e41e0c 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765e9e14 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b2dc941 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2036080b 6.72/3.19 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a90de29 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7913cd 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c102e74 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d39dfe8 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7a955a 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@269d84de 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c05cfa9 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1537e510 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfd5b93 6.72/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6a51d1 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab55362 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b976521 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df8eb6c 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@299b4793 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac25e2a 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9965d5 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4418a9 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4d9c3c 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ed93325 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a75d47d 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@535cda72 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e354c73 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13126ea4 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403bd101 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236dc133 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@632e59de 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9ca933 7.02/3.20 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fef86ee 7.67/3.40 7.67/3.40 7.67/3.40 Domains 7.67/3.40 nTypes=179, nValues=20383, sizes=[2#4096,3#2,4#1,5#2...173#1,175#1,177#1,179#1] 7.67/3.40 Variables 7.67/3.40 count=4273, degrees=[2#4183,89#90] 7.67/3.40 Objectives 7.67/3.40 way=min, type=SumSimpleLE 7.67/3.40 Constraints 7.67/3.40 count=4184, nSpecific=90, arities=[2#90,3#4006,4#1,5#1...87#1,88#1,89#2,90#1] 7.67/3.40 distribution=[CtrIntension#4094,SumSimpleLE#1,SumWeightedEQ#89] 7.67/3.40 nIntStructures=(90,shared:4004), nCftStructures=(90,shared:4004,unbuilt:90) 7.67/3.40 wck=1.556, cpu=3.336, mem=43M641 7.67/3.42 Solver SolverBacktrack being built... 7.67/3.42 7.67/3.48 7.67/3.48 Solver 7.67/3.48 guaranteedGAC=false 7.67/3.48 wck=1.637, cpu=3.416, mem=131M11 8.11/3.60 8.11/3.60 Preprocessing 8.11/3.60 filters=0, ccks=490042, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 8.11/3.60 wck=0.118, cpu=3.538, mem=131M11 8.11/3.60 8.72/3.84 o 238965 8.72/3.85 num=0, depth=4274..4272, filters=10035, revisions=(16109,useless=10079), ccks=988176, wck=0.37, mem=133M654 8.72/3.85 decisions=90, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=238965 8.72/3.85 9.36/4.07 o 223301 9.36/4.08 num=1, depth=0..4272, filters=19999, revisions=(32351,useless=20319), ccks=1118680, wck=0.597, mem=136M330 9.36/4.08 decisions=182, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=223301 9.36/4.08 9.91/4.26 o 208341 9.91/4.27 num=2, depth=89..4272, filters=30151, revisions=(48994,useless=30815), ccks=1253478, wck=0.792, mem=139M38 9.91/4.27 decisions=273, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=208341 9.91/4.27 10.42/4.47 num=3, depth=48..61, filters=52262, revisions=(90088,useless=55470), ccks=1363558, wck=0.992, mem=139M38 10.42/4.47 decisions=361, wrong=19, backtracks=9, failedAssignments=13, nogoods=8, foundSolutions=3, bestBound=208341 10.42/4.47 10.61/4.53 o 14501 10.61/4.53 num=4, depth=4274..4272, filters=59796, revisions=(116163,useless=77427), ccks=1396153, wck=1.052, mem=141M680 10.61/4.53 decisions=411, wrong=19, backtracks=9, failedAssignments=13, nogoods=8, foundSolutions=4, bestBound=14501 10.61/4.53 10.94/4.70 o 13669 10.94/4.71 num=5, depth=50..4272, filters=74575, revisions=(154788,useless=107962), ccks=1431042, wck=1.226, mem=144M322 10.94/4.71 decisions=463, wrong=20, backtracks=9, failedAssignments=14, nogoods=9, foundSolutions=5, bestBound=13669 10.94/4.71 11.20/4.91 num=6, depth=50..63, filters=100732, revisions=(206748,useless=142841), ccks=1594215, wck=1.434, mem=146M965 11.20/4.91 decisions=541, wrong=32, backtracks=11, failedAssignments=25, nogoods=19, foundSolutions=5, bestBound=13669 11.20/4.91 11.33/5.02 o 13629 11.33/5.02 num=7, depth=55..4272, filters=118545, revisions=(247212,useless=172153), ccks=1748569, wck=1.541, mem=149M607 11.33/5.02 decisions=604, wrong=35, backtracks=11, failedAssignments=28, nogoods=22, foundSolutions=6, bestBound=13629 11.33/5.02 11.48/5.19 o 11157 11.61/5.20 num=8, depth=58..4272, filters=126504, revisions=(274263,useless=193711), ccks=1900443, wck=1.716, mem=152M250 11.61/5.20 decisions=675, wrong=41, backtracks=11, failedAssignments=34, nogoods=28, foundSolutions=7, bestBound=11157 11.61/5.20 11.77/5.38 num=9, depth=59..70, filters=144477, revisions=(309397,useless=215498), ccks=2135435, wck=1.896, mem=152M250 11.77/5.38 decisions=760, wrong=53, backtracks=13, failedAssignments=45, nogoods=38, foundSolutions=7, bestBound=11157 11.77/5.38 11.88/5.45 o 3269 11.88/5.45 num=10, depth=67..4272, filters=152844, revisions=(333955,useless=234354), ccks=2369984, wck=1.973, mem=154M917 11.88/5.45 decisions=835, wrong=56, backtracks=13, failedAssignments=48, nogoods=41, foundSolutions=8, bestBound=3269 11.88/5.45 12.08/5.70 num=11, depth=69..77, filters=182803, revisions=(383500,useless=260688), ccks=2599835, wck=2.214, mem=154M917 12.08/5.70 decisions=939, wrong=74, backtracks=24, failedAssignments=60, nogoods=45, foundSolutions=8, bestBound=3269 12.08/5.70 12.18/5.75 num=12, depth=74..84, filters=193269, revisions=(404942,useless=274355), ccks=2771486, wck=2.27, mem=154M917 12.18/5.75 decisions=1052, wrong=92, backtracks=40, failedAssignments=71, nogoods=49, foundSolutions=8, bestBound=3269 12.18/5.75 12.28/5.81 num=13, depth=83..88, filters=206048, revisions=(427806,useless=287732), ccks=2949048, wck=2.334, mem=154M917 12.28/5.81 decisions=1180, wrong=112, backtracks=48, failedAssignments=83, nogoods=55, foundSolutions=8, bestBound=3269 12.28/5.81 12.28/5.84 num=14, depth=51..73, filters=211129, revisions=(445224,useless=300188), ccks=2990783, wck=2.363, mem=154M917 12.28/5.84 decisions=1297, wrong=145, backtracks=74, failedAssignments=96, nogoods=56, foundSolutions=8, bestBound=3269 12.28/5.84 12.38/5.91 num=15, depth=78..83, filters=225486, revisions=(472688,useless=316949), ccks=3181074, wck=2.433, mem=154M917 12.38/5.91 decisions=1423, wrong=169, backtracks=89, failedAssignments=110, nogoods=57, foundSolutions=8, bestBound=3269 12.38/5.91 12.51/6.03 num=16, depth=80..87, filters=254793, revisions=(515460,useless=339481), ccks=3472859, wck=2.553, mem=157M559 12.51/6.03 decisions=1572, wrong=202, backtracks=114, failedAssignments=126, nogoods=60, foundSolutions=8, bestBound=3269 12.51/6.03 12.51/6.10 num=17, depth=85..89, filters=268104, revisions=(538245,useless=352784), ccks=3663904, wck=2.619, mem=157M559 12.51/6.10 decisions=1707, wrong=226, backtracks=123, failedAssignments=143, nogoods=67, foundSolutions=8, bestBound=3269 12.51/6.10 12.61/6.15 num=18, depth=57..67, filters=280776, revisions=(580184,useless=382303), ccks=3732302, wck=2.67, mem=157M559 12.61/6.15 decisions=1852, wrong=270, backtracks=160, failedAssignments=162, nogoods=68, foundSolutions=8, bestBound=3269 12.61/6.15 12.71/6.22 num=19, depth=85..91, filters=293476, revisions=(602799,useless=395297), ccks=3935529, wck=2.735, mem=157M559 12.71/6.22 decisions=1996, wrong=297, backtracks=167, failedAssignments=183, nogoods=77, foundSolutions=8, bestBound=3269 12.71/6.22 12.71/6.28 num=20, depth=83..92, filters=307207, revisions=(626796,useless=408833), ccks=4117020, wck=2.8, mem=157M559 12.71/6.28 decisions=2141, wrong=326, backtracks=175, failedAssignments=206, nogoods=84, foundSolutions=8, bestBound=3269 12.71/6.28 12.81/6.32 num=21, depth=40..63, filters=314682, revisions=(656862,useless=431699), ccks=4163683, wck=2.84, mem=157M559 12.81/6.32 decisions=2362, wrong=415, backtracks=247, failedAssignments=231, nogoods=86, foundSolutions=8, bestBound=3269 12.81/6.32 13.03/6.54 num=22, depth=76..85, filters=365267, revisions=(757622,useless=492688), ccks=4672220, wck=3.061, mem=159M48 13.03/6.54 decisions=2534, wrong=462, backtracks=278, failedAssignments=259, nogoods=91, foundSolutions=8, bestBound=3269 13.03/6.54 13.44/6.78 num=23, depth=80..86, filters=405817, revisions=(829016,useless=532303), ccks=5030933, wck=3.297, mem=107M469 13.44/6.78 decisions=2716, wrong=513, backtracks=309, failedAssignments=290, nogoods=93, foundSolutions=8, bestBound=3269 13.44/6.78 13.64/6.90 num=24, depth=78..85, filters=434859, revisions=(880584,useless=561079), ccks=5321978, wck=3.416, mem=107M469 13.64/6.90 decisions=2908, wrong=568, backtracks=340, failedAssignments=324, nogoods=104, foundSolutions=8, bestBound=3269 13.64/6.90 13.75/7.04 num=25, depth=81..87, filters=472021, revisions=(937963,useless=590447), ccks=5622927, wck=3.555, mem=107M469 13.75/7.04 decisions=3110, wrong=627, backtracks=373, failedAssignments=361, nogoods=107, foundSolutions=8, bestBound=3269 13.75/7.04 13.85/7.18 num=26, depth=82..89, filters=513195, revisions=(997477,useless=619192), ccks=5927730, wck=3.694, mem=107M469 13.85/7.18 decisions=3337, wrong=699, backtracks=416, failedAssignments=402, nogoods=111, foundSolutions=8, bestBound=3269 13.85/7.18 13.94/7.25 num=27, depth=50..85, filters=528126, revisions=(1042703,useless=649872), ccks=5995281, wck=3.769, mem=107M469 13.94/7.25 decisions=3745, wrong=869, backtracks=557, failedAssignments=447, nogoods=114, foundSolutions=8, bestBound=3269 13.94/7.25 14.15/7.44 num=28, depth=78..86, filters=576742, revisions=(1133188,useless=700237), ccks=6483787, wck=3.964, mem=111M714 14.15/7.44 decisions=3990, wrong=952, backtracks=610, failedAssignments=497, nogoods=120, foundSolutions=8, bestBound=3269 14.15/7.44 14.55/7.89 num=29, depth=80..87, filters=697718, revisions=(1314693,useless=797970), ccks=7229683, wck=4.405, mem=111M714 14.55/7.89 decisions=4257, wrong=1045, backtracks=678, failedAssignments=552, nogoods=125, foundSolutions=8, bestBound=3269 14.55/7.89 14.86/8.15 num=30, depth=80..88, filters=770817, revisions=(1430438,useless=858112), ccks=7729735, wck=4.664, mem=115M958 14.86/8.15 decisions=4530, wrong=1141, backtracks=740, failedAssignments=613, nogoods=133, foundSolutions=8, bestBound=3269 14.86/8.15 15.05/8.31 num=31, depth=80..88, filters=819546, revisions=(1507804,useless=896686), ccks=8116889, wck=4.831, mem=115M958 15.05/8.31 decisions=4813, wrong=1241, backtracks=788, failedAssignments=680, nogoods=139, foundSolutions=8, bestBound=3269 15.05/8.31 15.15/8.46 num=32, depth=79..87, filters=866541, revisions=(1584183,useless=933824), ccks=8488621, wck=4.98, mem=115M958 15.15/8.46 decisions=5121, wrong=1354, backtracks=845, failedAssignments=754, nogoods=146, foundSolutions=8, bestBound=3269 15.15/8.46 15.45/8.70 num=33, depth=77..86, filters=949064, revisions=(1708448,useless=990725), ccks=9022526, wck=5.223, mem=120M203 15.45/8.70 decisions=5464, wrong=1486, backtracks=925, failedAssignments=835, nogoods=149, foundSolutions=8, bestBound=3269 15.45/8.70 15.76/9.05 num=34, depth=77..88, filters=1054617, revisions=(1858562,useless=1061473), ccks=9796163, wck=5.57, mem=120M203 15.76/9.05 decisions=5883, wrong=1656, backtracks=1056, failedAssignments=924, nogoods=154, foundSolutions=8, bestBound=3269 15.76/9.05 15.86/9.17 num=35, depth=83..91, filters=1093239, revisions=(1914053,useless=1086875), ccks=10075883, wck=5.69, mem=120M203 15.86/9.17 decisions=6259, wrong=1802, backtracks=1118, failedAssignments=1022, nogoods=160, foundSolutions=8, bestBound=3269 15.86/9.17 16.45/9.75 num=36, depth=62..73, filters=1266980, revisions=(2197832,useless=1242412), ccks=11186556, wck=6.273, mem=124M447 16.45/9.75 decisions=6708, wrong=1993, backtracks=1283, failedAssignments=1130, nogoods=164, foundSolutions=8, bestBound=3269 16.45/9.75 16.65/9.99 num=37, depth=80..87, filters=1346703, revisions=(2306247,useless=1289800), ccks=11623826, wck=6.507, mem=124M447 16.65/9.99 decisions=7160, wrong=2179, backtracks=1380, failedAssignments=1249, nogoods=174, foundSolutions=8, bestBound=3269 16.65/9.99 16.86/10.16 num=38, depth=81..90, filters=1406874, revisions=(2389623,useless=1326539), ccks=11971380, wck=6.681, mem=128M692 16.86/10.16 decisions=7625, wrong=2369, backtracks=1478, failedAssignments=1380, nogoods=187, foundSolutions=8, bestBound=3269 16.86/10.16 17.06/10.36 num=39, depth=81..91, filters=1474520, revisions=(2479808,useless=1363818), ccks=12406017, wck=6.88, mem=128M692 17.06/10.36 decisions=8246, wrong=2637, backtracks=1649, failedAssignments=1524, nogoods=192, foundSolutions=8, bestBound=3269 17.06/10.36 17.26/10.55 num=40, depth=82..92, filters=1533925, revisions=(2560182,useless=1398063), ccks=12812339, wck=7.064, mem=128M692 17.26/10.55 decisions=8861, wrong=2902, backtracks=1789, failedAssignments=1682, nogoods=195, foundSolutions=8, bestBound=3269 17.26/10.55 17.46/10.77 num=41, depth=80..91, filters=1612174, revisions=(2661783,useless=1439588), ccks=13247960, wck=7.287, mem=132M936 17.46/10.77 decisions=9482, wrong=3170, backtracks=1917, failedAssignments=1856, nogoods=202, foundSolutions=8, bestBound=3269 17.46/10.77 17.77/11.10 num=42, depth=78..87, filters=1734327, revisions=(2824844,useless=1504281), ccks=13891995, wck=7.617, mem=132M936 17.77/11.10 decisions=10171, wrong=3473, backtracks=2086, failedAssignments=2047, nogoods=210, foundSolutions=8, bestBound=3269 17.77/11.10 18.24/11.43 num=43, depth=77..94, filters=1851587, revisions=(2967371,useless=1558569), ccks=14482319, wck=7.954, mem=138M80 18.24/11.43 decisions=11026, wrong=3859, backtracks=2320, failedAssignments=2258, nogoods=215, foundSolutions=8, bestBound=3269 18.24/11.43 18.64/11.88 num=44, depth=79..91, filters=2003408, revisions=(3157255,useless=1633204), ccks=15376749, wck=8.403, mem=142M325 18.64/11.88 decisions=11830, wrong=4221, backtracks=2594, failedAssignments=2490, nogoods=219, foundSolutions=8, bestBound=3269 18.64/11.88 19.36/12.50 num=45, depth=75..85, filters=2182101, revisions=(3381344,useless=1710713), ccks=16909402, wck=9.021, mem=142M325 19.36/12.50 decisions=12660, wrong=4597, backtracks=2830, failedAssignments=2745, nogoods=233, foundSolutions=8, bestBound=3269 19.36/12.50 20.27/13.47 num=46, depth=70..81, filters=2426301, revisions=(3699249,useless=1814369), ccks=19786905, wck=9.986, mem=150M814 20.27/13.47 decisions=13554, wrong=5008, backtracks=3113, failedAssignments=3026, nogoods=239, foundSolutions=8, bestBound=3269 20.27/13.47 21.07/14.28 num=47, depth=68..78, filters=2650717, revisions=(4001462,useless=1918094), ccks=21962811, wck=10.798, mem=155M58 21.07/14.28 decisions=14476, wrong=5434, backtracks=3397, failedAssignments=3335, nogoods=262, foundSolutions=8, bestBound=3269 21.07/14.28 22.38/15.56 num=48, depth=66..76, filters=2981873, revisions=(4441859,useless=2064718), ccks=25420201, wck=12.079, mem=163M547 22.38/15.56 decisions=15486, wrong=5906, backtracks=3760, failedAssignments=3675, nogoods=270, foundSolutions=8, bestBound=3269 22.38/15.56 23.48/16.66 num=49, depth=64..74, filters=3282157, revisions=(4858022,useless=2210512), ccks=28541294, wck=13.175, mem=167M792 23.48/16.66 decisions=16558, wrong=6409, backtracks=4125, failedAssignments=4049, nogoods=283, foundSolutions=8, bestBound=3269 23.48/16.66 24.89/18.04 num=50, depth=63..74, filters=3695499, revisions=(5428388,useless=2412101), ccks=31798948, wck=14.557, mem=176M281 24.89/18.04 decisions=17708, wrong=6951, backtracks=4537, failedAssignments=4460, nogoods=300, foundSolutions=8, bestBound=3269 24.89/18.04 26.60/19.73 num=51, depth=62..74, filters=4161125, revisions=(6069838,useless=2635765), ccks=36371218, wck=16.249, mem=189M14 26.60/19.73 decisions=18976, wrong=7552, backtracks=5046, failedAssignments=4912, nogoods=307, foundSolutions=8, bestBound=3269 26.60/19.73 28.40/21.56 num=52, depth=62..75, filters=4665672, revisions=(6758410,useless=2870422), ccks=41133045, wck=18.081, mem=197M503 28.40/21.56 decisions=20323, wrong=8193, backtracks=5575, failedAssignments=5409, nogoods=313, foundSolutions=8, bestBound=3269 28.40/21.56 30.40/23.56 num=53, depth=62..73, filters=5189649, revisions=(7469848,useless=3111725), ccks=46356376, wck=20.074, mem=210M237 30.40/23.56 decisions=21829, wrong=8914, backtracks=6164, failedAssignments=5956, nogoods=327, foundSolutions=8, bestBound=3269 30.40/23.56 32.53/25.60 num=54, depth=62..73, filters=5767358, revisions=(8262228,useless=3387183), ccks=51595935, wck=22.117, mem=222M970 32.53/25.60 decisions=23480, wrong=9708, backtracks=6787, failedAssignments=6558, nogoods=334, foundSolutions=8, bestBound=3269 32.53/25.60 34.83/27.97 num=55, depth=62..75, filters=6424893, revisions=(9144159,useless=3679920), ccks=57681963, wck=24.488, mem=235M704 34.83/27.97 decisions=25244, wrong=10558, backtracks=7488, failedAssignments=7220, nogoods=341, foundSolutions=8, bestBound=3269 34.83/27.97 37.33/30.41 num=56, depth=62..75, filters=7034861, revisions=(9964602,useless=3962011), ccks=63923962, wck=26.926, mem=248M437 37.33/30.41 decisions=27230, wrong=11519, backtracks=8238, failedAssignments=7948, nogoods=349, foundSolutions=8, bestBound=3269 37.33/30.41 40.33/33.42 num=57, depth=61..76, filters=7813287, revisions=(11026496,useless=4327613), ccks=72179693, wck=29.935, mem=265M415 40.33/33.42 decisions=29397, wrong=12570, backtracks=9122, failedAssignments=8749, nogoods=354, foundSolutions=8, bestBound=3269 40.33/33.42 43.33/36.47 num=58, depth=62..75, filters=8608235, revisions=(12088232,useless=4678282), ccks=80345748, wck=32.986, mem=282M393 43.33/36.47 decisions=31756, wrong=13717, backtracks=10035, failedAssignments=9630, nogoods=363, foundSolutions=8, bestBound=3269 43.33/36.47 46.74/39.84 num=59, depth=60..73, filters=9496392, revisions=(13311978,useless=5126133), ccks=88689437, wck=36.362, mem=303M616 46.74/39.84 decisions=34460, wrong=15038, backtracks=11057, failedAssignments=10600, nogoods=372, foundSolutions=8, bestBound=3269 46.74/39.84 50.59/43.66 num=60, depth=62..75, filters=10374991, revisions=(14484662,useless=5516744), ccks=99440215, wck=40.183, mem=107M693 50.59/43.66 decisions=37340, wrong=16445, backtracks=12220, failedAssignments=11667, nogoods=378, foundSolutions=8, bestBound=3269 50.59/43.66 54.92/47.92 num=61, depth=61..75, filters=11548014, revisions=(16068424,useless=6055995), ccks=109724846, wck=44.438, mem=133M149 54.92/47.92 decisions=40544, wrong=18015, backtracks=13414, failedAssignments=12840, nogoods=389, foundSolutions=8, bestBound=3269 54.92/47.92 59.13/52.16 num=62, depth=63..75, filters=12606337, revisions=(17481246,useless=6525191), ccks=121359146, wck=48.681, mem=158M605 59.13/52.16 decisions=44032, wrong=19726, backtracks=14756, failedAssignments=14131, nogoods=408, foundSolutions=8, bestBound=3269 59.13/52.16 64.13/57.19 num=63, depth=62..75, filters=13941793, revisions=(19259877,useless=7109998), ccks=135061112, wck=53.71, mem=188M304 64.13/57.19 decisions=47922, wrong=21638, backtracks=16264, failedAssignments=15551, nogoods=421, foundSolutions=8, bestBound=3269 64.13/57.19 69.63/62.62 num=64, depth=60..74, filters=15413102, revisions=(21265112,useless=7809519), ccks=149030062, wck=59.142, mem=218M2 69.63/62.62 decisions=52321, wrong=23806, backtracks=17895, failedAssignments=17113, nogoods=429, foundSolutions=8, bestBound=3269 69.63/62.62 74.73/67.77 num=65, depth=61..73, filters=16911015, revisions=(23363289,useless=8540175), ccks=163580097, wck=64.293, mem=251M943 74.73/67.77 decisions=57037, wrong=26133, backtracks=19635, failedAssignments=18831, nogoods=443, foundSolutions=8, bestBound=3269 74.73/67.77 82.33/75.34 num=66, depth=62..78, filters=18749600, revisions=(25778714,useless=9325653), ccks=183563459, wck=71.857, mem=290M127 82.33/75.34 decisions=62144, wrong=28654, backtracks=21759, failedAssignments=20721, nogoods=459, foundSolutions=8, bestBound=3269 82.33/75.34 88.39/81.32 num=67, depth=61..74, filters=20431604, revisions=(28081124,useless=10122709), ccks=198615696, wck=77.836, mem=116M78 88.39/81.32 decisions=67692, wrong=31397, backtracks=23797, failedAssignments=22800, nogoods=476, foundSolutions=8, bestBound=3269 88.39/81.32 96.49/89.45 num=68, depth=61..76, filters=22588106, revisions=(30965516,useless=11086738), ccks=219502531, wck=85.968, mem=160M240 96.49/89.45 decisions=73922, wrong=34480, backtracks=26178, failedAssignments=25087, nogoods=496, foundSolutions=8, bestBound=3269 96.49/89.45 103.99/96.93 num=69, depth=59..74, filters=24390139, revisions=(33470483,useless=11991883), ccks=241505981, wck=93.454, mem=204M402 103.99/96.93 decisions=80610, wrong=37793, backtracks=28829, failedAssignments=27603, nogoods=510, foundSolutions=8, bestBound=3269 103.99/96.93 111.59/104.52 num=70, depth=60..74, filters=26653120, revisions=(36580938,useless=13085107), ccks=261263750, wck=101.039, mem=254M873 111.59/104.52 decisions=88059, wrong=41486, backtracks=31449, failedAssignments=30371, nogoods=535, foundSolutions=8, bestBound=3269 111.59/104.52 121.31/114.26 num=71, depth=59..74, filters=29141316, revisions=(39977506,useless=14321643), ccks=287594015, wck=110.777, mem=305M343 121.31/114.26 decisions=96456, wrong=45653, backtracks=34566, failedAssignments=33415, nogoods=551, foundSolutions=8, bestBound=3269 121.31/114.26 131.13/124.02 num=72, depth=60..75, filters=31642805, revisions=(43422463,useless=15532693), ccks=315289327, wck=120.538, mem=362M123 131.13/124.02 decisions=105425, wrong=50106, backtracks=38024, failedAssignments=36764, nogoods=567, foundSolutions=8, bestBound=3269 131.13/124.02 144.08/136.91 num=73, depth=61..75, filters=35098022, revisions=(48030243,useless=17102130), ccks=349130810, wck=133.425, mem=121M983 144.08/136.91 decisions=115697, wrong=55210, backtracks=42062, failedAssignments=40448, nogoods=578, foundSolutions=8, bestBound=3269 144.08/136.91 156.78/149.63 num=74, depth=60..75, filters=38181807, revisions=(52220585,useless=18557459), ccks=384859781, wck=146.151, mem=189M476 156.78/149.63 decisions=126588, wrong=60624, backtracks=46296, failedAssignments=44500, nogoods=594, foundSolutions=8, bestBound=3269 156.78/149.63 168.19/161.04 num=75, depth=59..75, filters=41509240, revisions=(56858185,useless=20209042), ccks=414173411, wck=157.559, mem=263M105 168.19/161.04 decisions=138333, wrong=66465, backtracks=50588, failedAssignments=48957, nogoods=613, foundSolutions=8, bestBound=3269 168.19/161.04 187.21/180.02 num=76, depth=58..74, filters=46391870, revisions=(63544046,useless=22622429), ccks=460658703, wck=176.536, mem=367M413 187.21/180.02 decisions=152111, wrong=73324, backtracks=55932, failedAssignments=53860, nogoods=630, foundSolutions=8, bestBound=3269 187.21/180.02 203.95/196.77 num=77, depth=60..74, filters=50543024, revisions=(69103539,useless=24560219), ccks=506161046, wck=193.287, mem=151M346 203.95/196.77 decisions=166666, wrong=80570, backtracks=61512, failedAssignments=59254, nogoods=652, foundSolutions=8, bestBound=3269 203.95/196.77 223.27/216.08 num=78, depth=60..76, filters=55800513, revisions=(76158497,useless=26938041), ccks=557563054, wck=212.6, mem=264M800 223.27/216.08 decisions=182887, wrong=88649, backtracks=67618, failedAssignments=65187, nogoods=666, foundSolutions=8, bestBound=3269 223.27/216.08 254.20/246.97 num=79, depth=26..70, filters=64367582, revisions=(98396746,useless=40668331), ccks=570374173, wck=243.489, mem=150M36 254.20/246.97 decisions=204941, wrong=99658, backtracks=77462, failedAssignments=71713, nogoods=680, foundSolutions=8, bestBound=3269 254.20/246.97 282.42/275.15 num=80, depth=66..81, filters=73253005, revisions=(109385410,useless=44186094), ccks=635795767, wck=271.671, mem=324M202 282.42/275.15 decisions=226738, wrong=110522, backtracks=87845, failedAssignments=78892, nogoods=707, foundSolutions=8, bestBound=3269 282.42/275.15 309.17/301.81 num=81, depth=64..79, filters=80349645, revisions=(118338239,useless=47311054), ccks=702666358, wck=298.327, mem=177M36 309.17/301.81 decisions=249988, wrong=122112, backtracks=97570, failedAssignments=86789, nogoods=724, foundSolutions=8, bestBound=3269 309.17/301.81 339.50/332.12 num=82, depth=66..79, filters=88697119, revisions=(128639899,useless=50597232), ccks=781593814, wck=328.639, mem=346M523 339.50/332.12 decisions=275343, wrong=134754, backtracks=108481, failedAssignments=95476, nogoods=742, foundSolutions=8, bestBound=3269 339.50/332.12 377.02/369.61 num=83, depth=61..78, filters=98245941, revisions=(140820923,useless=54299279), ccks=888240935, wck=366.129, mem=273M911 377.02/369.61 decisions=301297, wrong=147698, backtracks=119675, failedAssignments=105031, nogoods=768, foundSolutions=8, bestBound=3269 377.02/369.61 407.87/400.43 num=84, depth=61..77, filters=105826006, revisions=(150501597,useless=57421395), ccks=971950617, wck=396.954, mem=167M786 407.87/400.43 decisions=330638, wrong=162336, backtracks=130366, failedAssignments=115542, nogoods=791, foundSolutions=8, bestBound=3269 407.87/400.43 442.69/435.23 num=85, depth=61..76, filters=114323210, revisions=(161561703,useless=61094275), ccks=1067745804, wck=431.75, mem=354M925 442.69/435.23 decisions=361574, wrong=177772, backtracks=142537, failedAssignments=127104, nogoods=817, foundSolutions=8, bestBound=3269 442.69/435.23 492.38/484.84 num=86, depth=31..77, filters=128647102, revisions=(197669465,useless=83172875), ccks=1088559704, wck=481.355, mem=123M939 492.38/484.84 decisions=405212, wrong=199570, backtracks=161954, failedAssignments=139822, nogoods=825, foundSolutions=8, bestBound=3269 492.38/484.84 534.91/527.32 num=87, depth=68..83, filters=142619374, revisions=(214568772,useless=88744366), ccks=1185579394, wck=523.842, mem=138M300 534.91/527.32 decisions=448092, wrong=220974, backtracks=182074, failedAssignments=153812, nogoods=839, foundSolutions=8, bestBound=3269 534.91/527.32 589.27/581.66 num=88, depth=64..79, filters=158235239, revisions=(234034998,useless=94593390), ccks=1331749007, wck=578.183, mem=219M434 589.27/581.66 decisions=492232, wrong=243010, backtracks=200263, failedAssignments=169201, nogoods=855, foundSolutions=8, bestBound=3269 589.27/581.66 644.52/636.88 num=89, depth=66..82, filters=174363749, revisions=(253721955,useless=100682500), ccks=1473749312, wck=633.398, mem=306M121 644.52/636.88 decisions=541886, wrong=267802, backtracks=220951, failedAssignments=186129, nogoods=869, foundSolutions=8, bestBound=3269 644.52/636.88 708.92/701.12 num=90, depth=64..79, filters=190122500, revisions=(273267420,useless=106637617), ccks=1663900096, wck=697.641, mem=193M308 708.92/701.12 decisions=594680, wrong=294165, backtracks=243518, failedAssignments=204750, nogoods=882, foundSolutions=8, bestBound=3269 708.92/701.12 777.54/769.76 num=91, depth=61..77, filters=208290760, revisions=(296660805,useless=113927411), ccks=1864019837, wck=766.283, mem=146M429 777.54/769.76 decisions=652070, wrong=322827, backtracks=266228, failedAssignments=225234, nogoods=900, foundSolutions=8, bestBound=3269 777.54/769.76 847.38/839.53 num=92, depth=58..77, filters=227829140, revisions=(322544850,useless=122484566), ccks=2048822331, wck=836.05, mem=140M520 847.38/839.53 decisions=713401, wrong=353462, backtracks=289729, failedAssignments=247766, nogoods=918, foundSolutions=8, bestBound=3269 847.38/839.53 964.86/956.93 num=93, depth=26..73, filters=262346428, revisions=(406858944,useless=172704079), ccks=2100925304, wck=953.451, mem=279M367 964.86/956.93 decisions=814023, wrong=403756, backtracks=336824, failedAssignments=272551, nogoods=926, foundSolutions=8, bestBound=3269 964.86/956.93 1050.21/1042.26 num=94, depth=68..84, filters=294044107, revisions=(444736934,useless=185352055), ccks=2265456906, wck=1038.78, mem=117M876 1050.21/1042.26 decisions=903383, wrong=448399, backtracks=378120, failedAssignments=299815, nogoods=936, foundSolutions=8, bestBound=3269 1050.21/1042.26 1153.37/1145.34 num=95, depth=66..82, filters=326221288, revisions=(484157564,useless=197905327), ccks=2508991461, wck=1141.855, mem=238M951 1153.37/1145.34 decisions=993545, wrong=493445, backtracks=418909, failedAssignments=329805, nogoods=950, foundSolutions=8, bestBound=3269 1153.37/1145.34 1236.24/1228.16 num=96, depth=67..82, filters=352645192, revisions=(516235848,useless=207997556), ccks=2692607127, wck=1224.684, mem=107M88 1236.24/1228.16 decisions=1090947, wrong=542111, backtracks=453508, failedAssignments=362794, nogoods=966, foundSolutions=8, bestBound=3269 1236.24/1228.16 1298.18/1290.02 num=97, depth=61..83, filters=368174410, revisions=(536954629,useless=215615668), ccks=2875685599, wck=1286.543, mem=139M263 1298.18/1290.02 decisions=1191136, wrong=592172, backtracks=491727, failedAssignments=399082, nogoods=982, foundSolutions=8, bestBound=3269 1298.18/1290.02 1407.44/1399.24 num=98, depth=59..78, filters=395610835, revisions=(572274494,useless=227274837), ccks=3148194846, wck=1395.763, mem=147M643 1407.44/1399.24 decisions=1301179, wrong=647162, backtracks=528919, failedAssignments=438999, nogoods=1006, foundSolutions=8, bestBound=3269 1407.44/1399.24 1560.74/1552.41 num=99, depth=61..80, filters=431141142, revisions=(616352783,useless=240696465), ccks=3584285618, wck=1548.932, mem=148M632 1560.74/1552.41 decisions=1422748, wrong=707913, backtracks=579653, failedAssignments=482908, nogoods=1015, foundSolutions=8, bestBound=3269 1560.74/1552.41 1690.13/1681.73 num=100, depth=61..79, filters=463223910, revisions=(656761648,useless=253385275), ccks=3927048067, wck=1678.247, mem=129M11 1690.13/1681.73 decisions=1556439, wrong=774725, backtracks=626372, failedAssignments=531208, nogoods=1037, foundSolutions=8, bestBound=3269 1690.13/1681.73 1871.24/1862.64 num=101, depth=59..79, filters=508130507, revisions=(713821682,useless=271423432), ccks=4410395090, wck=1859.162, mem=136M30 1871.24/1862.64 decisions=1705024, wrong=848986, backtracks=684665, failedAssignments=584338, nogoods=1056, foundSolutions=8, bestBound=3269 1871.24/1862.64 2093.80/2085.08 num=102, depth=60..77, filters=562199416, revisions=(781761008,useless=292410337), ccks=5029799142, wck=2081.599, mem=185M980 2093.80/2085.08 decisions=1868048, wrong=930468, backtracks=755368, failedAssignments=642781, nogoods=1063, foundSolutions=8, bestBound=3269 2093.80/2085.08 2332.74/2323.79 num=103, depth=27..77, filters=632156226, revisions=(952873083,useless=394138221), ccks=5130871747, wck=2320.309, mem=124M706 2332.74/2323.79 decisions=2077849, wrong=1035353, backtracks=853284, failedAssignments=707068, nogoods=1072, foundSolutions=8, bestBound=3269 2332.74/2323.79 2520.02/2510.80 2520.02/2510.80 v <instantiation id='sol8' type='solution' cost='3269'> <list> x[] y[][] c[] s[] </list> <values> 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 * 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 * * 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 * * * -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 * * * * 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 * * * * * -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 * * * * * * 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 * * * * * * * -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 * * * * * * * * 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 * * * * * * * * * 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 * * * * * * * * * * 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 * * * * * * * * * * * 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 7 32 5 -10 7 6 5 -4 1 10 -7 6 -5 8 -7 6 5 2 7 0 11 0 1 6 7 2 5 6 1 6 -5 2 1 4 -3 -4 -1 -6 1 -8 -5 -10 -7 0 -5 2 -11 0 -9 6 -3 -10 5 0 -1 -8 1 -4 -7 0 -5 -4 -3 2 -1 -2 3 -4 1 -8 -3 -6 -5 -4 -3 -4 -3 -2 1 -4 -1 0 -3 -2 -1 -2 -1 9 0 49 1024 25 100 49 36 25 16 1 100 49 36 25 64 49 36 25 4 49 0 121 0 1 36 49 4 25 36 1 36 25 4 1 16 9 16 1 36 1 64 25 100 49 0 25 4 121 0 81 36 9 100 25 0 1 64 1 16 49 0 25 16 9 4 1 4 9 16 1 64 9 36 25 16 9 16 9 4 1 16 1 0 9 4 1 4 1 </values> </instantiation> 2520.02/2510.80 s SATISFIABLE
OK 3269
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 (14900 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390989-1568382853/watcher-4390989-1568382853 -o /tmp/evaluation-result-4390989-1568382853/solver-4390989-1568382853 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568380474-26101 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390989-1568382853.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26677, runsolver pid=26674
[startup+0.100059 s]*
/proc/loadavg: 1.96 2.18 2.10 5/229 26692
/proc/meminfo: memFree=31233136/32770624 swapFree=67000232/67108860
[pid=26677] ppid=26674 vsize=10659884 memory=28132 CPUtime=0.13 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 5537 0 0 0 13 0 0 0 20 0 15 0 414199320 10915721216 7033 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2664971 7033 2897 1 0 2627468 0
[pid=26677/tid=26679] ppid=26674 vsize=10659884 memory=-8197568871503532674 CPUtime=0.09 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) R 26674 26677 26068 0 -1 4202560 3270 0 0 0 9 0 0 0 20 0 15 0 414199320 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694676442656 140694656263525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199322 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414199322 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694163027616 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414199323 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694161974512 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) S 26674 26677 26068 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 15 0 414199325 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694159870192 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694158817648 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0.02 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) R 26674 26677 26068 0 -1 4202560 388 0 0 0 2 0 0 0 20 0 15 0 414199325 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694157760472 140694651343437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199326 10915721216 7033 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28132 KiB
[startup+0.210726 s]*
/proc/loadavg: 1.96 2.18 2.10 4/229 26692
/proc/meminfo: memFree=31222408/32770624 swapFree=67000232/67108860
[pid=26677] ppid=26674 vsize=10659884 memory=37368 CPUtime=0.33 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 9124 0 0 0 31 2 0 0 20 0 15 0 414199320 10915721216 9342 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2664971 9342 2989 1 0 2627468 0
[pid=26677/tid=26679] ppid=26674 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) R 26674 26677 26068 0 -1 4202560 6121 0 0 0 18 1 0 0 20 0 15 0 414199320 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694676446256 140694672241821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10659884 memory=3689212940633503392 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199322 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414199322 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694163027616 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414199323 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694161974512 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) S 26674 26677 26068 0 -1 1077944384 773 0 0 0 3 0 0 0 20 0 15 0 414199325 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694159870192 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) S 26674 26677 26068 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 15 0 414199325 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694158817648 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0.05 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) S 26674 26677 26068 0 -1 1077944384 683 0 0 0 5 0 0 0 20 0 15 0 414199325 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694157764592 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199326 10915721216 9342 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37368 KiB
[startup+0.31019 s]*
/proc/loadavg: 1.96 2.18 2.10 3/229 26692
/proc/meminfo: memFree=31220236/32770624 swapFree=67000232/67108860
[pid=26677] ppid=26674 vsize=10659884 memory=40172 CPUtime=0.47 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 9358 0 0 0 45 2 0 0 20 0 15 0 414199320 10915721216 10043 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2664971 10043 3012 1 0 2627468 0
[pid=26677/tid=26679] ppid=26674 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) R 26674 26677 26068 0 -1 4202560 6270 0 0 0 28 2 0 0 20 0 15 0 414199320 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694676442576 140694672241821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10659884 memory=4122675608674891424 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199322 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414199322 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694163027616 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414199323 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694161974512 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) R 26674 26677 26068 0 -1 1077944384 786 0 0 0 4 0 0 0 20 0 15 0 414199325 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694159870288 140694672230101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) R 26674 26677 26068 0 -1 4202560 228 0 0 0 4 0 0 0 20 0 15 0 414199325 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694158808160 140694652071982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0.07 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) S 26674 26677 26068 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 15 0 414199325 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694157764592 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10659884 memory=140099035068032 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199326 10915721216 10043 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40172 KiB
[startup+0.700816 s]
/proc/loadavg: 1.96 2.18 2.10 3/229 26692
/proc/meminfo: memFree=31209596/32770624 swapFree=67000232/67108860
[pid=26677] ppid=26674 vsize=10661932 memory=63980 CPUtime=1.11 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 12993 0 0 0 106 5 0 0 20 0 15 0 414199320 10917818368 15995 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2665483 15995 3075 1 0 2627980 0
[pid=26677/tid=26679] ppid=26674 vsize=10661932 memory=1240 CPUtime=0.68 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) R 26674 26677 26068 0 -1 4202560 8824 0 0 0 64 4 0 0 20 0 15 0 414199320 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694676442832 140694652495682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10661932 memory=580 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10661932 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10661932 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10661932 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199322 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10661932 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414199322 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694163027616 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10661932 memory=5908 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414199323 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694161974512 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10661932 memory=7811607157327816530 CPUtime=0.11 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) S 26674 26677 26068 0 -1 1077944384 1126 0 0 0 11 0 0 0 20 0 15 0 414199325 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694159870192 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10661932 memory=7236547281622689387 CPUtime=0.12 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) R 26674 26677 26068 0 -1 4202560 484 0 0 0 12 0 0 0 20 0 15 0 414199325 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694158817648 140694653763668 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) S 26674 26677 26068 0 -1 1077944384 1199 0 0 0 18 0 0 0 20 0 15 0 414199325 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694157764592 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414199325 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10661932 memory=33 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199326 10917818368 15995 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63980 KiB
[startup+1.50081 s]
/proc/loadavg: 1.96 2.18 2.10 3/229 26692
/proc/meminfo: memFree=31193776/32770624 swapFree=67000232/67108860
[pid=26677] ppid=26674 vsize=10663980 memory=75924 CPUtime=2 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 18635 0 0 0 194 6 0 0 20 0 15 0 414199320 10919915520 18981 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2665995 18981 3098 1 0 2628492 0
[pid=26677/tid=26679] ppid=26674 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) R 26674 26677 26068 0 -1 4202560 13036 0 0 0 143 5 0 0 20 0 15 0 414199320 10919915520 18981 33554432000 4194304 4196468 140726222194064 140694676445776 140694656300382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10919915520 18981 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10919915520 18981 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414199321 10919915520 18981 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414199321 10919915520 18981 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 414199322 10919915520 18981 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
################
# More data... #
################
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 5290 0 0 0 39 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.13 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 8504 0 0 0 9 4 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694163027680 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414199323 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694161974528 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10748324 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) S 26674 26677 26068 0 -1 1077944384 9425 0 0 0 287 1 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694159870192 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10748324 memory=280197762501024 CPUtime=2.87 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) S 26674 26677 26068 0 -1 1077944384 9821 0 0 0 285 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694158817648 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10748324 memory=311112 CPUtime=1.09 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) S 26674 26677 26068 0 -1 1077944384 11425 0 0 0 107 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694157764592 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.55 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1539 0 0 0 25 30 0 0 20 0 16 0 414199326 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26693] ppid=26674 vsize=10748324 memory=2960 CPUtime=2380.01 cores=1,3,5,7
/proc/26677/task/26693/stat : 26693 (java) R 26674 26677 26068 0 -1 4202560 25716 0 0 0 237994 7 0 0 20 0 16 0 414199507 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694138773232 140694293063148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 2391.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311112 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.71 1.82 3/231 27098
/proc/meminfo: memFree=31067164/32770624 swapFree=67000248/67108860
[pid=26677] ppid=26674 vsize=10748324 memory=311112 CPUtime=2451.45 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 111871 0 0 0 245061 84 0 0 20 0 16 0 414199320 11006283776 77778 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2687081 77778 3382 1 0 2647217 0
[pid=26677/tid=26679] ppid=26674 vsize=10748324 memory=311112 CPUtime=1.85 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) S 26674 26677 26068 0 -1 1077944384 15280 0 0 0 179 6 0 0 20 0 16 0 414199320 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694676462768 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.49 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 8904 0 0 0 40 9 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.48 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 7353 0 0 0 40 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.49 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 6763 0 0 0 41 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.48 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 5321 0 0 0 40 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.13 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 8686 0 0 0 9 4 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694163027680 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414199323 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694161974528 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10748324 memory=3616 CPUtime=2.88 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) S 26674 26677 26068 0 -1 1077944384 9428 0 0 0 287 1 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694159870192 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10748324 memory=35608 CPUtime=2.87 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) S 26674 26677 26068 0 -1 1077944384 9823 0 0 0 285 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694158817648 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10748324 memory=311112 CPUtime=1.09 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) S 26674 26677 26068 0 -1 1077944384 11427 0 0 0 107 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694157764592 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.57 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1569 0 0 0 26 31 0 0 20 0 16 0 414199326 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26693] ppid=26674 vsize=10748324 memory=311112 CPUtime=2440 cores=1,3,5,7
/proc/26677/task/26693/stat : 26693 (java) R 26674 26677 26068 0 -1 4202560 25920 0 0 0 243993 7 0 0 20 0 16 0 414199507 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694138773424 140694292177108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 2451.45 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311112 KiB
[startup+2502.3 s]
/proc/loadavg: 1.49 1.67 1.80 3/229 27102
/proc/meminfo: memFree=31067556/32770624 swapFree=67000248/67108860
[pid=26677] ppid=26674 vsize=10748324 memory=311112 CPUtime=2511.51 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 112692 0 0 0 251066 85 0 0 20 0 16 0 414199320 11006283776 77778 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2687081 77778 3382 1 0 2647217 0
[pid=26677/tid=26679] ppid=26674 vsize=10748324 memory=311112 CPUtime=1.85 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) S 26674 26677 26068 0 -1 1077944384 15280 0 0 0 179 6 0 0 20 0 16 0 414199320 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694676462768 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.5 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 8931 0 0 0 41 9 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.49 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 7417 0 0 0 41 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.5 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 7065 0 0 0 42 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.5 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 5329 0 0 0 42 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10748324 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 8867 0 0 0 9 4 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10748324 memory=311112 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694163027680 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10748324 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414199323 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694161974528 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10748324 memory=19916 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10748324 memory=311112 CPUtime=2.89 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) S 26674 26677 26068 0 -1 1077944384 9431 0 0 0 288 1 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694159870192 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10748324 memory=3616 CPUtime=2.87 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) S 26674 26677 26068 0 -1 1077944384 9825 0 0 0 285 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694158817648 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10748324 memory=988 CPUtime=1.09 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) S 26674 26677 26068 0 -1 1077944384 11429 0 0 0 107 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694157764592 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10748324 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.58 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1599 0 0 0 26 32 0 0 20 0 16 0 414199326 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26693] ppid=26674 vsize=10748324 memory=772 CPUtime=2500 cores=1,3,5,7
/proc/26677/task/26693/stat : 26693 (java) R 26674 26677 26068 0 -1 4202560 26122 0 0 0 249993 7 0 0 20 0 16 0 414199507 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694138773424 140694292014577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 2511.51 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.8 s]
/proc/loadavg: 1.53 1.68 1.80 3/229 27102
/proc/meminfo: memFree=31067556/32770624 swapFree=67000248/67108860
[pid=26677] ppid=26674 vsize=10748324 memory=311112 CPUtime=2520.02 cores=1,3,5,7
/proc/26677/stat : 26677 (java) S 26674 26677 26068 0 -1 1077944320 112696 0 0 0 251917 85 0 0 20 0 16 0 414199320 11006283776 77778 33554432000 4194304 4196468 140726222194064 140726222176608 140694672219895 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
/proc/26677/statm: 2687081 77778 3382 1 0 2647217 0
[pid=26677/tid=26679] ppid=26674 vsize=10748324 memory=964 CPUtime=1.85 cores=1,3,5,7
/proc/26677/task/26679/stat : 26679 (java) S 26674 26677 26068 0 -1 1077944384 15280 0 0 0 179 6 0 0 20 0 16 0 414199320 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694676462768 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26680] ppid=26674 vsize=10748324 memory=532 CPUtime=0.51 cores=1,3,5,7
/proc/26677/task/26680/stat : 26680 (java) S 26674 26677 26068 0 -1 1077944384 8931 0 0 0 42 9 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694608910864 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26681] ppid=26674 vsize=10748324 memory=1564 CPUtime=0.49 cores=1,3,5,7
/proc/26677/task/26681/stat : 26681 (java) S 26674 26677 26068 0 -1 1077944384 7417 0 0 0 41 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694607858320 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26682] ppid=26674 vsize=10748324 memory=928 CPUtime=0.5 cores=1,3,5,7
/proc/26677/task/26682/stat : 26682 (java) S 26674 26677 26068 0 -1 1077944384 7065 0 0 0 42 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694276401424 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26683] ppid=26674 vsize=10748324 memory=311112 CPUtime=0.5 cores=1,3,5,7
/proc/26677/task/26683/stat : 26683 (java) S 26674 26677 26068 0 -1 1077944384 5329 0 0 0 42 8 0 0 20 0 16 0 414199321 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694275348880 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26684] ppid=26674 vsize=10748324 memory=1398720917958146503 CPUtime=0.13 cores=1,3,5,7
/proc/26677/task/26684/stat : 26684 (java) S 26674 26677 26068 0 -1 1077944384 8870 0 0 0 9 4 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694164081392 140694672231042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26685] ppid=26674 vsize=10748324 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26685/stat : 26685 (java) S 26674 26677 26068 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414199322 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694163027680 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26686] ppid=26674 vsize=10748324 memory=808 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26686/stat : 26686 (java) S 26674 26677 26068 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414199323 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694161974528 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26687] ppid=26674 vsize=10748324 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26687/stat : 26687 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694160923088 140694672238491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26688] ppid=26674 vsize=10748324 memory=920 CPUtime=2.89 cores=1,3,5,7
/proc/26677/task/26688/stat : 26688 (java) S 26674 26677 26068 0 -1 1077944384 9431 0 0 0 288 1 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694159870192 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26689] ppid=26674 vsize=10748324 memory=3848 CPUtime=2.87 cores=1,3,5,7
/proc/26677/task/26689/stat : 26689 (java) S 26674 26677 26068 0 -1 1077944384 9825 0 0 0 285 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694158817648 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26690] ppid=26674 vsize=10748324 memory=2960 CPUtime=1.09 cores=1,3,5,7
/proc/26677/task/26690/stat : 26690 (java) S 26674 26677 26068 0 -1 1077944384 11429 0 0 0 107 2 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694157764592 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26691] ppid=26674 vsize=10748324 memory=2912 CPUtime=0 cores=1,3,5,7
/proc/26677/task/26691/stat : 26691 (java) S 26674 26677 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414199325 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694156712288 140694672230101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26692] ppid=26674 vsize=10748324 memory=1720 CPUtime=0.58 cores=1,3,5,7
/proc/26677/task/26692/stat : 26692 (java) S 26674 26677 26068 0 -1 1077944384 1599 0 0 0 26 32 0 0 20 0 16 0 414199326 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694155660336 140694672231042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
[pid=26677/tid=26693] ppid=26674 vsize=10748324 memory=1408 CPUtime=2508.49 cores=1,3,5,7
/proc/26677/task/26693/stat : 26693 (java) R 26674 26677 26068 0 -1 4202560 26123 0 0 0 250842 7 0 0 20 0 16 0 414199507 11006283776 77778 33554432000 4194304 4196468 140726222194064 140694138773376 140694291831691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16347136 140726222197771 140726222197874 140726222197874 140726222200783 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.82 s]
# the end of solver process 26677 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.18 s, system=0.857166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2510.82
CPU time (s): 2520.04
CPU user time (s): 2519.18
CPU system time (s): 0.857166
CPU usage (%): 100.367
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 563112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.18
system time used= 0.857166
maximum resident set size= 563112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59540
involuntary context switches= 1060
# summary of solver processes directly reported to runsolver:
# pid: 26677
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.18
# total CPU system time (s): 0.857166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8292 second user time and 22.1421 second system time
The end
Begin job on node146 at 2019-09-13 15:53:32 IDJOB=4390989 IDBENCH=126995 IDSOLVER=2832 FILE ID=node146/4390989-1568382853 RUNJOBID= node146-1568380474-26101 PBS_JOBID= 21701825 Free space on /tmp= 56688 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-090.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390989-1568382853/watcher-4390989-1568382853 -o /tmp/evaluation-result-4390989-1568382853/solver-4390989-1568382853 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568380474-26101 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390989-1568382853.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521 RANDOM SEED=1106788758 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 31249624 kB MemAvailable: 31604424 kB Buffers: 155516 kB Cached: 479360 kB SwapCached: 4964 kB Active: 622140 kB Inactive: 314212 kB Active(anon): 316856 kB Inactive(anon): 22584 kB Active(file): 305284 kB Inactive(file): 291628 kB Unevictable: 109392 kB Mlocked: 109392 kB SwapTotal: 67108860 kB SwapFree: 67000232 kB Dirty: 8616 kB Writeback: 4 kB AnonPages: 407144 kB Mapped: 53964 kB Shmem: 29580 kB Slab: 176620 kB SReclaimable: 147448 kB SUnreclaim: 29172 kB KernelStack: 3920 kB PageTables: 6812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1266092 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 333824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 56680 MiB End job on node146 at 2019-09-13 16:35:23