Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | SAT (TO) | 2775 | 2520.04 | 2510.91 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-086.xml |
MD5SUM | a6faa7a5ef9c34b1bccb6ba71ed7d002 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 887 |
Best CPU time to get the best result obtained on this benchmark | 2520.69 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7481 |
Number of constraints | 3825 |
Number of domains | 171 |
Minimum domain size | 2 |
Maximum domain size | 171 |
Distribution of domain sizes | [{"size":2,"count":3742},{"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":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 85 |
Distribution of variable degrees | [{"degree":0,"count":3570},{"degree":2,"count":3825},{"degree":85,"count":86}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 86 |
Distribution of constraint arities | [{"arity":2,"count":86},{"arity":3,"count":3656},{"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":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3740 |
Distribution of constraint types | [{"type":"intension","count":3740},{"type":"sum","count":85}] |
Optimization problem | YES |
Type of objective | min SUM |
2.38/1.89 2.38/1.89 AbsCon 2 2.62/1.91 3.61/2.28 Instance 3.61/2.28 name=instance-4391033-1568382492, framework=COP, bounds=-infty..+infty 3.61/2.28 3.61/2.28 Loading variables... 4.32/2.41 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1005332 6.62/3.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1efd5b7e 6.62/3.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760d58a5 6.62/3.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fabb8e1 6.62/3.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404c2bd6 6.62/3.15 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@206b286d 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191c7620 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d16c99a 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea4ee9 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72ccdd3a 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ff6428 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ca0ef4 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1910393b 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e99cd 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@569b9711 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610ff38a 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705710dc 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c0e86 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402c1791 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374abf3c 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3653c3c3 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d423e9f 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbcfcd3 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@408c5618 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d891ed 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@be37b07 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c3d658 6.62/3.16 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17778a3d 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aad6753 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610895f9 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cce1bc 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@568bd12 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778ca12d 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c9eef2 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704f13ea 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266bd2 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d9cd559 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@313ff8cb 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7da337b9 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f01ed67 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d021152 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@694b0bb2 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5af1b33a 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdac32f 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a63aa39 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271efaf9 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a96589 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28399dc 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f260d99 6.62/3.17 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c398b 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76050ef9 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ea1db9 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722fd4f0 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fdcf836 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c69633 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33dacd32 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b93ae7 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bee3d1a 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e24da2 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb70ad 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1171996f 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cc726d6 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d20150 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45486f 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2754307c 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c95d3b 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737a799a 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f4970e 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36634a86 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b0cd38 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4059d6be 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5903162b 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fede12e 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e43820 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f6ba29a 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41e327e0 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d63bc9 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ce40aca 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36fc16a6 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@499dabbb 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b60424 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a42d012 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@675baaad 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ce6b4e 6.62/3.18 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a2558b 7.26/3.36 7.26/3.36 7.26/3.36 Domains 7.26/3.36 nTypes=171, nValues=18617, sizes=[2#3742,3#2,4#1,5#2...165#1,167#1,169#1,171#1] 7.26/3.36 Variables 7.26/3.36 count=3911, degrees=[2#3825,85#86] 7.26/3.36 Objectives 7.26/3.36 way=min, type=SumSimpleLE 7.26/3.36 Constraints 7.26/3.36 count=3826, nSpecific=86, arities=[2#86,3#3656,4#1,5#1...83#1,84#1,85#2,86#1] 7.26/3.36 distribution=[CtrIntension#3740,SumSimpleLE#1,SumWeightedEQ#85] 7.26/3.36 nIntStructures=(86,shared:3654), nCftStructures=(86,shared:3654,unbuilt:86) 7.26/3.36 wck=1.491, cpu=3.295, mem=146M948 7.59/3.40 Solver SolverBacktrack being built... 7.59/3.40 7.59/3.46 7.59/3.46 Solver 7.59/3.46 guaranteedGAC=false 7.59/3.46 wck=1.594, cpu=3.379, mem=101M912 7.85/3.56 7.85/3.56 Preprocessing 7.85/3.56 filters=0, ccks=427728, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false 7.85/3.56 wck=0.104, cpu=3.486, mem=101M912 7.85/3.56 8.36/3.76 o 208335 8.36/3.77 num=0, depth=3912..3910, filters=9159, revisions=(14705,useless=9201), ccks=862844, wck=0.316, mem=104M554 8.36/3.77 decisions=86, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=208335 8.36/3.77 9.00/3.99 o 194055 9.00/4.00 num=1, depth=0..3910, filters=18250, revisions=(29537,useless=18556), ccks=977084, wck=0.54, mem=107M196 9.00/4.00 decisions=174, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=194055 9.00/4.00 9.60/4.17 o 180447 9.60/4.17 num=2, depth=85..3910, filters=27521, revisions=(44752,useless=28155), ccks=1095256, wck=0.714, mem=109M839 9.60/4.17 decisions=261, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=180447 9.60/4.17 10.18/4.32 o 36295 10.18/4.33 num=3, depth=3912..3910, filters=33970, revisions=(61813,useless=41478), ccks=1108400, wck=0.868, mem=112M547 10.18/4.33 decisions=307, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=4, bestBound=36295 10.18/4.33 10.55/4.53 num=4, depth=46..65, filters=60174, revisions=(100444,useless=62805), ccks=1210068, wck=1.067, mem=112M547 10.55/4.53 decisions=384, wrong=13, backtracks=0, failedAssignments=13, nogoods=12, foundSolutions=4, bestBound=36295 10.55/4.53 10.65/4.67 num=5, depth=56..86, filters=97946, revisions=(148427,useless=84677), ccks=1399424, wck=1.212, mem=112M547 10.65/4.67 decisions=502, wrong=44, backtracks=30, failedAssignments=24, nogoods=13, foundSolutions=4, bestBound=36295 10.65/4.67 10.78/4.72 o 13223 10.78/4.73 num=6, depth=52..3910, filters=105107, revisions=(170919,useless=102963), ccks=1488643, wck=1.268, mem=115M190 10.78/4.73 decisions=557, wrong=45, backtracks=30, failedAssignments=25, nogoods=14, foundSolutions=5, bestBound=13223 10.78/4.73 10.93/4.87 o 9823 10.93/4.87 num=7, depth=54..3910, filters=112656, revisions=(194261,useless=121680), ccks=1577299, wck=1.413, mem=117M832 10.93/4.87 decisions=616, wrong=47, backtracks=30, failedAssignments=27, nogoods=16, foundSolutions=6, bestBound=9823 10.93/4.87 11.22/5.06 num=8, depth=55..62, filters=135034, revisions=(232566,useless=145014), ccks=1750187, wck=1.602, mem=120M474 11.22/5.06 decisions=697, wrong=60, backtracks=35, failedAssignments=38, nogoods=24, foundSolutions=6, bestBound=9823 11.22/5.06 11.34/5.14 o 4783 11.34/5.15 num=9, depth=60..3910, filters=148769, revisions=(262026,useless=166032), ccks=1899204, wck=1.688, mem=120M474 11.34/5.15 decisions=770, wrong=65, backtracks=36, failedAssignments=42, nogoods=28, foundSolutions=7, bestBound=4783 11.34/5.15 11.43/5.29 o 4735 11.43/5.29 num=10, depth=69..3910, filters=156442, revisions=(283745,useless=182831), ccks=2064999, wck=1.834, mem=123M116 11.43/5.29 decisions=847, wrong=68, backtracks=36, failedAssignments=45, nogoods=31, foundSolutions=8, bestBound=4735 11.43/5.29 11.63/5.43 o 4487 11.63/5.44 num=11, depth=75..3910, filters=164793, revisions=(306575,useless=199987), ccks=2221314, wck=1.977, mem=125M758 11.63/5.44 decisions=938, wrong=74, backtracks=37, failedAssignments=50, nogoods=36, foundSolutions=9, bestBound=4487 11.63/5.44 11.74/5.59 num=12, depth=76..82, filters=178448, revisions=(328852,useless=213329), ccks=2404305, wck=2.127, mem=125M758 11.74/5.59 decisions=1040, wrong=87, backtracks=41, failedAssignments=61, nogoods=45, foundSolutions=9, bestBound=4487 11.74/5.59 11.84/5.67 num=13, depth=72..82, filters=197483, revisions=(357464,useless=228866), ccks=2602950, wck=2.209, mem=125M758 11.84/5.67 decisions=1158, wrong=110, backtracks=56, failedAssignments=72, nogoods=46, foundSolutions=9, bestBound=4487 11.84/5.67 11.94/5.72 num=14, depth=75..82, filters=207536, revisions=(376236,useless=240438), ccks=2773067, wck=2.262, mem=128M400 11.94/5.72 decisions=1267, wrong=125, backtracks=63, failedAssignments=84, nogoods=54, foundSolutions=9, bestBound=4487 11.94/5.72 11.94/5.78 num=15, depth=77..81, filters=222102, revisions=(401035,useless=254251), ccks=2948645, wck=2.326, mem=128M400 11.94/5.78 decisions=1382, wrong=144, backtracks=71, failedAssignments=97, nogoods=58, foundSolutions=9, bestBound=4487 11.94/5.78 12.06/5.88 num=16, depth=73..84, filters=241953, revisions=(434841,useless=272937), ccks=3157944, wck=2.421, mem=128M400 12.06/5.88 decisions=1517, wrong=171, backtracks=88, failedAssignments=111, nogoods=63, foundSolutions=9, bestBound=4487 12.06/5.88 12.17/5.95 num=17, depth=63..68, filters=256081, revisions=(463478,useless=291012), ccks=3378919, wck=2.487, mem=128M400 12.17/5.95 decisions=1637, wrong=199, backtracks=109, failedAssignments=127, nogoods=67, foundSolutions=9, bestBound=4487 12.17/5.95 12.27/6.03 num=18, depth=80..85, filters=272807, revisions=(490333,useless=305262), ccks=3597241, wck=2.571, mem=128M400 12.27/6.03 decisions=1768, wrong=224, backtracks=122, failedAssignments=144, nogoods=72, foundSolutions=9, bestBound=4487 12.27/6.03 12.27/6.10 num=19, depth=80..87, filters=286537, revisions=(513455,useless=318309), ccks=3783772, wck=2.638, mem=128M400 12.27/6.10 decisions=1904, wrong=251, backtracks=133, failedAssignments=163, nogoods=82, foundSolutions=9, bestBound=4487 12.27/6.10 12.39/6.18 num=20, depth=65..77, filters=306994, revisions=(550037,useless=339077), ccks=4031742, wck=2.726, mem=128M400 12.39/6.18 decisions=2033, wrong=282, backtracks=158, failedAssignments=184, nogoods=86, foundSolutions=9, bestBound=4487 12.39/6.18 12.52/6.25 num=21, depth=82..87, filters=321715, revisions=(573014,useless=351505), ccks=4236970, wck=2.795, mem=131M43 12.52/6.25 decisions=2180, wrong=314, backtracks=169, failedAssignments=207, nogoods=92, foundSolutions=9, bestBound=4487 12.52/6.25 12.62/6.31 o 2887 12.62/6.32 num=22, depth=71..3910, filters=328966, revisions=(593622,useless=367159), ccks=4391481, wck=2.857, mem=131M43 12.62/6.32 decisions=2255, wrong=315, backtracks=169, failedAssignments=208, nogoods=93, foundSolutions=10, bestBound=2887 12.62/6.32 12.73/6.46 num=23, depth=83..88, filters=343089, revisions=(616902,useless=380146), ccks=4567561, wck=3.003, mem=133M685 12.73/6.46 decisions=2416, wrong=354, backtracks=184, failedAssignments=236, nogoods=99, foundSolutions=10, bestBound=2887 12.73/6.46 12.83/6.51 num=24, depth=81..86, filters=353880, revisions=(636520,useless=392155), ccks=4709421, wck=3.056, mem=133M685 12.83/6.51 decisions=2528, wrong=369, backtracks=191, failedAssignments=247, nogoods=102, foundSolutions=10, bestBound=2887 12.83/6.51 12.83/6.57 num=25, depth=66..71, filters=365709, revisions=(660597,useless=407314), ccks=4857205, wck=3.109, mem=133M685 12.83/6.57 decisions=2636, wrong=390, backtracks=208, failedAssignments=259, nogoods=105, foundSolutions=10, bestBound=2887 12.83/6.57 12.93/6.63 num=26, depth=78..83, filters=379895, revisions=(684471,useless=420910), ccks=5028160, wck=3.171, mem=133M685 12.93/6.63 decisions=2754, wrong=410, backtracks=219, failedAssignments=272, nogoods=106, foundSolutions=10, bestBound=2887 12.93/6.63 12.93/6.69 num=27, depth=80..84, filters=395569, revisions=(708752,useless=434867), ccks=5185712, wck=3.237, mem=133M685 12.93/6.69 decisions=2873, wrong=429, backtracks=227, failedAssignments=286, nogoods=111, foundSolutions=10, bestBound=2887 12.93/6.69 13.03/6.76 num=28, depth=63..68, filters=411511, revisions=(740553,useless=454441), ccks=5366113, wck=3.302, mem=133M685 13.03/6.76 decisions=2989, wrong=455, backtracks=247, failedAssignments=302, nogoods=115, foundSolutions=10, bestBound=2887 13.03/6.76 13.13/6.82 num=29, depth=80..88, filters=425463, revisions=(763593,useless=467344), ccks=5529446, wck=3.363, mem=133M685 13.13/6.82 decisions=3123, wrong=482, backtracks=259, failedAssignments=319, nogoods=116, foundSolutions=10, bestBound=2887 13.13/6.82 13.28/6.90 num=30, depth=80..86, filters=444264, revisions=(792163,useless=482368), ccks=5701734, wck=3.446, mem=133M685 13.28/6.90 decisions=3271, wrong=516, backtracks=279, failedAssignments=338, nogoods=118, foundSolutions=10, bestBound=2887 13.28/6.90 13.28/6.96 num=31, depth=80..84, filters=457535, revisions=(815930,useless=495964), ccks=5853619, wck=3.501, mem=136M327 13.28/6.96 decisions=3413, wrong=546, backtracks=291, failedAssignments=359, nogoods=126, foundSolutions=10, bestBound=2887 13.28/6.96 13.44/7.03 num=32, depth=76..84, filters=473582, revisions=(844297,useless=511876), ccks=6046548, wck=3.571, mem=136M327 13.44/7.03 decisions=3563, wrong=583, backtracks=319, failedAssignments=382, nogoods=128, foundSolutions=10, bestBound=2887 13.44/7.03 13.44/7.10 num=33, depth=78..84, filters=492074, revisions=(874721,useless=527898), ccks=6230038, wck=3.643, mem=136M327 13.44/7.10 decisions=3721, wrong=623, backtracks=337, failedAssignments=407, nogoods=131, foundSolutions=10, bestBound=2887 13.44/7.10 13.54/7.18 num=34, depth=77..84, filters=513478, revisions=(909795,useless=545618), ccks=6446413, wck=3.723, mem=136M327 13.54/7.18 decisions=3889, wrong=667, backtracks=361, failedAssignments=435, nogoods=136, foundSolutions=10, bestBound=2887 13.54/7.18 13.63/7.26 num=35, depth=79..86, filters=534327, revisions=(941642,useless=561209), ccks=6640073, wck=3.799, mem=136M327 13.63/7.26 decisions=4067, wrong=715, backtracks=380, failedAssignments=466, nogoods=141, foundSolutions=10, bestBound=2887 13.63/7.26 13.74/7.33 num=36, depth=76..86, filters=551127, revisions=(968295,useless=575347), ccks=6817695, wck=3.867, mem=136M327 13.74/7.33 decisions=4264, wrong=773, backtracks=414, failedAssignments=500, nogoods=145, foundSolutions=10, bestBound=2887 13.74/7.33 13.74/7.39 num=37, depth=80..87, filters=568010, revisions=(994906,useless=589166), ccks=6974332, wck=3.931, mem=136M327 13.74/7.39 decisions=4456, wrong=827, backtracks=434, failedAssignments=537, nogoods=156, foundSolutions=10, bestBound=2887 13.74/7.39 13.94/7.51 num=38, depth=77..85, filters=604043, revisions=(1042951,useless=609510), ccks=7267588, wck=4.052, mem=138M969 13.94/7.51 decisions=4671, wrong=896, backtracks=471, failedAssignments=578, nogoods=157, foundSolutions=10, bestBound=2887 13.94/7.51 13.94/7.59 num=39, depth=79..86, filters=627573, revisions=(1076404,useless=624454), ccks=7450707, wck=4.134, mem=138M969 13.94/7.59 decisions=4886, wrong=964, backtracks=502, failedAssignments=623, nogoods=159, foundSolutions=10, bestBound=2887 13.94/7.59 14.04/7.68 num=40, depth=77..84, filters=657433, revisions=(1117894,useless=642375), ccks=7611201, wck=4.223, mem=138M969 14.04/7.68 decisions=5099, wrong=1032, backtracks=528, failedAssignments=673, nogoods=163, foundSolutions=10, bestBound=2887 14.04/7.68 14.24/7.86 num=41, depth=71..81, filters=707892, revisions=(1183636,useless=670534), ccks=7940267, wck=4.4, mem=141M611 14.24/7.86 decisions=5342, wrong=1117, backtracks=583, failedAssignments=728, nogoods=178, foundSolutions=10, bestBound=2887 14.24/7.86 14.45/8.09 num=42, depth=68..76, filters=763590, revisions=(1259632,useless=698576), ccks=8614320, wck=4.631, mem=141M611 14.45/8.09 decisions=5604, wrong=1212, backtracks=634, failedAssignments=789, nogoods=185, foundSolutions=10, bestBound=2887 14.45/8.09 14.64/8.22 num=43, depth=64..78, filters=792709, revisions=(1305785,useless=721202), ccks=9005651, wck=4.767, mem=141M611 14.64/8.22 decisions=5837, wrong=1294, backtracks=702, failedAssignments=856, nogoods=197, foundSolutions=10, bestBound=2887 14.64/8.22 14.84/8.43 num=44, depth=65..75, filters=851183, revisions=(1386702,useless=754182), ccks=9435807, wck=4.972, mem=144M253 14.84/8.43 decisions=6103, wrong=1394, backtracks=774, failedAssignments=930, nogoods=213, foundSolutions=10, bestBound=2887 14.84/8.43 15.04/8.60 num=45, depth=62..81, filters=894138, revisions=(1448665,useless=783721), ccks=9904572, wck=5.142, mem=144M253 15.04/8.60 decisions=6446, wrong=1530, backtracks=887, failedAssignments=1011, nogoods=226, foundSolutions=10, bestBound=2887 15.04/8.60 15.34/8.96 num=46, depth=60..80, filters=998009, revisions=(1584528,useless=838014), ccks=10478856, wck=5.498, mem=146M895 15.34/8.96 decisions=6810, wrong=1678, backtracks=1014, failedAssignments=1100, nogoods=236, foundSolutions=10, bestBound=2887 15.34/8.96 15.64/9.25 num=47, depth=71..78, filters=1097137, revisions=(1716612,useless=886820), ccks=11164888, wck=5.797, mem=146M895 15.64/9.25 decisions=7177, wrong=1825, backtracks=1129, failedAssignments=1198, nogoods=242, foundSolutions=10, bestBound=2887 15.64/9.25 15.84/9.48 num=48, depth=73..80, filters=1176353, revisions=(1821081,useless=925168), ccks=11638223, wck=6.027, mem=149M537 15.84/9.48 decisions=7559, wrong=1979, backtracks=1224, failedAssignments=1306, nogoods=254, foundSolutions=10, bestBound=2887 15.84/9.48 16.18/9.75 num=49, depth=73..80, filters=1261496, revisions=(1928268,useless=964977), ccks=12154824, wck=6.291, mem=152M180 16.18/9.75 decisions=7987, wrong=2155, backtracks=1333, failedAssignments=1425, nogoods=270, foundSolutions=10, bestBound=2887 16.18/9.75 16.39/9.90 num=50, depth=33..74, filters=1290423, revisions=(2020642,useless=1029072), ccks=12278140, wck=6.44, mem=152M180 16.39/9.90 decisions=8805, wrong=2538, backtracks=1674, failedAssignments=1556, nogoods=272, foundSolutions=10, bestBound=2887 16.39/9.90 16.82/10.38 num=51, depth=71..83, filters=1435377, revisions=(2261773,useless=1153173), ccks=13081557, wck=6.922, mem=154M822 16.82/10.38 decisions=9369, wrong=2783, backtracks=1824, failedAssignments=1700, nogoods=284, foundSolutions=10, bestBound=2887 16.82/10.38 17.15/10.64 num=52, depth=75..83, filters=1533530, revisions=(2408132,useless=1218829), ccks=13646502, wck=7.186, mem=157M464 17.15/10.64 decisions=9938, wrong=3029, backtracks=1965, failedAssignments=1858, nogoods=292, foundSolutions=10, bestBound=2887 17.15/10.64 17.35/10.88 num=53, depth=76..86, filters=1613207, revisions=(2518987,useless=1265896), ccks=14205326, wck=7.422, mem=160M106 17.35/10.88 decisions=10599, wrong=3319, backtracks=2118, failedAssignments=2032, nogoods=314, foundSolutions=10, bestBound=2887 17.35/10.88 17.66/11.14 num=54, depth=72..87, filters=1696179, revisions=(2627090,useless=1310139), ccks=14847923, wck=7.678, mem=160M106 17.66/11.14 decisions=11382, wrong=3673, backtracks=2368, failedAssignments=2223, nogoods=321, foundSolutions=10, bestBound=2887 17.66/11.14 18.25/11.70 num=55, depth=74..85, filters=1887788, revisions=(2853882,useless=1387540), ccks=16123757, wck=8.246, mem=164M390 18.25/11.70 decisions=12161, wrong=4024, backtracks=2596, failedAssignments=2434, nogoods=335, foundSolutions=10, bestBound=2887 18.25/11.70 19.02/12.39 num=56, depth=69..79, filters=2066254, revisions=(3074266,useless=1460094), ccks=17613918, wck=8.935, mem=104M354 19.02/12.39 decisions=12900, wrong=4357, backtracks=2807, failedAssignments=2666, nogoods=339, foundSolutions=10, bestBound=2887 19.02/12.39 19.54/12.80 num=57, depth=63..78, filters=2154148, revisions=(3205017,useless=1523330), ccks=18961300, wck=9.339, mem=108M567 19.54/12.80 decisions=13687, wrong=4718, backtracks=3140, failedAssignments=2921, nogoods=346, foundSolutions=10, bestBound=2887 19.54/12.80 20.44/13.74 num=58, depth=68..78, filters=2414909, revisions=(3530210,useless=1629599), ccks=21257353, wck=10.28, mem=112M780 20.44/13.74 decisions=14587, wrong=5132, backtracks=3480, failedAssignments=3202, nogoods=351, foundSolutions=10, bestBound=2887 20.44/13.74 21.24/14.53 num=59, depth=64..73, filters=2617464, revisions=(3797900,useless=1718312), ccks=23274911, wck=11.07, mem=116M993 21.24/14.53 decisions=15497, wrong=5554, backtracks=3747, failedAssignments=3511, nogoods=358, foundSolutions=10, bestBound=2887 21.24/14.53 22.34/15.62 num=60, depth=61..73, filters=2917564, revisions=(4204622,useless=1856788), ccks=25969111, wck=12.162, mem=125M420 22.34/15.62 decisions=16477, wrong=6012, backtracks=4076, failedAssignments=3851, nogoods=370, foundSolutions=10, bestBound=2887 22.34/15.62 22.94/16.25 num=61, depth=60..78, filters=3073096, revisions=(4421128,useless=1945825), ccks=27762178, wck=12.793, mem=125M420 22.94/16.25 decisions=17613, wrong=6547, backtracks=4525, failedAssignments=4225, nogoods=382, foundSolutions=10, bestBound=2887 22.94/16.25 23.64/16.91 num=62, depth=74..83, filters=3324447, revisions=(4727936,useless=2055690), ccks=28835696, wck=13.454, mem=129M633 23.64/16.91 decisions=18952, wrong=7179, backtracks=4944, failedAssignments=4636, nogoods=390, foundSolutions=10, bestBound=2887 23.64/16.91 24.44/17.76 num=63, depth=73..82, filters=3602533, revisions=(5062417,useless=2171255), ccks=30523169, wck=14.3, mem=138M59 24.44/17.76 decisions=20379, wrong=7855, backtracks=5422, failedAssignments=5088, nogoods=399, foundSolutions=10, bestBound=2887 24.44/17.76 24.87/18.15 num=64, depth=35..69, filters=3696766, revisions=(5325321,useless=2343218), ccks=30886727, wck=14.689, mem=142M272 24.87/18.15 decisions=22101, wrong=8693, backtracks=6124, failedAssignments=5585, nogoods=419, foundSolutions=10, bestBound=2887 24.87/18.15 26.18/19.48 num=65, depth=72..82, filters=4124114, revisions=(5835715,useless=2509645), ccks=33776714, wck=16.026, mem=150M699 26.18/19.48 decisions=23959, wrong=9585, backtracks=6766, failedAssignments=6132, nogoods=426, foundSolutions=10, bestBound=2887 26.18/19.48 27.99/21.24 num=66, depth=67..77, filters=4598423, revisions=(6423769,useless=2690758), ccks=38309244, wck=17.778, mem=159M125 27.99/21.24 decisions=25848, wrong=10495, backtracks=7414, failedAssignments=6734, nogoods=437, foundSolutions=10, bestBound=2887 27.99/21.24 29.99/23.22 num=67, depth=66..77, filters=5148288, revisions=(7115636,useless=2912323), ccks=43125579, wck=19.762, mem=171M764 29.99/23.22 decisions=27802, wrong=11438, backtracks=8139, failedAssignments=7396, nogoods=455, foundSolutions=10, bestBound=2887 29.99/23.22 30.59/23.86 num=68, depth=38..67, filters=5303916, revisions=(7534781,useless=3180416), ccks=43631238, wck=20.401, mem=175M978 30.59/23.86 decisions=30074, wrong=12550, backtracks=9119, failedAssignments=8124, nogoods=470, foundSolutions=10, bestBound=2887 30.59/23.86 33.30/26.56 num=69, depth=63..74, filters=6142495, revisions=(8632536,useless=3534904), ccks=49936794, wck=23.101, mem=192M830 33.30/26.56 decisions=32372, wrong=13666, backtracks=10012, failedAssignments=8925, nogoods=476, foundSolutions=10, bestBound=2887 33.30/26.56 35.70/28.96 num=70, depth=64..75, filters=6758812, revisions=(9419904,useless=3789825), ccks=55924269, wck=25.506, mem=205M470 35.70/28.96 decisions=34847, wrong=14870, backtracks=10874, failedAssignments=9806, nogoods=483, foundSolutions=10, bestBound=2887 35.70/28.96 37.82/31.03 num=71, depth=59..80, filters=7241184, revisions=(10047181,useless=4034155), ccks=61912207, wck=27.57, mem=213M896 37.82/31.03 decisions=38311, wrong=16571, backtracks=12401, failedAssignments=10776, nogoods=487, foundSolutions=10, bestBound=2887 37.82/31.03 39.01/32.24 num=72, depth=74..86, filters=7711718, revisions=(10627991,useless=4253382), ccks=63689177, wck=28.78, mem=226M536 39.01/32.24 decisions=41746, wrong=18248, backtracks=13352, failedAssignments=11843, nogoods=495, foundSolutions=10, bestBound=2887 39.01/32.24 41.62/34.80 num=73, depth=73..86, filters=8567498, revisions=(11832992,useless=4791591), ccks=68531939, wck=31.343, mem=243M388 41.62/34.80 decisions=45523, wrong=20099, backtracks=14361, failedAssignments=13016, nogoods=501, foundSolutions=10, bestBound=2887 41.62/34.80 43.83/37.02 num=74, depth=72..85, filters=9342397, revisions=(12863369,useless=5208972), ccks=72903455, wck=33.56, mem=260M241 43.83/37.02 decisions=50066, wrong=22332, backtracks=15711, failedAssignments=14307, nogoods=508, foundSolutions=10, bestBound=2887 43.83/37.02 43.93/37.13 o 2775 43.93/37.14 num=75, depth=71..3910, filters=9367822, revisions=(12905542,useless=5232539), ccks=73176896, wck=33.679, mem=264M454 43.93/37.14 decisions=50235, wrong=22379, backtracks=15749, failedAssignments=14338, nogoods=514, foundSolutions=11, bestBound=2775 43.93/37.14 45.42/38.68 num=76, depth=75..87, filters=9920838, revisions=(13580585,useless=5477085), ccks=75389499, wck=35.225, mem=277M93 45.42/38.68 decisions=55043, wrong=24744, backtracks=16947, failedAssignments=15900, nogoods=526, foundSolutions=11, bestBound=2775 45.42/38.68 45.52/38.74 num=77, depth=77..82, filters=9930605, revisions=(13598100,useless=5487465), ccks=75526944, wck=35.283, mem=277M93 45.52/38.74 decisions=55152, wrong=24758, backtracks=16951, failedAssignments=15911, nogoods=532, foundSolutions=11, bestBound=2775 45.52/38.74 45.62/38.80 num=78, depth=71..79, filters=9943253, revisions=(13620336,useless=5500268), ccks=75685305, wck=35.346, mem=277M93 45.62/38.80 decisions=55275, wrong=24783, backtracks=16971, failedAssignments=15923, nogoods=535, foundSolutions=11, bestBound=2775 45.62/38.80 45.62/38.86 num=79, depth=76..80, filters=9955398, revisions=(13640508,useless=5511410), ccks=75807053, wck=35.404, mem=277M93 45.62/38.86 decisions=55389, wrong=24801, backtracks=16978, failedAssignments=15936, nogoods=538, foundSolutions=11, bestBound=2775 45.62/38.86 45.72/38.93 num=80, depth=68..75, filters=9969040, revisions=(13664368,useless=5524931), ccks=75964933, wck=35.468, mem=277M93 45.72/38.93 decisions=55511, wrong=24828, backtracks=16996, failedAssignments=15950, nogoods=539, foundSolutions=11, bestBound=2775 45.72/38.93 45.72/38.98 num=81, depth=77..82, filters=9979526, revisions=(13682882,useless=5535575), ccks=76073256, wck=35.52, mem=277M93 45.72/38.98 decisions=55632, wrong=24850, backtracks=17004, failedAssignments=15966, nogoods=541, foundSolutions=11, bestBound=2775 45.72/38.98 45.83/39.03 num=82, depth=38..57, filters=9991892, revisions=(13718917,useless=5559674), ccks=76136585, wck=35.57, mem=277M93 45.83/39.03 decisions=55722, wrong=24872, backtracks=17013, failedAssignments=15983, nogoods=550, foundSolutions=11, bestBound=2775 45.83/39.03 45.83/39.09 num=83, depth=76..81, filters=10004872, revisions=(13739922,useless=5571302), ccks=76266273, wck=35.633, mem=277M93 45.83/39.09 decisions=55851, wrong=24898, backtracks=17023, failedAssignments=16002, nogoods=558, foundSolutions=11, bestBound=2775 45.83/39.09 45.94/39.16 num=84, depth=75..82, filters=10019563, revisions=(13763548,useless=5583358), ccks=76416305, wck=35.705, mem=277M93 45.94/39.16 decisions=55989, wrong=24929, backtracks=17037, failedAssignments=16023, nogoods=565, foundSolutions=11, bestBound=2775 45.94/39.16 46.03/39.25 num=85, depth=68..79, filters=10040759, revisions=(13796295,useless=5600069), ccks=76631138, wck=35.796, mem=277M93 46.03/39.25 decisions=56146, wrong=24970, backtracks=17069, failedAssignments=16046, nogoods=570, foundSolutions=11, bestBound=2775 46.03/39.25 46.13/39.33 num=86, depth=75..80, filters=10056931, revisions=(13821316,useless=5612726), ccks=76788806, wck=35.872, mem=277M93 46.13/39.33 decisions=56293, wrong=25005, backtracks=17086, failedAssignments=16071, nogoods=573, foundSolutions=11, bestBound=2775 46.13/39.33 46.23/39.46 num=87, depth=70..79, filters=10092020, revisions=(13866918,useless=5633048), ccks=77016594, wck=36.002, mem=281M307 46.23/39.46 decisions=56462, wrong=25054, backtracks=17130, failedAssignments=16099, nogoods=577, foundSolutions=11, bestBound=2775 46.23/39.46 46.33/39.55 num=88, depth=71..80, filters=10109951, revisions=(13894703,useless=5646566), ccks=77225667, wck=36.092, mem=281M307 46.33/39.55 decisions=56618, wrong=25096, backtracks=17150, failedAssignments=16130, nogoods=583, foundSolutions=11, bestBound=2775 46.33/39.55 46.43/39.65 num=89, depth=72..80, filters=10130475, revisions=(13925439,useless=5660837), ccks=77439045, wck=36.19, mem=281M307 46.43/39.65 decisions=56786, wrong=25143, backtracks=17175, failedAssignments=16164, nogoods=590, foundSolutions=11, bestBound=2775 46.43/39.65 46.54/39.75 num=90, depth=71..78, filters=10153108, revisions=(13959632,useless=5676469), ccks=77664533, wck=36.292, mem=281M307 46.54/39.75 decisions=56957, wrong=25193, backtracks=17198, failedAssignments=16201, nogoods=598, foundSolutions=11, bestBound=2775 46.54/39.75 46.74/39.91 num=91, depth=69..75, filters=10192325, revisions=(14013951,useless=5698475), ccks=78024166, wck=36.457, mem=281M307 46.74/39.91 decisions=57142, wrong=25250, backtracks=17229, failedAssignments=16242, nogoods=606, foundSolutions=11, bestBound=2775 46.74/39.91 46.85/40.02 num=92, depth=65..78, filters=10215321, revisions=(14051513,useless=5718839), ccks=78315779, wck=36.566, mem=281M307 46.85/40.02 decisions=57347, wrong=25318, backtracks=17292, failedAssignments=16287, nogoods=610, foundSolutions=11, bestBound=2775 46.85/40.02 46.95/40.12 num=93, depth=70..74, filters=10241794, revisions=(14091850,useless=5736082), ccks=78483635, wck=36.659, mem=281M307 46.95/40.12 decisions=57559, wrong=25389, backtracks=17319, failedAssignments=16337, nogoods=624, foundSolutions=11, bestBound=2775 46.95/40.12 47.04/40.27 num=94, depth=69..78, filters=10280719, revisions=(14147267,useless=5757749), ccks=78843017, wck=36.811, mem=285M520 47.04/40.27 decisions=57787, wrong=25468, backtracks=17355, failedAssignments=16392, nogoods=638, foundSolutions=11, bestBound=2775 47.04/40.27 47.14/40.38 num=95, depth=62..75, filters=10302587, revisions=(14185505,useless=5779862), ccks=79138173, wck=36.92, mem=285M520 47.14/40.38 decisions=58011, wrong=25548, backtracks=17428, failedAssignments=16453, nogoods=643, foundSolutions=11, bestBound=2775 47.14/40.38 47.24/40.49 num=96, depth=70..77, filters=10335282, revisions=(14234006,useless=5799574), ccks=79342605, wck=37.033, mem=285M520 47.24/40.49 decisions=58260, wrong=25636, backtracks=17462, failedAssignments=16520, nogoods=662, foundSolutions=11, bestBound=2775 47.24/40.49 47.64/40.80 num=97, depth=66..79, filters=10419276, revisions=(14338115,useless=5839652), ccks=79830705, wck=37.344, mem=285M520 47.64/40.80 decisions=58553, wrong=25749, backtracks=17554, failedAssignments=16594, nogoods=668, foundSolutions=11, bestBound=2775 47.64/40.80 47.74/40.93 num=98, depth=68..76, filters=10461596, revisions=(14399888,useless=5863051), ccks=80085532, wck=37.475, mem=285M520 47.74/40.93 decisions=58849, wrong=25861, backtracks=17597, failedAssignments=16675, nogoods=679, foundSolutions=11, bestBound=2775 47.74/40.93 47.95/41.14 num=99, depth=65..73, filters=10519540, revisions=(14483296,useless=5894775), ccks=80556852, wck=37.686, mem=289M733 47.95/41.14 decisions=59156, wrong=25981, backtracks=17662, failedAssignments=16764, nogoods=695, foundSolutions=11, bestBound=2775 47.95/41.14 48.14/41.31 num=100, depth=59..74, filters=10553517, revisions=(14542481,useless=5927868), ccks=81001277, wck=37.852, mem=289M733 48.14/41.31 decisions=59513, wrong=26129, backtracks=17803, failedAssignments=16862, nogoods=701, foundSolutions=11, bestBound=2775 48.14/41.31 48.44/41.66 num=101, depth=63..72, filters=10644822, revisions=(14669459,useless=5972672), ccks=81841094, wck=38.205, mem=289M733 48.44/41.66 decisions=59861, wrong=26270, backtracks=17892, failedAssignments=16970, nogoods=715, foundSolutions=11, bestBound=2775 48.44/41.66 48.74/41.97 num=102, depth=59..70, filters=10746108, revisions=(14819958,useless=6030242), ccks=82439064, wck=38.51, mem=293M946 48.74/41.97 decisions=60238, wrong=26427, backtracks=17972, failedAssignments=17089, nogoods=724, foundSolutions=11, bestBound=2775 48.74/41.97 48.97/42.20 num=103, depth=63..71, filters=10823400, revisions=(14932443,useless=6072602), ccks=82844971, wck=38.738, mem=293M946 48.97/42.20 decisions=60667, wrong=26610, backtracks=18056, failedAssignments=17220, nogoods=740, foundSolutions=11, bestBound=2775 48.97/42.20 49.26/42.43 num=104, depth=59..75, filters=10876963, revisions=(15016267,useless=6109322), ccks=83487856, wck=38.971, mem=293M946 49.26/42.43 decisions=61069, wrong=26780, backtracks=18195, failedAssignments=17364, nogoods=745, foundSolutions=11, bestBound=2775 49.26/42.43 49.66/42.80 num=105, depth=63..74, filters=10990081, revisions=(15168972,useless=6161617), ccks=84148397, wck=39.342, mem=298M159 49.66/42.80 decisions=61561, wrong=26994, backtracks=18309, failedAssignments=17522, nogoods=757, foundSolutions=11, bestBound=2775 49.66/42.80 49.87/43.10 num=106, depth=62..70, filters=11103717, revisions=(15337381,useless=6224735), ccks=84669441, wck=39.641, mem=298M159 49.87/43.10 decisions=62117, wrong=27240, backtracks=18420, failedAssignments=17696, nogoods=760, foundSolutions=11, bestBound=2775 49.87/43.10 50.36/43.51 num=107, depth=60..73, filters=11231666, revisions=(15521829,useless=6293501), ccks=85434154, wck=40.051, mem=302M372 50.36/43.51 decisions=62673, wrong=27487, backtracks=18564, failedAssignments=17887, nogoods=775, foundSolutions=11, bestBound=2775 50.36/43.51 50.76/43.93 num=108, depth=59..68, filters=11376716, revisions=(15738779,useless=6376317), ccks=86171336, wck=40.468, mem=306M586 50.76/43.93 decisions=63305, wrong=27773, backtracks=18717, failedAssignments=18098, nogoods=786, foundSolutions=11, bestBound=2775 50.76/43.93 51.26/44.49 num=109, depth=60..70, filters=11558060, revisions=(15995948,useless=6469331), ccks=87125337, wck=41.03, mem=310M799 51.26/44.49 decisions=63982, wrong=28081, backtracks=18888, failedAssignments=18330, nogoods=802, foundSolutions=11, bestBound=2775 51.26/44.49 51.76/44.94 num=110, depth=60..70, filters=11719138, revisions=(16233252,useless=6558096), ccks=87852917, wck=41.487, mem=310M799 51.76/44.94 decisions=64745, wrong=28430, backtracks=19060, failedAssignments=18585, nogoods=821, foundSolutions=11, bestBound=2775 51.76/44.94 52.91/46.04 num=111, depth=57..76, filters=11987994, revisions=(16559312,useless=6676313), ccks=88986999, wck=42.581, mem=104M620 52.91/46.04 decisions=65543, wrong=28799, backtracks=19334, failedAssignments=18866, nogoods=834, foundSolutions=11, bestBound=2775 52.91/46.04 53.62/46.72 num=112, depth=60..72, filters=12194955, revisions=(16849244,useless=6783137), ccks=90199744, wck=43.259, mem=108M942 53.62/46.72 decisions=66446, wrong=29220, backtracks=19542, failedAssignments=19175, nogoods=852, foundSolutions=11, bestBound=2775 53.62/46.72 54.32/47.43 num=113, depth=62..71, filters=12418402, revisions=(17160353,useless=6892169), ccks=91544184, wck=43.971, mem=113M264 54.32/47.43 decisions=67406, wrong=29669, backtracks=19799, failedAssignments=19515, nogoods=865, foundSolutions=11, bestBound=2775 54.32/47.43 55.12/48.29 num=114, depth=60..72, filters=12678992, revisions=(17525241,useless=7021405), ccks=93399597, wck=44.833, mem=117M586 55.12/48.29 decisions=68478, wrong=30174, backtracks=20099, failedAssignments=19889, nogoods=876, foundSolutions=11, bestBound=2775 55.12/48.29 56.12/49.27 num=115, depth=59..71, filters=12989355, revisions=(17974911,useless=7190118), ccks=95384773, wck=45.809, mem=126M231 56.12/49.27 decisions=69631, wrong=30720, backtracks=20453, failedAssignments=20300, nogoods=890, foundSolutions=11, bestBound=2775 56.12/49.27 57.32/50.41 num=116, depth=59..70, filters=13295158, revisions=(18403760,useless=7345883), ccks=97962573, wck=46.955, mem=130M553 57.32/50.41 decisions=70916, wrong=31332, backtracks=20847, failedAssignments=20752, nogoods=905, foundSolutions=11, bestBound=2775 57.32/50.41 58.52/51.61 num=117, depth=59..72, filters=13644583, revisions=(18880268,useless=7515396), ccks=100298980, wck=48.15, mem=139M198 58.52/51.61 decisions=72310, wrong=31998, backtracks=21251, failedAssignments=21249, nogoods=917, foundSolutions=11, bestBound=2775 58.52/51.61 59.72/52.86 num=118, depth=58..70, filters=13971112, revisions=(19350991,useless=7695599), ccks=103006417, wck=49.399, mem=147M842 59.72/52.86 decisions=73828, wrong=32727, backtracks=21735, failedAssignments=21796, nogoods=927, foundSolutions=11, bestBound=2775 59.72/52.86 61.12/54.24 num=119, depth=58..72, filters=14358373, revisions=(19885264,useless=7889285), ccks=105964197, wck=50.785, mem=156M486 61.12/54.24 decisions=75520, wrong=33542, backtracks=22219, failedAssignments=22398, nogoods=937, foundSolutions=11, bestBound=2775 61.12/54.24 62.43/55.59 num=120, depth=58..71, filters=14740494, revisions=(20421770,useless=8089451), ccks=108471832, wck=52.133, mem=160M809 62.43/55.59 decisions=77322, wrong=34413, backtracks=22743, failedAssignments=23060, nogoods=943, foundSolutions=11, bestBound=2775 62.43/55.59 64.25/57.31 num=121, depth=59..73, filters=15222269, revisions=(21085529,useless=8316246), ccks=112479756, wck=53.848, mem=173M775 64.25/57.31 decisions=79285, wrong=35364, backtracks=23373, failedAssignments=23788, nogoods=955, foundSolutions=11, bestBound=2775 64.25/57.31 66.86/59.94 num=122, depth=31..70, filters=15976647, revisions=(22940055,useless=9426482), ccks=113644816, wck=56.48, mem=187M657 66.86/59.94 decisions=81717, wrong=36561, backtracks=24455, failedAssignments=24589, nogoods=959, foundSolutions=11, bestBound=2775 66.86/59.94 69.28/62.37 num=123, depth=56..70, filters=16694937, revisions=(23960348,useless=9811429), ccks=118087385, wck=58.91, mem=204M946 69.28/62.37 decisions=84092, wrong=37720, backtracks=25271, failedAssignments=25470, nogoods=972, foundSolutions=11, bestBound=2775 69.28/62.37 74.48/67.57 num=124, depth=26..57, filters=18035584, revisions=(27789786,useless=12321250), ccks=120047320, wck=64.113, mem=230M879 74.48/67.57 decisions=87452, wrong=39383, backtracks=26787, failedAssignments=26440, nogoods=982, foundSolutions=11, bestBound=2775 74.48/67.57 77.09/70.11 num=125, depth=54..67, filters=18708063, revisions=(28797287,useless=12739710), ccks=125200074, wck=66.649, mem=248M168 77.09/70.11 decisions=90459, wrong=40858, backtracks=27730, failedAssignments=27507, nogoods=999, foundSolutions=11, bestBound=2775 77.09/70.11 80.58/73.67 num=126, depth=59..71, filters=19680283, revisions=(30117521,useless=13212106), ccks=133231559, wck=70.213, mem=265M457 80.58/73.67 decisions=93669, wrong=42433, backtracks=28913, failedAssignments=28680, nogoods=1017, foundSolutions=11, bestBound=2775 80.58/73.67 82.20/75.26 num=127, depth=57..76, filters=20057073, revisions=(30683579,useless=13460525), ccks=138161036, wck=71.8, mem=274M101 82.20/75.26 decisions=96944, wrong=44040, backtracks=30187, failedAssignments=29971, nogoods=1028, foundSolutions=11, bestBound=2775 82.20/75.26 85.81/78.85 num=128, depth=59..74, filters=21038797, revisions=(32027622,useless=13940035), ccks=146468748, wck=75.393, mem=295M713 85.81/78.85 decisions=100892, wrong=45983, backtracks=31491, failedAssignments=31391, nogoods=1046, foundSolutions=11, bestBound=2775 85.81/78.85 90.15/83.15 num=129, depth=58..71, filters=22270958, revisions=(33698355,useless=14525662), ccks=155266655, wck=79.688, mem=106M786 90.15/83.15 decisions=105134, wrong=48074, backtracks=32916, failedAssignments=32953, nogoods=1070, foundSolutions=11, bestBound=2775 90.15/83.15 94.06/87.02 num=130, depth=55..69, filters=23184484, revisions=(35011048,useless=15059664), ccks=164479488, wck=83.561, mem=125M734 94.06/87.02 decisions=109860, wrong=50409, backtracks=34564, failedAssignments=34671, nogoods=1083, foundSolutions=11, bestBound=2775 94.06/87.02 95.08/88.10 num=131, depth=28..69, filters=23477881, revisions=(35924490,useless=15683613), ccks=165537478, wck=84.643, mem=138M366 95.08/88.10 decisions=115824, wrong=53371, backtracks=37128, failedAssignments=36561, nogoods=1093, foundSolutions=11, bestBound=2775 95.08/88.10 103.27/96.25 num=132, depth=60..73, filters=25550857, revisions=(38600525,useless=16572161), ccks=186100913, wck=92.789, mem=182M578 103.27/96.25 decisions=122020, wrong=56437, backtracks=39719, failedAssignments=38640, nogoods=1109, foundSolutions=11, bestBound=2775 103.27/96.25 108.87/101.84 num=133, depth=59..72, filters=26851491, revisions=(40372457,useless=17200340), ccks=201343658, wck=98.384, mem=214M158 108.87/101.84 decisions=128390, wrong=59590, backtracks=42049, failedAssignments=40927, nogoods=1114, foundSolutions=11, bestBound=2775 108.87/101.84 116.57/109.53 num=134, depth=58..72, filters=28906824, revisions=(43127370,useless=18152610), ccks=220542119, wck=106.071, mem=258M371 116.57/109.53 decisions=135254, wrong=62991, backtracks=44679, failedAssignments=43443, nogoods=1124, foundSolutions=11, bestBound=2775 116.57/109.53 124.48/117.40 num=135, depth=58..72, filters=30929976, revisions=(45852531,useless=19140243), ccks=239525258, wck=113.946, mem=302M583 124.48/117.40 decisions=142948, wrong=66808, backtracks=47534, failedAssignments=46211, nogoods=1152, foundSolutions=11, bestBound=2775 124.48/117.40 133.69/126.60 num=136, depth=57..72, filters=33239691, revisions=(48925712,useless=20240584), ccks=260942541, wck=123.143, mem=346M795 133.69/126.60 decisions=151343, wrong=70975, backtracks=50638, failedAssignments=49255, nogoods=1180, foundSolutions=11, bestBound=2775 133.69/126.60 143.69/136.63 num=137, depth=58..71, filters=35873398, revisions=(52428435,useless=21452021), ccks=286385551, wck=133.175, mem=403M639 143.69/136.63 decisions=160556, wrong=75551, backtracks=54141, failedAssignments=52604, nogoods=1198, foundSolutions=11, bestBound=2775 143.69/136.63 156.04/148.92 num=138, depth=59..73, filters=39305853, revisions=(56963662,useless=22927641), ccks=317235301, wck=145.465, mem=161M985 156.04/148.92 decisions=170621, wrong=80552, backtracks=58230, failedAssignments=56288, nogoods=1208, foundSolutions=11, bestBound=2775 156.04/148.92 170.26/163.12 num=139, depth=58..73, filters=42808167, revisions=(61584739,useless=24449694), ccks=356132332, wck=159.658, mem=242M705 170.26/163.12 decisions=181714, wrong=86067, backtracks=63061, failedAssignments=60340, nogoods=1216, foundSolutions=11, bestBound=2775 170.26/163.12 184.17/177.11 num=140, depth=57..71, filters=46800157, revisions=(66970042,useless=26312460), ccks=388690026, wck=173.648, mem=322M579 184.17/177.11 decisions=193882, wrong=92122, backtracks=67711, failedAssignments=64797, nogoods=1234, foundSolutions=11, bestBound=2775 184.17/177.11 200.41/193.29 num=141, depth=58..73, filters=50891949, revisions=(72352250,useless=28040928), ccks=432368637, wck=189.827, mem=106M485 200.41/193.29 decisions=207084, wrong=98693, backtracks=73188, failedAssignments=69700, nogoods=1242, foundSolutions=11, bestBound=2775 200.41/193.29 215.12/207.99 num=142, depth=54..70, filters=54989320, revisions=(78027159,useless=30182485), ccks=464076442, wck=204.532, mem=196M105 215.12/207.99 decisions=221765, wrong=106005, backtracks=78511, failedAssignments=75094, nogoods=1258, foundSolutions=11, bestBound=2775 215.12/207.99 234.23/227.03 num=143, depth=57..72, filters=59895840, revisions=(84480160,useless=32333968), ccks=512302977, wck=223.574, mem=297M675 234.23/227.03 decisions=237989, wrong=114086, backtracks=84788, failedAssignments=81027, nogoods=1278, foundSolutions=11, bestBound=2775 234.23/227.03 258.95/251.77 num=144, depth=58..74, filters=66254307, revisions=(92676172,useless=34885112), ccks=578536265, wck=248.307, mem=135M446 258.95/251.77 decisions=255923, wrong=123022, backtracks=92640, failedAssignments=87553, nogoods=1298, foundSolutions=11, bestBound=2775 258.95/251.77 283.17/276.00 num=145, depth=57..73, filters=72521128, revisions=(100947239,useless=37673392), ccks=638888562, wck=272.541, mem=274M923 283.17/276.00 decisions=275681, wrong=132870, backtracks=100936, failedAssignments=94732, nogoods=1319, foundSolutions=11, bestBound=2775 283.17/276.00 307.62/300.38 num=146, depth=57..73, filters=78869209, revisions=(109330839,useless=40398151), ccks=703399556, wck=296.921, mem=117M539 307.62/300.38 decisions=296914, wrong=143456, backtracks=109541, failedAssignments=102629, nogoods=1341, foundSolutions=11, bestBound=2775 307.62/300.38 338.02/330.70 num=147, depth=57..72, filters=87743399, revisions=(121035240,useless=44104130), ccks=777713126, wck=327.24, mem=304M228 338.02/330.70 decisions=321421, wrong=155679, backtracks=118620, failedAssignments=111316, nogoods=1350, foundSolutions=11, bestBound=2775 338.02/330.70 371.85/364.55 num=148, depth=57..71, filters=96753870, revisions=(132739588,useless=47841022), ccks=861860206, wck=361.088, mem=210M621 371.85/364.55 decisions=347876, wrong=168876, backtracks=129244, failedAssignments=120871, nogoods=1359, foundSolutions=11, bestBound=2775 371.85/364.55 404.79/397.43 num=149, depth=57..73, filters=105420422, revisions=(144022278,useless=51548058), ccks=941176348, wck=393.971, mem=122M9 404.79/397.43 decisions=377012, wrong=183413, backtracks=140505, failedAssignments=131382, nogoods=1370, foundSolutions=11, bestBound=2775 404.79/397.43 447.00/439.66 num=150, depth=57..73, filters=117070614, revisions=(159273228,useless=56404980), ccks=1052864626, wck=436.202, mem=368M394 447.00/439.66 decisions=409601, wrong=199676, backtracks=154206, failedAssignments=142944, nogoods=1381, foundSolutions=11, bestBound=2775 447.00/439.66 489.14/481.70 num=151, depth=57..73, filters=127112571, revisions=(172449965,useless=60926880), ccks=1163665983, wck=478.244, mem=325M104 489.14/481.70 decisions=445599, wrong=217645, backtracks=169355, failedAssignments=155662, nogoods=1397, foundSolutions=11, bestBound=2775 489.14/481.70 531.78/524.37 num=152, depth=57..73, filters=138320125, revisions=(186967438,useless=65557059), ccks=1272410950, wck=520.911, mem=303M910 531.78/524.37 decisions=484282, wrong=236956, backtracks=183980, failedAssignments=169652, nogoods=1415, foundSolutions=11, bestBound=2775 531.78/524.37 584.24/576.78 num=153, depth=57..73, filters=153160099, revisions=(206457020,useless=71977180), ccks=1401620225, wck=573.321, mem=115M118 584.24/576.78 decisions=528677, wrong=259123, backtracks=201366, failedAssignments=185041, nogoods=1428, foundSolutions=11, bestBound=2775 584.24/576.78 641.79/634.22 num=154, depth=58..73, filters=169475582, revisions=(227617894,useless=78685326), ccks=1546975294, wck=630.765, mem=209M553 641.79/634.22 decisions=575573, wrong=282541, backtracks=221072, failedAssignments=201969, nogoods=1444, foundSolutions=11, bestBound=2775 641.79/634.22 702.74/695.16 num=155, depth=56..73, filters=185948841, revisions=(249098706,useless=85834863), ccks=1699074198, wck=691.704, mem=312M534 702.74/695.16 decisions=626398, wrong=307923, backtracks=242607, failedAssignments=220590, nogoods=1454, foundSolutions=11, bestBound=2775 702.74/695.16 761.70/754.02 num=156, depth=58..74, filters=201361072, revisions=(268703766,useless=91946324), ccks=1856584715, wck=750.566, mem=192M20 761.70/754.02 decisions=683375, wrong=336381, backtracks=264163, failedAssignments=241074, nogoods=1486, foundSolutions=11, bestBound=2775 761.70/754.02 831.35/823.63 num=157, depth=55..74, filters=221822814, revisions=(295804552,useless=101154634), ccks=2024714596, wck=820.17, mem=187M455 831.35/823.63 decisions=748093, wrong=368710, backtracks=288735, failedAssignments=263606, nogoods=1495, foundSolutions=11, bestBound=2775 831.35/823.63 923.00/915.21 num=158, depth=58..74, filters=246261350, revisions=(326684854,useless=110537809), ccks=2273046211, wck=911.75, mem=99M91 923.00/915.21 decisions=817478, wrong=403372, backtracks=319877, failedAssignments=288391, nogoods=1511, foundSolutions=11, bestBound=2775 923.00/915.21 1022.17/1014.39 num=159, depth=56..73, filters=274124044, revisions=(363125353,useless=122175281), ccks=2539678126, wck=1010.936, mem=124M278 1022.17/1014.39 decisions=893575, wrong=441391, backtracks=353335, failedAssignments=315655, nogoods=1525, foundSolutions=11, bestBound=2775 1022.17/1014.39 1133.23/1125.33 num=160, depth=57..73, filters=303535472, revisions=(400596842,useless=133543811), ccks=2847113991, wck=1121.869, mem=228M964 1133.23/1125.33 decisions=977286, wrong=483216, backtracks=390369, failedAssignments=345645, nogoods=1540, foundSolutions=11, bestBound=2775 1133.23/1125.33 1231.02/1223.03 num=161, depth=54..73, filters=332208635, revisions=(438760176,useless=146595664), ccks=3083830560, wck=1219.572, mem=164M532 1231.02/1223.03 decisions=1068785, wrong=528937, backtracks=425573, failedAssignments=378634, nogoods=1573, foundSolutions=11, bestBound=2775 1231.02/1223.03 1263.84/1255.85 num=162, depth=30..74, filters=341930434, revisions=(459847408,useless=158598968), ccks=3111614614, wck=1252.389, mem=121M995 1263.84/1255.85 decisions=1198629, wrong=593840, backtracks=484547, failedAssignments=414922, nogoods=1578, foundSolutions=11, bestBound=2775 1263.84/1255.85 1324.99/1316.98 num=163, depth=68..86, filters=366348006, revisions=(490103447,useless=169857029), ccks=3217821466, wck=1313.527, mem=166M784 1324.99/1316.98 decisions=1328514, wrong=658746, backtracks=529766, failedAssignments=454839, nogoods=1597, foundSolutions=11, bestBound=2775 1324.99/1316.98 1426.66/1418.54 num=164, depth=64..84, filters=404395541, revisions=(536415540,useless=185286016), ccks=3418609030, wck=1415.084, mem=205M621 1426.66/1418.54 decisions=1467830, wrong=728368, backtracks=583003, failedAssignments=498748, nogoods=1613, foundSolutions=11, bestBound=2775 1426.66/1418.54 1540.75/1532.52 num=165, depth=62..80, filters=440971139, revisions=(580966332,useless=199274914), ccks=3671724703, wck=1529.058, mem=149M226 1540.75/1532.52 decisions=1610387, wrong=799614, backtracks=632547, failedAssignments=547048, nogoods=1630, foundSolutions=11, bestBound=2775 1540.75/1532.52 1672.56/1664.29 num=166, depth=60..79, filters=477864356, revisions=(626102717,useless=213030792), ccks=4000342733, wck=1660.832, mem=102M501 1672.56/1664.29 decisions=1759469, wrong=874122, backtracks=687191, failedAssignments=600178, nogoods=1646, foundSolutions=11, bestBound=2775 1672.56/1664.29 1810.74/1802.38 num=167, depth=59..77, filters=515129574, revisions=(672212850,useless=227121678), ccks=4351739873, wck=1798.921, mem=152M756 1810.74/1802.38 decisions=1923786, wrong=956248, backtracks=743731, failedAssignments=658621, nogoods=1654, foundSolutions=11, bestBound=2775 1810.74/1802.38 2009.11/2000.52 num=168, depth=55..76, filters=572143720, revisions=(746432573,useless=250732207), ccks=4865007236, wck=1997.063, mem=159M642 2009.11/2000.52 decisions=2098455, wrong=1043553, backtracks=815194, failedAssignments=722908, nogoods=1670, foundSolutions=11, bestBound=2775 2009.11/2000.52 2198.97/2190.23 num=169, depth=56..75, filters=622528847, revisions=(810415576,useless=270900454), ccks=5366284926, wck=2186.776, mem=124M707 2198.97/2190.23 decisions=2295654, wrong=1142122, backtracks=888406, failedAssignments=793624, nogoods=1686, foundSolutions=11, bestBound=2775 2198.97/2190.23 2447.09/2438.14 num=170, depth=57..75, filters=686227651, revisions=(889387370,useless=294938175), ccks=6020328229, wck=2434.686, mem=148M871 2447.09/2438.14 decisions=2510838, wrong=1249683, backtracks=977684, failedAssignments=871411, nogoods=1711, foundSolutions=11, bestBound=2775 2447.09/2438.14 2520.02/2510.90 2520.02/2510.90 v <instantiation id='sol11' type='solution' cost='2775'> <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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -7 0 13 10 1 4 -1 -4 5 4 -3 2 13 4 15 6 1 4 17 -2 -1 4 7 -2 3 8 -3 2 11 -4 7 8 3 2 5 0 13 8 -1 4 7 2 1 4 -5 10 -5 2 1 -6 9 4 3 6 7 10 3 0 5 6 3 -4 3 -2 -1 -4 5 2 5 4 -1 10 1 0 5 -2 1 -2 -5 2 1 0 1 2 1 49 0 169 100 1 16 1 16 25 16 9 4 169 16 225 36 1 16 289 4 1 16 49 4 9 64 9 4 121 16 49 64 9 4 25 0 169 64 1 16 49 4 1 16 25 100 25 4 1 36 81 16 9 36 49 100 9 0 25 36 9 16 9 4 1 16 25 4 25 16 1 100 1 0 25 4 1 4 25 4 1 0 1 4 1 </values> </instantiation> 2520.02/2510.90 s SATISFIABLE
OK 2775
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 (15327 MiB free) memory of node 1: 16384 MiB (15359 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391033-1568382492/watcher-4391033-1568382492 -o /tmp/evaluation-result-4391033-1568382492/solver-4391033-1568382492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29501 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391033-1568382492.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=30354, runsolver pid=30351 [startup+0.100058 s]* /proc/loadavg: 1.54 1.62 1.49 4/228 30369 /proc/meminfo: memFree=31408496/32770624 swapFree=66994788/67108860 [pid=30354] ppid=30351 vsize=10659884 memory=28136 CPUtime=0.14 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 5547 0 0 0 13 1 0 0 20 0 15 0 414500628 10915721216 7034 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2664971 7034 2858 1 0 2627468 0 [pid=30354/tid=30356] ppid=30351 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) R 30351 30354 29470 0 -1 4202560 3276 0 0 0 9 0 0 0 20 0 15 0 414500628 10915721216 7034 33554432000 4194304 4196468 140732911391536 139652412619024 139652408410714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 7034 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10659884 memory=140112783752028 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 7034 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 7034 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 7034 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500630 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414500631 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651899335456 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414500631 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651898283120 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) S 30351 30354 29470 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651896179312 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) S 30351 30354 29470 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0.02 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) R 30351 30354 29470 0 -1 4202560 408 0 0 0 2 0 0 0 20 0 15 0 414500633 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651894070168 139652387198355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500634 10915721216 7034 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 28136 KiB [startup+0.211528 s]* /proc/loadavg: 1.54 1.62 1.49 4/228 30369 /proc/meminfo: memFree=31396628/32770624 swapFree=66994788/67108860 [pid=30354] ppid=30351 vsize=10659884 memory=37608 CPUtime=0.33 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 9170 0 0 0 30 3 0 0 20 0 15 0 414500628 10915721216 9402 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2664971 9402 2989 1 0 2627468 0 [pid=30354/tid=30356] ppid=30351 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) R 30351 30354 29470 0 -1 4202560 6117 0 0 0 18 1 0 0 20 0 15 0 414500628 10915721216 9402 33554432000 4194304 4196468 140732911391536 139652412621328 139652408411293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 9402 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10659884 memory=3545097783483172512 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 9402 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 9402 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 9402 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500630 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414500631 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651899335456 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414500631 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651898283120 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) S 30351 30354 29470 0 -1 1077944384 637 0 0 0 3 0 0 0 20 0 15 0 414500633 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651896179312 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) S 30351 30354 29470 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 15 0 414500633 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0.05 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) S 30351 30354 29470 0 -1 1077944384 716 0 0 0 5 0 0 0 20 0 15 0 414500633 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651894074224 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500634 10915721216 9402 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 37608 KiB [startup+0.310041 s]* /proc/loadavg: 1.54 1.62 1.49 3/228 30369 /proc/meminfo: memFree=31394692/32770624 swapFree=66994788/67108860 [pid=30354] ppid=30351 vsize=10659884 memory=40432 CPUtime=0.46 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 9362 0 0 0 43 3 0 0 20 0 15 0 414500628 10915721216 10108 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2664971 10108 3019 1 0 2627468 0 [pid=30354/tid=30356] ppid=30351 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) R 30351 30354 29470 0 -1 4202560 6242 0 0 0 28 1 0 0 20 0 15 0 414500628 10915721216 10170 33554432000 4194304 4196468 140732911391536 139652412628352 139652401106330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10659884 memory=4297776180 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 10170 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10659884 memory=4122678938135299744 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 10170 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 10170 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10915721216 10170 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500630 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414500631 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651899335456 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414500631 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651898283120 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) S 30351 30354 29470 0 -1 1077944384 678 0 0 0 4 0 0 0 20 0 15 0 414500633 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651896179312 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) R 30351 30354 29470 0 -1 1077944384 348 0 0 0 3 0 0 0 20 0 15 0 414500633 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0.07 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) R 30351 30354 29470 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 15 0 414500633 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651894074224 139652408410714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10659884 memory=140112780723840 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500634 10915721216 10170 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 0.46 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40432 KiB [startup+0.700734 s] /proc/loadavg: 1.54 1.62 1.49 3/228 30369 /proc/meminfo: memFree=31384352/32770624 swapFree=66994788/67108860 [pid=30354] ppid=30351 vsize=10661932 memory=64064 CPUtime=1.09 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 13007 0 0 0 104 5 0 0 20 0 15 0 414500628 10917818368 16016 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2665483 16016 3070 1 0 2627980 0 [pid=30354/tid=30356] ppid=30351 vsize=10661932 memory=19968 CPUtime=0.67 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) R 30351 30354 29470 0 -1 4202560 8796 0 0 0 64 3 0 0 20 0 15 0 414500628 10917818368 16016 33554432000 4194304 4196468 140732911391536 139652412621392 139652392469854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10917818368 16016 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10917818368 16016 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10917818368 16016 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10917818368 16016 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500630 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10661932 memory=19 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414500631 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651899335456 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10661932 memory=7 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414500631 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651898283120 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10661932 memory=3115 CPUtime=0.1 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) R 30351 30354 29470 0 -1 4202560 957 0 0 0 10 0 0 0 20 0 15 0 414500633 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651896179312 139652392673438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10661932 memory=192523 CPUtime=0.11 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) S 30351 30354 29470 0 -1 1077944384 673 0 0 0 11 0 0 0 20 0 15 0 414500633 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) S 30351 30354 29470 0 -1 1077944384 1221 0 0 0 18 0 0 0 20 0 15 0 414500633 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651894074224 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414500633 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10661932 memory=5 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500634 10917818368 16016 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 1.09 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64064 KiB [startup+1.50068 s] /proc/loadavg: 1.54 1.62 1.49 3/228 30369 /proc/meminfo: memFree=31368532/32770624 swapFree=66994788/67108860 [pid=30354] ppid=30351 vsize=10663980 memory=75924 CPUtime=1.99 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 18572 0 0 0 193 6 0 0 20 0 15 0 414500628 10919915520 18981 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2665995 18981 3096 1 0 2628492 0 [pid=30354/tid=30356] ppid=30351 vsize=10663980 memory=19968 CPUtime=1.47 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) R 30351 30354 29470 0 -1 4202560 12985 0 0 0 143 4 0 0 20 0 15 0 414500628 10919915520 18981 33554432000 4194304 4196468 140732911391536 139652412615248 139652408411293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10919915520 18981 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10919915520 18981 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414500629 10919915520 18981 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414500629 10919915520 18981 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 414500630 10919915520 18981 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 ################ # More data... # ################ /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 6327 0 0 0 35 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.14 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 8922 0 0 0 11 3 0 0 20 0 16 0 414500630 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10748324 memory=2257 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651899335520 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10748324 memory=314156 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651898283136 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10748324 memory=314156 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10748324 memory=920 CPUtime=2.8 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) S 30351 30354 29470 0 -1 1077944384 13396 0 0 0 278 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651896179312 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10748324 memory=314156 CPUtime=2.87 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) S 30351 30354 29470 0 -1 1077944384 11399 0 0 0 286 1 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10748324 memory=988 CPUtime=1.1 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) S 30351 30354 29470 0 -1 1077944384 15217 0 0 0 108 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651894074224 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10748324 memory=314156 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.77 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 2450 0 0 0 34 43 0 0 20 0 16 0 414500634 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30370] ppid=30351 vsize=10748324 memory=314156 CPUtime=2439.88 cores=0,2,4,6 /proc/30354/task/30370/stat : 30370 (java) R 30351 30354 29470 0 -1 4202560 30197 0 0 0 243980 8 0 0 20 0 16 0 414500817 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651874900992 139652027499654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 2451.29 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 314156 KiB [startup+2502.3 s] /proc/loadavg: 2.01 2.08 2.00 3/229 31090 /proc/meminfo: memFree=31155020/32770624 swapFree=66994848/67108860 [pid=30354] ppid=30351 vsize=10748324 memory=314156 CPUtime=2511.4 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 122673 0 0 0 251057 83 0 0 20 0 16 0 414500628 11006283776 78539 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2687081 78539 3383 1 0 2647217 0 [pid=30354/tid=30356] ppid=30351 vsize=10748324 memory=314156 CPUtime=1.87 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) S 30351 30354 29470 0 -1 1077944384 15269 0 0 0 181 6 0 0 20 0 16 0 414500628 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652412632240 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.46 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 6314 0 0 0 38 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.45 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 4716 0 0 0 38 7 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10748324 memory=5904 CPUtime=0.46 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 6064 0 0 0 38 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10748324 memory=664 CPUtime=0.44 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 6355 0 0 0 36 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.15 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 9105 0 0 0 11 4 0 0 20 0 16 0 414500630 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10748324 memory=314156 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651899335520 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651898283136 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10748324 memory=288230621803970871 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10748324 memory=314156 CPUtime=2.81 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) S 30351 30354 29470 0 -1 1077944384 13434 0 0 0 279 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651896179312 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10748324 memory=314156 CPUtime=2.9 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) S 30351 30354 29470 0 -1 1077944384 11606 0 0 0 289 1 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10748324 memory=314156 CPUtime=1.1 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) S 30351 30354 29470 0 -1 1077944384 15419 0 0 0 108 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651894074224 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10748324 memory=314156 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.79 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 2469 0 0 0 35 44 0 0 20 0 16 0 414500634 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30370] ppid=30351 vsize=10748324 memory=314156 CPUtime=2499.87 cores=0,2,4,6 /proc/30354/task/30370/stat : 30370 (java) R 30351 30354 29470 0 -1 4202560 30490 0 0 0 249979 8 0 0 20 0 16 0 414500817 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651874900992 139652023814903 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 2511.4 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 314156 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2510.9 s] /proc/loadavg: 2.01 2.08 2.00 3/229 31090 /proc/meminfo: memFree=31154804/32770624 swapFree=66994848/67108860 [pid=30354] ppid=30351 vsize=10748324 memory=314156 CPUtime=2520.02 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 122674 0 0 0 251919 83 0 0 20 0 16 0 414500628 11006283776 78539 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2687081 78539 3383 1 0 2647217 0 [pid=30354/tid=30356] ppid=30351 vsize=10748324 memory=314156 CPUtime=1.87 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) S 30351 30354 29470 0 -1 1077944384 15269 0 0 0 181 6 0 0 20 0 16 0 414500628 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652412632240 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.47 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 6314 0 0 0 39 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.45 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 4716 0 0 0 38 7 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.46 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 6064 0 0 0 38 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.44 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 6355 0 0 0 36 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.15 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 9105 0 0 0 11 4 0 0 20 0 16 0 414500630 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10748324 memory=314156 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651899335520 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10748324 memory=3632 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651898283136 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10748324 memory=20084 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10748324 memory=314156 CPUtime=2.81 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) S 30351 30354 29470 0 -1 1077944384 13434 0 0 0 279 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651896179312 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10748324 memory=15 CPUtime=2.9 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) S 30351 30354 29470 0 -1 1077944384 11606 0 0 0 289 1 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10748324 memory=314156 CPUtime=1.1 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) S 30351 30354 29470 0 -1 1077944384 15419 0 0 0 108 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651894074224 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10748324 memory=111632 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10748324 memory=2832 CPUtime=0.79 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 2469 0 0 0 35 44 0 0 20 0 16 0 414500634 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30370] ppid=30351 vsize=10748324 memory=5904 CPUtime=2508.46 cores=0,2,4,6 /proc/30354/task/30370/stat : 30370 (java) R 30351 30354 29470 0 -1 4202560 30491 0 0 0 250838 8 0 0 20 0 16 0 414500817 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651874900992 139652023814913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 314156 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2510.91 s] # the end of solver process 30354 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.2 s, system=0.842226 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2510.9 s] /proc/loadavg: 2.01 2.08 2.00 3/229 31090 /proc/meminfo: memFree=31154804/32770624 swapFree=66994848/67108860 [pid=30354] ppid=30351 vsize=10748324 memory=314156 CPUtime=2520.02 cores=0,2,4,6 /proc/30354/stat : 30354 (java) S 30351 30354 29470 0 -1 1077944320 122674 0 0 0 251919 83 0 0 20 0 16 0 414500628 11006283776 78539 33554432000 4194304 4196468 140732911391536 140732911374080 139652408389367 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 /proc/30354/statm: 2687081 78539 3383 1 0 2647217 0 [pid=30354/tid=30356] ppid=30351 vsize=10748324 memory=314156 CPUtime=1.87 cores=0,2,4,6 /proc/30354/task/30356/stat : 30356 (java) S 30351 30354 29470 0 -1 1077944384 15269 0 0 0 181 6 0 0 20 0 16 0 414500628 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652412632240 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30357] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.47 cores=0,2,4,6 /proc/30354/task/30357/stat : 30357 (java) S 30351 30354 29470 0 -1 1077944384 6314 0 0 0 39 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652345080720 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30358] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.45 cores=0,2,4,6 /proc/30354/task/30358/stat : 30358 (java) S 30351 30354 29470 0 -1 1077944384 4716 0 0 0 38 7 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652344027920 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30359] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.46 cores=0,2,4,6 /proc/30354/task/30359/stat : 30359 (java) S 30351 30354 29470 0 -1 1077944384 6064 0 0 0 38 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652342975632 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30360] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.44 cores=0,2,4,6 /proc/30354/task/30360/stat : 30360 (java) S 30351 30354 29470 0 -1 1077944384 6355 0 0 0 36 8 0 0 20 0 16 0 414500629 11006283776 78539 33554432000 4194304 4196468 140732911391536 139652341922832 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30361] ppid=30351 vsize=10748324 memory=314156 CPUtime=0.15 cores=0,2,4,6 /proc/30354/task/30361/stat : 30361 (java) S 30351 30354 29470 0 -1 1077944384 9105 0 0 0 11 4 0 0 20 0 16 0 414500630 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651900389488 139652408400514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30362] ppid=30351 vsize=10748324 memory=314156 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30362/stat : 30362 (java) S 30351 30354 29470 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651899335520 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30363] ppid=30351 vsize=10748324 memory=3632 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30363/stat : 30363 (java) S 30351 30354 29470 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 16 0 414500631 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651898283136 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30364] ppid=30351 vsize=10748324 memory=20084 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30364/stat : 30364 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651897231440 139652408407963 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30365] ppid=30351 vsize=10748324 memory=314156 CPUtime=2.81 cores=0,2,4,6 /proc/30354/task/30365/stat : 30365 (java) S 30351 30354 29470 0 -1 1077944384 13434 0 0 0 279 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651896179312 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30366] ppid=30351 vsize=10748324 memory=15 CPUtime=2.9 cores=0,2,4,6 /proc/30354/task/30366/stat : 30366 (java) S 30351 30354 29470 0 -1 1077944384 11606 0 0 0 289 1 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651895126512 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30367] ppid=30351 vsize=10748324 memory=314156 CPUtime=1.1 cores=0,2,4,6 /proc/30354/task/30367/stat : 30367 (java) S 30351 30354 29470 0 -1 1077944384 15419 0 0 0 108 2 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651894074224 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30368] ppid=30351 vsize=10748324 memory=111632 CPUtime=0 cores=0,2,4,6 /proc/30354/task/30368/stat : 30368 (java) S 30351 30354 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414500633 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651893021664 139652408399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30369] ppid=30351 vsize=10748324 memory=2832 CPUtime=0.79 cores=0,2,4,6 /proc/30354/task/30369/stat : 30369 (java) S 30351 30354 29470 0 -1 1077944384 2469 0 0 0 35 44 0 0 20 0 16 0 414500634 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651891968432 139652408400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 [pid=30354/tid=30370] ppid=30351 vsize=10748324 memory=5904 CPUtime=2508.46 cores=0,2,4,6 /proc/30354/task/30370/stat : 30370 (java) R 30351 30354 29470 0 -1 4202560 30491 0 0 0 250838 8 0 0 20 0 16 0 414500817 11006283776 78539 33554432000 4194304 4196468 140732911391536 139651874900992 139652023814913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27004928 140732911395851 140732911395954 140732911395954 140732911398863 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 314156 KiB Child status: 143 Real time (s): 2510.91 CPU time (s): 2520.04 CPU user time (s): 2519.2 CPU system time (s): 0.842226 CPU usage (%): 100.364 Max. virtual memory (cumulated for all children) (KiB): 10748372 Max. memory (cumulated for all children) (KiB): 579512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.2 system time used= 0.842226 maximum resident set size= 579512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 122955 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 59745 involuntary context switches= 2801 # summary of solver processes directly reported to runsolver: # pid: 30354 # total CPU time (s): 2520.04 # total CPU user time (s): 2519.2 # total CPU system time (s): 0.842226 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.2538 second user time and 22.5607 second system time The end
Begin job on node102 at 2019-09-13 15:47:27 IDJOB=4391033 IDBENCH=126990 IDSOLVER=2832 FILE ID=node102/4391033-1568382492 RUNJOBID= node102-1568380472-29501 PBS_JOBID= 21701852 Free space on /tmp= 56892 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-086.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391033-1568382492/watcher-4391033-1568382492 -o /tmp/evaluation-result-4391033-1568382492/solver-4391033-1568382492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568380472-29501 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391033-1568382492.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6faa7a5ef9c34b1bccb6ba71ed7d002 RANDOM SEED=546819354 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31423580 kB MemAvailable: 31688300 kB Buffers: 139072 kB Cached: 416008 kB SwapCached: 10200 kB Active: 488208 kB Inactive: 312136 kB Active(anon): 241956 kB Inactive(anon): 33616 kB Active(file): 246252 kB Inactive(file): 278520 kB Unevictable: 110464 kB Mlocked: 110464 kB SwapTotal: 67108860 kB SwapFree: 66994788 kB Dirty: 8776 kB Writeback: 0 kB AnonPages: 345528 kB Mapped: 46340 kB Shmem: 21820 kB Slab: 139948 kB SReclaimable: 111564 kB SUnreclaim: 28384 kB KernelStack: 3776 kB PageTables: 6808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1174748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 274432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 56888 MiB End job on node102 at 2019-09-13 16:29:18