Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 14 | 148.641 | 142.891 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 494592 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml |
MD5SUM | 1892dc6bbe7f4411da75bff22067cf15 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 69.5267 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 8 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
Number of extensional constraints | 450 |
Number of intensional constraints | 450 |
Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
2.43/1.87 2.43/1.87 AbsCon 2 2.43/1.89 3.37/2.18 Instance 3.37/2.18 name=instance-4390962-1568381623, framework=COP, bounds=-infty..+infty 3.37/2.18 3.37/2.18 Loading variables... 3.70/2.23 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb36b3 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76faf5b2 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0e9401 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce3c214 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@742c0993 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471cb3e 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe4bfa3 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216682b0 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282b488 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e9ba9a 4.79/2.59 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f155e0a 4.79/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a5ae1a 4.79/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40766271 4.79/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27da5b17 4.79/2.60 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97 5.16/2.63 5.16/2.63 5.16/2.63 Domains 5.16/2.63 nTypes=8, nValues=4005, sizes=[2#960,3#120,4#165,5#60,6#15,7#30,15#15,16#15] 5.16/2.63 Variables 5.16/2.63 count=1380, degrees=[2#495,3#870,31#15] 5.16/2.63 Objectives 5.16/2.63 way=min, type=ObjMaximumLE 5.16/2.63 Constraints 5.16/2.63 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15] 5.16/2.63 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15] 5.16/2.63 tables=[3#60,4#120,5#165,6#60,7#15,8#30], nTotalTuples=2190 5.16/2.63 nExtStructures=(456,shared:444), nIntStructures=(6,shared:414), nCftStructures=(456,shared:414,unbuilt:497) 5.16/2.63 wck=0.788, cpu=2.601, mem=79M361 5.41/2.70 Solver SolverBacktrack being built... 5.41/2.70 5.41/2.74 5.41/2.74 Solver 5.41/2.74 guaranteedGAC=false 5.41/2.74 wck=0.893, cpu=2.704, mem=132M304 5.41/2.76 5.41/2.76 Preprocessing 5.41/2.76 filters=56, revisions=(112,useless=82), ccks=1272, nACremovedValues=105, nTotalRemovedValues=105, inconcistency=false 5.41/2.76 wck=0.026, cpu=2.731, mem=132M304 5.41/2.76 5.70/2.80 num=0, depth=2..3, filters=1496, revisions=(2909,useless=1815), ccks=6435, wck=0.056, mem=132M304 5.70/2.80 decisions=23, wrong=10, backtracks=0, failedAssignments=10, nogoods=10 5.70/2.80 nFilterCalls=1137, avgTableProportion=0.7897526908740585, avgTableSize=4.0958663148636765 5.70/2.80 5.70/2.81 num=1, depth=16..21, filters=3174, revisions=(6717,useless=4569), ccks=9768, wck=0.075, mem=132M304 5.70/2.81 decisions=71, wrong=26, backtracks=5, failedAssignments=21, nogoods=13 5.70/2.81 nFilterCalls=1837, avgTableProportion=0.7894801306477871, avgTableSize=4.104518236254763 5.70/2.81 5.70/2.83 num=2, depth=11..17, filters=5385, revisions=(12154,useless=8376), ccks=14704, wck=0.096, mem=132M304 5.70/2.83 decisions=120, wrong=43, backtracks=11, failedAssignments=33, nogoods=22 5.70/2.83 nFilterCalls=2903, avgTableProportion=0.792775535980839, avgTableSize=4.187047881501894 5.70/2.83 5.70/2.87 num=3, depth=14..24, filters=11125, revisions=(24508,useless=16791), ccks=24611, wck=0.131, mem=132M304 5.70/2.87 decisions=197, wrong=74, backtracks=35, failedAssignments=46, nogoods=24 5.70/2.87 nFilterCalls=5645, avgTableProportion=0.7922537854823404, avgTableSize=4.148095659875996 5.70/2.87 6.03/2.90 num=4, depth=23..26, filters=13976, revisions=(31915,useless=22067), ccks=30235, wck=0.162, mem=132M304 6.03/2.90 decisions=254, wrong=90, backtracks=37, failedAssignments=60, nogoods=32 6.03/2.90 nFilterCalls=7020, avgTableProportion=0.7926495726496116, avgTableSize=4.158974358974359 6.03/2.90 6.03/2.93 num=5, depth=22..27, filters=20254, revisions=(46845,useless=32755), ccks=42328, wck=0.195, mem=134M946 6.03/2.93 decisions=339, wrong=121, backtracks=57, failedAssignments=76, nogoods=39 6.03/2.93 nFilterCalls=10169, avgTableProportion=0.7940167127919575, avgTableSize=4.2034615006391975 6.03/2.93 6.03/2.96 num=6, depth=19..28, filters=25054, revisions=(56540,useless=39160), ccks=50381, wck=0.22, mem=134M946 6.03/2.96 decisions=411, wrong=145, backtracks=67, failedAssignments=93, nogoods=42 6.03/2.96 nFilterCalls=12477, avgTableProportion=0.7937186327604727, avgTableSize=4.197964254227779 6.03/2.96 6.03/2.98 num=7, depth=21..29, filters=29881, revisions=(67488,useless=46723), ccks=58426, wck=0.246, mem=134M946 6.03/2.98 decisions=490, wrong=173, backtracks=81, failedAssignments=112, nogoods=50 6.03/2.98 nFilterCalls=14896, avgTableProportion=0.794772246304511, avgTableSize=4.220797529538131 6.03/2.98 6.36/3.02 num=8, depth=18..34, filters=36377, revisions=(82998,useless=57471), ccks=70266, wck=0.281, mem=134M946 6.36/3.02 decisions=595, wrong=210, backtracks=101, failedAssignments=133, nogoods=63 6.36/3.02 nFilterCalls=18031, avgTableProportion=0.7943867175842106, avgTableSize=4.211801896733403 6.36/3.02 6.36/3.06 num=9, depth=21..25, filters=47576, revisions=(106387,useless=73391), ccks=88401, wck=0.327, mem=134M946 6.36/3.06 decisions=702, wrong=252, backtracks=125, failedAssignments=156, nogoods=70 6.36/3.06 nFilterCalls=23568, avgTableProportion=0.7950808501437402, avgTableSize=4.233961303462322 6.36/3.06 6.36/3.09 num=10, depth=23..27, filters=54851, revisions=(121546,useless=83351), ccks=102287, wck=0.356, mem=134M946 6.36/3.09 decisions=799, wrong=289, backtracks=144, failedAssignments=181, nogoods=72 6.36/3.09 nFilterCalls=27343, avgTableProportion=0.7954409851566471, avgTableSize=4.239329993051238 6.36/3.09 6.67/3.13 num=11, depth=22..25, filters=63553, revisions=(139564,useless=95417), ccks=116720, wck=0.389, mem=134M946 6.67/3.13 decisions=896, wrong=326, backtracks=154, failedAssignments=209, nogoods=80 6.67/3.13 nFilterCalls=31675, avgTableProportion=0.7963052580145851, avgTableSize=4.249344909234412 6.67/3.13 6.67/3.17 num=12, depth=28..33, filters=73062, revisions=(163043,useless=111907), ccks=134221, wck=0.429, mem=134M946 6.67/3.17 decisions=1019, wrong=372, backtracks=176, failedAssignments=240, nogoods=86 6.67/3.17 nFilterCalls=36378, avgTableProportion=0.796246914016332, avgTableSize=4.2507559513991975 6.67/3.17 6.95/3.21 num=13, depth=27..33, filters=83615, revisions=(183331,useless=124983), ccks=149832, wck=0.47, mem=137M589 6.95/3.21 decisions=1137, wrong=417, backtracks=192, failedAssignments=274, nogoods=92 6.95/3.21 nFilterCalls=41128, avgTableProportion=0.7954016959825414, avgTableSize=4.227655125461973 6.95/3.21 6.95/3.28 num=14, depth=23..28, filters=101502, revisions=(212568,useless=142733), ccks=175366, wck=0.538, mem=137M589 6.95/3.28 decisions=1267, wrong=470, backtracks=210, failedAssignments=311, nogoods=96 6.95/3.28 nFilterCalls=49477, avgTableProportion=0.7952991625738904, avgTableSize=4.213048487175859 6.95/3.28 7.26/3.34 num=15, depth=22..25, filters=123470, revisions=(248034,useless=164313), ccks=210718, wck=0.605, mem=137M589 7.26/3.34 decisions=1404, wrong=527, backtracks=234, failedAssignments=352, nogoods=101 7.26/3.34 nFilterCalls=60289, avgTableProportion=0.7946123592002441, avgTableSize=4.206870241669293 7.26/3.34 7.26/3.38 num=16, depth=16..24, filters=131957, revisions=(268592,useless=178396), ccks=226627, wck=0.639, mem=137M589 7.26/3.38 decisions=1551, wrong=592, backtracks=259, failedAssignments=397, nogoods=109 7.26/3.38 nFilterCalls=64284, avgTableProportion=0.7947921018637668, avgTableSize=4.210130047912389 7.26/3.38 7.56/3.42 num=17, depth=18..24, filters=145357, revisions=(295535,useless=195808), ccks=248407, wck=0.685, mem=137M589 7.56/3.42 decisions=1713, wrong=664, backtracks=282, failedAssignments=447, nogoods=113 7.56/3.42 nFilterCalls=70800, avgTableProportion=0.7946868778589005, avgTableSize=4.20611581920904 7.56/3.42 7.56/3.47 num=18, depth=23..28, filters=160515, revisions=(331257,useless=219912), ccks=275036, wck=0.729, mem=140M231 7.56/3.47 decisions=1903, wrong=746, backtracks=318, failedAssignments=502, nogoods=124 7.56/3.47 nFilterCalls=78309, avgTableProportion=0.7950052417503907, avgTableSize=4.212006282802743 7.56/3.47 7.86/3.52 num=19, depth=21..24, filters=183715, revisions=(372971,useless=245601), ccks=308683, wck=0.779, mem=140M231 7.86/3.52 decisions=2094, wrong=830, backtracks=344, failedAssignments=563, nogoods=131 7.86/3.52 nFilterCalls=90054, avgTableProportion=0.7943982155685801, avgTableSize=4.191329646656451 7.86/3.52 7.86/3.56 num=20, depth=25..40, filters=200968, revisions=(407838,useless=268078), ccks=335210, wck=0.818, mem=140M231 7.86/3.56 decisions=2340, wrong=939, backtracks=397, failedAssignments=630, nogoods=136 7.86/3.56 nFilterCalls=98008, avgTableProportion=0.7944092634814988, avgTableSize=4.190831360705249 7.86/3.56 8.12/3.60 num=21, depth=17..20, filters=226481, revisions=(450224,useless=293094), ccks=372478, wck=0.861, mem=140M231 8.12/3.60 decisions=2553, wrong=1036, backtracks=421, failedAssignments=704, nogoods=144 8.12/3.60 nFilterCalls=110656, avgTableProportion=0.7940738479101841, avgTableSize=4.17854431752458 8.12/3.60 8.12/3.62 num=22, depth=15..31, filters=239588, revisions=(481339,useless=314584), ccks=393359, wck=0.886, mem=140M231 8.12/3.62 decisions=2811, wrong=1155, backtracks=468, failedAssignments=785, nogoods=158 8.12/3.62 nFilterCalls=116309, avgTableProportion=0.7940271071851037, avgTableSize=4.179005923875194 8.12/3.62 8.12/3.67 num=23, depth=17..23, filters=266715, revisions=(536619,useless=350990), ccks=436507, wck=0.932, mem=142M778 8.12/3.67 decisions=3112, wrong=1296, backtracks=529, failedAssignments=874, nogoods=168 8.12/3.67 nFilterCalls=128886, avgTableProportion=0.7940226893022513, avgTableSize=4.180741120059587 8.12/3.67 8.23/3.70 num=24, depth=13..22, filters=282924, revisions=(572437,useless=375157), ccks=462147, wck=0.962, mem=142M778 8.23/3.70 decisions=3391, wrong=1427, backtracks=564, failedAssignments=972, nogoods=190 8.23/3.70 nFilterCalls=136021, avgTableProportion=0.7941382563132621, avgTableSize=4.183611354129142 8.23/3.70 8.23/3.77 num=25, depth=20..25, filters=328385, revisions=(655113,useless=426784), ccks=539180, wck=1.035, mem=142M778 8.23/3.77 decisions=3724, wrong=1582, backtracks=621, failedAssignments=1080, nogoods=199 8.23/3.77 nFilterCalls=158618, avgTableProportion=0.7949176413059575, avgTableSize=4.202486476944609 8.23/3.77 8.36/3.83 num=26, depth=14..21, filters=360043, revisions=(719747,useless=469396), ccks=589781, wck=1.088, mem=142M778 8.36/3.83 decisions=4065, wrong=1745, backtracks=668, failedAssignments=1199, nogoods=208 8.36/3.83 nFilterCalls=174057, avgTableProportion=0.7954195765649029, avgTableSize=4.211631821759538 8.36/3.83 8.55/3.92 num=27, depth=23..32, filters=393305, revisions=(794957,useless=520788), ccks=642770, wck=1.18, mem=60M748 8.55/3.92 decisions=4476, wrong=1938, backtracks=749, failedAssignments=1330, nogoods=217 8.55/3.92 nFilterCalls=190066, avgTableProportion=0.7950791592193689, avgTableSize=4.206575610577378 8.55/3.92 8.55/3.98 num=28, depth=27..33, filters=432788, revisions=(877175,useless=574274), ccks=709574, wck=1.243, mem=60M748 8.55/3.98 decisions=4911, wrong=2141, backtracks=823, failedAssignments=1474, nogoods=227 8.55/3.98 nFilterCalls=209926, avgTableProportion=0.7955341235886706, avgTableSize=4.215618837114031 8.55/3.98 8.67/4.03 num=29, depth=11..26, filters=462666, revisions=(941556,useless=616646), ccks=758870, wck=1.293, mem=60M748 8.67/4.03 decisions=5352, wrong=2355, backtracks=887, failedAssignments=1632, nogoods=237 8.67/4.03 nFilterCalls=223645, avgTableProportion=0.7957130933477409, avgTableSize=4.217661919560017 8.67/4.03 8.80/4.15 num=30, depth=17..22, filters=540505, revisions=(1071600,useless=694486), ccks=882629, wck=1.409, mem=63M337 8.80/4.15 decisions=5895, wrong=2617, backtracks=986, failedAssignments=1806, nogoods=244 8.80/4.15 nFilterCalls=262618, avgTableProportion=0.7961192184254752, avgTableSize=4.221736514633422 8.80/4.15 8.89/4.24 num=31, depth=14..18, filters=604193, revisions=(1187409,useless=764049), ccks=995912, wck=1.505, mem=63M337 8.89/4.24 decisions=6411, wrong=2867, backtracks=1046, failedAssignments=1997, nogoods=250 8.89/4.24 nFilterCalls=295186, avgTableProportion=0.7962061934785605, avgTableSize=4.22066764683962 8.89/4.24 9.00/4.31 num=32, depth=9..23, filters=645187, revisions=(1271208,useless=817118), ccks=1055484, wck=1.572, mem=65M926 9.00/4.31 decisions=6995, wrong=3153, backtracks=1129, failedAssignments=2208, nogoods=253 9.00/4.31 nFilterCalls=313553, avgTableProportion=0.7957130699996755, avgTableSize=4.209380870219707 9.00/4.31 9.00/4.38 num=33, depth=10..22, filters=688662, revisions=(1361799,useless=877513), ccks=1112529, wck=1.641, mem=65M926 9.00/4.38 decisions=7637, wrong=3466, backtracks=1230, failedAssignments=2440, nogoods=265 9.00/4.38 nFilterCalls=333543, avgTableProportion=0.7952043628826254, avgTableSize=4.197647679609526 9.00/4.38 9.21/4.51 num=34, depth=14..22, filters=782484, revisions=(1514195,useless=969245), ccks=1239379, wck=1.776, mem=68M516 9.21/4.51 decisions=8336, wrong=3807, backtracks=1320, failedAssignments=2695, nogoods=279 9.21/4.51 nFilterCalls=379421, avgTableProportion=0.7948364494199741, avgTableSize=4.185991286723718 9.21/4.51 9.31/4.61 num=35, depth=11..25, filters=840190, revisions=(1647431,useless=1058528), ccks=1335241, wck=1.875, mem=68M516 9.31/4.61 decisions=9217, wrong=4240, backtracks=1491, failedAssignments=2976, nogoods=298 9.31/4.61 nFilterCalls=406482, avgTableProportion=0.7948107905416425, avgTableSize=4.187024271677466 9.31/4.61 9.44/4.76 num=36, depth=18..22, filters=942252, revisions=(1822909,useless=1165137), ccks=1476078, wck=2.025, mem=71M105 9.44/4.76 decisions=10078, wrong=4660, backtracks=1607, failedAssignments=3285, nogoods=319 9.44/4.76 nFilterCalls=454944, avgTableProportion=0.7944113346629263, avgTableSize=4.176303017514243 9.44/4.76 9.56/4.86 num=37, depth=6..23, filters=1000755, revisions=(1957722,useless=1256167), ccks=1563095, wck=2.122, mem=73M695 9.56/4.86 decisions=11183, wrong=5205, backtracks=1839, failedAssignments=3625, nogoods=334 9.56/4.86 nFilterCalls=480495, avgTableProportion=0.7943423721243913, avgTableSize=4.17511108336195 9.56/4.86 9.79/5.01 num=38, depth=24..33, filters=1091080, revisions=(2169297,useless=1399973), ccks=1715707, wck=2.273, mem=76M284 9.79/5.01 decisions=12315, wrong=5758, backtracks=2078, failedAssignments=3999, nogoods=350 9.79/5.01 nFilterCalls=525148, avgTableProportion=0.7939897986098945, avgTableSize=4.1730674019514495 9.79/5.01 10.02/5.24 num=39, depth=29..34, filters=1243022, revisions=(2449594,useless=1575571), ccks=1958209, wck=2.5, mem=78M873 10.02/5.24 decisions=13475, wrong=6322, backtracks=2261, failedAssignments=4410, nogoods=368 10.02/5.24 nFilterCalls=601868, avgTableProportion=0.7936978923839214, avgTableSize=4.167775990748802 10.02/5.24 10.24/5.40 num=40, depth=10..26, filters=1341534, revisions=(2683138,useless=1734523), ccks=2115163, wck=2.663, mem=81M463 10.24/5.40 decisions=14892, wrong=7022, backtracks=2578, failedAssignments=4862, nogoods=374 10.24/5.40 nFilterCalls=648129, avgTableProportion=0.7936906721725581, avgTableSize=4.169370603691549 10.24/5.40 10.44/5.69 num=41, depth=18..26, filters=1547402, revisions=(3042748,useless=1955267), ccks=2435399, wck=2.956, mem=86M642 10.44/5.69 decisions=16252, wrong=7692, backtracks=2780, failedAssignments=5359, nogoods=386 10.44/5.69 nFilterCalls=750215, avgTableProportion=0.793726295287144, avgTableSize=4.168593003339042 10.44/5.69 10.74/5.90 num=42, depth=4..16, filters=1682813, revisions=(3310068,useless=2124182), ccks=2638648, wck=3.16, mem=89M231 10.74/5.90 decisions=17770, wrong=8447, backtracks=3021, failedAssignments=5906, nogoods=400 10.74/5.90 nFilterCalls=813835, avgTableProportion=0.7935806953980213, avgTableSize=4.163300914804598 10.74/5.90 10.85/6.10 num=43, depth=17..23, filters=1815584, revisions=(3586842,useless=2305161), ccks=2841763, wck=3.366, mem=94M410 10.85/6.10 decisions=19483, wrong=9294, backtracks=3306, failedAssignments=6508, nogoods=417 10.85/6.10 nFilterCalls=875865, avgTableProportion=0.7937673219945274, avgTableSize=4.16887191519241 10.85/6.10 11.14/6.32 num=44, depth=8..20, filters=1954360, revisions=(3882688,useless=2499826), ccks=3053869, wck=3.579, mem=96M999 11.14/6.32 decisions=21395, wrong=10243, backtracks=3641, failedAssignments=7170, nogoods=428 11.14/6.32 nFilterCalls=940970, avgTableProportion=0.7938877548893708, avgTableSize=4.172311550846467 11.14/6.32 11.45/6.69 num=45, depth=21..27, filters=2214752, revisions=(4344652,useless=2785806), ccks=3452939, wck=3.956, mem=102M178 11.45/6.69 decisions=23380, wrong=11223, backtracks=3918, failedAssignments=7898, nogoods=434 11.45/6.69 nFilterCalls=1069209, avgTableProportion=0.7934785123145075, avgTableSize=4.159841527708801 11.45/6.69 11.86/7.01 num=46, depth=15..27, filters=2422122, revisions=(4767094,useless=3060658), ccks=3758289, wck=4.278, mem=107M357 11.86/7.01 decisions=25769, wrong=12408, backtracks=4422, failedAssignments=8699, nogoods=448 11.86/7.01 nFilterCalls=1167492, avgTableProportion=0.7932328301537928, avgTableSize=4.154652023311509 11.86/7.01 12.35/7.55 num=47, depth=22..28, filters=2798793, revisions=(5460878,useless=3501735), ccks=4366567, wck=4.814, mem=117M715 12.35/7.55 decisions=28439, wrong=13731, backtracks=4932, failedAssignments=9580, nogoods=458 12.35/7.55 nFilterCalls=1355832, avgTableProportion=0.793680733104372, avgTableSize=4.166112025678697 12.35/7.55 12.76/8.00 num=48, depth=25..33, filters=3103709, revisions=(6052433,useless=3880151), ccks=4828734, wck=5.263, mem=122M893 12.76/8.00 decisions=31179, wrong=15087, backtracks=5409, failedAssignments=10550, nogoods=476 12.76/8.00 nFilterCalls=1506583, avgTableProportion=0.7939269747146648, avgTableSize=4.173253647492372 12.76/8.00 13.16/8.35 num=49, depth=14..26, filters=3320657, revisions=(6526972,useless=4191601), ccks=5157890, wck=5.61, mem=130M662 13.16/8.35 decisions=34268, wrong=16624, backtracks=5987, failedAssignments=11617, nogoods=501 13.16/8.35 nFilterCalls=1606932, avgTableProportion=0.7938121881678102, avgTableSize=4.169307724284537 13.16/8.35 13.87/9.01 num=50, depth=22..28, filters=3775867, revisions=(7340518,useless=4701267), ccks=5840123, wck=6.272, mem=141M19 13.87/9.01 decisions=37624, wrong=18289, backtracks=6567, failedAssignments=12790, nogoods=518 13.87/9.01 nFilterCalls=1830672, avgTableProportion=0.7935166755918541, avgTableSize=4.160783034863701 13.87/9.01 14.37/9.50 num=51, depth=17..31, filters=4110718, revisions=(7963199,useless=5097432), ccks=6319415, wck=6.765, mem=148M788 14.37/9.50 decisions=41200, wrong=20067, backtracks=7130, failedAssignments=14081, nogoods=535 14.37/9.50 nFilterCalls=1989423, avgTableProportion=0.793607107266591, avgTableSize=4.162368184141834 14.37/9.50 14.77/9.96 num=52, depth=11..26, filters=4402928, revisions=(8616782,useless=5530933), ccks=6788300, wck=7.228, mem=153M966 14.77/9.96 decisions=45411, wrong=22165, backtracks=7909, failedAssignments=15501, nogoods=560 14.77/9.96 nFilterCalls=2126432, avgTableProportion=0.7937851438326304, avgTableSize=4.166187773697913 14.77/9.96 15.47/10.69 num=53, depth=18..25, filters=4924607, revisions=(9457496,useless=6037313), ccks=7456786, wck=7.951, mem=166M914 15.47/10.69 decisions=49584, wrong=24241, backtracks=8491, failedAssignments=17063, nogoods=567 15.47/10.69 nFilterCalls=2372964, avgTableProportion=0.7936809879645996, avgTableSize=4.161181964833854 15.47/10.69 16.07/11.25 num=54, depth=10..26, filters=5284611, revisions=(10238063,useless=6559468), ccks=8008794, wck=8.516, mem=174M682 16.07/11.25 decisions=54916, wrong=26899, backtracks=9593, failedAssignments=18781, nogoods=580 16.07/11.25 nFilterCalls=2538999, avgTableProportion=0.7935903067542581, avgTableSize=4.160633777327207 16.07/11.25 17.07/12.21 num=55, depth=22..28, filters=5936285, revisions=(11476822,useless=7360397), ccks=9101302, wck=9.47, mem=188M957 17.07/12.21 decisions=60332, wrong=29594, backtracks=10609, failedAssignments=20671, nogoods=593 17.07/12.21 nFilterCalls=2862413, avgTableProportion=0.7942925784622216, avgTableSize=4.178844911618275 17.07/12.21 17.51/12.66 o 15 17.67/12.70 num=56, depth=13..1379, filters=6234026, revisions=(11979689,useless=7675650), ccks=9494082, wck=9.96, mem=65M653 17.67/12.70 decisions=63279, wrong=31054, backtracks=11019, failedAssignments=21755, nogoods=623, foundSolutions=1, bestBound=15 17.67/12.70 nFilterCalls=2998930, avgTableProportion=0.7940439383717087, avgTableSize=4.172817304838726 17.67/12.70 17.94/12.99 o 14 18.11/13.02 num=57, depth=0..1379, filters=6412735, revisions=(12296988,useless=7874830), ccks=9757819, wck=10.281, mem=70M851 18.11/13.02 decisions=65559, wrong=32181, backtracks=11282, failedAssignments=22629, nogoods=636, foundSolutions=2, bestBound=14 18.11/13.02 nFilterCalls=3081203, avgTableProportion=0.793938241160313, avgTableSize=4.170600898415326 18.11/13.02 18.11/13.03 num=58, depth=0..15, filters=6416028, revisions=(12303533,useless=7878887), ccks=9764771, wck=10.293, mem=70M851 18.11/13.03 decisions=65598, wrong=32193, backtracks=11283, failedAssignments=22640, nogoods=645, foundSolutions=2, bestBound=14 18.11/13.03 nFilterCalls=3083400, avgTableProportion=0.793934158180869, avgTableSize=4.170470908737109 18.11/13.03 18.11/13.03 num=59, depth=11..14, filters=6418113, revisions=(12308242,useless=7882052), ccks=9768867, wck=10.297, mem=70M851 18.11/13.03 decisions=65637, wrong=32207, backtracks=11286, failedAssignments=22651, nogoods=646, foundSolutions=2, bestBound=14 18.11/13.03 nFilterCalls=3084365, avgTableProportion=0.7939321202416457, avgTableSize=4.170433136156064 18.11/13.03 18.11/13.04 num=60, depth=11..14, filters=6420189, revisions=(12312681,useless=7885022), ccks=9772800, wck=10.301, mem=70M851 18.11/13.04 decisions=65677, wrong=32220, backtracks=11287, failedAssignments=22663, nogoods=652, foundSolutions=2, bestBound=14 18.11/13.04 nFilterCalls=3085354, avgTableProportion=0.7939323104458528, avgTableSize=4.170447864329344 18.11/13.04 18.11/13.04 num=61, depth=10..13, filters=6423478, revisions=(12318943,useless=7888858), ccks=9778949, wck=10.307, mem=70M851 18.11/13.04 decisions=65719, wrong=32236, backtracks=11290, failedAssignments=22676, nogoods=653, foundSolutions=2, bestBound=14 18.11/13.04 nFilterCalls=3086918, avgTableProportion=0.7939306893528255, avgTableSize=4.170394872814891 18.11/13.04 18.11/13.05 num=62, depth=14..23, filters=6426048, revisions=(12325658,useless=7893619), ccks=9784395, wck=10.313, mem=70M851 18.11/13.05 decisions=65771, wrong=32253, backtracks=11294, failedAssignments=22690, nogoods=658, foundSolutions=2, bestBound=14 18.11/13.05 nFilterCalls=3088166, avgTableProportion=0.79393146056865, avgTableSize=4.170425100205105 18.11/13.05 18.11/13.06 num=63, depth=13..16, filters=6431161, revisions=(12336798,useless=7901001), ccks=9794229, wck=10.321, mem=70M851 18.11/13.06 decisions=65829, wrong=32275, backtracks=11300, failedAssignments=22706, nogoods=661, foundSolutions=2, bestBound=14 18.11/13.06 nFilterCalls=3090749, avgTableProportion=0.7939322513429451, avgTableSize=4.1704399160203565 18.11/13.06 18.11/13.07 num=64, depth=11..15, filters=6434939, revisions=(12344208,useless=7905822), ccks=9800873, wck=10.328, mem=70M851 18.11/13.07 decisions=65884, wrong=32297, backtracks=11306, failedAssignments=22723, nogoods=664, foundSolutions=2, bestBound=14 18.11/13.07 nFilterCalls=3092497, avgTableProportion=0.7939296869167878, avgTableSize=4.170403398936199 18.11/13.07 18.11/13.07 num=65, depth=17..19, filters=6438934, revisions=(12354622,useless=7913189), ccks=9809206, wck=10.336, mem=70M851 18.11/13.07 decisions=65955, wrong=32324, backtracks=11314, failedAssignments=22742, nogoods=671, foundSolutions=2, bestBound=14 18.11/13.07 nFilterCalls=3094448, avgTableProportion=0.7939335437750681, avgTableSize=4.170497290631479 18.11/13.07 18.11/13.08 num=66, depth=13..15, filters=6443731, revisions=(12364720,useless=7919787), ccks=9818040, wck=10.344, mem=70M851 18.11/13.08 decisions=66019, wrong=32349, backtracks=11318, failedAssignments=22763, nogoods=677, foundSolutions=2, bestBound=14 18.11/13.08 nFilterCalls=3096870, avgTableProportion=0.7939329875620754, avgTableSize=4.170501506359647 18.11/13.08 18.11/13.09 num=67, depth=12..19, filters=6447013, revisions=(12373059,useless=7925652), ccks=9825062, wck=10.351, mem=73M449 18.11/13.09 decisions=66093, wrong=32378, backtracks=11324, failedAssignments=22786, nogoods=684, foundSolutions=2, bestBound=14 18.11/13.09 nFilterCalls=3098427, avgTableProportion=0.7939336426272481, avgTableSize=4.17053911549312 18.11/13.09 18.11/13.10 num=68, depth=12..15, filters=6454211, revisions=(12388493,useless=7935956), ccks=9838601, wck=10.363, mem=73M449 18.11/13.10 decisions=66175, wrong=32412, backtracks=11333, failedAssignments=22811, nogoods=690, foundSolutions=2, bestBound=14 18.11/13.10 nFilterCalls=3102128, avgTableProportion=0.7939386650376432, avgTableSize=4.170655111587917 18.11/13.10 18.23/13.11 num=69, depth=11..22, filters=6458498, revisions=(12398351,useless=7942617), ccks=9846486, wck=10.371, mem=73M449 18.23/13.11 decisions=66257, wrong=32444, backtracks=11338, failedAssignments=22839, nogoods=702, foundSolutions=2, bestBound=14 18.23/13.11 nFilterCalls=3104034, avgTableProportion=0.7939382786125545, avgTableSize=4.170663723399937 18.23/13.11 18.23/13.12 num=70, depth=12..15, filters=6467425, revisions=(12415570,useless=7953681), ccks=9862983, wck=10.384, mem=73M449 18.23/13.12 decisions=66349, wrong=32483, backtracks=11346, failedAssignments=22870, nogoods=707, foundSolutions=2, bestBound=14 18.23/13.12 nFilterCalls=3108486, avgTableProportion=0.7939455968659437, avgTableSize=4.170837185691041 18.23/13.12 18.23/13.13 num=71, depth=14..21, filters=6472209, revisions=(12427144,useless=7961668), ccks=9871818, wck=10.393, mem=73M449 18.23/13.13 decisions=66449, wrong=32524, backtracks=11355, failedAssignments=22904, nogoods=718, foundSolutions=2, bestBound=14 18.23/13.13 nFilterCalls=3110678, avgTableProportion=0.7939455053422254, avgTableSize=4.17083285380229 18.23/13.13 18.23/13.14 num=72, depth=12..15, filters=6480993, revisions=(12445277,useless=7973512), ccks=9886782, wck=10.407, mem=73M449 18.23/13.14 decisions=66557, wrong=32572, backtracks=11366, failedAssignments=22941, nogoods=725, foundSolutions=2, bestBound=14 18.23/13.14 nFilterCalls=3114897, avgTableProportion=0.793948105705949, avgTableSize=4.170919616282657 18.23/13.14 18.23/13.16 num=73, depth=14..20, filters=6487073, revisions=(12460144,useless=7983764), ccks=9898365, wck=10.418, mem=73M449 18.23/13.16 decisions=66679, wrong=32625, backtracks=11378, failedAssignments=22982, nogoods=729, foundSolutions=2, bestBound=14 18.23/13.16 nFilterCalls=3117677, avgTableProportion=0.7939516478668658, avgTableSize=4.17101515006205 18.23/13.16 18.23/13.18 num=74, depth=9..12, filters=6500941, revisions=(12484898,useless=7998852), ccks=9921546, wck=10.439, mem=73M449 18.23/13.18 decisions=66805, wrong=32683, backtracks=11391, failedAssignments=23027, nogoods=742, foundSolutions=2, bestBound=14 18.23/13.18 nFilterCalls=3124436, avgTableProportion=0.7939475023117392, avgTableSize=4.1708337120683545 18.23/13.18 18.23/13.19 num=75, depth=14..19, filters=6509250, revisions=(12505696,useless=8013407), ccks=9936935, wck=10.454, mem=73M449 18.23/13.19 decisions=66963, wrong=32754, backtracks=11412, failedAssignments=23077, nogoods=752, foundSolutions=2, bestBound=14 18.23/13.19 nFilterCalls=3128210, avgTableProportion=0.7939513609713276, avgTableSize=4.170955274741785 18.23/13.19 18.32/13.22 num=76, depth=14..16, filters=6525629, revisions=(12536488,useless=8032794), ccks=9965223, wck=10.479, mem=73M449 18.32/13.22 decisions=67123, wrong=32826, backtracks=11430, failedAssignments=23132, nogoods=762, foundSolutions=2, bestBound=14 18.32/13.22 nFilterCalls=3136422, avgTableProportion=0.7939629574412401, avgTableSize=4.171208785042319 18.32/13.22 18.32/13.23 num=77, depth=14..19, filters=6534710, revisions=(12558447,useless=8047770), ccks=9981288, wck=10.495, mem=73M449 18.32/13.23 decisions=67300, wrong=32907, backtracks=11450, failedAssignments=23193, nogoods=770, foundSolutions=2, bestBound=14 18.32/13.23 nFilterCalls=3140437, avgTableProportion=0.7939618382193832, avgTableSize=4.171199422246012 18.32/13.23 18.32/13.26 num=78, depth=13..16, filters=6555176, revisions=(12595467,useless=8071213), ccks=10016608, wck=10.525, mem=76M48 18.32/13.26 decisions=67488, wrong=32994, backtracks=11470, failedAssignments=23260, nogoods=782, foundSolutions=2, bestBound=14 18.32/13.26 nFilterCalls=3150578, avgTableProportion=0.7939821571359651, avgTableSize=4.171692622750492 18.32/13.26 18.32/13.28 num=79, depth=14..18, filters=6567827, revisions=(12624804,useless=8091051), ccks=10037702, wck=10.547, mem=76M48 18.32/13.28 decisions=67704, wrong=33095, backtracks=11497, failedAssignments=23334, nogoods=789, foundSolutions=2, bestBound=14 18.32/13.28 nFilterCalls=3156237, avgTableProportion=0.7939803931218794, avgTableSize=4.171656944646426 18.32/13.28 18.44/13.33 num=80, depth=14..17, filters=6596190, revisions=(12672801,useless=8120602), ccks=10080652, wck=10.588, mem=76M48 18.44/13.33 decisions=67938, wrong=33204, backtracks=11527, failedAssignments=23415, nogoods=797, foundSolutions=2, bestBound=14 18.44/13.33 nFilterCalls=3169678, avgTableProportion=0.7939907415553784, avgTableSize=4.171831649776412 18.44/13.33 18.44/13.37 num=81, depth=16..19, filters=6626305, revisions=(12729134,useless=8155751), ccks=10132214, wck=10.633, mem=76M48 18.44/13.37 decisions=68192, wrong=33322, backtracks=11558, failedAssignments=23504, nogoods=808, foundSolutions=2, bestBound=14 18.44/13.37 nFilterCalls=3184937, avgTableProportion=0.7939726583054346, avgTableSize=4.1713889474108905 18.44/13.37 18.55/13.40 num=82, depth=13..18, filters=6644515, revisions=(12770648,useless=8183487), ccks=10161795, wck=10.664, mem=78M647 18.55/13.40 decisions=68470, wrong=33454, backtracks=11595, failedAssignments=23602, nogoods=822, foundSolutions=2, bestBound=14 18.55/13.40 nFilterCalls=3193220, avgTableProportion=0.7939671240930126, avgTableSize=4.1712306073493215 18.55/13.40 18.55/13.45 num=83, depth=13..16, filters=6682119, revisions=(12831838,useless=8221152), ccks=10216173, wck=10.715, mem=78M647 18.55/13.45 decisions=68770, wrong=33597, backtracks=11633, failedAssignments=23710, nogoods=829, foundSolutions=2, bestBound=14 18.55/13.45 nFilterCalls=3210356, avgTableProportion=0.7939983925666988, avgTableSize=4.171925792653525 18.55/13.45 18.55/13.48 num=84, depth=11..22, filters=6698619, revisions=(12871007,useless=8247988), ccks=10243106, wck=10.743, mem=78M647 18.55/13.48 decisions=69097, wrong=33752, backtracks=11671, failedAssignments=23829, nogoods=852, foundSolutions=2, bestBound=14 18.55/13.48 nFilterCalls=3217470, avgTableProportion=0.7939957667107687, avgTableSize=4.171912092420442 18.55/13.48 18.65/13.54 num=85, depth=14..17, filters=6743073, revisions=(12947857,useless=8293913), ccks=10318947, wck=10.807, mem=78M647 18.65/13.54 decisions=69448, wrong=33920, backtracks=11711, failedAssignments=23960, nogoods=859, foundSolutions=2, bestBound=14 18.65/13.54 nFilterCalls=3239682, avgTableProportion=0.7939969692333881, avgTableSize=4.1717177797080085 18.65/13.54 18.65/13.59 num=86, depth=13..22, filters=6769012, revisions=(13005967,useless=8333128), ccks=10361703, wck=10.85, mem=81M246 18.65/13.59 decisions=69860, wrong=34117, backtracks=11772, failedAssignments=24104, nogoods=881, foundSolutions=2, bestBound=14 18.65/13.59 nFilterCalls=3251441, avgTableProportion=0.7939931684629729, avgTableSize=4.171698948250945 18.65/13.59 18.75/13.67 num=87, depth=13..17, filters=6823198, revisions=(13099810,useless=8388421), ccks=10449638, wck=10.93, mem=81M246 18.75/13.67 decisions=70289, wrong=34324, backtracks=11824, failedAssignments=24262, nogoods=894, foundSolutions=2, bestBound=14 18.75/13.67 nFilterCalls=3277494, avgTableProportion=0.793975403228955, avgTableSize=4.1708009229002405 18.75/13.67 18.88/13.74 num=88, depth=15..21, filters=6868841, revisions=(13185395,useless=8439996), ccks=10525712, wck=11.002, mem=83M844 18.88/13.74 decisions=70751, wrong=34547, backtracks=11878, failedAssignments=24436, nogoods=903, foundSolutions=2, bestBound=14 18.88/13.74 nFilterCalls=3300247, avgTableProportion=0.7939639716261419, avgTableSize=4.170173323390643 18.88/13.74 18.98/13.80 num=89, depth=8..18, filters=6905062, revisions=(13264827,useless=8492505), ccks=10583885, wck=11.06, mem=83M844 18.98/13.80 decisions=71292, wrong=34811, backtracks=11958, failedAssignments=24627, nogoods=930, foundSolutions=2, bestBound=14 18.98/13.80 nFilterCalls=3316519, avgTableProportion=0.793950012042871, avgTableSize=4.169873894887983 18.98/13.80 18.98/13.88 num=90, depth=13..18, filters=6968505, revisions=(13369624,useless=8556004), ccks=10675118, wck=11.148, mem=86M443 18.98/13.88 decisions=71845, wrong=35080, backtracks=12019, failedAssignments=24838, nogoods=936, foundSolutions=2, bestBound=14 18.98/13.88 nFilterCalls=3345714, avgTableProportion=0.7939760840254164, avgTableSize=4.17026111616235 18.98/13.88 19.08/13.97 num=91, depth=11..18, filters=7017429, revisions=(13486056,useless=8635600), ccks=10759558, wck=11.228, mem=86M443 19.08/13.97 decisions=72554, wrong=35428, backtracks=12150, failedAssignments=25070, nogoods=942, foundSolutions=2, bestBound=14 19.08/13.97 nFilterCalls=3368830, avgTableProportion=0.7939786343760606, avgTableSize=4.170379033670444 19.08/13.97 19.19/14.09 num=92, depth=12..17, filters=7100974, revisions=(13637072,useless=8726409), ccks=10908376, wck=11.352, mem=89M42 19.19/14.09 decisions=73222, wrong=35754, backtracks=12230, failedAssignments=25325, nogoods=948, foundSolutions=2, bestBound=14 19.19/14.09 nFilterCalls=3409839, avgTableProportion=0.7939889432526525, avgTableSize=4.17010421899685 19.19/14.09 19.38/14.21 num=93, depth=9..13, filters=7182541, revisions=(13780176,useless=8812318), ccks=11036860, wck=11.472, mem=91M641 19.38/14.21 decisions=73959, wrong=36117, backtracks=12320, failedAssignments=25606, nogoods=961, foundSolutions=2, bestBound=14 19.38/14.21 nFilterCalls=3447716, avgTableProportion=0.7939673678467467, avgTableSize=4.16906641962389 19.38/14.21 19.48/14.34 num=94, depth=12..18, filters=7266776, revisions=(13932290,useless=8903404), ccks=11174364, wck=11.6, mem=94M239 19.48/14.34 decisions=74765, wrong=36513, backtracks=12410, failedAssignments=25915, nogoods=972, foundSolutions=2, bestBound=14 19.48/14.34 nFilterCalls=3488672, avgTableProportion=0.7939309932754441, avgTableSize=4.167646313554269 19.48/14.34 19.58/14.48 num=95, depth=5..9, filters=7362585, revisions=(14099757,useless=9002613), ccks=11323357, wck=11.739, mem=96M838 19.58/14.48 decisions=75625, wrong=36940, backtracks=12504, failedAssignments=26255, nogoods=990, foundSolutions=2, bestBound=14 19.58/14.48 nFilterCalls=3533248, avgTableProportion=0.7939031522778601, avgTableSize=4.1664570389624505 19.58/14.48 19.68/14.57 num=96, depth=6..20, filters=7423320, revisions=(14233674,useless=9090422), ccks=11414820, wck=11.837, mem=96M838 19.68/14.57 decisions=76613, wrong=37428, backtracks=12634, failedAssignments=26629, nogoods=1017, foundSolutions=2, bestBound=14 19.68/14.57 nFilterCalls=3559404, avgTableProportion=0.7938842837778948, avgTableSize=4.165892660681395 19.68/14.57 19.88/14.73 num=97, depth=11..16, filters=7528182, revisions=(14418501,useless=9204500), ccks=11572860, wck=11.988, mem=99M437 19.88/14.73 decisions=77654, wrong=37942, backtracks=12747, failedAssignments=27040, nogoods=1030, foundSolutions=2, bestBound=14 19.88/14.73 nFilterCalls=3609206, avgTableProportion=0.7939171355864075, avgTableSize=4.166416657846629 19.88/14.73 19.98/14.85 num=98, depth=5..18, filters=7610882, revisions=(14582908,useless=9310193), ccks=11684128, wck=12.115, mem=102M35 19.98/14.85 decisions=78846, wrong=38533, backtracks=12906, failedAssignments=27492, nogoods=1044, foundSolutions=2, bestBound=14 19.98/14.85 nFilterCalls=3645274, avgTableProportion=0.793852159175904, avgTableSize=4.164888839631808 19.98/14.85 20.20/15.08 num=99, depth=12..17, filters=7770561, revisions=(14846375,useless=9461468), ccks=11926799, wck=12.344, mem=107M277 20.20/15.08 decisions=80071, wrong=39139, backtracks=13028, failedAssignments=27989, nogoods=1059, foundSolutions=2, bestBound=14 20.20/15.08 nFilterCalls=3722676, avgTableProportion=0.7937331710199977, avgTableSize=4.161091107579601 20.20/15.08 20.39/15.24 num=100, depth=8..18, filters=7872812, revisions=(15066207,useless=9604104), ccks=12085158, wck=12.507, mem=109M875 20.39/15.24 decisions=81533, wrong=39865, backtracks=13228, failedAssignments=28536, nogoods=1078, foundSolutions=2, bestBound=14 20.39/15.24 nFilterCalls=3769880, avgTableProportion=0.7936683389355308, avgTableSize=4.159934798985644 20.39/15.24 20.59/15.42 num=101, depth=10..22, filters=7983441, revisions=(15303965,useless=9761298), ccks=12262636, wck=12.685, mem=112M474 20.59/15.42 decisions=83149, wrong=40667, backtracks=13466, failedAssignments=29138, nogoods=1093, foundSolutions=2, bestBound=14 20.59/15.42 nFilterCalls=3819913, avgTableProportion=0.7936574608755432, avgTableSize=4.159776937328154 20.59/15.42 20.89/15.72 num=102, depth=14..21, filters=8178742, revisions=(15714299,useless=10033202), ccks=12594058, wck=12.984, mem=117M671 20.89/15.72 decisions=85053, wrong=41610, backtracks=13842, failedAssignments=29800, nogoods=1114, foundSolutions=2, bestBound=14 20.89/15.72 nFilterCalls=3916747, avgTableProportion=0.7937418800196, avgTableSize=4.162245353095311 20.89/15.72 21.20/16.05 num=103, depth=10..15, filters=8412850, revisions=(16126535,useless=10280655), ccks=12966764, wck=13.316, mem=125M468 21.20/16.05 decisions=86967, wrong=42561, backtracks=14092, failedAssignments=30528, nogoods=1127, foundSolutions=2, bestBound=14 21.20/16.05 nFilterCalls=4026919, avgTableProportion=0.7937898930511793, avgTableSize=4.162428645820787 21.20/16.05 21.49/16.31 num=104, depth=12..20, filters=8571838, revisions=(16473659,useless=10511754), ccks=13217959, wck=13.568, mem=128M66 21.49/16.31 decisions=89133, wrong=43638, backtracks=14441, failedAssignments=31329, nogoods=1133, foundSolutions=2, bestBound=14 21.49/16.31 nFilterCalls=4098669, avgTableProportion=0.7938000110694561, avgTableSize=4.1629309417276685 21.49/16.31 21.79/16.66 num=105, depth=13..20, filters=8824080, revisions=(16905145,useless=10770235), ccks=13557856, wck=13.926, mem=133M264 21.79/16.66 decisions=91382, wrong=44754, backtracks=14701, failedAssignments=32210, nogoods=1154, foundSolutions=2, bestBound=14 21.79/16.66 nFilterCalls=4215853, avgTableProportion=0.793614166392974, avgTableSize=4.158090901177057 21.79/16.66 22.20/17.05 num=106, depth=10..17, filters=9090058, revisions=(17379990,useless=11064413), ccks=13940615, wck=14.309, mem=141M60 22.20/17.05 decisions=93980, wrong=46048, backtracks=15068, failedAssignments=33180, nogoods=1155, foundSolutions=2, bestBound=14 22.20/17.05 nFilterCalls=4338925, avgTableProportion=0.7936008576154612, avgTableSize=4.157640890312693 22.20/17.05 22.49/17.36 num=107, depth=6..20, filters=9283654, revisions=(17825115,useless=11363464), ccks=14245235, wck=14.621, mem=146M257 22.49/17.36 decisions=96978, wrong=47542, backtracks=15567, failedAssignments=34247, nogoods=1177, foundSolutions=2, bestBound=14 22.49/17.36 nFilterCalls=4426381, avgTableProportion=0.793637926070694, avgTableSize=4.158497878967038 22.49/17.36 22.99/17.87 num=108, depth=12..19, filters=9645068, revisions=(18456574,useless=11753321), ccks=14749606, wck=15.134, mem=154M53 22.99/17.87 decisions=100154, wrong=49123, backtracks=16016, failedAssignments=35420, nogoods=1196, foundSolutions=2, bestBound=14 22.99/17.87 nFilterCalls=4597910, avgTableProportion=0.793584099167232, avgTableSize=4.157237962465555 22.99/17.87 23.50/18.31 num=109, depth=6..16, filters=9926871, revisions=(19059832,useless=12150357), ccks=15156334, wck=15.568, mem=161M850 23.50/18.31 decisions=103848, wrong=50965, backtracks=16588, failedAssignments=36711, nogoods=1220, foundSolutions=2, bestBound=14 23.50/18.31 nFilterCalls=4727577, avgTableProportion=0.7936224611394646, avgTableSize=4.157450846384945 23.50/18.31 24.10/18.96 num=110, depth=13..21, filters=10362912, revisions=(19924919,useless=12709693), ccks=15815500, wck=16.227, mem=172M244 24.10/18.96 decisions=107997, wrong=53032, backtracks=17396, failedAssignments=38131, nogoods=1238, foundSolutions=2, bestBound=14 24.10/18.96 nFilterCalls=4935104, avgTableProportion=0.7935955853264514, avgTableSize=4.156732461970407 24.10/18.96 24.70/19.50 num=111, depth=12..21, filters=10701892, revisions=(20690658,useless=13230089), ccks=16364183, wck=16.76, mem=180M41 24.70/19.50 decisions=112358, wrong=55204, backtracks=18194, failedAssignments=39693, nogoods=1261, foundSolutions=2, bestBound=14 24.70/19.50 nFilterCalls=5093995, avgTableProportion=0.7938172581532867, avgTableSize=4.162503693073904 24.70/19.50 25.55/20.38 num=112, depth=13..20, filters=11292128, revisions=(21814039,useless=13949182), ccks=17250490, wck=17.647, mem=60M730 25.55/20.38 decisions=117291, wrong=57663, backtracks=19079, failedAssignments=41411, nogoods=1281, foundSolutions=2, bestBound=14 25.55/20.38 nFilterCalls=5379679, avgTableProportion=0.7936803429520923, avgTableSize=4.159656366114038 25.55/20.38 26.36/21.18 num=113, depth=10..15, filters=11817346, revisions=(22914203,useless=14680425), ccks=18163255, wck=18.438, mem=75M198 26.36/21.18 decisions=122315, wrong=60169, backtracks=19890, failedAssignments=43301, nogoods=1301, foundSolutions=2, bestBound=14 26.36/21.18 nFilterCalls=5638675, avgTableProportion=0.7940055707699706, avgTableSize=4.1675948693620395 26.36/21.18 27.26/22.06 num=114, depth=14..23, filters=12412350, revisions=(24074073,useless=15413900), ccks=19040988, wck=19.325, mem=89M666 27.26/22.06 decisions=127893, wrong=62949, backtracks=20643, failedAssignments=45380, nogoods=1323, foundSolutions=2, bestBound=14 27.26/22.06 nFilterCalls=5912566, avgTableProportion=0.7940047567165948, avgTableSize=4.165958232009587 27.26/22.06 28.26/23.02 num=115, depth=9..23, filters=13068329, revisions=(25267704,useless=16148937), ccks=19998330, wck=20.28, mem=104M135 28.26/23.02 decisions=133991, wrong=65992, backtracks=21476, failedAssignments=47667, nogoods=1340, foundSolutions=2, bestBound=14 28.26/23.02 nFilterCalls=6220543, avgTableProportion=0.7938749936018852, avgTableSize=4.161853715985887 28.26/23.02 29.15/23.92 num=116, depth=12..20, filters=13662370, revisions=(26469308,useless=16933768), ccks=20957001, wck=21.186, mem=118M603 29.15/23.92 decisions=141068, wrong=69523, backtracks=22584, failedAssignments=50183, nogoods=1348, foundSolutions=2, bestBound=14 29.15/23.92 nFilterCalls=6498017, avgTableProportion=0.7940110655536934, avgTableSize=4.165485716642477 29.15/23.92 30.15/24.96 num=117, depth=9..21, filters=14338334, revisions=(27863388,useless=17849459), ccks=21977212, wck=22.222, mem=136M688 30.15/24.96 decisions=148843, wrong=73404, backtracks=23957, failedAssignments=52951, nogoods=1372, foundSolutions=2, bestBound=14 30.15/24.96 nFilterCalls=6811411, avgTableProportion=0.7938993447187209, avgTableSize=4.164117243842722 30.15/24.96 31.45/26.29 num=118, depth=11..16, filters=15235699, revisions=(29606845,useless=18950728), ccks=23453841, wck=23.555, mem=158M391 31.45/26.29 decisions=157037, wrong=77494, backtracks=25144, failedAssignments=55995, nogoods=1391, foundSolutions=2, bestBound=14 31.45/26.29 nFilterCalls=7243200, avgTableProportion=0.7938722620882234, avgTableSize=4.164199801192843 31.45/26.29 32.57/27.31 num=119, depth=7..22, filters=15883750, revisions=(31023062,useless=19878735), ccks=24462035, wck=24.577, mem=172M859 32.57/27.31 decisions=166306, wrong=82124, backtracks=26488, failedAssignments=59344, nogoods=1410, foundSolutions=2, bestBound=14 32.57/27.31 nFilterCalls=7540846, avgTableProportion=0.7938447473636362, avgTableSize=4.163385514039141 32.57/27.31 34.18/28.99 num=120, depth=11..20, filters=17022052, revisions=(33166074,useless=21250022), ccks=26173676, wck=26.256, mem=201M795 34.18/28.99 decisions=176818, wrong=87374, backtracks=28286, failedAssignments=63028, nogoods=1438, foundSolutions=2, bestBound=14 34.18/28.99 nFilterCalls=8082665, avgTableProportion=0.793800519485119, avgTableSize=4.161287025999469 34.18/28.99 35.58/30.34 num=121, depth=11..25, filters=17858741, revisions=(35142259,useless=22594215), ccks=27558733, wck=27.607, mem=223M498 35.58/30.34 decisions=189271, wrong=93591, backtracks=30628, failedAssignments=67080, nogoods=1455, foundSolutions=2, bestBound=14 35.58/30.34 nFilterCalls=8468019, avgTableProportion=0.7940311258521949, avgTableSize=4.16600175318454 35.58/30.34 37.84/32.53 num=122, depth=12..20, filters=19359426, revisions=(37879292,useless=24297597), ccks=29945125, wck=29.791, mem=75M983 37.84/32.53 decisions=201559, wrong=99728, backtracks=32493, failedAssignments=71537, nogoods=1470, foundSolutions=2, bestBound=14 37.84/32.53 nFilterCalls=9188958, avgTableProportion=0.7943433719959602, avgTableSize=4.1708243742108735 37.84/32.53 39.94/34.64 num=123, depth=10..25, filters=20728643, revisions=(40721465,useless=26170700), ccks=32092876, wck=31.903, mem=106M75 39.94/34.64 decisions=215839, wrong=106862, backtracks=35394, failedAssignments=76440, nogoods=1481, foundSolutions=2, bestBound=14 39.94/34.64 nFilterCalls=9850770, avgTableProportion=0.7941348600579295, avgTableSize=4.167888297056981 39.94/34.64 42.35/37.07 num=124, depth=11..23, filters=22379462, revisions=(43736714,useless=28071416), ccks=34495118, wck=34.331, mem=143M690 42.35/37.07 decisions=231189, wrong=114530, backtracks=37915, failedAssignments=81834, nogoods=1499, foundSolutions=2, bestBound=14 42.35/37.07 nFilterCalls=10638114, avgTableProportion=0.7940123719646428, avgTableSize=4.163726577850172 42.35/37.07 44.25/38.95 num=125, depth=6..25, filters=23545587, revisions=(46390044,useless=29839995), ccks=36498384, wck=36.216, mem=173M782 44.25/38.95 decisions=248171, wrong=123016, backtracks=40973, failedAssignments=87767, nogoods=1520, foundSolutions=2, bestBound=14 44.25/38.95 nFilterCalls=11181055, avgTableProportion=0.7941174512062449, avgTableSize=4.166249249288193 44.25/38.95 47.15/41.86 num=126, depth=12..21, filters=25499398, revisions=(50169441,useless=32243884), ccks=39789699, wck=39.123, mem=222M681 47.15/41.86 decisions=266557, wrong=132201, backtracks=43801, failedAssignments=94293, nogoods=1549, foundSolutions=2, bestBound=14 47.15/41.86 nFilterCalls=12117110, avgTableProportion=0.7946234044192523, avgTableSize=4.176111713106508 47.15/41.86 51.11/45.70 num=127, depth=12..25, filters=28108591, revisions=(54998882,useless=35265811), ccks=44009248, wck=42.96, mem=94M227 51.11/45.70 decisions=287445, wrong=142637, backtracks=47493, failedAssignments=101472, nogoods=1562, foundSolutions=2, bestBound=14 51.11/45.70 nFilterCalls=13392205, avgTableProportion=0.7949068273123664, avgTableSize=4.17993370023831 51.11/45.70 54.42/49.04 num=128, depth=11..24, filters=30312133, revisions=(59477328,useless=38205125), ccks=47330913, wck=46.306, mem=145M996 54.42/49.04 decisions=310490, wrong=154153, backtracks=52305, failedAssignments=109369, nogoods=1574, foundSolutions=2, bestBound=14 54.42/49.04 nFilterCalls=14440170, avgTableProportion=0.7948045610298466, avgTableSize=4.178206073751209 54.42/49.04 57.62/52.27 num=129, depth=10..24, filters=32373536, revisions=(63900832,useless=41146605), ccks=50513421, wck=49.535, mem=197M764 57.62/52.27 decisions=335749, wrong=166775, backtracks=57349, failedAssignments=118056, nogoods=1599, foundSolutions=2, bestBound=14 57.62/52.27 nFilterCalls=15415463, avgTableProportion=0.7946492490160342, avgTableSize=4.17612828106428 57.62/52.27 61.67/56.27 num=130, depth=9..22, filters=34997552, revisions=(69193451,useless=44585237), ccks=54936037, wck=53.536, mem=75M391 61.67/56.27 decisions=362793, wrong=180292, backtracks=61675, failedAssignments=127611, nogoods=1624, foundSolutions=2, bestBound=14 61.67/56.27 nFilterCalls=16670088, avgTableProportion=0.7948995071111417, avgTableSize=4.1811925647903 61.67/56.27 66.27/60.83 num=131, depth=5..24, filters=38103438, revisions=(74708810,useless=47952338), ccks=59518874, wck=58.095, mem=147M925 66.27/60.83 decisions=390646, wrong=194215, backtracks=65523, failedAssignments=138122, nogoods=1642, foundSolutions=2, bestBound=14 66.27/60.83 nFilterCalls=18135292, avgTableProportion=0.7945517639436861, avgTableSize=4.171325446538164 66.27/60.83 70.36/64.90 num=132, depth=0..22, filters=40662883, revisions=(80146346,useless=51509370), ccks=63590975, wck=62.161, mem=213M206 70.36/64.90 decisions=423427, wrong=210602, backtracks=71244, failedAssignments=149684, nogoods=1673, foundSolutions=2, bestBound=14 70.36/64.90 nFilterCalls=19323635, avgTableProportion=0.7943884611352902, avgTableSize=4.168918943045654 70.36/64.90 76.41/70.99 num=133, depth=10..20, filters=44785061, revisions=(87773582,useless=56332859), ccks=70092877, wck=68.254, mem=128M421 76.41/70.99 decisions=460345, wrong=229055, backtracks=77594, failedAssignments=162402, nogoods=1677, foundSolutions=2, bestBound=14 76.41/70.99 nFilterCalls=21300143, avgTableProportion=0.7942775765500187, avgTableSize=4.166081701892799 76.41/70.99 82.32/76.87 num=134, depth=1..19, filters=48728651, revisions=(95327878,useless=61110243), ccks=76199789, wck=74.132, mem=224M579 82.32/76.87 decisions=499772, wrong=248767, backtracks=84401, failedAssignments=176392, nogoods=1685, foundSolutions=2, bestBound=14 82.32/76.87 nFilterCalls=23138709, avgTableProportion=0.7942721680730536, avgTableSize=4.165022084853567 82.32/76.87 88.35/82.88 num=135, depth=11..25, filters=52545084, revisions=(103667452,useless=66698590), ccks=82611669, wck=80.141, mem=141M70 88.35/82.88 decisions=545526, wrong=271636, backtracks=93805, failedAssignments=191781, nogoods=1709, foundSolutions=2, bestBound=14 88.35/82.88 nFilterCalls=24940255, avgTableProportion=0.7946378288659297, avgTableSize=4.175204744297923 88.35/82.88 93.85/88.35 num=136, depth=0..20, filters=56067509, revisions=(111007681,useless=71529025), ccks=87904410, wck=85.611, mem=224M906 93.85/88.35 decisions=593647, wrong=295694, backtracks=101835, failedAssignments=208709, nogoods=1746, foundSolutions=2, bestBound=14 93.85/88.35 nFilterCalls=26520671, avgTableProportion=0.7944673163014125, avgTableSize=4.171738867391402 93.85/88.35 99.88/94.34 num=137, depth=0..28, filters=59912380, revisions=(119073249,useless=76767985), ccks=94307150, wck=91.601, mem=146M233 99.88/94.34 decisions=645156, wrong=321445, backtracks=109581, failedAssignments=227330, nogoods=1769, foundSolutions=2, bestBound=14 99.88/94.34 nFilterCalls=28258557, avgTableProportion=0.7944424428882574, avgTableSize=4.171737679316038 99.88/94.34 109.41/103.82 num=138, depth=6..20, filters=66420934, revisions=(130796361,useless=83978181), ccks=104187955, wck=101.082, mem=131M5 109.41/103.82 decisions=700983, wrong=349354, backtracks=117790, failedAssignments=247814, nogoods=1779, foundSolutions=2, bestBound=14 109.41/103.82 nFilterCalls=31368148, avgTableProportion=0.7942388559646284, avgTableSize=4.16548187671137 109.41/103.82 117.45/111.84 num=139, depth=2..24, filters=71465953, revisions=(141943256,useless=91477824), ccks=113039317, wck=109.099, mem=90M135 117.45/111.84 decisions=767199, wrong=382457, backtracks=130431, failedAssignments=270346, nogoods=1791, foundSolutions=2, bestBound=14 117.45/111.84 nFilterCalls=33718442, avgTableProportion=0.7943922249660815, avgTableSize=4.1703901087719295 117.45/111.84 128.69/123.02 num=140, depth=3..22, filters=79034042, revisions=(156049562,useless=100244126), ccks=124988500, wck=120.284, mem=112M111 128.69/123.02 decisions=836131, wrong=416920, backtracks=140952, failedAssignments=295131, nogoods=1811, foundSolutions=2, bestBound=14 128.69/123.02 nFilterCalls=37296348, avgTableProportion=0.794520701030963, avgTableSize=4.171639298303416 128.69/123.02 139.41/133.78 num=141, depth=0..19, filters=86243369, revisions=(170211309,useless=109378398), ccks=136930089, wck=131.038, mem=123M714 139.41/133.78 decisions=912000, wrong=454852, backtracks=152795, failedAssignments=322395, nogoods=1834, foundSolutions=2, bestBound=14 139.41/133.78 nFilterCalls=40661040, avgTableProportion=0.794441770187353, avgTableSize=4.171689066487232 139.41/133.78 148.54/142.86 148.54/142.86 New Bounds: 14..13 148.54/142.86 num=142, depth=0..18, filters=92200250, revisions=(182031343,useless=116998949), ccks=146280847, wck=140.128, mem=106M950 148.54/142.86 decisions=991478, wrong=494592, backtracks=163715, failedAssignments=351955, foundSolutions=2, bestBound=14 148.54/142.86 nFilterCalls=43280999, avgTableProportion=0.7943824693728565, avgTableSize=4.1711810533763325 148.54/142.86 148.54/142.87 Global 148.54/142.87 filters=92200250, revisions=(182031343,useless=116998949), ccks=146280847 148.54/142.87 Stop=FULL_EXPLORATION, wrong=494592, bestBound=14, bestBoundWck=11.144, bestBoundCpu=12.905, foundSolutions=2, firstSolCpu=12.576 148.54/142.87 wck=141.022, cpu=142.6, mem=106M950 148.54/142.87 148.54/142.87 v <instantiation id='sol2' type='solution' cost='14'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 2 5 7 1 14 8 6 12 13 3 4 9 10 11 0 0 1 1 1 2 3 3 3 4 4 5 5 5 5 6 0 1 1 1 1 1 1 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 0 0 0 1 2 2 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 1 2 2 2 2 2 2 2 2 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 0 0 0 0 0 1 2 3 3 4 4 5 5 5 6 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 2 3 3 3 3 3 3 3 3 3 3 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 1 2 2 2 2 2 2 3 4 4 4 4 4 4 4 0 0 0 1 2 2 2 2 2 2 2 3 3 4 4 0 0 0 0 0 0 1 2 2 2 2 2 2 3 3 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 1 1 2 2 2 2 3 4 4 4 4 4 0 0 0 0 0 0 0 0 1 1 2 2 2 2 3 0 1 2 2 2 2 2 2 2 2 2 3 3 3 4 0 0 0 0 1 2 2 3 3 4 5 5 5 5 5 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 2 2 3 3 3 3 3 3 3 3 3 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 5 10 11 14 14 14 14 12 14 14 14 13 14 14 8 </values> </instantiation> 148.54/142.87 s OPTIMUM FOUND 148.54/142.87 148.54/142.87 d WRONG_DECISIONS 494592 148.54/142.87 d NUMBER_SOLUTIONS 2
OK 14
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 (15306 MiB free) memory of node 1: 16384 MiB (13298 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390962-1568381623/watcher-4390962-1568381623 -o /tmp/evaluation-result-4390962-1568381623/solver-4390962-1568381623 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21312 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390962-1568381623.xml -cm running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21930, runsolver pid=21927 Current StackSize limit: 8192 KiB [startup+0.100104 s]* /proc/loadavg: 2.03 1.85 1.30 6/229 21945 /proc/meminfo: memFree=29273552/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10659884 memory=30020 CPUtime=0.13 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 5514 0 0 0 12 1 0 0 20 0 15 0 414098860 10915721216 7505 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2664971 7505 2895 1 0 2627468 0 [pid=21930/tid=21932] ppid=21927 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) R 21927 21930 21280 0 -1 4202560 2983 0 0 0 8 1 0 0 20 0 15 0 414098860 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411561031256 140411556814230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098862 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414098863 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411046654752 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414098863 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411045602416 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 15 0 414098865 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) R 21927 21930 21280 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 414098865 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411042445808 140411556813442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0.02 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) R 21927 21930 21280 0 -1 4202560 584 0 0 0 2 0 0 0 20 0 15 0 414098865 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411041389832 140411536200811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098866 10915721216 7505 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 30020 KiB [startup+0.210943 s]* /proc/loadavg: 2.03 1.85 1.30 3/229 21945 /proc/meminfo: memFree=29267156/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10659884 memory=35288 CPUtime=0.33 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 6408 0 0 0 31 2 0 0 20 0 15 0 414098860 10915721216 8822 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2664971 8822 2987 1 0 2627468 0 [pid=21930/tid=21932] ppid=21927 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) R 21927 21930 21280 0 -1 4202560 3482 0 0 0 19 1 0 0 20 0 15 0 414098860 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411561028656 140411556824221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10659884 memory=331 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10659884 memory=139778730351067 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098862 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414098863 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411046654752 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414098863 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411045602416 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 709 0 0 0 3 0 0 0 20 0 15 0 414098865 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) S 21927 21930 21280 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 414098865 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411042445808 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0.05 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) S 21927 21930 21280 0 -1 1077944384 625 0 0 0 5 0 0 0 20 0 15 0 414098865 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411041393520 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098866 10915721216 8822 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35288 KiB [startup+0.310083 s]* /proc/loadavg: 2.03 1.85 1.30 3/229 21945 /proc/meminfo: memFree=29259460/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10659884 memory=40256 CPUtime=0.47 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 9011 0 0 0 44 3 0 0 20 0 15 0 414098860 10915721216 10064 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2664971 10064 2999 1 0 2627468 0 [pid=21930/tid=21932] ppid=21927 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) R 21927 21930 21280 0 -1 4202560 6017 0 0 0 27 2 0 0 20 0 15 0 414098860 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411561034096 140411556824221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10659884 memory=8900 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10659884 memory=139778730351001 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098861 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098862 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414098863 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411046654752 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414098863 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411045602416 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 750 0 0 0 5 0 0 0 20 0 15 0 414098865 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) R 21927 21930 21280 0 -1 1077944384 242 0 0 0 3 0 0 0 20 0 15 0 414098865 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411042445808 140411556813442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0.08 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) R 21927 21930 21280 0 -1 4202560 645 0 0 0 8 0 0 0 20 0 15 0 414098865 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411041393520 140411540845925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10659884 memory=139778730329728 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098866 10915721216 10064 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40256 KiB [startup+0.700741 s] /proc/loadavg: 2.03 1.85 1.30 3/229 21945 /proc/meminfo: memFree=29250780/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10661932 memory=64044 CPUtime=1.12 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 12576 0 0 0 106 6 0 0 20 0 15 0 414098860 10917818368 16011 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2665483 16011 3071 1 0 2627980 0 [pid=21930/tid=21932] ppid=21927 vsize=10661932 memory=33 CPUtime=0.68 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) R 21927 21930 21280 0 -1 4202560 8446 0 0 0 63 5 0 0 20 0 15 0 414098860 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411561028176 140411539989104 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098861 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10661932 memory=233997267396880 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098862 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10661932 memory=2925980 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414098863 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411046654752 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414098863 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411045602416 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10661932 memory=7809523229951467576 CPUtime=0.12 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 1049 0 0 0 12 0 0 0 20 0 15 0 414098865 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) R 21927 21930 21280 0 -1 4202560 609 0 0 0 11 0 0 0 20 0 15 0 414098865 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411042445808 140411536495395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) S 21927 21930 21280 0 -1 1077944384 1114 0 0 0 18 0 0 0 20 0 15 0 414098865 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411041393520 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414098865 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098866 10917818368 16011 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64044 KiB [startup+1.50073 s] /proc/loadavg: 2.03 1.85 1.30 3/229 21945 /proc/meminfo: memFree=29234588/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10663980 memory=75800 CPUtime=2.01 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 17933 0 0 0 195 6 0 0 20 0 15 0 414098860 10919915520 18950 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2665995 18950 3092 1 0 2628492 0 [pid=21930/tid=21932] ppid=21927 vsize=10663980 memory=188445985123170 CPUtime=1.48 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) R 21927 21930 21280 0 -1 4202560 12471 0 0 0 143 5 0 0 20 0 15 0 414098860 10919915520 18950 33554432000 4194304 4196468 140728513461136 140411561034320 140411538365855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10919915520 18950 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10663980 memory=3608 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10919915520 18950 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414098861 10919915520 18950 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10663980 memory=3472468074797500560 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414098861 10919915520 18950 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414098862 10919915520 18950 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 ################ # More data... # ################ [startup+140.801 s] /proc/loadavg: 1.83 1.84 1.38 3/229 21956 /proc/meminfo: memFree=28945024/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10748324 memory=355036 CPUtime=146.54 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 70181 0 0 0 14616 38 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2687081 88759 3372 1 0 2647217 0 [pid=21930/tid=21932] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) S 21927 21930 21280 0 -1 1077944384 14620 0 0 0 180 6 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411561045168 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10748324 memory=508 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 2295 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10748324 memory=1560 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 2567 0 0 0 16 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10748324 memory=364228 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 3669 0 0 0 15 5 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10748324 memory=1196 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 3189 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10748324 memory=1044 CPUtime=0.03 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2431 0 0 0 2 1 0 0 20 0 16 0 414098862 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10748324 memory=712 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411046654816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411045602432 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10748324 memory=1044 CPUtime=1.97 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 11265 0 0 0 196 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10748324 memory=712 CPUtime=2.05 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) S 21927 21930 21280 0 -1 1077944384 6323 0 0 0 204 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411042445808 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10748324 memory=2832 CPUtime=1.06 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) S 21927 21930 21280 0 -1 1077944384 8871 0 0 0 104 2 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411041393520 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10748324 memory=776 CPUtime=0.02 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1299 0 0 0 1 1 0 0 20 0 16 0 414098866 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21946] ppid=21927 vsize=10748324 memory=1056 CPUtime=138.65 cores=1,3,5,7 /proc/21930/task/21946/stat : 21946 (java) R 21927 21930 21280 0 -1 4202560 12252 0 0 0 13861 4 0 0 20 0 16 0 414099047 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411022625744 140411163889584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 146.54 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 355036 KiB [startup+141.601 s] /proc/loadavg: 1.83 1.84 1.38 3/229 21956 /proc/meminfo: memFree=28945360/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10748324 memory=355036 CPUtime=147.34 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 70330 0 0 0 14696 38 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2687081 88759 3372 1 0 2647217 0 [pid=21930/tid=21932] ppid=21927 vsize=10748324 memory=38888 CPUtime=1.86 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) S 21927 21930 21280 0 -1 1077944384 14620 0 0 0 180 6 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411561045168 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 2295 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 2567 0 0 0 16 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10748324 memory=2748 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 3669 0 0 0 15 5 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10748324 memory=1404 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 3189 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10748324 memory=3336 CPUtime=0.03 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2431 0 0 0 2 1 0 0 20 0 16 0 414098862 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10748324 memory=38888 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411046654816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411045602432 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10748324 memory=1432 CPUtime=1.97 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 11265 0 0 0 196 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10748324 memory=355036 CPUtime=2.05 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) S 21927 21930 21280 0 -1 1077944384 6323 0 0 0 204 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411042445808 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10748324 memory=204404 CPUtime=1.06 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) S 21927 21930 21280 0 -1 1077944384 8871 0 0 0 104 2 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411041393520 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10748324 memory=3040 CPUtime=0.02 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1327 0 0 0 1 1 0 0 20 0 16 0 414098866 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21946] ppid=21927 vsize=10748324 memory=1196 CPUtime=139.45 cores=1,3,5,7 /proc/21930/task/21946/stat : 21946 (java) R 21927 21930 21280 0 -1 4202560 12373 0 0 0 13941 4 0 0 20 0 16 0 414099047 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411022625744 140411164280662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 147.34 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 355036 KiB [startup+142.401 s] /proc/loadavg: 1.83 1.84 1.38 3/229 21956 /proc/meminfo: memFree=28945392/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10748324 memory=355036 CPUtime=148.14 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 70341 0 0 0 14776 38 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2687081 88759 3372 1 0 2647217 0 [pid=21930/tid=21932] ppid=21927 vsize=10748324 memory=3608 CPUtime=1.86 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) S 21927 21930 21280 0 -1 1077944384 14620 0 0 0 180 6 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411561045168 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 2295 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10748324 memory=712 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 2567 0 0 0 16 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10748324 memory=2832 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 3669 0 0 0 15 5 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10748324 memory=7976 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 3189 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10748324 memory=1432 CPUtime=0.03 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2434 0 0 0 2 1 0 0 20 0 16 0 414098862 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411046654816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411045602432 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10748324 memory=4000 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10748324 memory=776 CPUtime=1.97 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 11265 0 0 0 196 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10748324 memory=1056 CPUtime=2.05 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) S 21927 21930 21280 0 -1 1077944384 6323 0 0 0 204 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411042445808 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10748324 memory=4000 CPUtime=1.06 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) S 21927 21930 21280 0 -1 1077944384 8871 0 0 0 104 2 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411041393520 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10748324 memory=1556 CPUtime=0.02 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1327 0 0 0 1 1 0 0 20 0 16 0 414098866 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21946] ppid=21927 vsize=10748324 memory=355036 CPUtime=140.25 cores=1,3,5,7 /proc/21930/task/21946/stat : 21946 (java) R 21927 21930 21280 0 -1 4202560 12381 0 0 0 14021 4 0 0 20 0 16 0 414099047 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411022625744 140411164062377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 148.14 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 355036 KiB [startup+142.801 s] /proc/loadavg: 1.83 1.84 1.38 3/229 21956 /proc/meminfo: memFree=28945392/32770624 swapFree=66958212/67108860 [pid=21930] ppid=21927 vsize=10748324 memory=355036 CPUtime=148.54 cores=1,3,5,7 /proc/21930/stat : 21930 (java) S 21927 21930 21280 0 -1 1077944320 70344 0 0 0 14816 38 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140728513443680 140411556802295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 /proc/21930/statm: 2687081 88759 3372 1 0 2647217 0 [pid=21930/tid=21932] ppid=21927 vsize=10748324 memory=1760 CPUtime=1.86 cores=1,3,5,7 /proc/21930/task/21932/stat : 21932 (java) S 21927 21930 21280 0 -1 1077944384 14620 0 0 0 180 6 0 0 20 0 16 0 414098860 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411561045168 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21933] ppid=21927 vsize=10748324 memory=111636 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21933/stat : 21933 (java) S 21927 21930 21280 0 -1 1077944384 2295 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411482876816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21934] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21934/stat : 21934 (java) S 21927 21930 21280 0 -1 1077944384 2567 0 0 0 16 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411481824016 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21935] ppid=21927 vsize=10748324 memory=0 CPUtime=0.2 cores=1,3,5,7 /proc/21930/task/21935/stat : 21935 (java) S 21927 21930 21280 0 -1 1077944384 3669 0 0 0 15 5 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411480771728 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21936] ppid=21927 vsize=10748324 memory=0 CPUtime=0.19 cores=1,3,5,7 /proc/21930/task/21936/stat : 21936 (java) S 21927 21930 21280 0 -1 1077944384 3189 0 0 0 15 4 0 0 20 0 16 0 414098861 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411479718928 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21937] ppid=21927 vsize=10748324 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7 /proc/21930/task/21937/stat : 21937 (java) S 21927 21930 21280 0 -1 1077944384 2434 0 0 0 2 1 0 0 20 0 16 0 414098862 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411047708784 140411556813442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21938] ppid=21927 vsize=10748324 memory=38888 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21938/stat : 21938 (java) S 21927 21930 21280 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411046654816 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21939] ppid=21927 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21939/stat : 21939 (java) S 21927 21930 21280 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414098863 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411045602432 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21940] ppid=21927 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21940/stat : 21940 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411044550736 140411556820891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21941] ppid=21927 vsize=10748324 memory=10428 CPUtime=1.97 cores=1,3,5,7 /proc/21930/task/21941/stat : 21941 (java) S 21927 21930 21280 0 -1 1077944384 11265 0 0 0 196 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411043498608 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21942] ppid=21927 vsize=10748324 memory=14012 CPUtime=2.05 cores=1,3,5,7 /proc/21930/task/21942/stat : 21942 (java) S 21927 21930 21280 0 -1 1077944384 6323 0 0 0 204 1 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411042445808 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21943] ppid=21927 vsize=10748324 memory=14080 CPUtime=1.06 cores=1,3,5,7 /proc/21930/task/21943/stat : 21943 (java) S 21927 21930 21280 0 -1 1077944384 8871 0 0 0 104 2 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411041393520 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21944] ppid=21927 vsize=10748324 memory=21204 CPUtime=0 cores=1,3,5,7 /proc/21930/task/21944/stat : 21944 (java) S 21927 21930 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414098865 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411040340960 140411556812501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21945] ppid=21927 vsize=10748324 memory=2120 CPUtime=0.02 cores=1,3,5,7 /proc/21930/task/21945/stat : 21945 (java) S 21927 21930 21280 0 -1 1077944384 1327 0 0 0 1 1 0 0 20 0 16 0 414098866 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411039287728 140411556813442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 [pid=21930/tid=21946] ppid=21927 vsize=10748324 memory=508 CPUtime=140.65 cores=1,3,5,7 /proc/21930/task/21946/stat : 21946 (java) R 21927 21930 21280 0 -1 4202560 12384 0 0 0 14061 4 0 0 20 0 16 0 414099047 11006283776 88759 33554432000 4194304 4196468 140728513461136 140411022625744 140411163711994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37613568 140728513463307 140728513463410 140728513463410 140728513466319 0 Current children cumulated CPU time: 148.54 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 355036 KiB Child status: 0 Real time (s): 142.891 CPU time (s): 148.641 CPU user time (s): 148.241 CPU system time (s): 0.400352 CPU usage (%): 104.024 Max. virtual memory (cumulated for all children) (KiB): 10750680 Max. memory (cumulated for all children) (KiB): 413668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 148.241 system time used= 0.400352 maximum resident set size= 415792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72430 page faults= 0 swaps= 0 block input operations= 0 block output operations= 272 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6491 involuntary context switches= 147 # summary of solver processes directly reported to runsolver: # pid: 21930 # total CPU time (s): 148.641 # total CPU user time (s): 148.241 # total CPU system time (s): 0.400352 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.742306 second user time and 1.43691 second system time The end
Begin job on node145 at 2019-09-13 15:33:02 IDJOB=4390962 IDBENCH=126794 IDSOLVER=2832 FILE ID=node145/4390962-1568381623 RUNJOBID= node145-1568380473-21312 PBS_JOBID= 21701826 Free space on /tmp= 55180 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-30-15-1.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390962-1568381623/watcher-4390962-1568381623 -o /tmp/evaluation-result-4390962-1568381623/solver-4390962-1568381623 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21312 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390962-1568381623.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1892dc6bbe7f4411da75bff22067cf15 RANDOM SEED=1138934892 node145.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.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29291544 kB MemAvailable: 31664628 kB Buffers: 90156 kB Cached: 2560052 kB SwapCached: 41040 kB Active: 1550724 kB Inactive: 1334780 kB Active(anon): 198688 kB Inactive(anon): 77332 kB Active(file): 1352036 kB Inactive(file): 1257448 kB Unevictable: 110532 kB Mlocked: 110532 kB SwapTotal: 67108860 kB SwapFree: 66958212 kB Dirty: 8716 kB Writeback: 0 kB AnonPages: 235376 kB Mapped: 56072 kB Shmem: 32356 kB Slab: 187144 kB SReclaimable: 158872 kB SUnreclaim: 28272 kB KernelStack: 4016 kB PageTables: 6492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1160992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 163840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55168 MiB End job on node145 at 2019-09-13 15:35:25