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 | 2400.02 | 2390.61 |
| 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 | 1941.24 |
| 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.61/1.90 2.61/1.90 AbsCon 2 2.61/1.92 3.94/2.35 Instance 3.94/2.35 name=instance-4391289-1568389771, framework=COP, bounds=-infty..+infty 3.94/2.35 3.94/2.35 Loading variables... 4.61/2.51 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f4a539 6.89/3.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2181302a 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@340cf93c 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae7298e 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c5fbaf8 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772c550a 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f158f5 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765f7c71 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ff10a5 6.89/3.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419cd5e4 6.89/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f2c2400 6.89/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28925844 6.89/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa15562 6.89/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0bb624 6.89/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4434a14 6.89/3.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe22983 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d17285d 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a40621d 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0058a7 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1230e79 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@597970c0 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3bf502 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2151f4c 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573b680c 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29c50741 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be45b85 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d259439 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0adc4b 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cfc9fad 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f822ad6 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100680a8 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd893cd 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ec5189 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1449945e 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef374f7 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@84ea60e 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1653c21 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45bb9c12 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c366ceb 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c2bd9c8 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713e1b95 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6a8257 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@667891f8 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fdc7d55 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ca92dd 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38026ea5 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376b61d1 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c72f053 6.89/3.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbd77f2 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67333ccd 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@473afd6e 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309b0b58 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5117cd6e 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@735ccd8d 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69212875 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49e7b9d5 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@380dd914 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e41e0c 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765e9e14 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b2dc941 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2036080b 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a90de29 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7913cd 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c102e74 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d39dfe8 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7a955a 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@269d84de 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c05cfa9 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1537e510 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfd5b93 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f6a51d1 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab55362 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b976521 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df8eb6c 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@299b4793 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac25e2a 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9965d5 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4418a9 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4d9c3c 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ed93325 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a75d47d 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@535cda72 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e354c73 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13126ea4 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403bd101 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236dc133 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@632e59de 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9ca933 6.89/3.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fef86ee 7.89/3.52 7.89/3.52 7.89/3.52 Domains 7.89/3.52 nTypes=179, nValues=20383, sizes=[2#4096,3#2,4#1,5#2...173#1,175#1,177#1,179#1] 7.89/3.52 Variables 7.89/3.52 count=4273, degrees=[2#4183,89#90] 7.89/3.52 Objectives 7.89/3.52 way=min, type=SumSimpleLE 7.89/3.52 Constraints 7.89/3.52 count=4184, nSpecific=90, arities=[2#90,3#4006,4#1,5#1...87#1,88#1,89#2,90#1] 7.89/3.52 distribution=[CtrIntension#4094,SumSimpleLE#1,SumWeightedEQ#89] 7.89/3.52 nIntStructures=(90,shared:4004), nCftStructures=(90,shared:4004,unbuilt:90) 7.89/3.52 wck=1.644, cpu=3.448, mem=48M413 7.89/3.54 Solver SolverBacktrack being built... 7.89/3.54 8.15/3.60 8.15/3.60 Solver 8.15/3.60 guaranteedGAC=false 8.15/3.60 wck=1.728, cpu=3.531, mem=132M46 8.33/3.72 8.33/3.72 Preprocessing 8.33/3.72 filters=0, ccks=490042, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 8.33/3.72 wck=0.118, cpu=3.652, mem=132M46 8.33/3.72 8.92/3.95 o 238965 8.92/3.97 num=0, depth=4274..4272, filters=10035, revisions=(16109,useless=10079), ccks=988176, wck=0.37, mem=137M263 8.92/3.97 decisions=90, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=238965 8.92/3.97 9.58/4.19 o 223301 9.86/4.20 num=1, depth=0..4272, filters=19999, revisions=(32351,useless=20319), ccks=1118680, wck=0.598, mem=139M871 9.86/4.20 decisions=182, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=223301 9.86/4.20 10.14/4.38 o 208341 10.14/4.39 num=2, depth=89..4272, filters=30151, revisions=(48994,useless=30815), ccks=1253478, wck=0.792, mem=142M490 10.14/4.39 decisions=273, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=208341 10.14/4.39 10.96/4.60 num=3, depth=48..61, filters=52262, revisions=(90088,useless=55470), ccks=1363558, wck=1.002, mem=142M490 10.96/4.60 decisions=361, wrong=19, backtracks=9, failedAssignments=13, nogoods=8, foundSolutions=3, bestBound=208341 10.96/4.60 10.96/4.66 o 14501 10.96/4.67 num=4, depth=4274..4272, filters=59796, revisions=(116163,useless=77427), ccks=1396153, wck=1.067, mem=145M134 10.96/4.67 decisions=411, wrong=19, backtracks=9, failedAssignments=13, nogoods=8, foundSolutions=4, bestBound=14501 10.96/4.67 11.41/4.84 o 13669 11.41/4.85 num=5, depth=50..4272, filters=74575, revisions=(154788,useless=107962), ccks=1431042, wck=1.248, mem=147M770 11.41/4.85 decisions=463, wrong=20, backtracks=9, failedAssignments=14, nogoods=9, foundSolutions=5, bestBound=13669 11.41/4.85 11.69/5.06 num=6, depth=50..63, filters=100732, revisions=(206748,useless=142841), ccks=1594215, wck=1.456, mem=147M770 11.69/5.06 decisions=541, wrong=32, backtracks=11, failedAssignments=25, nogoods=19, foundSolutions=5, bestBound=13669 11.69/5.06 11.86/5.16 o 13629 11.86/5.17 num=7, depth=55..4272, filters=118545, revisions=(247212,useless=172153), ccks=1748569, wck=1.568, mem=152M986 11.86/5.17 decisions=604, wrong=35, backtracks=11, failedAssignments=28, nogoods=22, foundSolutions=6, bestBound=13629 11.86/5.17 12.09/5.34 o 11157 12.09/5.35 num=8, depth=58..4272, filters=126504, revisions=(274263,useless=193711), ccks=1900443, wck=1.747, mem=155M594 12.09/5.35 decisions=675, wrong=41, backtracks=11, failedAssignments=34, nogoods=28, foundSolutions=7, bestBound=11157 12.09/5.35 12.33/5.53 num=9, depth=59..70, filters=144477, revisions=(309397,useless=215498), ccks=2135435, wck=1.927, mem=155M594 12.33/5.53 decisions=760, wrong=53, backtracks=13, failedAssignments=45, nogoods=38, foundSolutions=7, bestBound=11157 12.33/5.53 12.43/5.60 o 3269 12.43/5.60 num=10, depth=67..4272, filters=152844, revisions=(333955,useless=234354), ccks=2369984, wck=2.004, mem=158M202 12.43/5.60 decisions=835, wrong=56, backtracks=13, failedAssignments=48, nogoods=41, foundSolutions=8, bestBound=3269 12.43/5.60 12.63/5.84 num=11, depth=69..77, filters=182803, revisions=(383500,useless=260688), ccks=2599835, wck=2.245, mem=158M202 12.63/5.84 decisions=939, wrong=74, backtracks=24, failedAssignments=60, nogoods=45, foundSolutions=8, bestBound=3269 12.63/5.84 12.73/5.90 num=12, depth=74..84, filters=193269, revisions=(404942,useless=274355), ccks=2771486, wck=2.302, mem=158M202 12.73/5.90 decisions=1052, wrong=92, backtracks=40, failedAssignments=71, nogoods=49, foundSolutions=8, bestBound=3269 12.73/5.90 12.73/5.96 num=13, depth=83..88, filters=206048, revisions=(427806,useless=287732), ccks=2949048, wck=2.366, mem=158M202 12.73/5.96 decisions=1180, wrong=112, backtracks=48, failedAssignments=83, nogoods=55, foundSolutions=8, bestBound=3269 12.73/5.96 12.73/6.00 num=14, depth=51..73, filters=211129, revisions=(445224,useless=300188), ccks=2990783, wck=2.396, mem=158M202 12.73/6.00 decisions=1297, wrong=145, backtracks=74, failedAssignments=96, nogoods=56, foundSolutions=8, bestBound=3269 12.73/6.00 12.86/6.07 num=15, depth=78..83, filters=225486, revisions=(472688,useless=316949), ccks=3181074, wck=2.466, mem=158M202 12.86/6.07 decisions=1423, wrong=169, backtracks=89, failedAssignments=110, nogoods=57, foundSolutions=8, bestBound=3269 12.86/6.07 12.97/6.18 num=16, depth=80..87, filters=254793, revisions=(515460,useless=339481), ccks=3472859, wck=2.586, mem=158M810 12.97/6.18 decisions=1572, wrong=202, backtracks=114, failedAssignments=126, nogoods=60, foundSolutions=8, bestBound=3269 12.97/6.18 13.06/6.25 num=17, depth=85..89, filters=268104, revisions=(538245,useless=352784), ccks=3663904, wck=2.651, mem=158M810 13.06/6.25 decisions=1707, wrong=226, backtracks=123, failedAssignments=143, nogoods=67, foundSolutions=8, bestBound=3269 13.06/6.25 13.29/6.36 num=18, depth=57..67, filters=280776, revisions=(580184,useless=382303), ccks=3732302, wck=2.764, mem=107M418 13.29/6.36 decisions=1852, wrong=270, backtracks=160, failedAssignments=162, nogoods=68, foundSolutions=8, bestBound=3269 13.29/6.36 13.44/6.43 num=19, depth=85..91, filters=293476, revisions=(602799,useless=395297), ccks=3935529, wck=2.83, mem=107M418 13.44/6.43 decisions=1996, wrong=297, backtracks=167, failedAssignments=183, nogoods=77, foundSolutions=8, bestBound=3269 13.44/6.43 13.44/6.49 num=20, depth=83..92, filters=307207, revisions=(626796,useless=408833), ccks=4117020, wck=2.895, mem=107M418 13.44/6.49 decisions=2141, wrong=326, backtracks=175, failedAssignments=206, nogoods=84, foundSolutions=8, bestBound=3269 13.44/6.49 13.55/6.54 num=21, depth=40..63, filters=314682, revisions=(656862,useless=431699), ccks=4163683, wck=2.936, mem=107M418 13.55/6.54 decisions=2362, wrong=415, backtracks=247, failedAssignments=231, nogoods=86, foundSolutions=8, bestBound=3269 13.55/6.54 13.76/6.76 num=22, depth=76..85, filters=365267, revisions=(757622,useless=492688), ccks=4672220, wck=3.162, mem=107M418 13.76/6.76 decisions=2534, wrong=462, backtracks=278, failedAssignments=259, nogoods=91, foundSolutions=8, bestBound=3269 13.76/6.76 13.99/6.94 num=23, depth=80..86, filters=405817, revisions=(829016,useless=532303), ccks=5030933, wck=3.339, mem=107M418 13.99/6.94 decisions=2716, wrong=513, backtracks=309, failedAssignments=290, nogoods=93, foundSolutions=8, bestBound=3269 13.99/6.94 14.10/7.06 num=24, depth=78..85, filters=434859, revisions=(880584,useless=561079), ccks=5321978, wck=3.458, mem=111M626 14.10/7.06 decisions=2908, wrong=568, backtracks=340, failedAssignments=324, nogoods=104, foundSolutions=8, bestBound=3269 14.10/7.06 14.20/7.19 num=25, depth=81..87, filters=472021, revisions=(937963,useless=590447), ccks=5622927, wck=3.595, mem=111M626 14.20/7.19 decisions=3110, wrong=627, backtracks=373, failedAssignments=361, nogoods=107, foundSolutions=8, bestBound=3269 14.20/7.19 14.39/7.33 num=26, depth=82..89, filters=513195, revisions=(997477,useless=619192), ccks=5927730, wck=3.733, mem=111M626 14.39/7.33 decisions=3337, wrong=699, backtracks=416, failedAssignments=402, nogoods=111, foundSolutions=8, bestBound=3269 14.39/7.33 14.50/7.41 num=27, depth=50..85, filters=528126, revisions=(1042703,useless=649872), ccks=5995281, wck=3.808, mem=111M626 14.50/7.41 decisions=3745, wrong=869, backtracks=557, failedAssignments=447, nogoods=114, foundSolutions=8, bestBound=3269 14.50/7.41 14.70/7.60 num=28, depth=78..86, filters=576742, revisions=(1133188,useless=700237), ccks=6483787, wck=4.003, mem=111M626 14.70/7.60 decisions=3990, wrong=952, backtracks=610, failedAssignments=497, nogoods=120, foundSolutions=8, bestBound=3269 14.70/7.60 15.10/8.04 num=29, depth=80..87, filters=697718, revisions=(1314693,useless=797970), ccks=7229683, wck=4.445, mem=115M835 15.10/8.04 decisions=4257, wrong=1045, backtracks=678, failedAssignments=552, nogoods=125, foundSolutions=8, bestBound=3269 15.10/8.04 15.40/8.30 num=30, depth=80..88, filters=770817, revisions=(1430438,useless=858112), ccks=7729735, wck=4.704, mem=120M43 15.40/8.30 decisions=4530, wrong=1141, backtracks=740, failedAssignments=613, nogoods=133, foundSolutions=8, bestBound=3269 15.40/8.30 15.50/8.47 num=31, depth=80..88, filters=819546, revisions=(1507804,useless=896686), ccks=8116889, wck=4.869, mem=120M43 15.50/8.47 decisions=4813, wrong=1241, backtracks=788, failedAssignments=680, nogoods=139, foundSolutions=8, bestBound=3269 15.50/8.47 15.70/8.62 num=32, depth=79..87, filters=866541, revisions=(1584183,useless=933824), ccks=8488621, wck=5.018, mem=120M43 15.70/8.62 decisions=5121, wrong=1354, backtracks=845, failedAssignments=754, nogoods=146, foundSolutions=8, bestBound=3269 15.70/8.62 15.90/8.86 num=33, depth=77..86, filters=949064, revisions=(1708448,useless=990725), ccks=9022526, wck=5.26, mem=120M43 15.90/8.86 decisions=5464, wrong=1486, backtracks=925, failedAssignments=835, nogoods=149, foundSolutions=8, bestBound=3269 15.90/8.86 16.30/9.20 num=34, depth=77..88, filters=1054617, revisions=(1858562,useless=1061473), ccks=9796163, wck=5.604, mem=124M252 16.30/9.20 decisions=5883, wrong=1656, backtracks=1056, failedAssignments=924, nogoods=154, foundSolutions=8, bestBound=3269 16.30/9.20 16.40/9.32 num=35, depth=83..91, filters=1093239, revisions=(1914053,useless=1086875), ccks=10075883, wck=5.723, mem=124M252 16.40/9.32 decisions=6259, wrong=1802, backtracks=1118, failedAssignments=1022, nogoods=160, foundSolutions=8, bestBound=3269 16.40/9.32 17.00/9.90 num=36, depth=62..73, filters=1266980, revisions=(2197832,useless=1242412), ccks=11186556, wck=6.303, mem=128M460 17.00/9.90 decisions=6708, wrong=1993, backtracks=1283, failedAssignments=1130, nogoods=164, foundSolutions=8, bestBound=3269 17.00/9.90 17.21/10.13 num=37, depth=80..87, filters=1346703, revisions=(2306247,useless=1289800), ccks=11623826, wck=6.535, mem=128M460 17.21/10.13 decisions=7160, wrong=2179, backtracks=1380, failedAssignments=1249, nogoods=174, foundSolutions=8, bestBound=3269 17.21/10.13 17.40/10.31 num=38, depth=81..90, filters=1406874, revisions=(2389623,useless=1326539), ccks=11971380, wck=6.707, mem=132M669 17.40/10.31 decisions=7625, wrong=2369, backtracks=1478, failedAssignments=1380, nogoods=187, foundSolutions=8, bestBound=3269 17.40/10.31 17.60/10.50 num=39, depth=81..91, filters=1474520, revisions=(2479808,useless=1363818), ccks=12406017, wck=6.901, mem=132M669 17.60/10.50 decisions=8246, wrong=2637, backtracks=1649, failedAssignments=1524, nogoods=192, foundSolutions=8, bestBound=3269 17.60/10.50 17.70/10.68 num=40, depth=82..92, filters=1533925, revisions=(2560182,useless=1398063), ccks=12812339, wck=7.083, mem=132M669 17.70/10.68 decisions=8861, wrong=2902, backtracks=1789, failedAssignments=1682, nogoods=195, foundSolutions=8, bestBound=3269 17.70/10.68 18.00/10.90 num=41, depth=80..91, filters=1612174, revisions=(2661783,useless=1439588), ccks=13247960, wck=7.304, mem=136M878 18.00/10.90 decisions=9482, wrong=3170, backtracks=1917, failedAssignments=1856, nogoods=202, foundSolutions=8, bestBound=3269 18.00/10.90 18.31/11.23 num=42, depth=78..87, filters=1734327, revisions=(2824844,useless=1504281), ccks=13891995, wck=7.63, mem=136M878 18.31/11.23 decisions=10171, wrong=3473, backtracks=2086, failedAssignments=2047, nogoods=210, foundSolutions=8, bestBound=3269 18.31/11.23 18.70/11.56 num=43, depth=77..94, filters=1851587, revisions=(2967371,useless=1558569), ccks=14482319, wck=7.962, mem=141M986 18.70/11.56 decisions=11026, wrong=3859, backtracks=2320, failedAssignments=2258, nogoods=215, foundSolutions=8, bestBound=3269 18.70/11.56 19.20/12.01 num=44, depth=79..91, filters=2003408, revisions=(3157255,useless=1633204), ccks=15376749, wck=8.407, mem=146M194 19.20/12.01 decisions=11830, wrong=4221, backtracks=2594, failedAssignments=2490, nogoods=219, foundSolutions=8, bestBound=3269 19.20/12.01 19.83/12.63 num=45, depth=75..85, filters=2182101, revisions=(3381344,useless=1710713), ccks=16909402, wck=9.026, mem=146M194 19.83/12.63 decisions=12660, wrong=4597, backtracks=2830, failedAssignments=2745, nogoods=233, foundSolutions=8, bestBound=3269 19.83/12.63 20.74/13.59 num=46, depth=70..81, filters=2426301, revisions=(3699249,useless=1814369), ccks=19786905, wck=9.994, mem=154M611 20.74/13.59 decisions=13554, wrong=5008, backtracks=3113, failedAssignments=3026, nogoods=239, foundSolutions=8, bestBound=3269 20.74/13.59 21.64/14.41 num=47, depth=68..78, filters=2650717, revisions=(4001462,useless=1918094), ccks=21962811, wck=10.807, mem=158M820 21.64/14.41 decisions=14476, wrong=5434, backtracks=3397, failedAssignments=3335, nogoods=262, foundSolutions=8, bestBound=3269 21.64/14.41 22.85/15.69 num=48, depth=66..76, filters=2981873, revisions=(4441859,useless=2064718), ccks=25420201, wck=12.093, mem=167M237 22.85/15.69 decisions=15486, wrong=5906, backtracks=3760, failedAssignments=3675, nogoods=270, foundSolutions=8, bestBound=3269 22.85/15.69 23.95/16.79 num=49, depth=64..74, filters=3282157, revisions=(4858022,useless=2210512), ccks=28541294, wck=13.195, mem=171M446 23.95/16.79 decisions=16558, wrong=6409, backtracks=4125, failedAssignments=4049, nogoods=283, foundSolutions=8, bestBound=3269 23.95/16.79 25.36/18.18 num=50, depth=63..74, filters=3695499, revisions=(5428388,useless=2412101), ccks=31798948, wck=14.584, mem=179M863 25.36/18.18 decisions=17708, wrong=6951, backtracks=4537, failedAssignments=4460, nogoods=300, foundSolutions=8, bestBound=3269 25.36/18.18 27.07/19.89 num=51, depth=62..74, filters=4161125, revisions=(6069838,useless=2635765), ccks=36371218, wck=16.288, mem=192M489 27.07/19.89 decisions=18976, wrong=7552, backtracks=5046, failedAssignments=4912, nogoods=307, foundSolutions=8, bestBound=3269 27.07/19.89 28.97/21.73 num=52, depth=62..75, filters=4665672, revisions=(6758410,useless=2870422), ccks=41133045, wck=18.129, mem=200M906 28.97/21.73 decisions=20323, wrong=8193, backtracks=5575, failedAssignments=5409, nogoods=313, foundSolutions=8, bestBound=3269 28.97/21.73 30.97/23.73 num=53, depth=62..73, filters=5189649, revisions=(7469848,useless=3111725), ccks=46356376, wck=20.136, mem=213M532 30.97/23.73 decisions=21829, wrong=8914, backtracks=6164, failedAssignments=5956, nogoods=327, foundSolutions=8, bestBound=3269 30.97/23.73 32.98/25.79 num=54, depth=62..73, filters=5767358, revisions=(8262228,useless=3387183), ccks=51595935, wck=22.186, mem=226M157 32.98/25.79 decisions=23480, wrong=9708, backtracks=6787, failedAssignments=6558, nogoods=334, foundSolutions=8, bestBound=3269 32.98/25.79 35.39/28.16 num=55, depth=62..75, filters=6424893, revisions=(9144159,useless=3679920), ccks=57681963, wck=24.562, mem=238M783 35.39/28.16 decisions=25244, wrong=10558, backtracks=7488, failedAssignments=7220, nogoods=341, foundSolutions=8, bestBound=3269 35.39/28.16 37.89/30.61 num=56, depth=62..75, filters=7034861, revisions=(9964602,useless=3962011), ccks=63923962, wck=27.013, mem=251M409 37.89/30.61 decisions=27230, wrong=11519, backtracks=8238, failedAssignments=7948, nogoods=349, foundSolutions=8, bestBound=3269 37.89/30.61 40.90/33.63 num=57, depth=61..76, filters=7813287, revisions=(11026496,useless=4327613), ccks=72179693, wck=30.035, mem=268M243 40.90/33.63 decisions=29397, wrong=12570, backtracks=9122, failedAssignments=8749, nogoods=354, foundSolutions=8, bestBound=3269 40.90/33.63 44.00/36.70 num=58, depth=62..75, filters=8608235, revisions=(12088232,useless=4678282), ccks=80345748, wck=33.101, mem=285M77 44.00/36.70 decisions=31756, wrong=13717, backtracks=10035, failedAssignments=9630, nogoods=363, foundSolutions=8, bestBound=3269 44.00/36.70 47.31/40.09 num=59, depth=60..73, filters=9496392, revisions=(13311978,useless=5126133), ccks=88689437, wck=36.489, mem=306M120 47.31/40.09 decisions=34460, wrong=15038, backtracks=11057, failedAssignments=10600, nogoods=372, foundSolutions=8, bestBound=3269 47.31/40.09 51.25/43.92 num=60, depth=62..75, filters=10374991, revisions=(14484662,useless=5516744), ccks=99440215, wck=40.32, mem=111M852 51.25/43.92 decisions=37340, wrong=16445, backtracks=12220, failedAssignments=11667, nogoods=378, foundSolutions=8, bestBound=3269 51.25/43.92 55.49/48.20 num=61, depth=61..75, filters=11548014, revisions=(16068424,useless=6055995), ccks=109724846, wck=44.597, mem=137M168 55.49/48.20 decisions=40544, wrong=18015, backtracks=13414, failedAssignments=12840, nogoods=389, foundSolutions=8, bestBound=3269 55.49/48.20 59.78/52.46 num=62, depth=63..75, filters=12606337, revisions=(17481246,useless=6525191), ccks=121359146, wck=48.859, mem=162M483 59.78/52.46 decisions=44032, wrong=19726, backtracks=14756, failedAssignments=14131, nogoods=408, foundSolutions=8, bestBound=3269 59.78/52.46 64.88/57.51 num=63, depth=62..75, filters=13941793, revisions=(19259877,useless=7109998), ccks=135061112, wck=53.912, mem=192M19 64.88/57.51 decisions=47922, wrong=21638, backtracks=16264, failedAssignments=15551, nogoods=421, foundSolutions=8, bestBound=3269 64.88/57.51 70.28/62.96 num=64, depth=60..74, filters=15413102, revisions=(21265112,useless=7809519), ccks=149030062, wck=59.363, mem=221M554 70.28/62.96 decisions=52321, wrong=23806, backtracks=17895, failedAssignments=17113, nogoods=429, foundSolutions=8, bestBound=3269 70.28/62.96 75.49/68.15 num=65, depth=61..73, filters=16911015, revisions=(23363289,useless=8540175), ccks=163580097, wck=64.548, mem=255M308 75.49/68.15 decisions=57037, wrong=26133, backtracks=19635, failedAssignments=18831, nogoods=443, foundSolutions=8, bestBound=3269 75.49/68.15 83.09/75.74 num=66, depth=62..78, filters=18749600, revisions=(25778714,useless=9325653), ccks=183563459, wck=72.144, mem=293M282 83.09/75.74 decisions=62144, wrong=28654, backtracks=21759, failedAssignments=20721, nogoods=459, foundSolutions=8, bestBound=3269 83.09/75.74 89.15/81.75 num=67, depth=61..74, filters=20431604, revisions=(28081124,useless=10122709), ccks=198615696, wck=78.151, mem=116M188 89.15/81.75 decisions=67692, wrong=31397, backtracks=23797, failedAssignments=22800, nogoods=476, foundSolutions=8, bestBound=3269 89.15/81.75 97.34/89.98 num=68, depth=61..76, filters=22588106, revisions=(30965516,useless=11086738), ccks=219502531, wck=86.378, mem=166M896 97.34/89.98 decisions=73922, wrong=34480, backtracks=26178, failedAssignments=25087, nogoods=496, foundSolutions=8, bestBound=3269 97.34/89.98 104.95/97.57 num=69, depth=59..74, filters=24390139, revisions=(33470483,useless=11991883), ccks=241505981, wck=93.973, mem=204M926 104.95/97.57 decisions=80610, wrong=37793, backtracks=28829, failedAssignments=27603, nogoods=510, foundSolutions=8, bestBound=3269 104.95/97.57 112.64/105.25 num=70, depth=60..74, filters=26653120, revisions=(36580938,useless=13085107), ccks=261263750, wck=101.651, mem=255M634 112.64/105.25 decisions=88059, wrong=41486, backtracks=31449, failedAssignments=30371, nogoods=535, foundSolutions=8, bestBound=3269 112.64/105.25 122.47/115.11 num=71, depth=59..74, filters=29141316, revisions=(39977506,useless=14321643), ccks=287594015, wck=111.506, mem=312M679 122.47/115.11 decisions=96456, wrong=45653, backtracks=34566, failedAssignments=33415, nogoods=551, foundSolutions=8, bestBound=3269 122.47/115.11 132.39/124.99 num=72, depth=60..75, filters=31642805, revisions=(43422463,useless=15532693), ccks=315289327, wck=121.394, mem=363M387 132.39/124.99 decisions=105425, wrong=50106, backtracks=38024, failedAssignments=36764, nogoods=567, foundSolutions=8, bestBound=3269 132.39/124.99 145.45/137.95 num=73, depth=61..75, filters=35098022, revisions=(48030243,useless=17102130), ccks=349130810, wck=134.348, mem=122M98 145.45/137.95 decisions=115697, wrong=55210, backtracks=42062, failedAssignments=40448, nogoods=578, foundSolutions=8, bestBound=3269 145.45/137.95 158.25/150.72 num=74, depth=60..75, filters=38181807, revisions=(52220585,useless=18557459), ccks=384859781, wck=147.117, mem=190M10 158.25/150.72 decisions=126588, wrong=60624, backtracks=46296, failedAssignments=44500, nogoods=594, foundSolutions=8, bestBound=3269 158.25/150.72 169.66/162.17 num=75, depth=59..75, filters=41509240, revisions=(56858185,useless=20209042), ccks=414173411, wck=158.568, mem=264M95 169.66/162.17 decisions=138333, wrong=66465, backtracks=50588, failedAssignments=48957, nogoods=613, foundSolutions=8, bestBound=3269 169.66/162.17 188.67/181.17 num=76, depth=58..74, filters=46391870, revisions=(63544046,useless=22622429), ccks=460658703, wck=177.567, mem=369M48 188.67/181.17 decisions=152111, wrong=73324, backtracks=55932, failedAssignments=53860, nogoods=630, foundSolutions=8, bestBound=3269 188.67/181.17 205.52/197.96 num=77, depth=60..74, filters=50543024, revisions=(69103539,useless=24560219), ccks=506161046, wck=194.365, mem=145M556 205.52/197.96 decisions=166666, wrong=80570, backtracks=61512, failedAssignments=59254, nogoods=652, foundSolutions=8, bestBound=3269 205.52/197.96 224.93/217.34 num=78, depth=60..76, filters=55800513, revisions=(76158497,useless=26938041), ccks=557563054, wck=213.741, mem=259M634 224.93/217.34 decisions=182887, wrong=88649, backtracks=67618, failedAssignments=65187, nogoods=666, foundSolutions=8, bestBound=3269 224.93/217.34 255.78/248.12 num=79, depth=26..70, filters=64367582, revisions=(98396746,useless=40668331), ccks=570374173, wck=244.516, mem=144M436 255.78/248.12 decisions=204941, wrong=99658, backtracks=77462, failedAssignments=71713, nogoods=680, foundSolutions=8, bestBound=3269 255.78/248.12 283.89/276.29 num=80, depth=66..81, filters=73253005, revisions=(109385410,useless=44186094), ccks=635795767, wck=272.69, mem=319M689 283.89/276.29 decisions=226738, wrong=110522, backtracks=87845, failedAssignments=78892, nogoods=707, foundSolutions=8, bestBound=3269 283.89/276.29 310.65/302.94 num=81, depth=64..79, filters=80349645, revisions=(118338239,useless=47311054), ccks=702666358, wck=299.34, mem=171M872 310.65/302.94 decisions=249988, wrong=122112, backtracks=97570, failedAssignments=86789, nogoods=724, foundSolutions=8, bestBound=3269 310.65/302.94 340.95/333.28 num=82, depth=66..79, filters=88697119, revisions=(128639899,useless=50597232), ccks=781593814, wck=329.682, mem=342M509 340.95/333.28 decisions=275343, wrong=134754, backtracks=108481, failedAssignments=95476, nogoods=742, foundSolutions=8, bestBound=3269 340.95/333.28 378.59/370.89 num=83, depth=61..78, filters=98245941, revisions=(140820923,useless=54299279), ccks=888240935, wck=367.292, mem=264M66 378.59/370.89 decisions=301297, wrong=147698, backtracks=119675, failedAssignments=105031, nogoods=768, foundSolutions=8, bestBound=3269 378.59/370.89 409.54/401.79 num=84, depth=61..77, filters=105826006, revisions=(150501597,useless=57421395), ccks=971950617, wck=398.186, mem=157M508 409.54/401.79 decisions=330638, wrong=162336, backtracks=130366, failedAssignments=115542, nogoods=791, foundSolutions=8, bestBound=3269 409.54/401.79 444.56/436.75 num=85, depth=61..76, filters=114323210, revisions=(161561703,useless=61094275), ccks=1067745804, wck=433.151, mem=346M64 444.56/436.75 decisions=361574, wrong=177772, backtracks=142537, failedAssignments=127104, nogoods=817, foundSolutions=8, bestBound=3269 444.56/436.75 494.43/486.52 num=86, depth=31..77, filters=128647102, revisions=(197669465,useless=83172875), ccks=1088559704, wck=482.922, mem=108M739 494.43/486.52 decisions=405212, wrong=199570, backtracks=161954, failedAssignments=139822, nogoods=825, foundSolutions=8, bestBound=3269 494.43/486.52 536.88/528.93 num=87, depth=68..83, filters=142619374, revisions=(214568772,useless=88744366), ccks=1185579394, wck=525.328, mem=123M571 536.88/528.93 decisions=448092, wrong=220974, backtracks=182074, failedAssignments=153812, nogoods=839, foundSolutions=8, bestBound=3269 536.88/528.93 591.42/583.47 num=88, depth=64..79, filters=158235239, revisions=(234034998,useless=94593390), ccks=1331749007, wck=579.87, mem=200M725 591.42/583.47 decisions=492232, wrong=243010, backtracks=200263, failedAssignments=169201, nogoods=855, foundSolutions=8, bestBound=3269 591.42/583.47 646.96/638.95 num=89, depth=66..82, filters=174363749, revisions=(253721955,useless=100682500), ccks=1473749312, wck=635.352, mem=288M102 646.96/638.95 decisions=541886, wrong=267802, backtracks=220951, failedAssignments=186129, nogoods=869, foundSolutions=8, bestBound=3269 646.96/638.95 711.56/703.41 num=90, depth=64..79, filters=190122500, revisions=(273267420,useless=106637617), ccks=1663900096, wck=699.81, mem=171M194 711.56/703.41 decisions=594680, wrong=294165, backtracks=243518, failedAssignments=204750, nogoods=882, foundSolutions=8, bestBound=3269 711.56/703.41 780.31/772.12 num=91, depth=61..77, filters=208290760, revisions=(296660805,useless=113927411), ccks=1864019837, wck=768.523, mem=120M964 780.31/772.12 decisions=652070, wrong=322827, backtracks=266228, failedAssignments=225234, nogoods=900, foundSolutions=8, bestBound=3269 780.31/772.12 850.45/842.21 num=92, depth=58..77, filters=227829140, revisions=(322544850,useless=122484566), ccks=2048822331, wck=838.614, mem=116M118 850.45/842.21 decisions=713401, wrong=353462, backtracks=289729, failedAssignments=247766, nogoods=918, foundSolutions=8, bestBound=3269 850.45/842.21 967.21/958.92 num=93, depth=26..73, filters=262346428, revisions=(406858944,useless=172704079), ccks=2100925304, wck=955.316, mem=253M180 967.21/958.92 decisions=814023, wrong=403756, backtracks=336824, failedAssignments=272551, nogoods=926, foundSolutions=8, bestBound=3269 967.21/958.92 1051.66/1043.36 num=94, depth=68..84, filters=294044107, revisions=(444736934,useless=185352055), ccks=2265456906, wck=1039.758, mem=268M845 1051.66/1043.36 decisions=903383, wrong=448399, backtracks=378120, failedAssignments=299815, nogoods=936, foundSolutions=8, bestBound=3269 1051.66/1043.36 1154.81/1146.41 num=95, depth=66..82, filters=326221288, revisions=(484157564,useless=197905327), ccks=2508991461, wck=1142.813, mem=206M408 1154.81/1146.41 decisions=993545, wrong=493445, backtracks=418909, failedAssignments=329805, nogoods=950, foundSolutions=8, bestBound=3269 1154.81/1146.41 1236.85/1228.46 num=96, depth=67..82, filters=352645192, revisions=(516235848,useless=207997556), ccks=2692607127, wck=1224.859, mem=231M724 1236.85/1228.46 decisions=1090947, wrong=542111, backtracks=453508, failedAssignments=362794, nogoods=966, foundSolutions=8, bestBound=3269 1236.85/1228.46 1298.18/1289.71 num=97, depth=61..83, filters=368174410, revisions=(536954629,useless=215615668), ccks=2875685599, wck=1286.107, mem=254M2 1298.18/1289.71 decisions=1191136, wrong=592172, backtracks=491727, failedAssignments=399082, nogoods=982, foundSolutions=8, bestBound=3269 1298.18/1289.71 1407.36/1398.87 num=98, depth=59..78, filters=395610835, revisions=(572274494,useless=227274837), ccks=3148194846, wck=1395.267, mem=112M315 1407.36/1398.87 decisions=1301179, wrong=647162, backtracks=528919, failedAssignments=438999, nogoods=1006, foundSolutions=8, bestBound=3269 1407.36/1398.87 1560.35/1551.75 num=99, depth=61..80, filters=431141142, revisions=(616352783,useless=240696465), ccks=3584285618, wck=1548.15, mem=109M157 1560.35/1551.75 decisions=1422748, wrong=707913, backtracks=579653, failedAssignments=482908, nogoods=1015, foundSolutions=8, bestBound=3269 1560.35/1551.75 1689.34/1680.67 num=100, depth=61..79, filters=463223910, revisions=(656761648,useless=253385275), ccks=3927048067, wck=1677.075, mem=203M431 1689.34/1680.67 decisions=1556439, wrong=774725, backtracks=626372, failedAssignments=531208, nogoods=1037, foundSolutions=8, bestBound=3269 1689.34/1680.67 1870.36/1861.46 num=101, depth=59..79, filters=508130507, revisions=(713821682,useless=271423432), ccks=4410395090, wck=1857.861, mem=189M217 1870.36/1861.46 decisions=1705024, wrong=848986, backtracks=684665, failedAssignments=584338, nogoods=1056, foundSolutions=8, bestBound=3269 1870.36/1861.46 2093.13/2084.07 num=102, depth=60..77, filters=562199416, revisions=(781761008,useless=292410337), ccks=5029799142, wck=2080.469, mem=132M278 2093.13/2084.07 decisions=1868048, wrong=930468, backtracks=755368, failedAssignments=642781, nogoods=1063, foundSolutions=8, bestBound=3269 2093.13/2084.07 2335.45/2326.18 num=103, depth=27..77, filters=632156226, revisions=(952873083,useless=394138221), ccks=5130871747, wck=2322.577, mem=139M687 2335.45/2326.18 decisions=2077849, wrong=1035353, backtracks=853284, failedAssignments=707068, nogoods=1072, foundSolutions=8, bestBound=3269 2335.45/2326.18 2400.00/2390.60 2400.00/2390.60 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> 2400.00/2390.60 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 (9765 MiB free)
memory of node 1: 16384 MiB (11407 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391289-1568389771/watcher-4391289-1568389771 -o /tmp/evaluation-result-4391289-1568389771/solver-4391289-1568389771 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4913 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391289-1568389771.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5295, runsolver pid=5292
[startup+0.1001 s]*
/proc/loadavg: 2.29 1.42 1.28 6/228 5310
/proc/meminfo: memFree=21665316/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10659884 memory=27940 CPUtime=0.13 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 5492 0 0 0 12 1 0 0 20 0 15 0 414915530 10915721216 6985 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2664971 6985 2862 1 0 2627468 0
[pid=5295/tid=5297] ppid=5292 vsize=10659884 memory=-8969298482328073408 CPUtime=0.09 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) R 5292 5295 2817 0 -1 4202560 3192 0 0 0 9 0 0 0 20 0 15 0 414915530 10915721216 6985 33554432000 4194304 4196468 140736239675408 140676345054112 140676333062974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 6985 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 6985 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 6985 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 6985 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915532 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915533 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675898971552 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915533 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675897918960 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915535 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 414915535 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) R 5292 5295 2817 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 414915535 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675894761584 140676340836994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0.02 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) R 5292 5295 2817 0 -1 4202560 412 0 0 0 2 0 0 0 20 0 15 0 414915536 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675893703424 140676324962267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915536 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915536 10915721216 6985 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27940 KiB
[startup+0.210755 s]*
/proc/loadavg: 2.29 1.42 1.28 5/228 5310
/proc/meminfo: memFree=21657240/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10659884 memory=35100 CPUtime=0.33 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 6900 0 0 0 31 2 0 0 20 0 15 0 414915530 10915721216 8775 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2664971 8775 2989 1 0 2627468 0
[pid=5295/tid=5297] ppid=5292 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) R 5292 5295 2817 0 -1 4202560 3854 0 0 0 19 1 0 0 20 0 15 0 414915530 10915721216 8775 33554432000 4194304 4196468 140736239675408 140676345057936 140676340847773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 8775 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10659884 memory=288370380469048960 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 8775 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 8775 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 8775 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915532 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915533 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675898971552 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915533 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675897918960 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915535 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 414915535 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) S 5292 5295 2817 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 15 0 414915535 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675894761584 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0.05 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) S 5292 5295 2817 0 -1 1077944384 724 0 0 0 5 0 0 0 20 0 15 0 414915536 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675893709040 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915536 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915536 10915721216 8775 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35100 KiB
[startup+0.310087 s]*
/proc/loadavg: 2.29 1.42 1.28 5/228 5310
/proc/meminfo: memFree=21648760/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10659884 memory=40484 CPUtime=0.47 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 9412 0 0 0 43 4 0 0 20 0 15 0 414915530 10915721216 10121 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2664971 10121 3002 1 0 2627468 0
[pid=5295/tid=5297] ppid=5292 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) R 5292 5295 2817 0 -1 4202560 6299 0 0 0 27 2 0 0 20 0 15 0 414915530 10915721216 10121 33554432000 4194304 4196468 140736239675408 140676345058256 140676324906334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10659884 memory=4297096155 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 10121 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10659884 memory=288370380469048960 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 10121 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 10121 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915531 10915721216 10121 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915532 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915533 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675898971552 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915533 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675897918960 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915535 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 520 0 0 0 3 0 0 0 20 0 15 0 414915535 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) S 5292 5295 2817 0 -1 1077944384 493 0 0 0 4 0 0 0 20 0 15 0 414915535 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675894761584 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0.08 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) S 5292 5295 2817 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 414915536 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675893709040 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915536 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10659884 memory=140004317337216 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915536 10915721216 10121 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40484 KiB
[startup+0.700837 s]
/proc/loadavg: 2.29 1.42 1.28 4/228 5310
/proc/meminfo: memFree=21635452/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10661932 memory=64032 CPUtime=1.1 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 13072 0 0 0 104 6 0 0 20 0 15 0 414915530 10917818368 16008 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2665483 16008 3073 1 0 2627980 0
[pid=5295/tid=5297] ppid=5292 vsize=10661932 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) R 5292 5295 2817 0 -1 4202560 8862 0 0 0 64 4 0 0 20 0 15 0 414915530 10917818368 16008 33554432000 4194304 4196468 140736239675408 140676345042640 140676324012656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10661932 memory=18832 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10917818368 16008 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10661932 memory=532 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10917818368 16008 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10917818368 16008 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10661932 memory=932 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915531 10917818368 16008 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10661932 memory=3680 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915532 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10661932 memory=864 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414915533 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675898971552 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414915533 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675897918960 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10661932 memory=4640781674728153957 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915535 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10661932 memory=7163086641608552552 CPUtime=0.09 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 857 0 0 0 9 0 0 0 20 0 15 0 414915535 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10661932 memory=7523071198212214892 CPUtime=0.11 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) R 5292 5295 2817 0 -1 4202560 734 0 0 0 11 0 0 0 20 0 15 0 414915535 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675894761584 140676321524215 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) S 5292 5295 2817 0 -1 1077944384 1261 0 0 0 18 0 0 0 20 0 15 0 414915536 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675893709040 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414915536 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10661932 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915536 10917818368 16008 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64032 KiB
[startup+1.50069 s]
/proc/loadavg: 2.29 1.42 1.28 6/228 5310
/proc/meminfo: memFree=21609860/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10663980 memory=75880 CPUtime=2 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 18628 0 0 0 193 7 0 0 20 0 15 0 414915530 10919915520 18970 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2665995 18970 3093 1 0 2628492 0
[pid=5295/tid=5297] ppid=5292 vsize=10663980 memory=71936 CPUtime=1.47 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) R 5292 5295 2817 0 -1 4202560 13039 0 0 0 142 5 0 0 20 0 15 0 414915530 10919915520 18970 33554432000 4194304 4196468 140736239675408 140676345051728 140676324012656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10919915520 18970 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10919915520 18970 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414915531 10919915520 18970 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414915531 10919915520 18970 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 414915532 10919915520 18970 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
################
# More data... #
################
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 6863 0 0 0 36 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.12 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 8825 0 0 0 9 3 0 0 20 0 16 0 414915532 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675898971616 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10748324 memory=325176 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675897918976 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10748324 memory=804 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10748324 memory=325176 CPUtime=3.2 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 14840 0 0 0 317 3 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10748324 memory=325176 CPUtime=2.96 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) S 5292 5295 2817 0 -1 1077944384 11142 0 0 0 294 2 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675894761584 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10748324 memory=2540 CPUtime=1.09 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) S 5292 5295 2817 0 -1 1077944384 14264 0 0 0 107 2 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675893709040 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10748324 memory=39292 CPUtime=0.7 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 2358 0 0 0 30 40 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5311] ppid=5292 vsize=10748324 memory=325176 CPUtime=2259.72 cores=0,2,4,6
/proc/5295/task/5311/stat : 5311 (java) R 5292 5295 2817 0 -1 4202560 27739 0 0 0 225963 9 0 0 20 0 16 0 414915720 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675883851472 140675972687087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 2271.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 325176 KiB
[startup+2322.3 s]
/proc/loadavg: 1.94 1.93 1.87 3/229 5550
/proc/meminfo: memFree=22665164/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10748324 memory=325176 CPUtime=2331.64 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 125826 0 0 0 233068 96 0 0 20 0 16 0 414915530 11006283776 81294 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2687081 81294 3385 1 0 2647217 0
[pid=5295/tid=5297] ppid=5292 vsize=10748324 memory=325176 CPUtime=1.88 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) S 5292 5295 2817 0 -1 1077944384 15306 0 0 0 180 8 0 0 20 0 16 0 414915530 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676345068720 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.47 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 7390 0 0 0 38 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.46 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 7607 0 0 0 37 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.46 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 7617 0 0 0 36 10 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.47 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 6870 0 0 0 38 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.14 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 9007 0 0 0 10 4 0 0 20 0 16 0 414915532 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10748324 memory=325176 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675898971616 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10748324 memory=325176 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675897918976 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10748324 memory=325176 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10748324 memory=325176 CPUtime=3.2 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 14842 0 0 0 317 3 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10748324 memory=3624 CPUtime=2.96 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) S 5292 5295 2817 0 -1 1077944384 11144 0 0 0 294 2 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675894761584 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10748324 memory=39292 CPUtime=1.1 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) S 5292 5295 2817 0 -1 1077944384 14266 0 0 0 108 2 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675893709040 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10748324 memory=2624 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10748324 memory=2716 CPUtime=0.72 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 2388 0 0 0 31 41 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5311] ppid=5292 vsize=10748324 memory=325176 CPUtime=2319.7 cores=0,2,4,6
/proc/5295/task/5311/stat : 5311 (java) R 5292 5295 2817 0 -1 4202560 27960 0 0 0 231961 9 0 0 20 0 16 0 414915720 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675883851456 140675976820126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 2331.64 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 325176 KiB
[startup+2382.3 s]
/proc/loadavg: 1.93 1.93 1.87 3/229 5557
/proc/meminfo: memFree=22664864/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10748324 memory=325176 CPUtime=2391.69 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 126836 0 0 0 239072 97 0 0 20 0 16 0 414915530 11006283776 81294 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2687081 81294 3385 1 0 2647217 0
[pid=5295/tid=5297] ppid=5292 vsize=10748324 memory=325176 CPUtime=1.88 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) S 5292 5295 2817 0 -1 1077944384 15306 0 0 0 180 8 0 0 20 0 16 0 414915530 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676345068720 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10748324 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 7741 0 0 0 39 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.47 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 7639 0 0 0 38 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.47 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 7623 0 0 0 37 10 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.48 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 6882 0 0 0 39 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10748324 memory=325176 CPUtime=0.14 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 9193 0 0 0 10 4 0 0 20 0 16 0 414915532 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10748324 memory=238989 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675898971616 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10748324 memory=325176 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675897918976 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10748324 memory=325176 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10748324 memory=325176 CPUtime=3.2 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 14844 0 0 0 317 3 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10748324 memory=325176 CPUtime=2.96 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) S 5292 5295 2817 0 -1 1077944384 11147 0 0 0 294 2 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675894761584 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10748324 memory=325176 CPUtime=1.1 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) S 5292 5295 2817 0 -1 1077944384 14268 0 0 0 108 2 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675893709040 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10748324 memory=325176 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10748324 memory=3624 CPUtime=0.73 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 2418 0 0 0 32 41 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5311] ppid=5292 vsize=10748324 memory=162732015888740 CPUtime=2379.68 cores=0,2,4,6
/proc/5295/task/5311/stat : 5311 (java) R 5292 5295 2817 0 -1 4202560 28346 0 0 0 237959 9 0 0 20 0 16 0 414915720 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675883851456 140675970264839 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 2391.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 325176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2390.6 s]
/proc/loadavg: 2.02 1.95 1.88 7/227 5589
/proc/meminfo: memFree=22772004/32770624 swapFree=66999272/67108860
[pid=5295] ppid=5292 vsize=10748324 memory=325176 CPUtime=2400 cores=0,2,4,6
/proc/5295/stat : 5295 (java) S 5292 5295 2817 0 -1 1077944320 126838 0 0 0 239903 97 0 0 20 0 16 0 414915530 11006283776 81294 33554432000 4194304 4196468 140736239675408 140736239657952 140676340825847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
/proc/5295/statm: 2687081 81294 3385 1 0 2647217 0
[pid=5295/tid=5297] ppid=5292 vsize=10748324 memory=8112282956445269571 CPUtime=1.88 cores=0,2,4,6
/proc/5295/task/5297/stat : 5297 (java) S 5292 5295 2817 0 -1 1077944384 15306 0 0 0 180 8 0 0 20 0 16 0 414915530 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676345068720 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5298] ppid=5292 vsize=10748324 memory=39296 CPUtime=0.49 cores=0,2,4,6
/proc/5295/task/5298/stat : 5298 (java) S 5292 5295 2817 0 -1 1077944384 7741 0 0 0 40 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676293445904 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5299] ppid=5292 vsize=10748324 memory=932 CPUtime=0.47 cores=0,2,4,6
/proc/5295/task/5299/stat : 5299 (java) S 5292 5295 2817 0 -1 1077944384 7639 0 0 0 38 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676292393360 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5300] ppid=5292 vsize=10748324 memory=3680 CPUtime=0.47 cores=0,2,4,6
/proc/5295/task/5300/stat : 5300 (java) S 5292 5295 2817 0 -1 1077944384 7623 0 0 0 37 10 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676291340816 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5301] ppid=5292 vsize=10748324 memory=864 CPUtime=0.48 cores=0,2,4,6
/proc/5295/task/5301/stat : 5301 (java) S 5292 5295 2817 0 -1 1077944384 6883 0 0 0 39 9 0 0 20 0 16 0 414915531 11006283776 81294 33554432000 4194304 4196468 140736239675408 140676290288272 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5302] ppid=5292 vsize=10748324 memory=1436 CPUtime=0.14 cores=0,2,4,6
/proc/5295/task/5302/stat : 5302 (java) S 5292 5295 2817 0 -1 1077944384 9193 0 0 0 10 4 0 0 20 0 16 0 414915532 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675900025328 140676340836994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5303] ppid=5292 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5303/stat : 5303 (java) S 5292 5295 2817 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675898971616 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5304] ppid=5292 vsize=10748324 memory=5900 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5304/stat : 5304 (java) S 5292 5295 2817 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414915533 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675897918976 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5305] ppid=5292 vsize=10748324 memory=612 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5305/stat : 5305 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675896867536 140676340844443 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5306] ppid=5292 vsize=10748324 memory=1220 CPUtime=3.2 cores=0,2,4,6
/proc/5295/task/5306/stat : 5306 (java) S 5292 5295 2817 0 -1 1077944384 14844 0 0 0 317 3 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675895814128 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5307] ppid=5292 vsize=10748324 memory=14004 CPUtime=2.96 cores=0,2,4,6
/proc/5295/task/5307/stat : 5307 (java) S 5292 5295 2817 0 -1 1077944384 11147 0 0 0 294 2 0 0 20 0 16 0 414915535 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675894761584 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5308] ppid=5292 vsize=10748324 memory=14060 CPUtime=1.1 cores=0,2,4,6
/proc/5295/task/5308/stat : 5308 (java) S 5292 5295 2817 0 -1 1077944384 14268 0 0 0 108 2 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675893709040 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5309] ppid=5292 vsize=10748324 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/5295/task/5309/stat : 5309 (java) S 5292 5295 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675892656736 140676340836053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5310] ppid=5292 vsize=10748324 memory=1540 CPUtime=0.74 cores=0,2,4,6
/proc/5295/task/5310/stat : 5310 (java) S 5292 5295 2817 0 -1 1077944384 2418 0 0 0 33 41 0 0 20 0 16 0 414915536 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675891604272 140676340836994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
[pid=5295/tid=5311] ppid=5292 vsize=10748324 memory=772 CPUtime=2387.97 cores=0,2,4,6
/proc/5295/task/5311/stat : 5311 (java) R 5292 5295 2817 0 -1 4202560 28347 0 0 0 238788 9 0 0 20 0 16 0 414915720 11006283776 81294 33554432000 4194304 4196468 140736239675408 140675883851456 140675971089415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33927168 140736239678475 140736239678578 140736239678578 140736239681487 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 325176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2390.61 s]
# the end of solver process 5295 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.04 s, system=0.980133 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2390.61
CPU time (s): 2400.02
CPU user time (s): 2399.04
CPU system time (s): 0.980133
CPU usage (%): 100.394
Max. virtual memory (cumulated for all children) (KiB): 10748392
Max. memory (cumulated for all children) (KiB): 577156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.04
system time used= 0.980133
maximum resident set size= 581272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56793
involuntary context switches= 2330
# summary of solver processes directly reported to runsolver:
# pid: 5295
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.04
# total CPU system time (s): 0.980133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7014 second user time and 18.2632 second system time
The end
Begin job on node140 at 2019-09-13 17:48:51 IDJOB=4391289 IDBENCH=126995 IDSOLVER=2833 FILE ID=node140/4391289-1568389771 RUNJOBID= node140-1568389579-4913 PBS_JOBID= 21701829 Free space on /tmp= 56860 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-4391289-1568389771/watcher-4391289-1568389771 -o /tmp/evaluation-result-4391289-1568389771/solver-4391289-1568389771 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4913 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391289-1568389771.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521 RANDOM SEED=2071167722 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21680988 kB MemAvailable: 31603688 kB Buffers: 164964 kB Cached: 9932308 kB SwapCached: 2748 kB Active: 1855516 kB Inactive: 8506268 kB Active(anon): 261376 kB Inactive(anon): 43940 kB Active(file): 1594140 kB Inactive(file): 8462328 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66999272 kB Dirty: 18072 kB Writeback: 0 kB AnonPages: 333712 kB Mapped: 56300 kB Shmem: 32248 kB Slab: 325004 kB SReclaimable: 294692 kB SUnreclaim: 30312 kB KernelStack: 4000 kB PageTables: 5636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1321928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 210944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58132 MiB End job on node140 at 2019-09-13 18:28:41