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=CSRepetitions-COL-10
export BK_EXAMINATION=StateSpace
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1758
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/CSRepetitions-COL-10
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is CSRepetitions-COL-10, examination is StateSpace'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of ITS-Tools for CSRepetitions/10 (Colored)

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

execution on node 2: quadhexa-2.u-paris10.fr (runId=136933849000210_n_2)
=====================================================================
runnning ITS-Tools on CSRepetitions-COL-10 (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 CSRepetitions-COL-10, examination is StateSpace
=====================================================================

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

START 1370193234
its-reach command run as :

/home/mcc/BenchKit/bin/its-reach -i model.sep.flat.gal -t GAL --quiet
STATE_SPACE TECHNIQUES DECISION_DIAGRAMS
STOP 1370193755

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

initial cost 943260
final cost 59727
Client_Waiting[10],Server_Anwering[100],Server_Anwering[101],Server_Anwering[102],Server_Anwering[103],Server_Anwering[104],Server_Anwering[105],Server_Anwering[106],Server_Anwering[107],Server_Anwering[108],Server_Anwering[109],Client_Waiting[20],Server_Anwering[200],Server_Anwering[201],Server_Anwering[202],Server_Anwering[203],Server_Anwering[204],Server_Anwering[205],Server_Anwering[206],Server_Anwering[207],Server_Anwering[208],Server_Anwering[209],Client_Sending[10],Client_Waiting[30],Server_Anwering[300],Server_Anwering[301],Server_Anwering[302],Server_Anwering[303],Server_Anwering[304],Server_Anwering[305],Server_Anwering[306],Server_Anwering[307],Server_Anwering[308],Server_Anwering[309],Client_Sending[20],RequestBuffer[10],Client_Waiting[40],RequestBuffer[20],Client_Sending[30],Server_Anwering[400],Server_Anwering[401],Server_Anwering[402],Server_Anwering[403],Server_Anwering[404],Server_Anwering[405],Server_Anwering[406],Server_Anwering[407],Server_Anwering[408],Server_Anwering[409],RequestBuffer[30],Client_Waiting[50],Server_Anwering[500],Server_Anwering[501],Client_Sending[40],Server_Anwering[502],Server_Anwering[503],Server_Anwering[504],Server_Anwering[505],Server_Anwering[506],Server_Anwering[507],Server_Anwering[508],Server_Anwering[509],Client_Waiting[0],Server_Anwering[0],Server_Anwering[1],Server_Anwering[2],Server_Anwering[3],Server_Anwering[4],Server_Anwering[5],Server_Anwering[6],Server_Anwering[7],Server_Anwering[8],Server_Anwering[9],RequestBuffer[40],Client_Sending[50],Client_Waiting[60],RequestBuffer[50],Server_Anwering[600],Server_Anwering[601],Server_Anwering[602],Server_Anwering[603],Server_Anwering[604],Server_Anwering[605],Client_Sending[0],Server_Anwering[606],Server_Anwering[607],Server_Anwering[608],Server_Anwering[609],Client_Waiting[70],RequestBuffer[0],Client_Sending[60],Server_Anwering[700],Server_Anwering[701],Server_Anwering[702],Server_Anwering[703],Server_Anwering[704],Server_Anwering[705],Server_Anwering[706],Server_Anwering[707],Server_Anwering[708],Server_Anwering[709],RequestBuffer[60],Client_Sending[70],Client_Waiting[80],Server_Anwering[800],Server_Anwering[801],Server_Anwering[802],Server_Anwering[803],Server_Anwering[804],Server_Anwering[805],Server_Anwering[806],Server_Anwering[807],Server_Anwering[808],Server_Anwering[809],Client_Waiting[90],Server_Anwering[900],Server_Anwering[901],Server_Anwering[902],Server_Anwering[903],Server_Anwering[904],Server_Anwering[905],Server_Anwering[906],Server_Anwering[907],Server_Anwering[908],Server_Anwering[909],RequestBuffer[70],Client_Sending[80],RequestBuffer[80],Client_Sending[90],Client_Waiting[11],Server_Anwering[110],Server_Anwering[111],Server_Anwering[112],Server_Anwering[113],Server_Anwering[114],Server_Anwering[115],Server_Anwering[116],Server_Anwering[117],RequestBuffer[90],Server_Anwering[118],Server_Anwering[119],Client_Waiting[1],Server_Anwering[10],Server_Anwering[11],Server_Anwering[12],Server_Anwering[13],Server_Anwering[14],Server_Anwering[15],Server_Anwering[16],Server_Anwering[17],Server_Anwering[18],Server_Anwering[19],Client_Sending[11],RequestBuffer[11],Client_Waiting[21],Client_Sending[1],Server_Anwering[210],Server_Anwering[211],Server_Anwering[212],Server_Anwering[213],Server_Anwering[214],Server_Anwering[215],Server_Anwering[216],Server_Anwering[217],Server_Anwering[218],Server_Anwering[219],RequestBuffer[1],Client_Waiting[31],Client_Sending[21],Server_Anwering[310],Server_Anwering[311],Server_Anwering[312],Server_Anwering[313],Server_Anwering[314],Server_Anwering[315],Server_Anwering[316],Server_Anwering[317],Server_Anwering[318],Server_Anwering[319],RequestBuffer[21],Client_Waiting[41],Client_Sending[31],Server_Anwering[410],Server_Anwering[411],Server_Anwering[412],Server_Anwering[413],Server_Anwering[414],Server_Anwering[415],Server_Anwering[416],Server_Anwering[417],Server_Anwering[418],Server_Anwering[419],RequestBuffer[31],Client_Waiting[51],Client_Sending[41],Server_Anwering[510],Server_Anwering[511],Server_Anwering[512],Server_Anwering[513],Server_Anwering[514],Server_Anwering[515],Server_Anwering[516],Server_Anwering[517],Server_Anwering[518],Server_Anwering[519],RequestBuffer[41],Client_Waiting[61],Client_Sending[51],Server_Anwering[610],Server_Anwering[611],Server_Anwering[612],Server_Anwering[613],Server_Anwering[614],Server_Anwering[615],Server_Anwering[616],Server_Anwering[617],Server_Anwering[618],Server_Anwering[619],RequestBuffer[51],Client_Waiting[71],Client_Sending[61],Server_Anwering[710],Server_Anwering[711],Server_Anwering[712],Server_Anwering[713],Server_Anwering[714],Server_Anwering[715],Server_Anwering[716],Server_Anwering[717],Server_Anwering[718],Server_Anwering[719],RequestBuffer[61],Client_Sending[71],Client_Waiting[81],Server_Anwering[810],Server_Anwering[811],Server_Anwering[812],Server_Anwering[813],Server_Anwering[814],Server_Anwering[815],Server_Anwering[816],Server_Anwering[817],Server_Anwering[818],Server_Anwering[819],RequestBuffer[71],Client_Sending[81],Server_Anwering[910],Client_Waiting[91],Server_Anwering[911],Server_Anwering[912],Server_Anwering[913],Server_Anwering[914],Server_Anwering[915],Server_Anwering[916],Server_Anwering[917],Server_Anwering[918],Server_Anwering[919],RequestBuffer[81],Client_Sending[91],Client_Waiting[12],Server_Anwering[120],Server_Anwering[121],RequestBuffer[91],Server_Anwering[122],Server_Anwering[123],Server_Anwering[124],Server_Anwering[125],Server_Anwering[126],Server_Anwering[127],Server_Anwering[128],Server_Anwering[129],Client_Sending[12],Client_Waiting[22],Server_Anwering[220],Server_Anwering[221],Server_Anwering[222],Server_Anwering[223],Server_Anwering[224],Server_Anwering[225],Server_Anwering[226],Server_Anwering[227],Server_Anwering[228],Server_Anwering[229],RequestBuffer[12],Client_Sending[22],Client_Waiting[2],Server_Anwering[20],Server_Anwering[21],Server_Anwering[22],Server_Anwering[23],Server_Anwering[24],Server_Anwering[25],Server_Anwering[26],Server_Anwering[27],Server_Anwering[28],Server_Anwering[29],RequestBuffer[22],Client_Sending[2],Client_Waiting[32],Server_Anwering[320],Server_Anwering[321],Server_Anwering[322],Server_Anwering[323],Server_Anwering[324],Server_Anwering[325],Server_Anwering[326],Server_Anwering[327],Server_Anwering[328],Server_Anwering[329],RequestBuffer[2],Client_Sending[32],Client_Waiting[42],Server_Anwering[420],Server_Anwering[421],Server_Anwering[422],Server_Anwering[423],Server_Anwering[424],Server_Anwering[425],Server_Anwering[426],Server_Anwering[427],Server_Anwering[428],Server_Anwering[429],RequestBuffer[32],Client_Sending[42],Client_Waiting[52],RequestBuffer[42],Server_Anwering[520],Server_Anwering[521],Server_Anwering[522],Server_Anwering[523],Server_Anwering[524],Server_Anwering[525],Server_Anwering[526],Server_Anwering[527],Server_Anwering[528],Server_Anwering[529],Client_Sending[52],Client_Waiting[62],Server_Anwering[620],Server_Anwering[621],Server_Anwering[622],Server_Anwering[623],Server_Anwering[624],Server_Anwering[625],Server_Anwering[626],RequestBuffer[52],Server_Anwering[627],Server_Anwering[628],Server_Anwering[629],Client_Sending[62],Server_Anwering[720],Server_Anwering[721],Client_Waiting[72],Server_Anwering[722],Server_Anwering[723],Server_Anwering[724],Server_Anwering[725],Server_Anwering[726],Server_Anwering[727],Server_Anwering[728],Server_Anwering[729],RequestBuffer[62],Client_Sending[72],RequestBuffer[72],Client_Waiting[82],Server_Anwering[820],Server_Anwering[821],Server_Anwering[822],Server_Anwering[823],Server_Anwering[824],Server_Anwering[825],Server_Anwering[826],Server_Anwering[827],Server_Anwering[828],Server_Anwering[829],Client_Sending[82],Server_Anwering[920],Server_Anwering[921],Client_Waiting[92],Server_Anwering[922],Server_Anwering[923],Server_Anwering[924],Server_Anwering[925],Server_Anwering[926],Server_Anwering[927],Server_Anwering[928],Server_Anwering[929],RequestBuffer[82],Client_Sending[92],RequestBuffer[92],Client_Waiting[13],Server_Anwering[130],Server_Anwering[131],Server_Anwering[132],Server_Anwering[133],Server_Anwering[134],Server_Anwering[135],Server_Anwering[136],Server_Anwering[137],Server_Anwering[138],Server_Anwering[139],Client_Sending[13],RequestBuffer[13],Server_Anwering[230],Server_Anwering[231],Client_Waiting[23],Server_Anwering[232],Server_Anwering[233],Server_Anwering[234],Server_Anwering[235],Server_Anwering[236],Server_Anwering[237],Server_Anwering[238],Server_Anwering[239],Client_Sending[23],RequestBuffer[23],Server_Anwering[330],Client_Waiting[33],Server_Anwering[331],Server_Anwering[332],Server_Anwering[333],Server_Anwering[334],Server_Anwering[335],Server_Anwering[336],Server_Anwering[337],Server_Anwering[338],Server_Anwering[339],Client_Sending[33],RequestBuffer[33],Server_Anwering[30],Server_Anwering[31],Client_Waiting[3],Server_Anwering[32],Server_Anwering[33],Server_Anwering[34],Server_Anwering[35],Server_Anwering[36],Server_Anwering[37],Server_Anwering[38],Server_Anwering[39],Client_Sending[3],RequestBuffer[3],Server_Anwering[430],Client_Waiting[43],Server_Anwering[431],Server_Anwering[432],Server_Anwering[433],Server_Anwering[434],Server_Anwering[435],Server_Anwering[436],Server_Anwering[437],Server_Anwering[438],Server_Anwering[439],Client_Sending[43],RequestBuffer[43],Server_Anwering[530],Client_Waiting[53],Server_Anwering[531],Server_Anwering[532],Server_Anwering[533],Server_Anwering[534],Server_Anwering[535],Server_Anwering[536],Server_Anwering[537],Server_Anwering[538],Server_Anwering[539],Client_Sending[53],RequestBuffer[53],Server_Anwering[630],Client_Waiting[63],Server_Anwering[631],Server_Anwering[632],Server_Anwering[633],Server_Anwering[634],Server_Anwering[635],Server_Anwering[636],Server_Anwering[637],Server_Anwering[638],Server_Anwering[639],Client_Sending[63],RequestBuffer[63],Server_Anwering[730],Client_Waiting[73],Server_Anwering[731],Server_Anwering[732],Server_Anwering[733],Server_Anwering[734],Server_Anwering[735],Server_Anwering[736],Server_Anwering[737],Server_Anwering[738],Server_Anwering[739],Client_Sending[73],RequestBuffer[73],Server_Anwering[830],Client_Waiting[83],Server_Anwering[831],Server_Anwering[832],Server_Anwering[833],Server_Anwering[834],Server_Anwering[835],Server_Anwering[836],Server_Anwering[837],Server_Anwering[838],Server_Anwering[839],Client_Sending[83],RequestBuffer[83],Server_Anwering[930],Server_Anwering[931],Client_Waiting[93],Server_Anwering[932],Server_Anwering[933],Server_Anwering[934],Server_Anwering[935],Server_Anwering[936],Server_Anwering[937],Server_Anwering[938],Server_Anwering[939],Client_Sending[93],RequestBuffer[93],Server_Anwering[140],Server_Anwering[141],Server_Anwering[142],Client_Waiting[14],Server_Anwering[143],Server_Anwering[144],Server_Anwering[145],Server_Anwering[146],Server_Anwering[147],Server_Anwering[148],Server_Anwering[149],Client_Sending[14],RequestBuffer[14],Server_Anwering[240],Server_Anwering[241],Client_Waiting[24],Server_Anwering[242],Server_Anwering[243],Server_Anwering[244],Server_Anwering[245],Server_Anwering[246],Server_Anwering[247],Client_Sending[24],Server_Anwering[248],Server_Anwering[249],RequestBuffer[24],Server_Anwering[340],Server_Anwering[341],Client_Waiting[34],Server_Anwering[342],Server_Anwering[343],Server_Anwering[344],Server_Anwering[345],Server_Anwering[346],Server_Anwering[347],Client_Sending[34],Server_Anwering[348],Server_Anwering[349],RequestBuffer[34],Server_Anwering[440],Server_Anwering[441],Client_Waiting[44],Server_Anwering[442],Server_Anwering[443],Server_Anwering[444],Server_Anwering[445],Server_Anwering[446],Client_Sending[44],Server_Anwering[447],Server_Anwering[448],Server_Anwering[449],RequestBuffer[44],Server_Anwering[40],Client_Waiting[4],Server_Anwering[41],Server_Anwering[42],Server_Anwering[43],Server_Anwering[44],Client_Sending[4],Server_Anwering[45],Server_Anwering[46],Server_Anwering[47],Server_Anwering[48],Server_Anwering[49],RequestBuffer[4],Client_Waiting[54],Server_Anwering[540],Server_Anwering[541],Server_Anwering[542],Server_Anwering[543],Client_Sending[54],Server_Anwering[544],Server_Anwering[545],Server_Anwering[546],Server_Anwering[547],Server_Anwering[548],Server_Anwering[549],RequestBuffer[54],Client_Waiting[64],Server_Anwering[640],Server_Anwering[641],Client_Sending[64],Server_Anwering[642],Server_Anwering[643],Server_Anwering[644],Server_Anwering[645],Server_Anwering[646],Server_Anwering[647],Server_Anwering[648],Server_Anwering[649],RequestBuffer[64],Client_Waiting[74],Server_Anwering[740],Client_Sending[74],Server_Anwering[741],Server_Anwering[742],Server_Anwering[743],Server_Anwering[744],Server_Anwering[745],Server_Anwering[746],Server_Anwering[747],Server_Anwering[748],Server_Anwering[749],RequestBuffer[74],Client_Waiting[84],Client_Sending[84],Server_Anwering[840],Server_Anwering[841],Server_Anwering[842],Server_Anwering[843],Server_Anwering[844],Server_Anwering[845],Server_Anwering[846],Server_Anwering[847],Server_Anwering[848],Server_Anwering[849],RequestBuffer[84],Server_Waiting[0],Server_Waiting[1],Server_Waiting[2],Server_Waiting[3],Server_Waiting[4],Server_Waiting[5],Server_Waiting[6],Server_Waiting[7],Server_Waiting[8],Server_Waiting[9],Server_Anwering[940],Server_Anwering[941],Server_Anwering[942],Client_Waiting[94],Client_Sending[94],Server_Anwering[943],Server_Anwering[944],RequestBufferSlots[0],Server_Anwering[945],Server_Anwering[946],RequestBuffer[94],Server_Anwering[947],Server_Anwering[948],Server_Anwering[949],RequestBuffer[15],Server_Anwering[150],Server_Anwering[151],Server_Anwering[152],Server_Anwering[153],Server_Anwering[154],Server_Anwering[155],Server_Anwering[156],Server_Anwering[157],Server_Anwering[158],Server_Anwering[159],Client_Sending[15],Client_Waiting[15],RequestBuffer[25],Server_Anwering[250],Server_Anwering[251],Server_Anwering[252],Server_Anwering[253],Server_Anwering[254],Server_Anwering[255],Server_Anwering[256],Server_Anwering[257],Server_Anwering[258],Server_Anwering[259],Client_Sending[25],Client_Waiting[25],RequestBuffer[35],Server_Anwering[350],Server_Anwering[351],Server_Anwering[352],Server_Anwering[353],Server_Anwering[354],Server_Anwering[355],Server_Anwering[356],Server_Anwering[357],Client_Sending[35],Server_Anwering[358],Server_Anwering[359],Client_Waiting[35],RequestBuffer[45],Server_Anwering[450],Server_Anwering[451],Server_Anwering[452],Server_Anwering[453],Server_Anwering[454],Server_Anwering[455],Server_Anwering[456],Client_Sending[45],Server_Anwering[457],Server_Anwering[458],Server_Anwering[459],Client_Waiting[45],RequestBuffer[55],Server_Anwering[550],Server_Anwering[551],Server_Anwering[552],Server_Anwering[553],Server_Anwering[554],Client_Sending[55],Server_Anwering[555],Server_Anwering[556],Server_Anwering[557],Server_Anwering[558],Client_Waiting[55],Server_Anwering[559],RequestBuffer[5],Server_Anwering[50],Server_Anwering[51],Server_Anwering[52],Server_Anwering[53],Client_Sending[5],Server_Anwering[54],Server_Anwering[55],Server_Anwering[56],Server_Anwering[57],Server_Anwering[58],Client_Waiting[5],Server_Anwering[59],RequestBuffer[65],Server_Anwering[650],Server_Anwering[651],Client_Sending[65],Server_Anwering[652],Server_Anwering[653],Server_Anwering[654],Server_Anwering[655],Server_Anwering[656],Server_Anwering[657],Client_Waiting[65],Server_Anwering[658],Server_Anwering[659],RequestBuffer[75],Server_Anwering[750],Client_Sending[75],Server_Anwering[751],Server_Anwering[752],Server_Anwering[753],Server_Anwering[754],Server_Anwering[755],Server_Anwering[756],Client_Waiting[75],Server_Anwering[757],Server_Anwering[758],Server_Anwering[759],RequestBuffer[85],Client_Sending[85],Server_Anwering[850],Server_Anwering[851],Server_Anwering[852],Server_Anwering[853],Server_Anwering[854],Server_Anwering[855],Server_Anwering[856],Client_Waiting[85],Server_Anwering[857],Server_Anwering[858],Server_Anwering[859],RequestBuffer[95],Client_Sending[95],Server_Anwering[950],Server_Anwering[951],Server_Anwering[952],Server_Anwering[953],Server_Anwering[954],Server_Anwering[955],Server_Anwering[956],Client_Waiting[95],Server_Anwering[957],Server_Anwering[958],Server_Anwering[959],RequestBuffer[16],Client_Sending[16],Server_Anwering[160],Server_Anwering[161],Server_Anwering[162],Server_Anwering[163],Server_Anwering[164],Server_Anwering[165],Server_Anwering[166],Client_Waiting[16],Server_Anwering[167],Server_Anwering[168],Server_Anwering[169],RequestBuffer[26],Client_Sending[26],Server_Anwering[260],Server_Anwering[261],Server_Anwering[262],Server_Anwering[263],Server_Anwering[264],Server_Anwering[265],Server_Anwering[266],Server_Anwering[267],Server_Anwering[268],Client_Waiting[26],Server_Anwering[269],RequestBuffer[36],Client_Sending[36],Server_Anwering[360],Server_Anwering[361],Server_Anwering[362],Server_Anwering[363],Server_Anwering[364],Server_Anwering[365],Server_Anwering[366],Server_Anwering[367],Server_Anwering[368],Client_Waiting[36],Server_Anwering[369],RequestBuffer[46],Client_Sending[46],Server_Anwering[460],Server_Anwering[461],Server_Anwering[462],Server_Anwering[463],Server_Anwering[464],Server_Anwering[465],Server_Anwering[466],Server_Anwering[467],Server_Anwering[468],Client_Waiting[46],Server_Anwering[469],RequestBuffer[56],Client_Sending[56],Server_Anwering[560],Server_Anwering[561],Server_Anwering[562],Server_Anwering[563],Server_Anwering[564],Server_Anwering[565],Server_Anwering[566],Server_Anwering[567],Server_Anwering[568],Client_Waiting[56],Server_Anwering[569],RequestBuffer[66],Client_Sending[66],Server_Anwering[660],Server_Anwering[661],Server_Anwering[662],Server_Anwering[663],Server_Anwering[664],Server_Anwering[665],Server_Anwering[666],Server_Anwering[667],Client_Waiting[66],Server_Anwering[668],Server_Anwering[669],RequestBuffer[6],Client_Sending[6],Server_Anwering[60],Server_Anwering[61],Server_Anwering[62],Server_Anwering[63],Server_Anwering[64],Server_Anwering[65],Server_Anwering[66],Server_Anwering[67],Server_Anwering[68],Client_Waiting[6],Server_Anwering[69],RequestBuffer[76],Client_Sending[76],Server_Anwering[760],Server_Anwering[761],Server_Anwering[762],Server_Anwering[763],Server_Anwering[764],Server_Anwering[765],Server_Anwering[766],Server_Anwering[767],Server_Anwering[768],Client_Waiting[76],Server_Anwering[769],RequestBuffer[86],Client_Sending[86],Server_Anwering[860],Server_Anwering[861],Server_Anwering[862],Server_Anwering[863],Server_Anwering[864],Server_Anwering[865],Server_Anwering[866],Server_Anwering[867],Client_Waiting[86],RequestBuffer[96],Server_Anwering[868],Server_Anwering[869],Client_Sending[96],Server_Anwering[960],Server_Anwering[961],Server_Anwering[962],Server_Anwering[963],Server_Anwering[964],Server_Anwering[965],Server_Anwering[966],Server_Anwering[967],Server_Anwering[968],Server_Anwering[969],Client_Waiting[96],RequestBuffer[17],Client_Sending[17],RequestBuffer[27],Server_Anwering[170],Server_Anwering[171],Server_Anwering[172],Server_Anwering[173],Server_Anwering[174],Server_Anwering[175],Server_Anwering[176],Client_Waiting[17],Server_Anwering[177],Server_Anwering[178],Server_Anwering[179],Client_Sending[27],Server_Anwering[270],Server_Anwering[271],Server_Anwering[272],Server_Anwering[273],Server_Anwering[274],Server_Anwering[275],Server_Anwering[276],Server_Anwering[277],Server_Anwering[278],Server_Anwering[279],Client_Waiting[27],RequestBuffer[37],Client_Sending[37],RequestBuffer[47],Server_Anwering[370],Server_Anwering[371],Server_Anwering[372],Server_Anwering[373],Server_Anwering[374],Server_Anwering[375],Server_Anwering[376],Server_Anwering[377],Server_Anwering[378],Client_Waiting[37],Server_Anwering[379],Client_Sending[47],Server_Anwering[470],Server_Anwering[471],Server_Anwering[472],Server_Anwering[473],Server_Anwering[474],Server_Anwering[475],Server_Anwering[476],Server_Anwering[477],Server_Anwering[478],Server_Anwering[479],RequestBuffer[57],Client_Waiting[47],Client_Sending[57],RequestBuffer[67],Server_Anwering[570],Server_Anwering[571],Server_Anwering[572],Server_Anwering[573],Server_Anwering[574],Server_Anwering[575],Server_Anwering[576],Server_Anwering[577],Server_Anwering[578],Server_Anwering[579],Client_Waiting[57],Client_Sending[67],Server_Anwering[670],Server_Anwering[671],Server_Anwering[672],Server_Anwering[673],Server_Anwering[674],Server_Anwering[675],Server_Anwering[676],Server_Anwering[677],Server_Anwering[678],Server_Anwering[679],Client_Waiting[67],RequestBuffer[7],Client_Sending[7],RequestBuffer[77],Client_Sending[77],Server_Anwering[70],Server_Anwering[71],Server_Anwering[72],Server_Anwering[73],Server_Anwering[74],Server_Anwering[75],Server_Anwering[76],Server_Anwering[77],Client_Waiting[7],Server_Anwering[78],Server_Anwering[79],Server_Anwering[770],Server_Anwering[771],Server_Anwering[772],Server_Anwering[773],Server_Anwering[774],Server_Anwering[775],Server_Anwering[776],Server_Anwering[777],Server_Anwering[778],Client_Waiting[77],Server_Anwering[779],RequestBuffer[87],Client_Sending[87],RequestBuffer[97],Server_Anwering[870],Server_Anwering[871],Server_Anwering[872],Server_Anwering[873],Server_Anwering[874],Server_Anwering[875],Server_Anwering[876],Server_Anwering[877],Server_Anwering[878],Client_Waiting[87],Server_Anwering[879],Client_Sending[97],Server_Anwering[970],Server_Anwering[971],Server_Anwering[972],Server_Anwering[973],RequestBuffer[18],Server_Anwering[974],Server_Anwering[975],Server_Anwering[976],Server_Anwering[977],Server_Anwering[978],Server_Anwering[979],Client_Waiting[97],Client_Sending[18],RequestBuffer[28],Server_Anwering[180],Server_Anwering[181],Server_Anwering[182],Server_Anwering[183],Server_Anwering[184],Server_Anwering[185],Server_Anwering[186],Server_Anwering[187],Server_Anwering[188],Server_Anwering[189],Client_Sending[28],Client_Waiting[18],RequestBuffer[38],Server_Anwering[280],Server_Anwering[281],Server_Anwering[282],Server_Anwering[283],Server_Anwering[284],Server_Anwering[285],Server_Anwering[286],Server_Anwering[287],Server_Anwering[288],Server_Anwering[289],Client_Waiting[28],Client_Sending[38],RequestBuffer[48],Server_Anwering[380],Server_Anwering[381],Server_Anwering[382],Server_Anwering[383],Server_Anwering[384],Server_Anwering[385],Server_Anwering[386],Server_Anwering[387],Server_Anwering[388],Server_Anwering[389],Client_Waiting[38],Client_Sending[48],RequestBuffer[58],Server_Anwering[480],Server_Anwering[481],Server_Anwering[482],Server_Anwering[483],Server_Anwering[484],Server_Anwering[485],Server_Anwering[486],Server_Anwering[487],Server_Anwering[488],Server_Anwering[489],Client_Sending[58],Client_Waiting[48],RequestBuffer[68],Server_Anwering[580],Server_Anwering[581],Server_Anwering[582],Server_Anwering[583],Server_Anwering[584],Server_Anwering[585],Server_Anwering[586],Server_Anwering[587],Server_Anwering[588],Server_Anwering[589],Client_Sending[68],Client_Waiting[58],RequestBuffer[78],Server_Anwering[680],Server_Anwering[681],Server_Anwering[682],Server_Anwering[683],Server_Anwering[684],Server_Anwering[685],Server_Anwering[686],Server_Anwering[687],Server_Anwering[688],Server_Anwering[689],Client_Sending[78],Client_Waiting[68],RequestBuffer[8],Server_Anwering[780],Server_Anwering[781],Server_Anwering[782],Server_Anwering[783],Server_Anwering[784],Server_Anwering[785],Server_Anwering[786],Server_Anwering[787],Server_Anwering[788],Server_Anwering[789],Client_Sending[8],Client_Waiting[78],RequestBuffer[88],Server_Anwering[80],Server_Anwering[81],Client_Sending[88],Server_Anwering[82],Server_Anwering[83],Server_Anwering[84],Server_Anwering[85],Server_Anwering[86],Server_Anwering[87],Server_Anwering[88],Server_Anwering[89],Client_Waiting[8],RequestBuffer[98],Server_Anwering[880],Server_Anwering[881],Server_Anwering[882],Server_Anwering[883],Server_Anwering[884],Server_Anwering[885],Server_Anwering[886],Server_Anwering[887],Server_Anwering[888],Server_Anwering[889],Client_Waiting[88],Client_Sending[98],RequestBuffer[19],Server_Anwering[980],Server_Anwering[981],Server_Anwering[982],Server_Anwering[983],Server_Anwering[984],Server_Anwering[985],Server_Anwering[986],Server_Anwering[987],Server_Anwering[988],Server_Anwering[989],Client_Sending[19],RequestBuffer[29],Client_Waiting[98],Client_Sending[29],Server_Anwering[190],Server_Anwering[191],RequestBuffer[39],Server_Anwering[192],Server_Anwering[193],Server_Anwering[194],Server_Anwering[195],Server_Anwering[196],Server_Anwering[197],Server_Anwering[198],Server_Anwering[199],Client_Waiting[19],Server_Anwering[290],Server_Anwering[291],Server_Anwering[292],Server_Anwering[293],Server_Anwering[294],Server_Anwering[295],Server_Anwering[296],Server_Anwering[297],Client_Sending[39],Server_Anwering[298],Server_Anwering[299],Client_Waiting[29],RequestBuffer[49],Server_Anwering[390],Server_Anwering[391],Server_Anwering[392],Server_Anwering[393],Server_Anwering[394],Server_Anwering[395],Server_Anwering[396],Server_Anwering[397],Server_Anwering[398],Server_Anwering[399],Client_Sending[49],Client_Waiting[39],RequestBuffer[59],Server_Anwering[490],Server_Anwering[491],Client_Sending[59],Server_Anwering[492],Server_Anwering[493],Server_Anwering[494],Server_Anwering[495],Server_Anwering[496],Server_Anwering[497],Server_Anwering[498],Server_Anwering[499],RequestBuffer[69],Client_Waiting[49],RequestBuffer[79],Client_Sending[69],Server_Anwering[590],Server_Anwering[591],Server_Anwering[592],Server_Anwering[593],Server_Anwering[594],Server_Anwering[595],Server_Anwering[596],Server_Anwering[597],Server_Anwering[598],Server_Anwering[599],Client_Waiting[59],Server_Anwering[690],Client_Sending[79],Server_Anwering[691],Server_Anwering[692],Server_Anwering[693],Server_Anwering[694],Server_Anwering[695],Server_Anwering[696],Server_Anwering[697],Server_Anwering[698],Server_Anwering[699],Client_Waiting[69],RequestBuffer[89],Server_Anwering[790],Server_Anwering[791],Server_Anwering[792],Server_Anwering[793],Server_Anwering[794],Server_Anwering[795],Server_Anwering[796],Server_Anwering[797],Server_Anwering[798],Server_Anwering[799],Client_Sending[89],Client_Waiting[79],RequestBuffer[9],RequestBuffer[99],Server_Anwering[890],Server_Anwering[891],Server_Anwering[892],Client_Sending[9],Server_Anwering[893],Server_Anwering[894],Server_Anwering[895],Server_Anwering[896],Server_Anwering[897],Server_Anwering[898],Server_Anwering[899],Client_Waiting[89],Client_Sending[99],Server_Anwering[90],Server_Anwering[91],Server_Anwering[92],Server_Anwering[93],Server_Anwering[94],Server_Anwering[95],Server_Anwering[96],Server_Anwering[97],Server_Anwering[98],Server_Anwering[99],Client_Waiting[9],Server_Anwering[990],Server_Anwering[991],Server_Anwering[992],Server_Anwering[993],Server_Anwering[994],Server_Anwering[995],Server_Anwering[996],Server_Anwering[997],Server_Anwering[998],Server_Anwering[999],Client_Waiting[99],
sparsehash FATAL ERROR: failed to allocate 31 groups

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