Introduction

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

export BK_INPUT=NeoElection-COL-4
export BK_EXAMINATION=StateSpace
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1753
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/NeoElection-COL-4
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is NeoElection-COL-4, examination is StateSpace'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of ITS-Tools for NeoElection/4 (Colored)

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

execution on node 26: cluster1u28.lip6.fr (runId=136959878702145_n_26)
=====================================================================
runnning ITS-Tools on NeoElection-COL-4 (StateSpace)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool ITS-Tools:
Test is NeoElection-COL-4, examination is StateSpace
=====================================================================

--------------------
content from stdout:

START 1370196269
its-reach command run as :

/home/mcc/BenchKit/bin/its-reach -i model.sep.flat.gal -t GAL --quiet
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
neoelection\_4\_sep\_inst,2.91912e+11,311.19,1508016,2,276875,5,1.32524e+07,6,0,6415,5.80518e+06,0
Total reachable state count : 291911853682

STATE_SPACE 291911853682 TECHNIQUES DECISION_DIAGRAMS
STOP 1370196596

--------------------
content from stderr:

initial cost 1586033
final cost 89546
crashed[0],dead[0],electionFailed[0],masterList[0],masterList[10],masterList[20],masterList[30],masterList[40],masterList[50],masterList[60],masterList[70],masterList[80],masterList[90],negotiation[0],negotiation[30],negotiation[60],startNeg__broadcasting[0],electionInit[0],poll__networl[0],poll__networl[100],poll__networl[10],poll__networl[110],poll__networl[120],poll__networl[130],poll__networl[140],poll__networl[150],poll__networl[160],poll__networl[170],poll__networl[180],poll__networl[190],poll__networl[200],poll__networl[20],poll__networl[210],poll__networl[220],poll__networl[230],poll__networl[240],poll__networl[250],poll__networl[260],poll__networl[270],poll__networl[280],poll__networl[290],poll__networl[300],poll__networl[30],poll__networl[310],poll__networl[320],poll__networl[330],poll__networl[340],poll__networl[350],poll__networl[360],poll__networl[370],poll__networl[380],poll__networl[390],poll__networl[400],poll__networl[40],poll__networl[410],poll__networl[420],poll__networl[430],poll__networl[440],poll__networl[450],poll__networl[460],poll__networl[470],poll__networl[480],poll__networl[490],poll__networl[500],poll__networl[50],poll__networl[510],poll__networl[520],poll__networl[530],poll__networl[540],poll__networl[550],poll__networl[560],poll__networl[570],poll__networl[580],poll__networl[590],poll__networl[600],poll__networl[60],poll__networl[610],poll__networl[620],poll__networl[630],poll__networl[640],poll__networl[650],poll__networl[660],poll__networl[670],poll__networl[680],poll__networl[690],poll__networl[700],poll__networl[70],poll__networl[710],poll__networl[720],poll__networl[730],poll__networl[740],poll__networl[80],poll__networl[90],crashed[1],dead[1],electionFailed[1],masterList[11],masterList[1],masterList[21],masterList[31],masterList[41],masterList[51],masterList[61],masterList[71],masterList[81],masterList[91],network[101],network[111],network[11],network[121],network[131],network[141],network[151],network[161],network[171],network[181],network[191],network[1],network[201],network[211],network[21],network[221],network[231],network[241],network[251],network[261],network[271],network[281],network[291],network[301],network[311],network[31],network[321],network[331],network[341],network[351],network[361],network[371],network[381],network[391],network[401],network[411],network[41],network[421],network[431],network[441],network[451],network[461],network[471],network[481],network[491],network[501],network[511],network[51],network[521],network[531],network[541],network[551],network[561],network[571],network[581],network[591],network[601],network[611],network[61],network[621],network[631],network[641],network[651],network[661],network[671],network[681],network[691],network[701],network[711],network[71],network[721],network[731],network[741],network[81],network[91],poll__networl[101],poll__networl[111],poll__networl[11],poll__networl[121],poll__networl[131],poll__networl[141],poll__networl[151],poll__networl[161],poll__networl[171],poll__networl[181],poll__networl[191],poll__networl[1],poll__networl[201],negotiation[2],negotiation[1],poll__networl[211],negotiation[31],negotiation[32],poll__networl[21],poll__networl[221],poll__networl[231],negotiation[61],negotiation[62],poll__networl[241],poll__networl[251],poll__networl[261],poll__networl[271],poll__networl[281],poll__networl[291],poll__networl[301],poll__networl[311],poll__networl[31],poll__networl[321],poll__networl[331],poll__networl[341],poll__networl[351],poll__networl[361],poll__networl[371],poll__networl[381],poll__networl[391],poll__networl[401],poll__networl[411],poll__networl[41],poll__networl[421],poll__networl[431],poll__networl[441],poll__networl[451],poll__networl[461],poll__networl[471],poll__networl[481],poll__networl[491],poll__networl[501],poll__networl[511],poll__networl[51],poll__networl[521],poll__networl[531],poll__networl[541],poll__networl[551],poll__networl[561],poll__networl[571],poll__networl[581],poll__networl[591],poll__networl[601],poll__networl[611],poll__networl[61],poll__networl[621],poll__networl[631],poll__networl[641],poll__networl[651],poll__networl[661],poll__networl[671],poll__networl[681],poll__networl[691],poll__networl[701],poll__networl[711],poll__networl[71],poll__networl[721],poll__networl[731],poll__networl[741],poll__networl[81],poll__networl[91],sendAnnPs__broadcasting[1],startNeg__broadcasting[1],crashed[2],dead[2],electionFailed[2],masterList[12],masterList[22],masterList[2],masterList[32],masterList[42],masterList[52],masterList[62],masterList[72],masterList[82],masterList[92],negotiation[12],negotiation[72],network[102],network[112],network[122],network[12],network[132],network[142],network[152],network[162],network[172],network[182],network[192],network[202],network[212],network[222],network[22],network[232],network[242],network[252],network[262],network[272],network[282],network[292],network[2],network[302],network[312],network[322],network[32],network[332],network[342],network[352],network[362],network[372],network[382],network[392],network[402],network[412],network[422],network[42],network[432],network[442],network[452],network[462],network[472],network[482],network[492],network[502],network[512],network[522],network[52],network[532],network[542],network[552],network[562],network[572],network[582],network[592],network[602],network[612],network[622],network[62],network[632],network[642],network[652],network[662],network[672],network[682],network[692],network[702],network[712],network[722],network[72],network[732],network[742],network[82],network[92],poll__networl[102],poll__networl[112],poll__networl[122],poll__networl[12],poll__networl[132],poll__networl[142],poll__networl[152],poll__networl[162],poll__networl[172],poll__networl[182],poll__networl[192],poll__networl[202],poll__networl[212],poll__networl[222],poll__networl[22],poll__networl[232],poll__networl[242],poll__networl[252],poll__networl[262],poll__networl[272],poll__networl[282],poll__networl[292],poll__networl[2],poll__networl[302],poll__networl[312],poll__networl[322],poll__networl[32],poll__networl[332],poll__networl[342],poll__networl[352],poll__networl[362],poll__networl[372],poll__networl[382],poll__networl[392],poll__networl[402],poll__networl[412],poll__networl[422],poll__networl[42],poll__networl[432],poll__networl[442],poll__networl[452],poll__networl[462],poll__networl[472],poll__networl[482],poll__networl[492],poll__networl[502],poll__networl[512],poll__networl[522],poll__networl[52],poll__networl[532],poll__networl[542],poll__networl[552],poll__networl[562],poll__networl[572],poll__networl[582],poll__networl[592],poll__networl[602],poll__networl[612],poll__networl[622],poll__networl[62],poll__networl[632],poll__networl[642],poll__networl[652],poll__networl[662],poll__networl[672],poll__networl[682],poll__networl[692],poll__networl[702],poll__networl[712],poll__networl[722],poll__networl[72],poll__networl[732],poll__networl[742],poll__networl[82],poll__networl[92],sendAnnPs__broadcasting[2],startNeg__broadcasting[2],crashed[3],dead[3],electionFailed[3],masterList[13],masterList[23],masterList[33],masterList[3],masterList[43],masterList[53],masterList[63],masterList[73],masterList[83],masterList[93],negotiation[3],network[103],network[113],network[123],network[133],network[13],network[143],network[153],network[163],network[173],network[183],network[193],network[203],network[213],network[223],network[233],network[23],network[243],network[253],network[263],network[273],network[283],network[293],network[303],network[313],network[323],network[333],network[33],network[343],network[353],network[363],network[373],network[383],network[393],network[3],network[403],network[413],network[423],network[433],network[43],network[443],network[453],network[463],network[473],network[483],network[493],network[503],network[513],network[523],network[533],negotiation[10],negotiation[13],network[53],negotiation[4],negotiation[7],network[543],sendAnnPs__broadcasting[0],network[553],stage[2],negotiation[11],negotiation[14],network[563],negotiation[5],negotiation[8],electedPrimary[0],network[573],network[583],poll__waitingMessage[0],stage[0],network[593],network[603],network[613],network[623],stage[1],network[633],network[63],network[643],network[653],network[663],electedSecondary[0],network[673],network[683],network[693],network[703],network[713],network[723],network[733],network[73],network[743],network[83],network[93],poll__networl[103],poll__networl[113],poll__networl[123],poll__networl[133],poll__networl[13],poll__networl[143],poll__networl[153],poll__networl[163],poll__networl[173],poll__networl[183],poll__networl[193],poll__networl[203],poll__networl[213],poll__networl[223],poll__networl[233],poll__networl[23],poll__networl[243],poll__networl[253],poll__networl[263],poll__networl[273],sendAnnPs__broadcasting[3],poll__networl[283],startNeg__broadcasting[3],poll__networl[293],poll__networl[303],poll__networl[313],poll__networl[323],polling[0],network[15],poll__networl[333],network[45],poll__networl[33],network[20],network[75],network[5],network[50],network[80],network[110],network[140],network[10],poll__networl[6],poll__networl[7],poll__networl[8],poll__networl[343],poll__networl[9],network[0],poll__networl[36],poll__networl[37],poll__networl[38],poll__networl[39],network[6],network[7],network[8],network[9],poll__networl[66],network[160],poll__networl[67],poll__networl[353],poll__networl[68],poll__networl[69],network[105],poll__networl[96],poll__networl[97],poll__networl[98],masterState[0],poll__networl[99],poll__networl[126],poll__networl[127],poll__networl[363],poll__networl[128],poll__networl[129],masterState[5],network[310],masterState[1],masterState[2],network[155],network[30],masterState[3],masterState[4],poll__networl[373],poll__handlingMessage[0],poll__pollEnd[0],masterState[6],masterState[7],masterState[8],masterState[9],network[36],poll__networl[383],network[38],network[37],network[39],poll__networl[393],poll__networl[3],poll__networl[403],network[460],poll__networl[413],poll__networl[423],poll__networl[433],poll__networl[43],network[135],poll__networl[443],poll__networl[453],network[610],network[60],poll__networl[463],network[66],network[68],network[67],network[69],network[165],network[195],network[305],network[35],network[170],network[225],network[200],network[90],network[156],network[157],network[185],network[158],network[159],network[150],network[40],network[96],network[97],network[98],network[99],poll__networl[156],network[190],poll__networl[186],poll__networl[158],poll__networl[473],poll__networl[157],poll__networl[188],poll__networl[187],poll__networl[159],poll__networl[189],network[180],poll__networl[216],poll__networl[218],poll__networl[217],network[188],network[186],network[187],network[189],poll__networl[219],network[455],masterState[10],network[120],network[340],poll__networl[246],poll__networl[248],poll__networl[247],masterState[11],network[126],network[127],poll__networl[276],network[128],masterState[15],network[129],poll__networl[278],poll__networl[249],poll__networl[277],masterState[12],masterState[13],poll__handlingMessage[1],poll__pollEnd[1],masterState[18],poll__networl[483],poll__networl[279],masterState[17],masterState[19],masterState[14],masterState[16],poll__networl[493],poll__networl[503],poll__networl[513],poll__networl[523],poll__networl[533],poll__networl[53],network[255],network[490],poll__networl[543],network[285],poll__networl[553],network[216],network[218],network[217],network[219],poll__networl[563],network[640],poll__networl[573],network[335],network[210],poll__networl[583],poll__networl[593],poll__networl[603],poll__networl[613],poll__networl[623],network[605],poll__networl[633],poll__networl[63],poll__networl[643],poll__networl[653],poll__networl[663],poll__networl[673],stage[4],poll__networl[683],poll__networl[693],negotiation[19],negotiation[20],stage[3],poll__waitingMessage[1],poll__networl[703],negotiation[23],stage[5],network[246],network[247],network[248],network[249],poll__networl[713],electedPrimary[1],poll__networl[723],electedSecondary[1],poll__networl[733],poll__networl[73],network[240],poll__networl[743],poll__networl[83],poll__networl[93],network[65],negotiation[26],negotiation[29],network[485],network[230],polling[1],network[276],network[277],network[278],network[279],electionInit[1],negotiation[22],electionInit[2],network[215],network[306],network[307],network[308],network[309],startNeg__broadcasting[4],network[300],startNeg__broadcasting[8],network[270],sendAnnPs__broadcasting[4],network[315],negotiation[33],network[345],negotiation[21],network[635],network[338],network[336],network[330],network[337],network[339],network[260],network[375],network[70],network[320],electionInit[3],negotiation[34],network[350],network[220],network[380],poll__networl[306],poll__networl[307],poll__networl[336],poll__networl[337],network[365],poll__networl[308],poll__networl[338],sendAnnPs__broadcasting[8],poll__networl[309],poll__networl[366],poll__networl[339],poll__networl[367],network[370],masterState[20],poll__networl[368],poll__networl[369],network[360],masterState[21],network[366],masterState[22],startNeg__broadcasting[12],network[367],network[368],network[369],masterState[26],poll__handlingMessage[2],poll__pollEnd[2],masterState[25],masterState[23],masterState[28],masterState[29],masterState[27],masterState[24],poll__networl[396],poll__networl[397],poll__networl[426],poll__networl[427],poll__networl[398],poll__networl[399],poll__networl[428],startNeg__broadcasting[5],poll__networl[429],network[520],negotiation[25],negotiation[48],electedPrimary[2],network[405],network[670],network[435],sendAnnPs__broadcasting[5],crashed[4],dead[4],startNeg__broadcasting[9],electionFailed[4],negotiation[35],network[396],network[397],network[398],network[399],sendAnnPs__broadcasting[9],stage[7],masterList[14],masterList[24],sendAnnPs__broadcasting[7],network[390],negotiation[28],poll__waitingMessage[2],stage[6],startNeg__broadcasting[7],masterList[34],negotiation[38],network[515],masterList[44],stage[8],masterList[4],negotiation[37],negotiation[41],masterList[54],negotiation[24],network[427],network[426],network[428],electedSecondary[2],network[429],negotiation[44],polling[2],network[410],network[290],startNeg__broadcasting[13],sendAnnPs__broadcasting[13],network[95],network[420],masterList[64],masterList[74],masterList[84],masterList[94],negotiation[54],startNeg__broadcasting[6],network[104],network[114],sendAnnPs__broadcasting[6],network[124],network[665],negotiation[40],network[134],network[144],negotiation[49],network[245],sendAnnPs__broadcasting[12],network[456],network[457],network[458],network[14],network[459],network[154],negotiation[39],network[450],negotiation[27],network[164],network[174],network[184],network[500],network[194],network[204],network[214],network[224],negotiation[63],network[480],network[486],network[487],startNeg__broadcasting[16],network[488],network[489],network[234],network[530],negotiation[51],network[244],network[24],electionInit[4],network[254],network[264],sendAnnPs__broadcasting[10],network[274],network[284],startNeg__broadcasting[10],sendAnnPs__broadcasting[11],negotiation[43],network[294],startNeg__broadcasting[11],network[440],network[395],network[304],network[314],network[324],network[334],network[344],network[510],network[34],network[516],network[517],network[518],network[519],network[354],network[100],startNeg__broadcasting[17],network[465],network[364],network[374],network[384],network[250],network[495],network[125],network[650],sendAnnPs__broadcasting[14],negotiation[52],negotiation[42],network[394],network[404],network[414],network[424],masterState[36],masterState[37],masterState[39],network[400],poll__networl[456],masterState[31],masterState[32],poll__handlingMessage[3],poll__pollEnd[3],poll__networl[457],masterState[38],poll__networl[486],poll__networl[487],poll__networl[458],masterState[33],masterState[35],masterState[34],poll__networl[459],poll__networl[488],poll__networl[489],poll__networl[516],poll__networl[517],masterState[30],poll__networl[518],poll__networl[519],sendAnnPs__broadcasting[17],network[546],network[525],network[547],network[548],network[549],network[540],network[275],startNeg__broadcasting[14],negotiation[66],poll__networl[546],poll__networl[547],network[606],electedPrimary[3],network[607],network[608],network[609],poll__networl[576],poll__networl[577],negotiation[64],poll__networl[548],poll__networl[549],network[550],poll__networl[578],poll__networl[579],network[600],network[700],network[545],network[560],network[630],network[576],network[577],network[578],network[579],network[680],network[636],network[637],network[638],network[639],network[470],network[570],negotiation[50],network[425],network[695],sendAnnPs__broadcasting[16],network[555],negotiation[53],network[660],stage[10],network[585],sendAnnPs__broadcasting[18],network[666],sendAnnPs__broadcasting[15],network[668],network[667],network[669],polling[3],startNeg__broadcasting[18],negotiation[67],poll__waitingMessage[3],stage[9],network[710],negotiation[59],network[590],negotiation[56],stage[11],negotiation[57],electedSecondary[3],startNeg__broadcasting[15],network[130],negotiation[58],network[280],negotiation[55],network[696],network[697],network[698],network[699],masterState[47],masterState[46],masterState[48],network[690],network[575],network[615],masterState[41],poll__handlingMessage[4],poll__pollEnd[4],masterState[49],masterState[42],masterState[43],masterState[44],network[430],masterState[40],masterState[45],poll__networl[606],network[645],poll__networl[636],poll__networl[607],poll__networl[608],poll__networl[609],poll__networl[637],poll__networl[638],poll__networl[639],poll__networl[666],poll__networl[667],network[580],poll__networl[668],poll__networl[669],network[727],network[726],network[728],network[729],poll__networl[696],negotiation[69],poll__networl[697],poll__networl[698],poll__networl[699],network[720],poll__networl[726],poll__networl[727],poll__networl[728],poll__networl[729],network[730],network[434],sendAnnPs__broadcasting[19],electedPrimary[4],network[740],network[725],network[675],network[620],startNeg__broadcasting[19],negotiation[65],negotiation[70],network[705],negotiation[68],network[444],polling[4],stage[13],network[735],poll__waitingMessage[4],stage[12],negotiation[71],network[44],network[454],negotiation[74],stage[14],electedSecondary[4],network[464],network[474],negotiation[73],network[484],network[494],network[4],network[504],network[514],network[524],network[534],network[544],network[54],network[554],network[564],network[574],network[584],network[594],network[604],network[614],network[624],network[634],network[644],network[64],network[654],network[664],network[674],network[684],network[694],network[704],network[714],network[724],network[734],network[744],network[74],network[84],network[94],poll__networl[104],poll__networl[114],poll__networl[124],poll__networl[134],poll__networl[144],poll__networl[14],poll__networl[154],poll__networl[164],poll__networl[174],poll__networl[184],poll__networl[194],poll__networl[204],poll__networl[214],poll__networl[224],poll__networl[234],poll__networl[244],poll__networl[24],poll__networl[254],poll__networl[264],poll__networl[274],poll__networl[284],poll__networl[294],poll__networl[304],poll__networl[314],poll__networl[324],poll__networl[334],poll__networl[344],poll__networl[34],poll__networl[354],poll__networl[364],poll__networl[374],poll__networl[384],poll__networl[394],poll__networl[404],poll__networl[414],poll__networl[424],poll__networl[434],poll__networl[444],poll__networl[44],poll__networl[454],poll__networl[464],poll__networl[474],poll__networl[484],poll__networl[494],poll__networl[4],poll__networl[504],poll__networl[514],poll__networl[524],poll__networl[534],poll__networl[544],poll__networl[54],poll__networl[554],poll__networl[564],poll__networl[574],poll__networl[584],poll__networl[594],poll__networl[604],poll__networl[614],poll__networl[624],poll__networl[634],poll__networl[644],poll__networl[64],poll__networl[654],poll__networl[664],poll__networl[674],poll__networl[684],poll__networl[694],poll__networl[704],poll__networl[714],poll__networl[724],poll__networl[734],poll__networl[744],poll__networl[74],poll__networl[84],poll__networl[94],masterList[15],masterList[25],masterList[35],masterList[45],masterList[55],masterList[5],masterList[65],masterList[75],masterList[85],masterList[95],negotiation[15],negotiation[45],network[115],network[145],network[175],network[205],network[235],network[25],network[265],network[295],network[325],network[355],network[385],network[415],network[445],network[475],network[505],network[535],network[55],network[565],network[595],network[625],network[655],network[685],network[715],network[745],network[85],poll__networl[105],poll__networl[115],poll__networl[125],poll__networl[135],poll__networl[145],poll__networl[155],poll__networl[15],poll__networl[165],poll__networl[175],poll__networl[185],poll__networl[195],poll__networl[205],poll__networl[215],poll__networl[225],poll__networl[235],poll__networl[245],poll__networl[255],poll__networl[25],poll__networl[265],poll__networl[275],poll__networl[285],poll__networl[295],poll__networl[305],poll__networl[315],poll__networl[325],poll__networl[335],poll__networl[345],poll__networl[355],poll__networl[35],poll__networl[365],poll__networl[375],poll__networl[385],poll__networl[395],poll__networl[405],poll__networl[415],poll__networl[425],poll__networl[435],poll__networl[445],poll__networl[455],poll__networl[45],poll__networl[465],poll__networl[475],poll__networl[485],poll__networl[495],poll__networl[505],poll__networl[515],poll__networl[525],poll__networl[535],poll__networl[545],poll__networl[555],poll__networl[55],poll__networl[565],poll__networl[575],poll__networl[585],poll__networl[595],poll__networl[5],poll__networl[605],poll__networl[615],poll__networl[625],poll__networl[635],poll__networl[645],poll__networl[655],poll__networl[65],poll__networl[665],poll__networl[675],poll__networl[685],poll__networl[695],poll__networl[705],poll__networl[715],poll__networl[725],poll__networl[735],poll__networl[745],poll__networl[75],poll__networl[85],poll__networl[95],masterList[16],masterList[26],masterList[36],masterList[46],masterList[56],masterList[66],masterList[6],masterList[76],masterList[86],masterList[96],negotiation[36],negotiation[6],network[106],network[116],network[136],network[146],network[166],network[16],network[176],network[196],network[206],network[226],network[236],network[256],network[266],network[26],network[286],network[296],network[316],network[326],network[346],network[356],network[376],network[386],network[406],network[416],network[436],network[446],network[466],network[46],network[476],network[496],network[506],network[526],network[536],network[556],network[566],network[56],network[586],network[596],network[616],network[626],network[646],network[656],network[676],network[686],network[706],network[716],network[736],network[746],network[76],network[86],poll__networl[106],poll__networl[116],poll__networl[136],poll__networl[146],poll__networl[166],negotiation[16],negotiation[17],poll__networl[16],poll__networl[176],negotiation[47],negotiation[46],poll__networl[196],poll__networl[206],poll__networl[226],poll__networl[236],poll__networl[256],poll__networl[266],poll__networl[26],poll__networl[286],poll__networl[296],poll__networl[316],poll__networl[326],poll__networl[346],poll__networl[356],poll__networl[376],poll__networl[386],poll__networl[406],poll__networl[416],poll__networl[436],poll__networl[446],poll__networl[466],poll__networl[46],poll__networl[476],poll__networl[496],poll__networl[506],poll__networl[526],poll__networl[536],poll__networl[556],poll__networl[566],poll__networl[56],poll__networl[586],poll__networl[596],poll__networl[616],poll__networl[626],poll__networl[646],poll__networl[656],poll__networl[676],poll__networl[686],poll__networl[706],poll__networl[716],poll__networl[736],poll__networl[746],poll__networl[76],poll__networl[86],masterList[17],masterList[27],masterList[37],masterList[47],masterList[57],masterList[67],masterList[77],masterList[7],masterList[87],masterList[97],network[107],network[117],network[137],network[147],network[167],network[177],network[17],network[197],network[207],network[227],network[237],network[257],network[267],network[27],network[287],network[297],network[317],network[327],network[347],network[357],network[377],network[387],network[407],network[417],network[437],network[447],network[467],network[477],network[47],network[497],network[507],network[527],network[537],network[557],network[567],network[57],network[587],network[597],network[617],network[627],network[647],network[657],network[677],network[687],network[707],network[717],network[737],network[747],network[77],network[87],poll__networl[107],poll__networl[117],poll__networl[137],poll__networl[147],poll__networl[167],poll__networl[177],poll__networl[17],poll__networl[197],poll__networl[207],poll__networl[227],poll__networl[237],poll__networl[257],poll__networl[267],poll__networl[27],poll__networl[287],poll__networl[297],poll__networl[317],poll__networl[327],poll__networl[347],poll__networl[357],poll__networl[377],poll__networl[387],poll__networl[407],poll__networl[417],poll__networl[437],poll__networl[447],poll__networl[467],poll__networl[477],poll__networl[47],poll__networl[497],poll__networl[507],poll__networl[527],poll__networl[537],poll__networl[557],poll__networl[567],poll__networl[57],poll__networl[587],poll__networl[597],poll__networl[617],poll__networl[627],poll__networl[647],poll__networl[657],poll__networl[677],poll__networl[687],poll__networl[707],poll__networl[717],poll__networl[737],poll__networl[747],poll__networl[77],poll__networl[87],masterList[18],masterList[28],masterList[38],masterList[48],masterList[58],masterList[68],masterList[78],masterList[88],masterList[8],masterList[98],negotiation[18],network[108],network[118],network[138],network[148],network[168],network[178],network[18],network[198],network[208],network[228],network[238],network[258],network[268],network[288],network[28],network[298],network[318],network[328],network[348],network[358],network[378],network[388],network[408],network[418],network[438],network[448],network[468],network[478],network[48],network[498],network[508],network[528],network[538],network[558],network[568],network[588],network[58],network[598],network[618],network[628],network[648],network[658],network[678],network[688],network[708],network[718],network[738],network[748],network[78],network[88],poll__networl[108],poll__networl[118],poll__networl[138],poll__networl[148],poll__networl[168],poll__networl[178],poll__networl[18],poll__networl[198],poll__networl[208],poll__networl[228],poll__networl[238],poll__networl[258],poll__networl[268],poll__networl[288],poll__networl[28],poll__networl[298],poll__networl[318],poll__networl[328],poll__networl[348],poll__networl[358],poll__networl[378],poll__networl[388],poll__networl[408],poll__networl[418],poll__networl[438],poll__networl[448],poll__networl[468],poll__networl[478],poll__networl[48],poll__networl[498],poll__networl[508],poll__networl[528],poll__networl[538],poll__networl[558],poll__networl[568],poll__networl[588],poll__networl[58],poll__networl[598],poll__networl[618],poll__networl[628],poll__networl[648],poll__networl[658],poll__networl[678],poll__networl[688],poll__networl[708],poll__networl[718],poll__networl[738],poll__networl[748],poll__networl[78],poll__networl[88],masterList[19],masterList[29],masterList[39],masterList[49],masterList[59],masterList[69],masterList[79],masterList[89],masterList[99],masterList[9],negotiation[9],network[109],network[119],network[139],network[149],network[169],network[179],network[199],network[19],network[209],network[229],network[239],network[259],network[269],network[289],network[299],network[29],network[319],network[329],network[349],network[359],network[379],network[389],network[409],network[419],network[439],network[449],network[469],network[479],network[499],network[49],network[509],network[529],network[539],network[559],network[569],network[589],network[599],network[59],network[619],network[629],network[649],network[659],network[679],network[689],network[709],network[719],network[739],network[749],network[79],network[89],poll__networl[109],poll__networl[119],poll__networl[139],poll__networl[149],poll__networl[169],poll__networl[179],poll__networl[199],poll__networl[19],poll__networl[209],poll__networl[229],poll__networl[239],poll__networl[259],poll__networl[269],poll__networl[289],poll__networl[299],poll__networl[29],poll__networl[319],poll__networl[329],poll__networl[349],poll__networl[359],poll__networl[379],poll__networl[389],poll__networl[409],poll__networl[419],poll__networl[439],poll__networl[449],poll__networl[469],poll__networl[479],poll__networl[499],poll__networl[49],poll__networl[509],poll__networl[529],poll__networl[539],poll__networl[559],poll__networl[569],poll__networl[589],poll__networl[599],poll__networl[59],poll__networl[619],poll__networl[629],poll__networl[649],poll__networl[659],poll__networl[679],poll__networl[689],poll__networl[709],poll__networl[719],poll__networl[739],poll__networl[749],poll__networl[79],poll__networl[89],

--------------------
content from /tmp/BenchKit_head_log_file.1753: