Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 14 | 148.919 | 143.143 |
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.789 |
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.88 2.43/1.88 AbsCon 2 2.43/1.89 3.35/2.18 Instance 3.35/2.18 name=instance-4391262-1568389627, framework=COP, bounds=-infty..+infty 3.35/2.18 3.35/2.18 Loading variables... 3.70/2.25 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e50cebc 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f437838 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd89273 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f3ed9 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ed3fa3 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d714d43 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2b2aab 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524b4678 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a40f071 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fccb006 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5938f612 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f71c10 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3d2b25 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425f2881 5.14/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd3e045 5.14/2.65 5.14/2.65 5.14/2.65 Domains 5.14/2.65 nTypes=8, nValues=4005, sizes=[2#960,3#120,4#165,5#60,6#15,7#30,15#15,16#15] 5.14/2.65 Variables 5.14/2.65 count=1380, degrees=[2#495,3#870,31#15] 5.14/2.65 Objectives 5.14/2.65 way=min, type=ObjMaximumLE 5.14/2.65 Constraints 5.14/2.65 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15] 5.14/2.65 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15] 5.14/2.65 tables=[3#60,4#120,5#165,6#60,7#15,8#30], nTotalTuples=2190 5.14/2.65 nExtStructures=(456,shared:444), nIntStructures=(6,shared:414), nCftStructures=(456,shared:414,unbuilt:497) 5.14/2.65 wck=0.8, cpu=2.614, mem=79M361 5.47/2.72 Solver SolverBacktrack being built... 5.47/2.72 5.47/2.75 5.47/2.75 Solver 5.47/2.75 guaranteedGAC=false 5.47/2.75 wck=0.905, cpu=2.717, mem=132M306 5.47/2.78 5.47/2.78 Preprocessing 5.47/2.78 filters=56, revisions=(112,useless=82), ccks=1272, nACremovedValues=105, nTotalRemovedValues=105, inconcistency=false 5.47/2.78 wck=0.025, cpu=2.745, mem=132M306 5.47/2.78 5.74/2.81 num=0, depth=2..3, filters=1496, revisions=(2909,useless=1815), ccks=6435, wck=0.055, mem=132M306 5.74/2.81 decisions=23, wrong=10, backtracks=0, failedAssignments=10, nogoods=10 5.74/2.81 nFilterCalls=1137, avgTableProportion=0.7897526908740585, avgTableSize=4.0958663148636765 5.74/2.81 5.74/2.83 num=1, depth=16..21, filters=3174, revisions=(6717,useless=4569), ccks=9768, wck=0.073, mem=132M306 5.74/2.83 decisions=71, wrong=26, backtracks=5, failedAssignments=21, nogoods=13 5.74/2.83 nFilterCalls=1837, avgTableProportion=0.7894801306477871, avgTableSize=4.104518236254763 5.74/2.83 5.74/2.85 num=2, depth=11..17, filters=5385, revisions=(12154,useless=8376), ccks=14704, wck=0.095, mem=132M306 5.74/2.85 decisions=120, wrong=43, backtracks=11, failedAssignments=33, nogoods=22 5.74/2.85 nFilterCalls=2903, avgTableProportion=0.792775535980839, avgTableSize=4.187047881501894 5.74/2.85 5.74/2.88 num=3, depth=14..24, filters=11125, revisions=(24508,useless=16791), ccks=24611, wck=0.131, mem=132M306 5.74/2.88 decisions=197, wrong=74, backtracks=35, failedAssignments=46, nogoods=24 5.74/2.88 nFilterCalls=5645, avgTableProportion=0.7922537854823404, avgTableSize=4.148095659875996 5.74/2.88 6.05/2.92 num=4, depth=23..26, filters=13976, revisions=(31915,useless=22067), ccks=30235, wck=0.161, mem=132M306 6.05/2.92 decisions=254, wrong=90, backtracks=37, failedAssignments=60, nogoods=32 6.05/2.92 nFilterCalls=7020, avgTableProportion=0.7926495726496116, avgTableSize=4.158974358974359 6.05/2.92 6.05/2.95 num=5, depth=22..27, filters=20254, revisions=(46845,useless=32755), ccks=42328, wck=0.195, mem=134M948 6.05/2.95 decisions=339, wrong=121, backtracks=57, failedAssignments=76, nogoods=39 6.05/2.95 nFilterCalls=10169, avgTableProportion=0.7940167127919575, avgTableSize=4.2034615006391975 6.05/2.95 6.05/2.98 num=6, depth=19..28, filters=25054, revisions=(56540,useless=39160), ccks=50381, wck=0.222, mem=134M948 6.05/2.98 decisions=411, wrong=145, backtracks=67, failedAssignments=93, nogoods=42 6.05/2.98 nFilterCalls=12477, avgTableProportion=0.7937186327604727, avgTableSize=4.197964254227779 6.05/2.98 6.05/3.00 num=7, depth=21..29, filters=29881, revisions=(67488,useless=46723), ccks=58426, wck=0.249, mem=134M948 6.05/3.00 decisions=490, wrong=173, backtracks=81, failedAssignments=112, nogoods=50 6.05/3.00 nFilterCalls=14896, avgTableProportion=0.794772246304511, avgTableSize=4.220797529538131 6.05/3.00 6.39/3.04 num=8, depth=18..34, filters=36377, revisions=(82998,useless=57471), ccks=70266, wck=0.286, mem=134M948 6.39/3.04 decisions=595, wrong=210, backtracks=101, failedAssignments=133, nogoods=63 6.39/3.04 nFilterCalls=18031, avgTableProportion=0.7943867175842106, avgTableSize=4.211801896733403 6.39/3.04 6.39/3.08 num=9, depth=21..25, filters=47576, revisions=(106387,useless=73391), ccks=88401, wck=0.329, mem=134M948 6.39/3.08 decisions=702, wrong=252, backtracks=125, failedAssignments=156, nogoods=70 6.39/3.08 nFilterCalls=23568, avgTableProportion=0.7950808501437402, avgTableSize=4.233961303462322 6.39/3.08 6.72/3.11 num=10, depth=23..27, filters=54851, revisions=(121546,useless=83351), ccks=102287, wck=0.358, mem=134M948 6.72/3.11 decisions=799, wrong=289, backtracks=144, failedAssignments=181, nogoods=72 6.72/3.11 nFilterCalls=27343, avgTableProportion=0.7954409851566471, avgTableSize=4.239329993051238 6.72/3.11 6.72/3.14 num=11, depth=22..25, filters=63553, revisions=(139564,useless=95417), ccks=116720, wck=0.39, mem=134M948 6.72/3.14 decisions=896, wrong=326, backtracks=154, failedAssignments=209, nogoods=80 6.72/3.14 nFilterCalls=31675, avgTableProportion=0.7963052580145851, avgTableSize=4.249344909234412 6.72/3.14 6.72/3.18 num=12, depth=28..33, filters=73062, revisions=(163043,useless=111907), ccks=134221, wck=0.429, mem=134M948 6.72/3.18 decisions=1019, wrong=372, backtracks=176, failedAssignments=240, nogoods=86 6.72/3.18 nFilterCalls=36378, avgTableProportion=0.796246914016332, avgTableSize=4.2507559513991975 6.72/3.18 6.99/3.22 num=13, depth=27..33, filters=83615, revisions=(183331,useless=124983), ccks=149832, wck=0.467, mem=137M591 6.99/3.22 decisions=1137, wrong=417, backtracks=192, failedAssignments=274, nogoods=92 6.99/3.22 nFilterCalls=41128, avgTableProportion=0.7954016959825414, avgTableSize=4.227655125461973 6.99/3.22 6.99/3.28 num=14, depth=23..28, filters=101502, revisions=(212568,useless=142733), ccks=175366, wck=0.53, mem=137M591 6.99/3.28 decisions=1267, wrong=470, backtracks=210, failedAssignments=311, nogoods=96 6.99/3.28 nFilterCalls=49477, avgTableProportion=0.7952991625738904, avgTableSize=4.213048487175859 6.99/3.28 7.30/3.35 num=15, depth=22..25, filters=123470, revisions=(248034,useless=164313), ccks=210718, wck=0.595, mem=137M591 7.30/3.35 decisions=1404, wrong=527, backtracks=234, failedAssignments=352, nogoods=101 7.30/3.35 nFilterCalls=60289, avgTableProportion=0.7946123592002441, avgTableSize=4.206870241669293 7.30/3.35 7.30/3.38 num=16, depth=16..24, filters=131957, revisions=(268592,useless=178396), ccks=226627, wck=0.626, mem=137M591 7.30/3.38 decisions=1551, wrong=592, backtracks=259, failedAssignments=397, nogoods=109 7.30/3.38 nFilterCalls=64284, avgTableProportion=0.7947921018637668, avgTableSize=4.210130047912389 7.30/3.38 7.60/3.42 num=17, depth=18..24, filters=145357, revisions=(295535,useless=195808), ccks=248407, wck=0.669, mem=137M591 7.60/3.42 decisions=1713, wrong=664, backtracks=282, failedAssignments=447, nogoods=113 7.60/3.42 nFilterCalls=70800, avgTableProportion=0.7946868778589005, avgTableSize=4.20611581920904 7.60/3.42 7.60/3.47 num=18, depth=23..28, filters=160515, revisions=(331257,useless=219912), ccks=275036, wck=0.717, mem=137M591 7.60/3.47 decisions=1903, wrong=746, backtracks=318, failedAssignments=502, nogoods=124 7.60/3.47 nFilterCalls=78309, avgTableProportion=0.7950052417503907, avgTableSize=4.212006282802743 7.60/3.47 7.90/3.52 num=19, depth=21..24, filters=183715, revisions=(372971,useless=245601), ccks=308683, wck=0.766, mem=140M233 7.90/3.52 decisions=2094, wrong=830, backtracks=344, failedAssignments=563, nogoods=131 7.90/3.52 nFilterCalls=90054, avgTableProportion=0.7943982155685801, avgTableSize=4.191329646656451 7.90/3.52 7.90/3.56 num=20, depth=25..40, filters=200968, revisions=(407838,useless=268078), ccks=335210, wck=0.806, mem=140M233 7.90/3.56 decisions=2340, wrong=939, backtracks=397, failedAssignments=630, nogoods=136 7.90/3.56 nFilterCalls=98008, avgTableProportion=0.7944092634814988, avgTableSize=4.190831360705249 7.90/3.56 8.16/3.60 num=21, depth=17..20, filters=226481, revisions=(450224,useless=293094), ccks=372478, wck=0.85, mem=140M233 8.16/3.60 decisions=2553, wrong=1036, backtracks=421, failedAssignments=704, nogoods=144 8.16/3.60 nFilterCalls=110656, avgTableProportion=0.7940738479101841, avgTableSize=4.17854431752458 8.16/3.60 8.16/3.63 num=22, depth=15..31, filters=239588, revisions=(481339,useless=314584), ccks=393359, wck=0.875, mem=140M233 8.16/3.63 decisions=2811, wrong=1155, backtracks=468, failedAssignments=785, nogoods=158 8.16/3.63 nFilterCalls=116309, avgTableProportion=0.7940271071851037, avgTableSize=4.179005923875194 8.16/3.63 8.16/3.68 num=23, depth=17..23, filters=266715, revisions=(536619,useless=350990), ccks=436507, wck=0.922, mem=140M233 8.16/3.68 decisions=3112, wrong=1296, backtracks=529, failedAssignments=874, nogoods=168 8.16/3.68 nFilterCalls=128886, avgTableProportion=0.7940226893022513, avgTableSize=4.180741120059587 8.16/3.68 8.27/3.71 num=24, depth=13..22, filters=282924, revisions=(572437,useless=375157), ccks=462147, wck=0.952, mem=142M778 8.27/3.71 decisions=3391, wrong=1427, backtracks=564, failedAssignments=972, nogoods=190 8.27/3.71 nFilterCalls=136021, avgTableProportion=0.7941382563132621, avgTableSize=4.183611354129142 8.27/3.71 8.27/3.78 num=25, depth=20..25, filters=328385, revisions=(655113,useless=426784), ccks=539180, wck=1.026, mem=142M778 8.27/3.78 decisions=3724, wrong=1582, backtracks=621, failedAssignments=1080, nogoods=199 8.27/3.78 nFilterCalls=158618, avgTableProportion=0.7949176413059575, avgTableSize=4.202486476944609 8.27/3.78 8.40/3.83 num=26, depth=14..21, filters=360043, revisions=(719747,useless=469396), ccks=589781, wck=1.079, mem=142M778 8.40/3.83 decisions=4065, wrong=1745, backtracks=668, failedAssignments=1199, nogoods=208 8.40/3.83 nFilterCalls=174057, avgTableProportion=0.7954195765649029, avgTableSize=4.211631821759538 8.40/3.83 8.40/3.89 num=27, depth=23..32, filters=393305, revisions=(794957,useless=520788), ccks=642770, wck=1.138, mem=142M778 8.40/3.89 decisions=4476, wrong=1938, backtracks=749, failedAssignments=1330, nogoods=217 8.40/3.89 nFilterCalls=190066, avgTableProportion=0.7950791592193689, avgTableSize=4.206575610577378 8.40/3.89 8.56/3.99 num=28, depth=27..33, filters=432788, revisions=(877175,useless=574274), ccks=709574, wck=1.234, mem=59M432 8.56/3.99 decisions=4911, wrong=2141, backtracks=823, failedAssignments=1474, nogoods=227 8.56/3.99 nFilterCalls=209926, avgTableProportion=0.7955341235886706, avgTableSize=4.215618837114031 8.56/3.99 8.71/4.04 num=29, depth=11..26, filters=462666, revisions=(941556,useless=616646), ccks=758870, wck=1.284, mem=59M432 8.71/4.04 decisions=5352, wrong=2355, backtracks=887, failedAssignments=1632, nogoods=237 8.71/4.04 nFilterCalls=223645, avgTableProportion=0.7957130933477409, avgTableSize=4.217661919560017 8.71/4.04 8.84/4.15 num=30, depth=17..22, filters=540505, revisions=(1071600,useless=694486), ccks=882629, wck=1.398, mem=62M21 8.84/4.15 decisions=5895, wrong=2617, backtracks=986, failedAssignments=1806, nogoods=244 8.84/4.15 nFilterCalls=262618, avgTableProportion=0.7961192184254752, avgTableSize=4.221736514633422 8.84/4.15 8.93/4.25 num=31, depth=14..18, filters=604193, revisions=(1187409,useless=764049), ccks=995912, wck=1.494, mem=62M21 8.93/4.25 decisions=6411, wrong=2867, backtracks=1046, failedAssignments=1997, nogoods=250 8.93/4.25 nFilterCalls=295186, avgTableProportion=0.7962061934785605, avgTableSize=4.22066764683962 8.93/4.25 9.04/4.31 num=32, depth=9..23, filters=645187, revisions=(1271208,useless=817118), ccks=1055484, wck=1.561, mem=64M611 9.04/4.31 decisions=6995, wrong=3153, backtracks=1129, failedAssignments=2208, nogoods=253 9.04/4.31 nFilterCalls=313553, avgTableProportion=0.7957130699996755, avgTableSize=4.209380870219707 9.04/4.31 9.04/4.38 num=33, depth=10..22, filters=688662, revisions=(1361799,useless=877513), ccks=1112529, wck=1.629, mem=64M611 9.04/4.38 decisions=7637, wrong=3466, backtracks=1230, failedAssignments=2440, nogoods=265 9.04/4.38 nFilterCalls=333543, avgTableProportion=0.7952043628826254, avgTableSize=4.197647679609526 9.04/4.38 9.25/4.52 num=34, depth=14..22, filters=782484, revisions=(1514195,useless=969245), ccks=1239379, wck=1.764, mem=67M200 9.25/4.52 decisions=8336, wrong=3807, backtracks=1320, failedAssignments=2695, nogoods=279 9.25/4.52 nFilterCalls=379421, avgTableProportion=0.7948364494199741, avgTableSize=4.185991286723718 9.25/4.52 9.35/4.62 num=35, depth=11..25, filters=840190, revisions=(1647431,useless=1058528), ccks=1335241, wck=1.862, mem=67M200 9.35/4.62 decisions=9217, wrong=4240, backtracks=1491, failedAssignments=2976, nogoods=298 9.35/4.62 nFilterCalls=406482, avgTableProportion=0.7948107905416425, avgTableSize=4.187024271677466 9.35/4.62 9.48/4.76 num=36, depth=18..22, filters=942252, revisions=(1822909,useless=1165137), ccks=1476078, wck=2.011, mem=69M790 9.48/4.76 decisions=10078, wrong=4660, backtracks=1607, failedAssignments=3285, nogoods=319 9.48/4.76 nFilterCalls=454944, avgTableProportion=0.7944113346629263, avgTableSize=4.176303017514243 9.48/4.76 9.60/4.86 num=37, depth=6..23, filters=1000755, revisions=(1957722,useless=1256167), ccks=1563095, wck=2.108, mem=72M379 9.60/4.86 decisions=11183, wrong=5205, backtracks=1839, failedAssignments=3625, nogoods=334 9.60/4.86 nFilterCalls=480495, avgTableProportion=0.7943423721243913, avgTableSize=4.17511108336195 9.60/4.86 9.83/5.01 num=38, depth=24..33, filters=1091080, revisions=(2169297,useless=1399973), ccks=1715707, wck=2.258, mem=74M969 9.83/5.01 decisions=12315, wrong=5758, backtracks=2078, failedAssignments=3999, nogoods=350 9.83/5.01 nFilterCalls=525148, avgTableProportion=0.7939897986098945, avgTableSize=4.1730674019514495 9.83/5.01 10.06/5.24 num=39, depth=29..34, filters=1243022, revisions=(2449594,useless=1575571), ccks=1958209, wck=2.485, mem=77M558 10.06/5.24 decisions=13475, wrong=6322, backtracks=2261, failedAssignments=4410, nogoods=368 10.06/5.24 nFilterCalls=601868, avgTableProportion=0.7936978923839214, avgTableSize=4.167775990748802 10.06/5.24 10.28/5.40 num=40, depth=10..26, filters=1341534, revisions=(2683138,useless=1734523), ccks=2115163, wck=2.647, mem=80M147 10.28/5.40 decisions=14892, wrong=7022, backtracks=2578, failedAssignments=4862, nogoods=374 10.28/5.40 nFilterCalls=648129, avgTableProportion=0.7936906721725581, avgTableSize=4.169370603691549 10.28/5.40 10.48/5.69 num=41, depth=18..26, filters=1547402, revisions=(3042748,useless=1955267), ccks=2435399, wck=2.94, mem=85M326 10.48/5.69 decisions=16252, wrong=7692, backtracks=2780, failedAssignments=5359, nogoods=386 10.48/5.69 nFilterCalls=750215, avgTableProportion=0.793726295287144, avgTableSize=4.168593003339042 10.48/5.69 10.78/5.90 num=42, depth=4..16, filters=1682813, revisions=(3310068,useless=2124182), ccks=2638648, wck=3.144, mem=87M916 10.78/5.90 decisions=17770, wrong=8447, backtracks=3021, failedAssignments=5906, nogoods=400 10.78/5.90 nFilterCalls=813835, avgTableProportion=0.7935806953980213, avgTableSize=4.163300914804598 10.78/5.90 10.89/6.10 num=43, depth=17..23, filters=1815584, revisions=(3586842,useless=2305161), ccks=2841763, wck=3.349, mem=93M95 10.89/6.10 decisions=19483, wrong=9294, backtracks=3306, failedAssignments=6508, nogoods=417 10.89/6.10 nFilterCalls=875865, avgTableProportion=0.7937673219945274, avgTableSize=4.16887191519241 10.89/6.10 11.18/6.32 num=44, depth=8..20, filters=1954360, revisions=(3882688,useless=2499826), ccks=3053869, wck=3.563, mem=95M684 11.18/6.32 decisions=21395, wrong=10243, backtracks=3641, failedAssignments=7170, nogoods=428 11.18/6.32 nFilterCalls=940970, avgTableProportion=0.7938877548893708, avgTableSize=4.172311550846467 11.18/6.32 11.49/6.69 num=45, depth=21..27, filters=2214752, revisions=(4344652,useless=2785806), ccks=3452939, wck=3.94, mem=100M863 11.49/6.69 decisions=23380, wrong=11223, backtracks=3918, failedAssignments=7898, nogoods=434 11.49/6.69 nFilterCalls=1069209, avgTableProportion=0.7934785123145075, avgTableSize=4.159841527708801 11.49/6.69 11.90/7.02 num=46, depth=15..27, filters=2422122, revisions=(4767094,useless=3060658), ccks=3758289, wck=4.261, mem=106M42 11.90/7.02 decisions=25769, wrong=12408, backtracks=4422, failedAssignments=8699, nogoods=448 11.90/7.02 nFilterCalls=1167492, avgTableProportion=0.7932328301537928, avgTableSize=4.154652023311509 11.90/7.02 12.40/7.55 num=47, depth=22..28, filters=2798793, revisions=(5460878,useless=3501735), ccks=4366567, wck=4.8, mem=113M810 12.40/7.55 decisions=28439, wrong=13731, backtracks=4932, failedAssignments=9580, nogoods=458 12.40/7.55 nFilterCalls=1355832, avgTableProportion=0.793680733104372, avgTableSize=4.166112025678697 12.40/7.55 12.80/8.00 num=48, depth=25..33, filters=3103709, revisions=(6052433,useless=3880151), ccks=4828734, wck=5.249, mem=121M579 12.80/8.00 decisions=31179, wrong=15087, backtracks=5409, failedAssignments=10550, nogoods=476 12.80/8.00 nFilterCalls=1506583, avgTableProportion=0.7939269747146648, avgTableSize=4.173253647492372 12.80/8.00 13.20/8.35 num=49, depth=14..26, filters=3320657, revisions=(6526972,useless=4191601), ccks=5157890, wck=5.596, mem=126M758 13.20/8.35 decisions=34268, wrong=16624, backtracks=5987, failedAssignments=11617, nogoods=501 13.20/8.35 nFilterCalls=1606932, avgTableProportion=0.7938121881678102, avgTableSize=4.169307724284537 13.20/8.35 13.91/9.01 num=50, depth=22..28, filters=3775867, revisions=(7340518,useless=4701267), ccks=5840123, wck=6.257, mem=137M115 13.91/9.01 decisions=37624, wrong=18289, backtracks=6567, failedAssignments=12790, nogoods=518 13.91/9.01 nFilterCalls=1830672, avgTableProportion=0.7935166755918541, avgTableSize=4.160783034863701 13.91/9.01 14.40/9.50 num=51, depth=17..31, filters=4110718, revisions=(7963199,useless=5097432), ccks=6319415, wck=6.75, mem=144M884 14.40/9.50 decisions=41200, wrong=20067, backtracks=7130, failedAssignments=14081, nogoods=535 14.40/9.50 nFilterCalls=1989423, avgTableProportion=0.793607107266591, avgTableSize=4.162368184141834 14.40/9.50 14.81/9.97 num=52, depth=11..26, filters=4402928, revisions=(8616782,useless=5530933), ccks=6788300, wck=7.214, mem=152M652 14.81/9.97 decisions=45411, wrong=22165, backtracks=7909, failedAssignments=15501, nogoods=560 14.81/9.97 nFilterCalls=2126432, avgTableProportion=0.7937851438326304, avgTableSize=4.166187773697913 14.81/9.97 15.51/10.69 num=53, depth=18..25, filters=4924607, revisions=(9457496,useless=6037313), ccks=7456786, wck=7.936, mem=165M599 15.51/10.69 decisions=49584, wrong=24241, backtracks=8491, failedAssignments=17063, nogoods=567 15.51/10.69 nFilterCalls=2372964, avgTableProportion=0.7936809879645996, avgTableSize=4.161181964833854 15.51/10.69 16.11/11.25 num=54, depth=10..26, filters=5284611, revisions=(10238063,useless=6559468), ccks=8008794, wck=8.501, mem=173M368 16.11/11.25 decisions=54916, wrong=26899, backtracks=9593, failedAssignments=18781, nogoods=580 16.11/11.25 nFilterCalls=2538999, avgTableProportion=0.7935903067542581, avgTableSize=4.160633777327207 16.11/11.25 17.11/12.21 num=55, depth=22..28, filters=5936285, revisions=(11476822,useless=7360397), ccks=9101302, wck=9.458, mem=188M904 17.11/12.21 decisions=60332, wrong=29594, backtracks=10609, failedAssignments=20671, nogoods=593 17.11/12.21 nFilterCalls=2862413, avgTableProportion=0.7942925784622216, avgTableSize=4.178844911618275 17.11/12.21 17.55/12.67 o 15 17.71/12.70 num=56, depth=13..1379, filters=6234026, revisions=(11979689,useless=7675650), ccks=9494082, wck=9.945, mem=66M75 17.71/12.70 decisions=63279, wrong=31054, backtracks=11019, failedAssignments=21755, nogoods=623, foundSolutions=1, bestBound=15 17.71/12.70 nFilterCalls=2998930, avgTableProportion=0.7940439383717087, avgTableSize=4.172817304838726 17.71/12.70 17.97/12.99 o 14 18.13/13.02 num=57, depth=0..1379, filters=6412735, revisions=(12296988,useless=7874830), ccks=9757819, wck=10.266, mem=68M683 18.13/13.02 decisions=65559, wrong=32181, backtracks=11282, failedAssignments=22629, nogoods=636, foundSolutions=2, bestBound=14 18.13/13.02 nFilterCalls=3081203, avgTableProportion=0.793938241160313, avgTableSize=4.170600898415326 18.13/13.02 18.13/13.03 num=58, depth=0..15, filters=6416028, revisions=(12303533,useless=7878887), ccks=9764771, wck=10.278, mem=68M683 18.13/13.03 decisions=65598, wrong=32193, backtracks=11283, failedAssignments=22640, nogoods=645, foundSolutions=2, bestBound=14 18.13/13.03 nFilterCalls=3083400, avgTableProportion=0.793934158180869, avgTableSize=4.170470908737109 18.13/13.03 18.13/13.04 num=59, depth=11..14, filters=6418113, revisions=(12308242,useless=7882052), ccks=9768867, wck=10.282, mem=68M683 18.13/13.04 decisions=65637, wrong=32207, backtracks=11286, failedAssignments=22651, nogoods=646, foundSolutions=2, bestBound=14 18.13/13.04 nFilterCalls=3084365, avgTableProportion=0.7939321202416457, avgTableSize=4.170433136156064 18.13/13.04 18.13/13.04 num=60, depth=11..14, filters=6420189, revisions=(12312681,useless=7885022), ccks=9772800, wck=10.286, mem=71M291 18.13/13.04 decisions=65677, wrong=32220, backtracks=11287, failedAssignments=22663, nogoods=652, foundSolutions=2, bestBound=14 18.13/13.04 nFilterCalls=3085354, avgTableProportion=0.7939323104458528, avgTableSize=4.170447864329344 18.13/13.04 18.13/13.05 num=61, depth=10..13, filters=6423478, revisions=(12318943,useless=7888858), ccks=9778949, wck=10.292, mem=71M291 18.13/13.05 decisions=65719, wrong=32236, backtracks=11290, failedAssignments=22676, nogoods=653, foundSolutions=2, bestBound=14 18.13/13.05 nFilterCalls=3086918, avgTableProportion=0.7939306893528255, avgTableSize=4.170394872814891 18.13/13.05 18.13/13.05 num=62, depth=14..23, filters=6426048, revisions=(12325658,useless=7893619), ccks=9784395, wck=10.297, mem=71M291 18.13/13.05 decisions=65771, wrong=32253, backtracks=11294, failedAssignments=22690, nogoods=658, foundSolutions=2, bestBound=14 18.13/13.05 nFilterCalls=3088166, avgTableProportion=0.79393146056865, avgTableSize=4.170425100205105 18.13/13.05 18.13/13.06 num=63, depth=13..16, filters=6431161, revisions=(12336798,useless=7901001), ccks=9794229, wck=10.306, mem=71M291 18.13/13.06 decisions=65829, wrong=32275, backtracks=11300, failedAssignments=22706, nogoods=661, foundSolutions=2, bestBound=14 18.13/13.06 nFilterCalls=3090749, avgTableProportion=0.7939322513429451, avgTableSize=4.1704399160203565 18.13/13.06 18.13/13.07 num=64, depth=11..15, filters=6434939, revisions=(12344208,useless=7905822), ccks=9800873, wck=10.313, mem=71M291 18.13/13.07 decisions=65884, wrong=32297, backtracks=11306, failedAssignments=22723, nogoods=664, foundSolutions=2, bestBound=14 18.13/13.07 nFilterCalls=3092497, avgTableProportion=0.7939296869167878, avgTableSize=4.170403398936199 18.13/13.07 18.13/13.07 num=65, depth=17..19, filters=6438934, revisions=(12354622,useless=7913189), ccks=9809206, wck=10.32, mem=71M291 18.13/13.07 decisions=65955, wrong=32324, backtracks=11314, failedAssignments=22742, nogoods=671, foundSolutions=2, bestBound=14 18.13/13.07 nFilterCalls=3094448, avgTableProportion=0.7939335437750681, avgTableSize=4.170497290631479 18.13/13.07 18.13/13.08 num=66, depth=13..15, filters=6443731, revisions=(12364720,useless=7919787), ccks=9818040, wck=10.329, mem=71M291 18.13/13.08 decisions=66019, wrong=32349, backtracks=11318, failedAssignments=22763, nogoods=677, foundSolutions=2, bestBound=14 18.13/13.08 nFilterCalls=3096870, avgTableProportion=0.7939329875620754, avgTableSize=4.170501506359647 18.13/13.08 18.13/13.09 num=67, depth=12..19, filters=6447013, revisions=(12373059,useless=7925652), ccks=9825062, wck=10.335, mem=71M291 18.13/13.09 decisions=66093, wrong=32378, backtracks=11324, failedAssignments=22786, nogoods=684, foundSolutions=2, bestBound=14 18.13/13.09 nFilterCalls=3098427, avgTableProportion=0.7939336426272481, avgTableSize=4.17053911549312 18.13/13.09 18.13/13.10 num=68, depth=12..15, filters=6454211, revisions=(12388493,useless=7935956), ccks=9838601, wck=10.347, mem=71M291 18.13/13.10 decisions=66175, wrong=32412, backtracks=11333, failedAssignments=22811, nogoods=690, foundSolutions=2, bestBound=14 18.13/13.10 nFilterCalls=3102128, avgTableProportion=0.7939386650376432, avgTableSize=4.170655111587917 18.13/13.10 18.26/13.11 num=69, depth=11..22, filters=6458498, revisions=(12398351,useless=7942617), ccks=9846486, wck=10.355, mem=71M291 18.26/13.11 decisions=66257, wrong=32444, backtracks=11338, failedAssignments=22839, nogoods=702, foundSolutions=2, bestBound=14 18.26/13.11 nFilterCalls=3104034, avgTableProportion=0.7939382786125545, avgTableSize=4.170663723399937 18.26/13.11 18.26/13.12 num=70, depth=12..15, filters=6467425, revisions=(12415570,useless=7953681), ccks=9862983, wck=10.369, mem=71M291 18.26/13.12 decisions=66349, wrong=32483, backtracks=11346, failedAssignments=22870, nogoods=707, foundSolutions=2, bestBound=14 18.26/13.12 nFilterCalls=3108486, avgTableProportion=0.7939455968659437, avgTableSize=4.170837185691041 18.26/13.12 18.26/13.13 num=71, depth=14..21, filters=6472209, revisions=(12427144,useless=7961668), ccks=9871818, wck=10.378, mem=71M291 18.26/13.13 decisions=66449, wrong=32524, backtracks=11355, failedAssignments=22904, nogoods=718, foundSolutions=2, bestBound=14 18.26/13.13 nFilterCalls=3110678, avgTableProportion=0.7939455053422254, avgTableSize=4.17083285380229 18.26/13.13 18.26/13.15 num=72, depth=12..15, filters=6480993, revisions=(12445277,useless=7973512), ccks=9886782, wck=10.392, mem=71M291 18.26/13.15 decisions=66557, wrong=32572, backtracks=11366, failedAssignments=22941, nogoods=725, foundSolutions=2, bestBound=14 18.26/13.15 nFilterCalls=3114897, avgTableProportion=0.793948105705949, avgTableSize=4.170919616282657 18.26/13.15 18.26/13.16 num=73, depth=14..20, filters=6487073, revisions=(12460144,useless=7983764), ccks=9898365, wck=10.403, mem=71M291 18.26/13.16 decisions=66679, wrong=32625, backtracks=11378, failedAssignments=22982, nogoods=729, foundSolutions=2, bestBound=14 18.26/13.16 nFilterCalls=3117677, avgTableProportion=0.7939516478668658, avgTableSize=4.17101515006205 18.26/13.16 18.26/13.18 num=74, depth=9..12, filters=6500941, revisions=(12484898,useless=7998852), ccks=9921546, wck=10.424, mem=71M291 18.26/13.18 decisions=66805, wrong=32683, backtracks=11391, failedAssignments=23027, nogoods=742, foundSolutions=2, bestBound=14 18.26/13.18 nFilterCalls=3124436, avgTableProportion=0.7939475023117392, avgTableSize=4.1708337120683545 18.26/13.18 18.26/13.19 num=75, depth=14..19, filters=6509250, revisions=(12505696,useless=8013407), ccks=9936935, wck=10.438, mem=73M899 18.26/13.19 decisions=66963, wrong=32754, backtracks=11412, failedAssignments=23077, nogoods=752, foundSolutions=2, bestBound=14 18.26/13.19 nFilterCalls=3128210, avgTableProportion=0.7939513609713276, avgTableSize=4.170955274741785 18.26/13.19 18.36/13.22 num=76, depth=14..16, filters=6525629, revisions=(12536488,useless=8032794), ccks=9965223, wck=10.463, mem=73M899 18.36/13.22 decisions=67123, wrong=32826, backtracks=11430, failedAssignments=23132, nogoods=762, foundSolutions=2, bestBound=14 18.36/13.22 nFilterCalls=3136422, avgTableProportion=0.7939629574412401, avgTableSize=4.171208785042319 18.36/13.22 18.36/13.23 num=77, depth=14..19, filters=6534710, revisions=(12558447,useless=8047770), ccks=9981288, wck=10.479, mem=73M899 18.36/13.23 decisions=67300, wrong=32907, backtracks=11450, failedAssignments=23193, nogoods=770, foundSolutions=2, bestBound=14 18.36/13.23 nFilterCalls=3140437, avgTableProportion=0.7939618382193832, avgTableSize=4.171199422246012 18.36/13.23 18.36/13.26 num=78, depth=13..16, filters=6555176, revisions=(12595467,useless=8071213), ccks=10016608, wck=10.509, mem=73M899 18.36/13.26 decisions=67488, wrong=32994, backtracks=11470, failedAssignments=23260, nogoods=782, foundSolutions=2, bestBound=14 18.36/13.26 nFilterCalls=3150578, avgTableProportion=0.7939821571359651, avgTableSize=4.171692622750492 18.36/13.26 18.36/13.28 num=79, depth=14..18, filters=6567827, revisions=(12624804,useless=8091051), ccks=10037702, wck=10.531, mem=73M899 18.36/13.28 decisions=67704, wrong=33095, backtracks=11497, failedAssignments=23334, nogoods=789, foundSolutions=2, bestBound=14 18.36/13.28 nFilterCalls=3156237, avgTableProportion=0.7939803931218794, avgTableSize=4.171656944646426 18.36/13.28 18.48/13.33 num=80, depth=14..17, filters=6596190, revisions=(12672801,useless=8120602), ccks=10080652, wck=10.572, mem=73M899 18.48/13.33 decisions=67938, wrong=33204, backtracks=11527, failedAssignments=23415, nogoods=797, foundSolutions=2, bestBound=14 18.48/13.33 nFilterCalls=3169678, avgTableProportion=0.7939907415553784, avgTableSize=4.171831649776412 18.48/13.33 18.48/13.37 num=81, depth=16..19, filters=6626305, revisions=(12729134,useless=8155751), ccks=10132214, wck=10.617, mem=76M507 18.48/13.37 decisions=68192, wrong=33322, backtracks=11558, failedAssignments=23504, nogoods=808, foundSolutions=2, bestBound=14 18.48/13.37 nFilterCalls=3184937, avgTableProportion=0.7939726583054346, avgTableSize=4.1713889474108905 18.48/13.37 18.58/13.40 num=82, depth=13..18, filters=6644515, revisions=(12770648,useless=8183487), ccks=10161795, wck=10.648, mem=76M507 18.58/13.40 decisions=68470, wrong=33454, backtracks=11595, failedAssignments=23602, nogoods=822, foundSolutions=2, bestBound=14 18.58/13.40 nFilterCalls=3193220, avgTableProportion=0.7939671240930126, avgTableSize=4.1712306073493215 18.58/13.40 18.58/13.45 num=83, depth=13..16, filters=6682119, revisions=(12831838,useless=8221152), ccks=10216173, wck=10.699, mem=76M507 18.58/13.45 decisions=68770, wrong=33597, backtracks=11633, failedAssignments=23710, nogoods=829, foundSolutions=2, bestBound=14 18.58/13.45 nFilterCalls=3210356, avgTableProportion=0.7939983925666988, avgTableSize=4.171925792653525 18.58/13.45 18.58/13.48 num=84, depth=11..22, filters=6698619, revisions=(12871007,useless=8247988), ccks=10243106, wck=10.727, mem=76M507 18.58/13.48 decisions=69097, wrong=33752, backtracks=11671, failedAssignments=23829, nogoods=852, foundSolutions=2, bestBound=14 18.58/13.48 nFilterCalls=3217470, avgTableProportion=0.7939957667107687, avgTableSize=4.171912092420442 18.58/13.48 18.68/13.54 num=85, depth=14..17, filters=6743073, revisions=(12947857,useless=8293913), ccks=10318947, wck=10.791, mem=79M115 18.68/13.54 decisions=69448, wrong=33920, backtracks=11711, failedAssignments=23960, nogoods=859, foundSolutions=2, bestBound=14 18.68/13.54 nFilterCalls=3239682, avgTableProportion=0.7939969692333881, avgTableSize=4.1717177797080085 18.68/13.54 18.68/13.59 num=86, depth=13..22, filters=6769012, revisions=(13005967,useless=8333128), ccks=10361703, wck=10.833, mem=79M115 18.68/13.59 decisions=69860, wrong=34117, backtracks=11772, failedAssignments=24104, nogoods=881, foundSolutions=2, bestBound=14 18.68/13.59 nFilterCalls=3251441, avgTableProportion=0.7939931684629729, avgTableSize=4.171698948250945 18.68/13.59 18.78/13.67 num=87, depth=13..17, filters=6823198, revisions=(13099810,useless=8388421), ccks=10449638, wck=10.913, mem=81M723 18.78/13.67 decisions=70289, wrong=34324, backtracks=11824, failedAssignments=24262, nogoods=894, foundSolutions=2, bestBound=14 18.78/13.67 nFilterCalls=3277494, avgTableProportion=0.793975403228955, avgTableSize=4.1708009229002405 18.78/13.67 18.92/13.74 num=88, depth=15..21, filters=6868841, revisions=(13185395,useless=8439996), ccks=10525712, wck=10.985, mem=81M723 18.92/13.74 decisions=70751, wrong=34547, backtracks=11878, failedAssignments=24436, nogoods=903, foundSolutions=2, bestBound=14 18.92/13.74 nFilterCalls=3300247, avgTableProportion=0.7939639716261419, avgTableSize=4.170173323390643 18.92/13.74 18.92/13.80 num=89, depth=8..18, filters=6905062, revisions=(13264827,useless=8492505), ccks=10583885, wck=11.042, mem=81M723 18.92/13.80 decisions=71292, wrong=34811, backtracks=11958, failedAssignments=24627, nogoods=930, foundSolutions=2, bestBound=14 18.92/13.80 nFilterCalls=3316519, avgTableProportion=0.793950012042871, avgTableSize=4.169873894887983 18.92/13.80 19.02/13.88 num=90, depth=13..18, filters=6968505, revisions=(13369624,useless=8556004), ccks=10675118, wck=11.13, mem=84M331 19.02/13.88 decisions=71845, wrong=35080, backtracks=12019, failedAssignments=24838, nogoods=936, foundSolutions=2, bestBound=14 19.02/13.88 nFilterCalls=3345714, avgTableProportion=0.7939760840254164, avgTableSize=4.17026111616235 19.02/13.88 19.12/13.96 num=91, depth=11..18, filters=7017429, revisions=(13486056,useless=8635600), ccks=10759558, wck=11.21, mem=86M939 19.12/13.96 decisions=72554, wrong=35428, backtracks=12150, failedAssignments=25070, nogoods=942, foundSolutions=2, bestBound=14 19.12/13.96 nFilterCalls=3368830, avgTableProportion=0.7939786343760606, avgTableSize=4.170379033670444 19.12/13.96 19.23/14.09 num=92, depth=12..17, filters=7100974, revisions=(13637072,useless=8726409), ccks=10908376, wck=11.333, mem=86M939 19.23/14.09 decisions=73222, wrong=35754, backtracks=12230, failedAssignments=25325, nogoods=948, foundSolutions=2, bestBound=14 19.23/14.09 nFilterCalls=3409839, avgTableProportion=0.7939889432526525, avgTableSize=4.17010421899685 19.23/14.09 19.42/14.21 num=93, depth=9..13, filters=7182541, revisions=(13780176,useless=8812318), ccks=11036860, wck=11.452, mem=89M547 19.42/14.21 decisions=73959, wrong=36117, backtracks=12320, failedAssignments=25606, nogoods=961, foundSolutions=2, bestBound=14 19.42/14.21 nFilterCalls=3447716, avgTableProportion=0.7939673678467467, avgTableSize=4.16906641962389 19.42/14.21 19.52/14.33 num=94, depth=12..18, filters=7266776, revisions=(13932290,useless=8903404), ccks=11174364, wck=11.58, mem=92M155 19.52/14.33 decisions=74765, wrong=36513, backtracks=12410, failedAssignments=25915, nogoods=972, foundSolutions=2, bestBound=14 19.52/14.33 nFilterCalls=3488672, avgTableProportion=0.7939309932754441, avgTableSize=4.167646313554269 19.52/14.33 19.62/14.47 num=95, depth=5..9, filters=7362585, revisions=(14099757,useless=9002613), ccks=11323357, wck=11.718, mem=94M763 19.62/14.47 decisions=75625, wrong=36940, backtracks=12504, failedAssignments=26255, nogoods=990, foundSolutions=2, bestBound=14 19.62/14.47 nFilterCalls=3533248, avgTableProportion=0.7939031522778601, avgTableSize=4.1664570389624505 19.62/14.47 19.73/14.57 num=96, depth=6..20, filters=7423320, revisions=(14233674,useless=9090422), ccks=11414820, wck=11.815, mem=94M763 19.73/14.57 decisions=76613, wrong=37428, backtracks=12634, failedAssignments=26629, nogoods=1017, foundSolutions=2, bestBound=14 19.73/14.57 nFilterCalls=3559404, avgTableProportion=0.7938842837778948, avgTableSize=4.165892660681395 19.73/14.57 19.93/14.72 num=97, depth=11..16, filters=7528182, revisions=(14418501,useless=9204500), ccks=11572860, wck=11.966, mem=97M371 19.93/14.72 decisions=77654, wrong=37942, backtracks=12747, failedAssignments=27040, nogoods=1030, foundSolutions=2, bestBound=14 19.93/14.72 nFilterCalls=3609206, avgTableProportion=0.7939171355864075, avgTableSize=4.166416657846629 19.93/14.72 20.03/14.85 num=98, depth=5..18, filters=7610882, revisions=(14582908,useless=9310193), ccks=11684128, wck=12.092, mem=99M979 20.03/14.85 decisions=78846, wrong=38533, backtracks=12906, failedAssignments=27492, nogoods=1044, foundSolutions=2, bestBound=14 20.03/14.85 nFilterCalls=3645274, avgTableProportion=0.793852159175904, avgTableSize=4.164888839631808 20.03/14.85 20.24/15.07 num=99, depth=12..17, filters=7770561, revisions=(14846375,useless=9461468), ccks=11926799, wck=12.321, mem=105M195 20.24/15.07 decisions=80071, wrong=39139, backtracks=13028, failedAssignments=27989, nogoods=1059, foundSolutions=2, bestBound=14 20.24/15.07 nFilterCalls=3722676, avgTableProportion=0.7937331710199977, avgTableSize=4.161091107579601 20.24/15.07 20.43/15.24 num=100, depth=8..18, filters=7872812, revisions=(15066207,useless=9604104), ccks=12085158, wck=12.481, mem=107M803 20.43/15.24 decisions=81533, wrong=39865, backtracks=13228, failedAssignments=28536, nogoods=1078, foundSolutions=2, bestBound=14 20.43/15.24 nFilterCalls=3769880, avgTableProportion=0.7936683389355308, avgTableSize=4.159934798985644 20.43/15.24 20.63/15.41 num=101, depth=10..22, filters=7983441, revisions=(15303965,useless=9761298), ccks=12262636, wck=12.659, mem=110M411 20.63/15.41 decisions=83149, wrong=40667, backtracks=13466, failedAssignments=29138, nogoods=1093, foundSolutions=2, bestBound=14 20.63/15.41 nFilterCalls=3819913, avgTableProportion=0.7936574608755432, avgTableSize=4.159776937328154 20.63/15.41 20.93/15.71 num=102, depth=14..21, filters=8178742, revisions=(15714299,useless=10033202), ccks=12594058, wck=12.957, mem=115M627 20.93/15.71 decisions=85053, wrong=41610, backtracks=13842, failedAssignments=29800, nogoods=1114, foundSolutions=2, bestBound=14 20.93/15.71 nFilterCalls=3916747, avgTableProportion=0.7937418800196, avgTableSize=4.162245353095311 20.93/15.71 21.24/16.04 num=103, depth=10..15, filters=8412850, revisions=(16126535,useless=10280655), ccks=12966764, wck=13.289, mem=120M843 21.24/16.04 decisions=86967, wrong=42561, backtracks=14092, failedAssignments=30528, nogoods=1127, foundSolutions=2, bestBound=14 21.24/16.04 nFilterCalls=4026919, avgTableProportion=0.7937898930511793, avgTableSize=4.162428645820787 21.24/16.04 21.44/16.29 num=104, depth=12..20, filters=8571838, revisions=(16473659,useless=10511754), ccks=13217959, wck=13.54, mem=123M451 21.44/16.29 decisions=89133, wrong=43638, backtracks=14441, failedAssignments=31329, nogoods=1133, foundSolutions=2, bestBound=14 21.44/16.29 nFilterCalls=4098669, avgTableProportion=0.7938000110694561, avgTableSize=4.1629309417276685 21.44/16.29 21.84/16.65 num=105, depth=13..20, filters=8824080, revisions=(16905145,useless=10770235), ccks=13557856, wck=13.896, mem=131M275 21.84/16.65 decisions=91382, wrong=44754, backtracks=14701, failedAssignments=32210, nogoods=1154, foundSolutions=2, bestBound=14 21.84/16.65 nFilterCalls=4215853, avgTableProportion=0.793614166392974, avgTableSize=4.158090901177057 21.84/16.65 22.25/17.03 num=106, depth=10..17, filters=9090058, revisions=(17379990,useless=11064413), ccks=13940615, wck=14.279, mem=136M491 22.25/17.03 decisions=93980, wrong=46048, backtracks=15068, failedAssignments=33180, nogoods=1155, foundSolutions=2, bestBound=14 22.25/17.03 nFilterCalls=4338925, avgTableProportion=0.7936008576154612, avgTableSize=4.157640890312693 22.25/17.03 22.54/17.34 num=107, depth=6..20, filters=9283654, revisions=(17825115,useless=11363464), ccks=14245235, wck=14.59, mem=141M707 22.54/17.34 decisions=96978, wrong=47542, backtracks=15567, failedAssignments=34247, nogoods=1177, foundSolutions=2, bestBound=14 22.54/17.34 nFilterCalls=4426381, avgTableProportion=0.793637926070694, avgTableSize=4.158497878967038 22.54/17.34 23.04/17.85 num=108, depth=12..19, filters=9645068, revisions=(18456574,useless=11753321), ccks=14749606, wck=15.1, mem=149M531 23.04/17.85 decisions=100154, wrong=49123, backtracks=16016, failedAssignments=35420, nogoods=1196, foundSolutions=2, bestBound=14 23.04/17.85 nFilterCalls=4597910, avgTableProportion=0.793584099167232, avgTableSize=4.157237962465555 23.04/17.85 23.44/18.29 num=109, depth=6..16, filters=9926871, revisions=(19059832,useless=12150357), ccks=15156334, wck=15.533, mem=157M355 23.44/18.29 decisions=103848, wrong=50965, backtracks=16588, failedAssignments=36711, nogoods=1220, foundSolutions=2, bestBound=14 23.44/18.29 nFilterCalls=4727577, avgTableProportion=0.7936224611394646, avgTableSize=4.157450846384945 23.44/18.29 24.14/18.94 num=110, depth=13..21, filters=10362912, revisions=(19924919,useless=12709693), ccks=15815500, wck=16.189, mem=167M787 24.14/18.94 decisions=107997, wrong=53032, backtracks=17396, failedAssignments=38131, nogoods=1238, foundSolutions=2, bestBound=14 24.14/18.94 nFilterCalls=4935104, avgTableProportion=0.7935955853264514, avgTableSize=4.156732461970407 24.14/18.94 24.64/19.47 num=111, depth=12..21, filters=10701892, revisions=(20690658,useless=13230089), ccks=16364183, wck=16.72, mem=175M611 24.64/19.47 decisions=112358, wrong=55204, backtracks=18194, failedAssignments=39693, nogoods=1261, foundSolutions=2, bestBound=14 24.64/19.47 nFilterCalls=5093995, avgTableProportion=0.7938172581532867, avgTableSize=4.162503693073904 24.64/19.47 25.54/20.34 num=112, depth=13..20, filters=11292128, revisions=(21814039,useless=13949182), ccks=17250490, wck=17.586, mem=188M651 25.54/20.34 decisions=117291, wrong=57663, backtracks=19079, failedAssignments=41411, nogoods=1281, foundSolutions=2, bestBound=14 25.54/20.34 nFilterCalls=5379679, avgTableProportion=0.7936803429520923, avgTableSize=4.159656366114038 25.54/20.34 26.40/21.15 num=113, depth=10..15, filters=11817346, revisions=(22914203,useless=14680425), ccks=18163255, wck=18.394, mem=71M477 26.40/21.15 decisions=122315, wrong=60169, backtracks=19890, failedAssignments=43301, nogoods=1301, foundSolutions=2, bestBound=14 26.40/21.15 nFilterCalls=5638675, avgTableProportion=0.7940055707699706, avgTableSize=4.1675948693620395 26.40/21.15 27.30/22.04 num=114, depth=14..23, filters=12412350, revisions=(24074073,useless=15413900), ccks=19040988, wck=19.282, mem=85M857 27.30/22.04 decisions=127893, wrong=62949, backtracks=20643, failedAssignments=45380, nogoods=1323, foundSolutions=2, bestBound=14 27.30/22.04 nFilterCalls=5912566, avgTableProportion=0.7940047567165948, avgTableSize=4.165958232009587 27.30/22.04 28.20/22.99 num=115, depth=9..23, filters=13068329, revisions=(25267704,useless=16148937), ccks=19998330, wck=20.237, mem=100M237 28.20/22.99 decisions=133991, wrong=65992, backtracks=21476, failedAssignments=47667, nogoods=1340, foundSolutions=2, bestBound=14 28.20/22.99 nFilterCalls=6220543, avgTableProportion=0.7938749936018852, avgTableSize=4.161853715985887 28.20/22.99 29.20/23.90 num=116, depth=12..20, filters=13662370, revisions=(26469308,useless=16933768), ccks=20957001, wck=21.144, mem=114M617 29.20/23.90 decisions=141068, wrong=69523, backtracks=22584, failedAssignments=50183, nogoods=1348, foundSolutions=2, bestBound=14 29.20/23.90 nFilterCalls=6498017, avgTableProportion=0.7940110655536934, avgTableSize=4.165485716642477 29.20/23.90 30.20/24.93 num=117, depth=9..21, filters=14338334, revisions=(27863388,useless=17849459), ccks=21977212, wck=22.179, mem=132M592 30.20/24.93 decisions=148843, wrong=73404, backtracks=23957, failedAssignments=52951, nogoods=1372, foundSolutions=2, bestBound=14 30.20/24.93 nFilterCalls=6811411, avgTableProportion=0.7938993447187209, avgTableSize=4.164117243842722 30.20/24.93 31.50/26.27 num=118, depth=11..16, filters=15235699, revisions=(29606845,useless=18950728), ccks=23453841, wck=23.513, mem=154M162 31.50/26.27 decisions=157037, wrong=77494, backtracks=25144, failedAssignments=55995, nogoods=1391, foundSolutions=2, bestBound=14 31.50/26.27 nFilterCalls=7243200, avgTableProportion=0.7938722620882234, avgTableSize=4.164199801192843 31.50/26.27 32.51/27.29 num=119, depth=7..22, filters=15883750, revisions=(31023062,useless=19878735), ccks=24462035, wck=24.536, mem=168M542 32.51/27.29 decisions=166306, wrong=82124, backtracks=26488, failedAssignments=59344, nogoods=1410, foundSolutions=2, bestBound=14 32.51/27.29 nFilterCalls=7540846, avgTableProportion=0.7938447473636362, avgTableSize=4.163385514039141 32.51/27.29 34.22/28.97 num=120, depth=11..20, filters=17022052, revisions=(33166074,useless=21250022), ccks=26173676, wck=26.214, mem=197M302 34.22/28.97 decisions=176818, wrong=87374, backtracks=28286, failedAssignments=63028, nogoods=1438, foundSolutions=2, bestBound=14 34.22/28.97 nFilterCalls=8082665, avgTableProportion=0.793800519485119, avgTableSize=4.161287025999469 34.22/28.97 35.62/30.32 num=121, depth=11..25, filters=17858741, revisions=(35142259,useless=22594215), ccks=27558733, wck=27.566, mem=218M872 35.62/30.32 decisions=189271, wrong=93591, backtracks=30628, failedAssignments=67080, nogoods=1455, foundSolutions=2, bestBound=14 35.62/30.32 nFilterCalls=8468019, avgTableProportion=0.7940311258521949, avgTableSize=4.16600175318454 35.62/30.32 37.87/32.50 num=122, depth=12..20, filters=19359426, revisions=(37879292,useless=24297597), ccks=29945125, wck=29.745, mem=72M77 37.87/32.50 decisions=201559, wrong=99728, backtracks=32493, failedAssignments=71537, nogoods=1470, foundSolutions=2, bestBound=14 37.87/32.50 nFilterCalls=9188958, avgTableProportion=0.7943433719959602, avgTableSize=4.1708243742108735 37.87/32.50 39.98/34.61 num=123, depth=10..25, filters=20728643, revisions=(40721465,useless=26170700), ccks=32092876, wck=31.852, mem=105M616 39.98/34.61 decisions=215839, wrong=106862, backtracks=35394, failedAssignments=76440, nogoods=1481, foundSolutions=2, bestBound=14 39.98/34.61 nFilterCalls=9850770, avgTableProportion=0.7941348600579295, avgTableSize=4.167888297056981 39.98/34.61 42.39/37.02 num=124, depth=11..23, filters=22379462, revisions=(43736714,useless=28071416), ccks=34495118, wck=34.268, mem=142M881 42.39/37.02 decisions=231189, wrong=114530, backtracks=37915, failedAssignments=81834, nogoods=1499, foundSolutions=2, bestBound=14 42.39/37.02 nFilterCalls=10638114, avgTableProportion=0.7940123719646428, avgTableSize=4.163726577850172 42.39/37.02 44.29/38.91 num=125, depth=6..25, filters=23545587, revisions=(46390044,useless=29839995), ccks=36498384, wck=36.153, mem=172M693 44.29/38.91 decisions=248171, wrong=123016, backtracks=40973, failedAssignments=87767, nogoods=1520, foundSolutions=2, bestBound=14 44.29/38.91 nFilterCalls=11181055, avgTableProportion=0.7941174512062449, avgTableSize=4.166249249288193 44.29/38.91 47.19/41.80 num=126, depth=12..21, filters=25499398, revisions=(50169441,useless=32243884), ccks=39789699, wck=39.051, mem=221M138 47.19/41.80 decisions=266557, wrong=132201, backtracks=43801, failedAssignments=94293, nogoods=1549, foundSolutions=2, bestBound=14 47.19/41.80 nFilterCalls=12117110, avgTableProportion=0.7946234044192523, avgTableSize=4.176111713106508 47.19/41.80 51.05/45.63 num=127, depth=12..25, filters=28108591, revisions=(54998882,useless=35265811), ccks=44009248, wck=42.879, mem=97M425 51.05/45.63 decisions=287445, wrong=142637, backtracks=47493, failedAssignments=101472, nogoods=1562, foundSolutions=2, bestBound=14 51.05/45.63 nFilterCalls=13392205, avgTableProportion=0.7949068273123664, avgTableSize=4.17993370023831 51.05/45.63 54.35/48.98 num=128, depth=11..24, filters=30312133, revisions=(59477328,useless=38205125), ccks=47330913, wck=46.222, mem=148M615 54.35/48.98 decisions=310490, wrong=154153, backtracks=52305, failedAssignments=109369, nogoods=1574, foundSolutions=2, bestBound=14 54.35/48.98 nFilterCalls=14440170, avgTableProportion=0.7948045610298466, avgTableSize=4.178206073751209 54.35/48.98 57.65/52.20 num=129, depth=10..24, filters=32373536, revisions=(63900832,useless=41146605), ccks=50513421, wck=49.448, mem=199M805 57.65/52.20 decisions=335749, wrong=166775, backtracks=57349, failedAssignments=118056, nogoods=1599, foundSolutions=2, bestBound=14 57.65/52.20 nFilterCalls=15415463, avgTableProportion=0.7946492490160342, avgTableSize=4.17612828106428 57.65/52.20 61.70/56.21 num=130, depth=9..22, filters=34997552, revisions=(69193451,useless=44585237), ccks=54936037, wck=53.456, mem=78M755 61.70/56.21 decisions=362793, wrong=180292, backtracks=61675, failedAssignments=127611, nogoods=1624, foundSolutions=2, bestBound=14 61.70/56.21 nFilterCalls=16670088, avgTableProportion=0.7948995071111417, avgTableSize=4.1811925647903 61.70/56.21 66.20/60.78 num=131, depth=5..24, filters=38103438, revisions=(74708810,useless=47952338), ccks=59518874, wck=58.029, mem=154M182 66.20/60.78 decisions=390646, wrong=194215, backtracks=65523, failedAssignments=138122, nogoods=1642, foundSolutions=2, bestBound=14 66.20/60.78 nFilterCalls=18135292, avgTableProportion=0.7945517639436861, avgTableSize=4.171325446538164 66.20/60.78 70.30/64.86 num=132, depth=0..22, filters=40662883, revisions=(80146346,useless=51509370), ccks=63590975, wck=62.11, mem=218M834 70.30/64.86 decisions=423427, wrong=210602, backtracks=71244, failedAssignments=149684, nogoods=1673, foundSolutions=2, bestBound=14 70.30/64.86 nFilterCalls=19323635, avgTableProportion=0.7943884611352902, avgTableSize=4.168918943045654 70.30/64.86 76.56/71.01 num=133, depth=10..20, filters=44785061, revisions=(87773582,useless=56332859), ccks=70092877, wck=68.258, mem=134M763 76.56/71.01 decisions=460345, wrong=229055, backtracks=77594, failedAssignments=162402, nogoods=1677, foundSolutions=2, bestBound=14 76.56/71.01 nFilterCalls=21300143, avgTableProportion=0.7942775765500187, avgTableSize=4.166081701892799 76.56/71.01 82.45/76.94 num=134, depth=1..19, filters=48728651, revisions=(95327878,useless=61110243), ccks=76199789, wck=74.19, mem=229M910 82.45/76.94 decisions=499772, wrong=248767, backtracks=84401, failedAssignments=176392, nogoods=1685, foundSolutions=2, bestBound=14 82.45/76.94 nFilterCalls=23138709, avgTableProportion=0.7942721680730536, avgTableSize=4.165022084853567 82.45/76.94 88.48/82.98 num=135, depth=11..25, filters=52545084, revisions=(103667452,useless=66698590), ccks=82611669, wck=80.221, mem=150M538 88.48/82.98 decisions=545526, wrong=271636, backtracks=93805, failedAssignments=191781, nogoods=1709, foundSolutions=2, bestBound=14 88.48/82.98 nFilterCalls=24940255, avgTableProportion=0.7946378288659297, avgTableSize=4.175204744297923 88.48/82.98 94.01/88.47 num=136, depth=0..20, filters=56067509, revisions=(111007681,useless=71529025), ccks=87904410, wck=85.716, mem=60M628 94.01/88.47 decisions=593647, wrong=295694, backtracks=101835, failedAssignments=208709, nogoods=1746, foundSolutions=2, bestBound=14 94.01/88.47 nFilterCalls=26520671, avgTableProportion=0.7944673163014125, avgTableSize=4.171738867391402 94.01/88.47 100.01/94.47 num=137, depth=0..28, filters=59912380, revisions=(119073249,useless=76767985), ccks=94307150, wck=91.713, mem=158M733 100.01/94.47 decisions=645156, wrong=321445, backtracks=109581, failedAssignments=227330, nogoods=1769, foundSolutions=2, bestBound=14 100.01/94.47 nFilterCalls=28258557, avgTableProportion=0.7944424428882574, avgTableSize=4.171737679316038 100.01/94.47 109.55/103.96 num=138, depth=6..20, filters=66420934, revisions=(130796361,useless=83978181), ccks=104187955, wck=101.21, mem=146M957 109.55/103.96 decisions=700983, wrong=349354, backtracks=117790, failedAssignments=247814, nogoods=1779, foundSolutions=2, bestBound=14 109.55/103.96 nFilterCalls=31368148, avgTableProportion=0.7942388559646284, avgTableSize=4.16548187671137 109.55/103.96 117.58/112.00 num=139, depth=2..24, filters=71465953, revisions=(141943256,useless=91477824), ccks=113039317, wck=109.249, mem=102M921 117.58/112.00 decisions=767199, wrong=382457, backtracks=130431, failedAssignments=270346, nogoods=1791, foundSolutions=2, bestBound=14 117.58/112.00 nFilterCalls=33718442, avgTableProportion=0.7943922249660815, avgTableSize=4.1703901087719295 117.58/112.00 128.91/123.23 num=140, depth=3..22, filters=79034042, revisions=(156049562,useless=100244126), ccks=124988500, wck=120.472, mem=130M787 128.91/123.23 decisions=836131, wrong=416920, backtracks=140952, failedAssignments=295131, nogoods=1811, foundSolutions=2, bestBound=14 128.91/123.23 nFilterCalls=37296348, avgTableProportion=0.794520701030963, avgTableSize=4.171639298303416 128.91/123.23 139.75/134.01 num=141, depth=0..19, filters=86243369, revisions=(170211309,useless=109378398), ccks=136930089, wck=131.256, mem=141M920 139.75/134.01 decisions=912000, wrong=454852, backtracks=152795, failedAssignments=322395, nogoods=1834, foundSolutions=2, bestBound=14 139.75/134.01 nFilterCalls=40661040, avgTableProportion=0.794441770187353, avgTableSize=4.171689066487232 139.75/134.01 148.88/143.12 148.88/143.12 New Bounds: 14..13 148.88/143.12 num=142, depth=0..18, filters=92200250, revisions=(182031343,useless=116998949), ccks=146280847, wck=140.364, mem=127M907 148.88/143.12 decisions=991478, wrong=494592, backtracks=163715, failedAssignments=351955, foundSolutions=2, bestBound=14 148.88/143.12 nFilterCalls=43280999, avgTableProportion=0.7943824693728565, avgTableSize=4.1711810533763325 148.88/143.12 148.88/143.12 Global 148.88/143.12 filters=92200250, revisions=(182031343,useless=116998949), ccks=146280847 148.88/143.12 Stop=FULL_EXPLORATION, wrong=494592, bestBound=14, bestBoundWck=11.143, bestBoundCpu=12.906, foundSolutions=2, firstSolCpu=12.577 148.88/143.12 wck=141.271, cpu=142.859, mem=127M907 148.88/143.12 148.88/143.12 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.88/143.12 s OPTIMUM FOUND 148.88/143.12 148.88/143.12 d WRONG_DECISIONS 494592 148.88/143.12 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 (9764 MiB free) memory of node 1: 16384 MiB (11366 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391262-1568389627/watcher-4391262-1568389627 -o /tmp/evaluation-result-4391262-1568389627/solver-4391262-1568389627 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4913 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391262-1568389627.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5041, runsolver pid=5038 [startup+0.100344 s]* /proc/loadavg: 1.06 0.94 1.13 4/228 5056 /proc/meminfo: memFree=21621700/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10659884 memory=29232 CPUtime=0.14 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 5234 0 0 0 13 1 0 0 20 0 15 0 414901102 10915721216 7308 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2664971 7308 2914 1 0 2627468 0 [pid=5041/tid=5043] ppid=5038 vsize=10659884 memory=-8825472457220388032 CPUtime=0.09 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) R 5038 5041 2817 0 -1 4202560 2975 0 0 0 9 0 0 0 20 0 15 0 414901102 10915721216 7374 33554432000 4194304 4196468 140732537746576 140062327601296 140062315617086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 7374 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 7374 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 7440 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 7440 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061814232224 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061813179120 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) S 5038 5041 2817 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 414901108 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061811075824 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) S 5038 5041 2817 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0.02 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) R 5038 5041 2817 0 -1 4202560 499 0 0 0 2 0 0 0 20 0 15 0 414901108 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061808967096 140062315617086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 7440 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29232 KiB [startup+0.210655 s]* /proc/loadavg: 1.06 0.94 1.13 3/228 5056 /proc/meminfo: memFree=21615684/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10659884 memory=35416 CPUtime=0.32 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 6464 0 0 0 31 1 0 0 20 0 15 0 414901102 10915721216 8854 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2664971 8854 2988 1 0 2627468 0 [pid=5041/tid=5043] ppid=5038 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) R 5038 5041 2817 0 -1 4202560 3463 0 0 0 19 1 0 0 20 0 15 0 414901102 10915721216 8854 33554432000 4194304 4196468 140732537746576 140062327606320 140062323401885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 8854 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10659884 memory=288371040288704128 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 8854 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 8854 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 8854 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061814232224 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061813179120 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) S 5038 5041 2817 0 -1 1077944384 600 0 0 0 3 0 0 0 20 0 15 0 414901108 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061811075824 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) S 5038 5041 2817 0 -1 1077944384 326 0 0 0 3 0 0 0 20 0 15 0 414901108 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0.05 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) S 5038 5041 2817 0 -1 1077944384 717 0 0 0 5 0 0 0 20 0 15 0 414901108 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061808970224 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 8854 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 35416 KiB [startup+0.310102 s]* /proc/loadavg: 1.06 0.94 1.13 3/228 5056 /proc/meminfo: memFree=21607372/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10659884 memory=40576 CPUtime=0.47 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 8923 0 0 0 45 2 0 0 20 0 15 0 414901102 10915721216 10144 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2664971 10144 3001 1 0 2627468 0 [pid=5041/tid=5043] ppid=5038 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) R 5038 5041 2817 0 -1 4202560 5860 0 0 0 28 2 0 0 20 0 15 0 414901102 10915721216 10144 33554432000 4194304 4196468 140732537746576 140062327617168 140062323401885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10659884 memory=4297096155 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 10144 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10659884 memory=288371040288704128 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 10144 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 10144 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901103 10915721216 10144 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061814232224 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414901105 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061813179120 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) S 5038 5041 2817 0 -1 1077944384 642 0 0 0 4 0 0 0 20 0 15 0 414901108 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061811075824 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) R 5038 5041 2817 0 -1 1077944384 336 0 0 0 3 0 0 0 20 0 15 0 414901108 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0.08 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) R 5038 5041 2817 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 15 0 414901108 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061808970224 140062315617086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10659884 memory=140664136992384 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901108 10915721216 10144 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 40576 KiB [startup+0.701385 s] /proc/loadavg: 1.06 0.94 1.13 4/228 5056 /proc/meminfo: memFree=21598380/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10661932 memory=63928 CPUtime=1.12 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 12583 0 0 0 108 4 0 0 20 0 15 0 414901102 10917818368 15982 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2665483 15982 3070 1 0 2627980 0 [pid=5041/tid=5043] ppid=5038 vsize=10661932 memory=2116 CPUtime=0.68 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) R 5038 5041 2817 0 -1 4202560 8410 0 0 0 65 3 0 0 20 0 15 0 414901102 10917818368 15982 33554432000 4194304 4196468 140732537746576 140062327610976 140062304943515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10661932 memory=18832 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10917818368 15982 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10661932 memory=532 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10917818368 15982 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10917818368 15982 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10661932 memory=932 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901103 10917818368 15982 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10661932 memory=3680 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901105 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10661932 memory=864 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414901105 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061814232224 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10661932 memory=1436 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414901105 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061813179120 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10661932 memory=4640781674728153957 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10661932 memory=7163086641608552552 CPUtime=0.12 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) R 5038 5041 2817 0 -1 4202560 992 0 0 0 12 0 0 0 20 0 15 0 414901108 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061811075824 140062302626775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10661932 memory=7523071198212214892 CPUtime=0.1 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) S 5038 5041 2817 0 -1 1077944384 648 0 0 0 10 0 0 0 20 0 15 0 414901108 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) S 5038 5041 2817 0 -1 1077944384 1175 0 0 0 19 0 0 0 20 0 15 0 414901108 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061808970224 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414901108 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10661932 memory=1220 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901108 10917818368 15982 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 63928 KiB [startup+1.50081 s] /proc/loadavg: 1.06 0.94 1.13 3/228 5056 /proc/meminfo: memFree=21582232/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10663980 memory=76000 CPUtime=2.01 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 17903 0 0 0 196 5 0 0 20 0 15 0 414901102 10919915520 19000 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2665995 19000 3097 1 0 2628492 0 [pid=5041/tid=5043] ppid=5038 vsize=10663980 memory=72068 CPUtime=1.48 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) R 5038 5041 2817 0 -1 4202560 12437 0 0 0 144 4 0 0 20 0 15 0 414901102 10919915520 19000 33554432000 4194304 4196468 140732537746576 140062327605840 140062307460476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10663980 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10919915520 19000 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10919915520 19000 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414901103 10919915520 19000 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414901103 10919915520 19000 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 414901105 10919915520 19000 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 ################ # More data... # ################ [startup+142.401 s] /proc/loadavg: 1.97 1.34 1.26 3/228 5229 /proc/meminfo: memFree=21537684/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10748324 memory=358768 CPUtime=148.17 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 68472 0 0 0 14778 39 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2687081 89692 3373 1 0 2647217 0 [pid=5041/tid=5043] ppid=5038 vsize=10748324 memory=8112282956445269571 CPUtime=1.86 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) S 5038 5041 2817 0 -1 1077944384 14587 0 0 0 181 5 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062327622832 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10748324 memory=316786893088096546 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 3183 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10748324 memory=288292177392698619 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1572 0 0 0 14 6 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10748324 memory=-6152034053119957087 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 3928 0 0 0 15 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10748324 memory=8112282956445269571 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2649 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10748324 memory=111636 CPUtime=0.03 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2370 0 0 0 3 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10748324 memory=804 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061814232288 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10748324 memory=1808 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061813179136 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10748324 memory=920 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10748324 memory=18832 CPUtime=2.07 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) S 5038 5041 2817 0 -1 1077944384 7913 0 0 0 206 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061811075824 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10748324 memory=532 CPUtime=2.01 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) S 5038 5041 2817 0 -1 1077944384 10220 0 0 0 199 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10748324 memory=1556 CPUtime=1.03 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) S 5038 5041 2817 0 -1 1077944384 8162 0 0 0 102 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061808970224 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10748324 memory=932 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10748324 memory=3680 CPUtime=0.04 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1200 0 0 0 2 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5057] ppid=5038 vsize=10748324 memory=358768 CPUtime=140.25 cores=0,2,4,6 /proc/5041/task/5057/stat : 5057 (java) R 5038 5041 2817 0 -1 4202560 11290 0 0 0 14021 4 0 0 20 0 16 0 414901290 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061789912512 140061930068156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 148.17 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 358768 KiB [startup+142.801 s] /proc/loadavg: 1.97 1.34 1.26 3/228 5229 /proc/meminfo: memFree=21537684/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10748324 memory=358768 CPUtime=148.57 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 68472 0 0 0 14818 39 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2687081 89692 3373 1 0 2647217 0 [pid=5041/tid=5043] ppid=5038 vsize=10748324 memory=288230621803970871 CPUtime=1.86 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) S 5038 5041 2817 0 -1 1077944384 14587 0 0 0 181 5 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062327622832 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10748324 memory=13846356926138795 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 3183 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10748324 memory=8112282956445269571 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1572 0 0 0 14 6 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10748324 memory=4872558044660077418 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 3928 0 0 0 15 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10748324 memory=3016 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2649 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10748324 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2370 0 0 0 3 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061814232288 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10748324 memory=358768 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061813179136 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10748324 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10748324 memory=7100839878645619564 CPUtime=2.07 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) S 5038 5041 2817 0 -1 1077944384 7913 0 0 0 206 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061811075824 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10748324 memory=5450906554093958698 CPUtime=2.01 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) S 5038 5041 2817 0 -1 1077944384 10220 0 0 0 199 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10748324 memory=7897517683652307531 CPUtime=1.03 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) S 5038 5041 2817 0 -1 1077944384 8162 0 0 0 102 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061808970224 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10748324 memory=8514726395715349656 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10748324 memory=3047711553320166262 CPUtime=0.04 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1200 0 0 0 2 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5057] ppid=5038 vsize=10748324 memory=7378702040398582356 CPUtime=140.65 cores=0,2,4,6 /proc/5041/task/5057/stat : 5057 (java) R 5038 5041 2817 0 -1 4202560 11290 0 0 0 14061 4 0 0 20 0 16 0 414901290 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061789912512 140061930162874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 148.57 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 358768 KiB [startup+143.001 s]* /proc/loadavg: 1.97 1.34 1.26 4/228 5229 /proc/meminfo: memFree=21513924/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10748324 memory=358768 CPUtime=148.78 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 68472 0 0 0 14839 39 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2687081 89692 3373 1 0 2647217 0 [pid=5041/tid=5043] ppid=5038 vsize=10748324 memory=8112282956445269571 CPUtime=1.86 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) S 5038 5041 2817 0 -1 1077944384 14587 0 0 0 181 5 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062327622832 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10748324 memory=4872558044660077418 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 3183 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10748324 memory=1760 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1572 0 0 0 14 6 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10748324 memory=111636 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 3928 0 0 0 15 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10748324 memory=804 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2649 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10748324 memory=1808 CPUtime=0.03 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2370 0 0 0 3 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10748324 memory=920 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061814232288 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10748324 memory=281328009902752 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061813179136 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10748324 memory=5932477012989799017 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10748324 memory=7594591049442683237 CPUtime=2.07 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) S 5038 5041 2817 0 -1 1077944384 7913 0 0 0 206 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061811075824 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10748324 memory=7379826823662818404 CPUtime=2.01 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) S 5038 5041 2817 0 -1 1077944384 10220 0 0 0 199 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10748324 memory=7379826823662818404 CPUtime=1.03 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) S 5038 5041 2817 0 -1 1077944384 8162 0 0 0 102 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061808970224 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10748324 memory=7379826823662818404 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10748324 memory=7379826823662818404 CPUtime=0.04 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1200 0 0 0 2 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5057] ppid=5038 vsize=10748324 memory=7378702040398582356 CPUtime=140.86 cores=0,2,4,6 /proc/5041/task/5057/stat : 5057 (java) R 5038 5041 2817 0 -1 4202560 11290 0 0 0 14082 4 0 0 20 0 16 0 414901290 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061789912512 140061930473075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 148.78 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 358768 KiB [startup+143.11 s] /proc/loadavg: 1.97 1.34 1.26 4/228 5229 /proc/meminfo: memFree=21513924/32770624 swapFree=66999272/67108860 [pid=5041] ppid=5038 vsize=10748324 memory=358768 CPUtime=148.88 cores=0,2,4,6 /proc/5041/stat : 5041 (java) S 5038 5041 2817 0 -1 1077944320 68472 0 0 0 14849 39 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140732537729120 140062323379959 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 /proc/5041/statm: 2687081 89692 3373 1 0 2647217 0 [pid=5041/tid=5043] ppid=5038 vsize=10748324 memory=0 CPUtime=1.86 cores=0,2,4,6 /proc/5041/task/5043/stat : 5043 (java) S 5038 5041 2817 0 -1 1077944384 14587 0 0 0 181 5 0 0 20 0 16 0 414901102 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062327622832 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5044] ppid=5038 vsize=10748324 memory=358768 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5044/stat : 5044 (java) S 5038 5041 2817 0 -1 1077944384 3183 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062249454608 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5045] ppid=5038 vsize=10748324 memory=362872 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5045/stat : 5045 (java) S 5038 5041 2817 0 -1 1077944384 1572 0 0 0 14 6 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062248402064 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5046] ppid=5038 vsize=10748324 memory=362872 CPUtime=0.2 cores=0,2,4,6 /proc/5041/task/5046/stat : 5046 (java) S 5038 5041 2817 0 -1 1077944384 3928 0 0 0 15 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062247349008 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5047] ppid=5038 vsize=10748324 memory=358768 CPUtime=0.19 cores=0,2,4,6 /proc/5041/task/5047/stat : 5047 (java) S 5038 5041 2817 0 -1 1077944384 2649 0 0 0 14 5 0 0 20 0 16 0 414901103 11006283776 89692 33554432000 4194304 4196468 140732537746576 140062246296464 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5048] ppid=5038 vsize=10748324 memory=358768 CPUtime=0.03 cores=0,2,4,6 /proc/5041/task/5048/stat : 5048 (java) S 5038 5041 2817 0 -1 1077944384 2370 0 0 0 3 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061815286000 140062323391106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5049] ppid=5038 vsize=10748324 memory=358768 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5049/stat : 5049 (java) S 5038 5041 2817 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061814232288 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5050] ppid=5038 vsize=10748324 memory=358768 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5050/stat : 5050 (java) S 5038 5041 2817 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414901105 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061813179136 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5051] ppid=5038 vsize=10748324 memory=164 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5051/stat : 5051 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061812127696 140062323398555 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5052] ppid=5038 vsize=10748324 memory=3624 CPUtime=2.07 cores=0,2,4,6 /proc/5041/task/5052/stat : 5052 (java) S 5038 5041 2817 0 -1 1077944384 7913 0 0 0 206 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061811075824 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5053] ppid=5038 vsize=10748324 memory=0 CPUtime=2.01 cores=0,2,4,6 /proc/5041/task/5053/stat : 5053 (java) S 5038 5041 2817 0 -1 1077944384 10220 0 0 0 199 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061810023280 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5054] ppid=5038 vsize=10748324 memory=367956 CPUtime=1.03 cores=0,2,4,6 /proc/5041/task/5054/stat : 5054 (java) S 5038 5041 2817 0 -1 1077944384 8162 0 0 0 102 1 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061808970224 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5055] ppid=5038 vsize=10748324 memory=358768 CPUtime=0 cores=0,2,4,6 /proc/5041/task/5055/stat : 5055 (java) S 5038 5041 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061807917920 140062323390165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5056] ppid=5038 vsize=10748324 memory=1652 CPUtime=0.04 cores=0,2,4,6 /proc/5041/task/5056/stat : 5056 (java) S 5038 5041 2817 0 -1 1077944384 1200 0 0 0 2 2 0 0 20 0 16 0 414901108 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061806864944 140062323391106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 [pid=5041/tid=5057] ppid=5038 vsize=10748324 memory=1980 CPUtime=140.96 cores=0,2,4,6 /proc/5041/task/5057/stat : 5057 (java) R 5038 5041 2817 0 -1 4202560 11290 0 0 0 14092 4 0 0 20 0 16 0 414901290 11006283776 89692 33554432000 4194304 4196468 140732537746576 140061789912512 140061929770326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27193344 140732537750539 140732537750642 140732537750642 140732537753551 0 Current children cumulated CPU time: 148.88 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 358768 KiB Child status: 0 Real time (s): 143.143 CPU time (s): 148.919 CPU user time (s): 148.512 CPU system time (s): 0.406285 CPU usage (%): 104.035 Max. virtual memory (cumulated for all children) (KiB): 10750676 Max. memory (cumulated for all children) (KiB): 412496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 148.512 system time used= 0.406285 maximum resident set size= 414272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69503 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6511 involuntary context switches= 159 # summary of solver processes directly reported to runsolver: # pid: 5041 # total CPU time (s): 148.919 # total CPU user time (s): 148.512 # total CPU system time (s): 0.406285 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.81797 second user time and 1.34999 second system time The end
Begin job on node140 at 2019-09-13 17:46:26 IDJOB=4391262 IDBENCH=126794 IDSOLVER=2833 FILE ID=node140/4391262-1568389627 RUNJOBID= node140-1568389579-4913 PBS_JOBID= 21701829 Free space on /tmp= 56860 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-4391262-1568389627/watcher-4391262-1568389627 -o /tmp/evaluation-result-4391262-1568389627/solver-4391262-1568389627 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4913 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391262-1568389627.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1892dc6bbe7f4411da75bff22067cf15 RANDOM SEED=1305476471 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21637180 kB MemAvailable: 31559580 kB Buffers: 164800 kB Cached: 9931924 kB SwapCached: 2748 kB Active: 1896588 kB Inactive: 8506344 kB Active(anon): 302708 kB Inactive(anon): 43940 kB Active(file): 1593880 kB Inactive(file): 8462404 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66999272 kB Dirty: 9040 kB Writeback: 0 kB AnonPages: 456584 kB Mapped: 56292 kB Shmem: 32248 kB Slab: 324876 kB SReclaimable: 294576 kB SUnreclaim: 30300 kB KernelStack: 4000 kB PageTables: 6592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1348980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 327680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 56852 MiB End job on node140 at 2019-09-13 17:48:50