| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2520.26 | 2519.96 |
| Name | Fischer/Fischer-m1-s1/ Fischer-04-04-fair.xml |
| MD5SUM | 005af5eedf24bd8f858adc721c64a56d |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 7.3145099 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4347 |
| Number of constraints | 4102 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 20001 |
| Distribution of domain sizes | [{"size":2,"count":614},{"size":201,"count":25},{"size":20001,"count":3708}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 49 |
| Distribution of variable degrees | [{"degree":2,"count":3807},{"degree":3,"count":96},{"degree":4,"count":16},{"degree":5,"count":65},{"degree":6,"count":59},{"degree":7,"count":88},{"degree":8,"count":101},{"degree":9,"count":66},{"degree":10,"count":11},{"degree":13,"count":16},{"degree":14,"count":5},{"degree":22,"count":5},{"degree":24,"count":2},{"degree":28,"count":1},{"degree":31,"count":4},{"degree":37,"count":1},{"degree":48,"count":2},{"degree":49,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":710},{"arity":3,"count":3390}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 4102 |
| Distribution of constraint types | [{"type":"intension","count":4102}] |
| Optimization problem | NO |
| Type of objective |
0.31/0.37 c intension z[221]=x[1] using generic constraint 0.31/0.37 c intension z[222]=x[2] using generic constraint 0.31/0.37 c intension z[231]=x[11] using generic constraint 0.31/0.37 c intension z[331]=x[111] using generic constraint 0.31/0.37 c intension z[332]=x[112] using generic constraint 0.31/0.37 c intension z[334]=x[114] using generic constraint 0.31/0.37 c intension z[335]=x[115] using generic constraint 0.31/0.38 c intension z[337]=x[117] using generic constraint 0.31/0.38 c intension z[338]=x[118] using generic constraint 0.31/0.38 c intension z[340]=x[120] using generic constraint 0.31/0.38 c intension z[341]=x[121] using generic constraint 0.31/0.38 c intension z[343]=x[123] using generic constraint 0.31/0.38 c intension z[344]=x[124] using generic constraint 0.31/0.38 c intension z[232]=x[12] using generic constraint 0.31/0.38 c intension z[346]=x[126] using generic constraint 0.31/0.38 c intension z[347]=x[127] using generic constraint 0.31/0.39 c intension z[349]=x[129] using generic constraint 0.31/0.39 c intension z[350]=x[130] using generic constraint 0.31/0.39 c intension z[352]=x[132] using generic constraint 0.31/0.39 c intension z[353]=x[133] using generic constraint 0.31/0.39 c intension z[355]=x[135] using generic constraint 0.31/0.39 c intension z[356]=x[136] using generic constraint 0.31/0.39 c intension z[358]=x[138] using generic constraint 0.31/0.39 c intension z[359]=x[139] using generic constraint 0.31/0.39 c intension z[233]=x[13] using generic constraint 0.31/0.40 c intension z[377]=x[173] using generic constraint 0.31/0.40 c intension z[378]=x[174] using generic constraint 0.31/0.40 c intension z[361]=x[142] using generic constraint 0.31/0.40 c intension z[379]=x[175] using generic constraint 0.31/0.40 c intension z[380]=x[176] using generic constraint 0.31/0.40 c intension z[382]=x[178] using generic constraint 0.31/0.40 c intension z[383]=x[179] using generic constraint 0.31/0.40 c intension z[384]=x[180] using generic constraint 0.31/0.40 c intension z[362]=x[144] using generic constraint 0.31/0.40 c intension z[385]=x[181] using generic constraint 0.31/0.41 c intension z[234]=x[14] using generic constraint 0.31/0.41 c intension z[386]=x[182] using generic constraint 0.31/0.41 c intension z[388]=x[184] using generic constraint 0.31/0.41 c intension z[389]=x[185] using generic constraint 0.31/0.41 c intension z[390]=x[186] using generic constraint 0.31/0.41 c intension z[363]=x[146] using generic constraint 0.31/0.41 c intension z[391]=x[187] using generic constraint 0.31/0.41 c intension z[392]=x[188] using generic constraint 0.41/0.41 c intension z[394]=x[190] using generic constraint 0.41/0.42 c intension z[395]=x[191] using generic constraint 0.41/0.42 c intension z[396]=x[192] using generic constraint 0.41/0.42 c intension z[235]=x[15] using generic constraint 0.41/0.42 c intension z[364]=x[148] using generic constraint 0.41/0.42 c intension z[397]=x[193] using generic constraint 0.41/0.42 c intension z[398]=x[194] using generic constraint 0.41/0.42 c intension z[400]=x[196] using generic constraint 0.41/0.42 c intension z[401]=x[197] using generic constraint 0.41/0.42 c intension z[402]=x[198] using generic constraint 0.41/0.43 c intension z[403]=x[199] using generic constraint 0.41/0.43 c intension z[404]=x[200] using generic constraint 0.41/0.43 c intension z[405]=x[201] using generic constraint 0.41/0.43 c intension z[406]=x[202] using generic constraint 0.41/0.43 c intension z[236]=x[16] using generic constraint 0.41/0.43 c intension z[365]=x[150] using generic constraint 0.41/0.43 c intension z[407]=x[203] using generic constraint 0.41/0.43 c intension z[408]=x[204] using generic constraint 0.41/0.43 c intension z[410]=x[206] using generic constraint 0.41/0.44 c intension z[411]=x[207] using generic constraint 0.41/0.44 c intension z[412]=x[208] using generic constraint 0.41/0.44 c intension z[366]=x[152] using generic constraint 0.41/0.44 c intension z[413]=x[209] using generic constraint 0.41/0.44 c intension z[414]=x[210] using generic constraint 0.41/0.44 c intension z[416]=x[212] using generic constraint 0.41/0.44 c intension z[237]=x[17] using generic constraint 0.41/0.44 c intension z[417]=x[213] using generic constraint 0.41/0.44 c intension z[418]=x[214] using generic constraint 0.41/0.45 c intension z[367]=x[154] using generic constraint 0.41/0.45 c intension z[419]=x[215] using generic constraint 0.41/0.45 c intension z[420]=x[216] using generic constraint 0.41/0.45 c intension z[422]=x[218] using generic constraint 0.41/0.45 c intension z[423]=x[219] using generic constraint 0.41/0.45 c intension z[424]=x[220] using generic constraint 0.41/0.45 c intension z[368]=x[156] using generic constraint 0.41/0.45 c intension z[425]=x[221] using generic constraint 0.41/0.45 c intension z[238]=x[18] using generic constraint 0.41/0.46 c intension z[426]=x[222] using generic constraint 0.41/0.46 c intension z[428]=x[224] using generic constraint 0.41/0.46 c intension z[429]=x[225] using generic constraint 0.41/0.46 c intension z[430]=x[226] using generic constraint 0.41/0.46 c intension z[369]=x[158] using generic constraint 0.41/0.46 c intension z[431]=x[227] using generic constraint 0.41/0.46 c intension z[432]=x[228] using generic constraint 0.41/0.46 c intension z[434]=x[230] using generic constraint 0.41/0.46 c intension z[435]=x[231] using generic constraint 0.41/0.46 c intension z[436]=x[232] using generic constraint 0.41/0.47 c intension z[239]=x[19] using generic constraint 0.41/0.47 c intension z[370]=x[160] using generic constraint 0.41/0.47 c intension z[437]=x[233] using generic constraint 0.41/0.47 c intension z[438]=x[234] using generic constraint 0.41/0.47 c intension z[440]=x[236] using generic constraint 0.41/0.47 c intension z[441]=x[237] using generic constraint 0.41/0.47 c intension z[442]=x[238] using generic constraint 0.41/0.47 c intension z[371]=x[162] using generic constraint 0.41/0.47 c intension z[443]=x[239] using generic constraint 0.41/0.48 c intension z[444]=x[240] using generic constraint 0.41/0.48 c intension z[446]=x[242] using generic constraint 0.41/0.48 c intension z[240]=x[20] using generic constraint 0.41/0.48 c intension z[447]=x[243] using generic constraint 0.41/0.48 c intension z[448]=x[244] using generic constraint 0.41/0.48 c intension z[372]=x[164] using generic constraint 0.41/0.48 c intension z[449]=x[245] using generic constraint 0.41/0.48 c intension z[450]=x[246] using generic constraint 0.41/0.48 c intension z[452]=x[248] using generic constraint 0.41/0.49 c intension z[453]=x[249] using generic constraint 0.41/0.49 c intension z[454]=x[250] using generic constraint 0.41/0.49 c intension z[373]=x[166] using generic constraint 0.41/0.49 c intension z[455]=x[251] using generic constraint 0.41/0.49 c intension z[223]=x[3] using generic constraint 0.41/0.49 c intension z[241]=x[21] using generic constraint 0.41/0.49 c intension z[456]=x[252] using generic constraint 0.41/0.49 c intension z[458]=x[254] using generic constraint 0.41/0.49 c intension z[459]=x[255] using generic constraint 0.41/0.50 c intension z[460]=x[256] using generic constraint 0.41/0.50 c intension z[374]=x[168] using generic constraint 0.41/0.50 c intension z[461]=x[257] using generic constraint 0.41/0.50 c intension z[462]=x[258] using generic constraint 0.41/0.50 c intension z[464]=x[260] using generic constraint 0.41/0.50 c intension z[465]=x[261] using generic constraint 0.41/0.50 c intension z[466]=x[262] using generic constraint 0.41/0.50 c intension z[242]=x[22] using generic constraint 0.41/0.50 c intension z[375]=x[170] using generic constraint 0.41/0.50 c intension z[467]=x[263] using generic constraint 0.41/0.51 c intension z[468]=x[264] using generic constraint 0.41/0.51 c intension z[470]=x[266] using generic constraint 0.41/0.51 c intension z[471]=x[267] using generic constraint 0.41/0.51 c intension z[472]=x[268] using generic constraint 0.41/0.51 c intension z[376]=x[172] using generic constraint 0.41/0.51 c intension z[473]=x[269] using generic constraint 0.41/0.51 c intension z[474]=x[270] using generic constraint 0.41/0.51 c intension z[476]=x[272] using generic constraint 0.51/0.51 c intension z[243]=x[23] using generic constraint 0.51/0.52 c intension z[477]=x[273] using generic constraint 0.51/0.52 c intension z[381]=x[177] using generic constraint 0.51/0.52 c intension z[479]=x[275] using generic constraint 0.51/0.52 c intension z[387]=x[183] using generic constraint 0.51/0.52 c intension z[481]=x[277] using generic constraint 0.51/0.52 c intension z[393]=x[189] using generic constraint 0.51/0.52 c intension z[483]=x[279] using generic constraint 0.51/0.52 c intension z[399]=x[195] using generic constraint 0.51/0.52 c intension z[485]=x[281] using generic constraint 0.51/0.53 c intension z[409]=x[205] using generic constraint 0.51/0.53 c intension z[244]=x[24] using generic constraint 0.51/0.53 c intension z[487]=x[283] using generic constraint 0.51/0.53 c intension z[415]=x[211] using generic constraint 0.51/0.53 c intension z[489]=x[285] using generic constraint 0.51/0.53 c intension z[421]=x[217] using generic constraint 0.51/0.53 c intension z[491]=x[287] using generic constraint 0.51/0.53 c intension z[427]=x[223] using generic constraint 0.51/0.53 c intension z[493]=x[289] using generic constraint 0.51/0.54 c intension z[433]=x[229] using generic constraint 0.51/0.54 c intension z[495]=x[291] using generic constraint 0.51/0.54 c intension z[439]=x[235] using generic constraint 0.51/0.54 c intension z[245]=x[25] using generic constraint 0.51/0.54 c intension z[497]=x[293] using generic constraint 0.51/0.54 c intension z[445]=x[241] using generic constraint 0.51/0.54 c intension z[499]=x[295] using generic constraint 0.51/0.54 c intension z[451]=x[247] using generic constraint 0.51/0.54 c intension z[501]=x[297] using generic constraint 0.51/0.55 c intension z[457]=x[253] using generic constraint 0.51/0.55 c intension z[503]=x[299] using generic constraint 0.51/0.55 c intension z[463]=x[259] using generic constraint 0.51/0.55 c intension z[505]=x[301] using generic constraint 0.51/0.55 c intension z[469]=x[265] using generic constraint 0.51/0.55 c intension z[246]=x[26] using generic constraint 0.51/0.55 c intension z[507]=x[303] using generic constraint 0.51/0.55 c intension z[475]=x[271] using generic constraint 0.51/0.55 c intension z[509]=x[305] using generic constraint 0.51/0.56 c intension z[478]=x[274] using generic constraint 0.51/0.56 c intension z[512]=x[308] using generic constraint 0.51/0.56 c intension z[480]=x[276] using generic constraint 0.51/0.56 c intension z[515]=x[311] using generic constraint 0.51/0.56 c intension z[482]=x[278] using generic constraint 0.51/0.56 c intension z[518]=x[314] using generic constraint 0.51/0.56 c intension z[484]=x[280] using generic constraint 0.51/0.56 c intension z[247]=x[27] using generic constraint 0.51/0.56 c intension z[486]=x[282] using generic constraint 0.51/0.56 c intension z[511]=x[307] using generic constraint 0.51/0.57 c intension z[488]=x[284] using generic constraint 0.51/0.57 c intension z[514]=x[310] using generic constraint 0.51/0.57 c intension z[490]=x[286] using generic constraint 0.51/0.57 c intension z[517]=x[313] using generic constraint 0.51/0.57 c intension z[492]=x[288] using generic constraint 0.51/0.57 c intension z[520]=x[316] using generic constraint 0.51/0.57 c intension z[494]=x[290] using generic constraint 0.51/0.57 c intension z[496]=x[292] using generic constraint 0.51/0.57 c intension z[248]=x[28] using generic constraint 0.51/0.58 c intension z[498]=x[294] using generic constraint 0.51/0.58 c intension z[500]=x[296] using generic constraint 0.51/0.58 c intension z[502]=x[298] using generic constraint 0.51/0.58 c intension z[504]=x[300] using generic constraint 0.51/0.58 c intension z[506]=x[302] using generic constraint 0.51/0.58 c intension z[508]=x[304] using generic constraint 0.51/0.58 c intension z[521]=x[317] using generic constraint 0.51/0.58 c intension z[523]=x[319] using generic constraint 0.51/0.58 c intension z[525]=x[321] using generic constraint 0.51/0.59 c intension z[527]=x[323] using generic constraint 0.51/0.59 c intension z[249]=x[29] using generic constraint 0.51/0.59 c intension z[529]=x[325] using generic constraint 0.51/0.59 c intension z[531]=x[327] using generic constraint 0.51/0.59 c intension z[533]=x[329] using generic constraint 0.51/0.59 c intension z[535]=x[331] using generic constraint 0.51/0.59 c intension z[537]=x[333] using generic constraint 0.51/0.59 c intension z[539]=x[335] using generic constraint 0.51/0.59 c intension z[541]=x[337] using generic constraint 0.51/0.60 c intension z[543]=x[339] using generic constraint 0.51/0.60 c intension z[545]=x[341] using generic constraint 0.51/0.60 c intension z[547]=x[343] using generic constraint 0.51/0.60 c intension z[250]=x[30] using generic constraint 0.51/0.60 c intension z[549]=x[345] using generic constraint 0.51/0.60 c intension z[551]=x[347] using generic constraint 0.51/0.60 c intension z[510]=x[306] using generic constraint 0.51/0.60 c intension z[513]=x[309] using generic constraint 0.51/0.60 c intension z[516]=x[312] using generic constraint 0.60/0.60 c intension z[519]=x[315] using generic constraint 0.60/0.61 c intension z[522]=x[318] using generic constraint 0.60/0.61 c intension z[553]=x[349] using generic constraint 0.60/0.61 c intension z[306]=x[86] using generic constraint 0.60/0.61 c intension z[303]=x[83] using generic constraint 0.60/0.61 c intension z[224]=x[4] using generic constraint 0.60/0.61 c intension z[251]=x[31] using generic constraint 0.60/0.61 c intension z[561]=x[357] using generic constraint 0.60/0.61 c intension z[554]=x[350] using generic constraint 0.60/0.61 c intension z[524]=x[320] using generic constraint 0.60/0.62 c intension z[555]=x[351] using generic constraint 0.60/0.62 c intension z[309]=x[89] using generic constraint 0.60/0.62 c intension z[563]=x[359] using generic constraint 0.60/0.62 c intension z[562]=x[358] using generic constraint 0.60/0.62 c intension z[556]=x[352] using generic constraint 0.60/0.62 c intension z[526]=x[322] using generic constraint 0.60/0.62 c intension z[557]=x[353] using generic constraint 0.60/0.62 c intension z[252]=x[32] using generic constraint 0.60/0.62 c intension z[312]=x[92] using generic constraint 0.60/0.63 c intension z[565]=x[361] using generic constraint 0.60/0.63 c intension z[564]=x[360] using generic constraint 0.60/0.63 c intension z[558]=x[354] using generic constraint 0.60/0.63 c intension z[528]=x[324] using generic constraint 0.60/0.63 c intension z[559]=x[355] using generic constraint 0.60/0.63 c intension z[315]=x[95] using generic constraint 0.60/0.63 c intension z[567]=x[363] using generic constraint 0.60/0.63 c intension z[566]=x[362] using generic constraint 0.60/0.63 c intension z[560]=x[356] using generic constraint 0.60/0.64 c intension z[253]=x[33] using generic constraint 0.60/0.64 c intension z[530]=x[326] using generic constraint 0.60/0.64 c intension z[321]=x[101] using generic constraint 0.60/0.64 c intension z[318]=x[98] using generic constraint 0.60/0.64 c intension z[568]=x[364] using generic constraint 0.60/0.64 c intension z[532]=x[328] using generic constraint 0.60/0.64 c intension z[324]=x[104] using generic constraint 0.60/0.64 c intension z[570]=x[366] using generic constraint 0.60/0.64 c intension z[569]=x[365] using generic constraint 0.60/0.64 c intension z[534]=x[330] using generic constraint 0.60/0.65 c intension z[327]=x[107] using generic constraint 0.60/0.65 c intension z[254]=x[34] using generic constraint 0.60/0.65 c intension z[572]=x[368] using generic constraint 0.60/0.65 c intension z[571]=x[367] using generic constraint 0.60/0.65 c intension z[536]=x[332] using generic constraint 0.60/0.65 c intension z[330]=x[110] using generic constraint 0.60/0.65 c intension z[574]=x[370] using generic constraint 0.60/0.65 c intension z[573]=x[369] using generic constraint 0.60/0.65 c intension z[538]=x[334] using generic constraint 0.60/0.66 c intension z[336]=x[116] using generic constraint 0.60/0.66 c intension z[333]=x[113] using generic constraint 0.60/0.66 c intension z[575]=x[371] using generic constraint 0.60/0.66 c intension z[255]=x[35] using generic constraint 0.60/0.66 c intension z[540]=x[336] using generic constraint 0.60/0.68 c intension z[339]=x[119] using generic constraint 0.60/0.68 c intension z[577]=x[373] using generic constraint 0.60/0.68 c intension z[576]=x[372] using generic constraint 0.60/0.68 c intension z[542]=x[338] using generic constraint 0.60/0.68 c intension z[342]=x[122] using generic constraint 0.60/0.68 c intension z[579]=x[375] using generic constraint 0.60/0.68 c intension z[578]=x[374] using generic constraint 0.60/0.68 c intension z[544]=x[340] using generic constraint 0.60/0.68 c intension z[345]=x[125] using generic constraint 0.60/0.68 c intension z[256]=x[36] using generic constraint 0.60/0.68 c intension z[581]=x[377] using generic constraint 0.60/0.68 c intension z[580]=x[376] using generic constraint 0.60/0.68 c intension z[546]=x[342] using generic constraint 0.60/0.68 c intension z[351]=x[131] using generic constraint 0.60/0.68 c intension z[348]=x[128] using generic constraint 0.60/0.68 c intension z[582]=x[378] using generic constraint 0.60/0.68 c intension z[548]=x[344] using generic constraint 0.60/0.68 c intension z[354]=x[134] using generic constraint 0.60/0.68 c intension z[584]=x[380] using generic constraint 0.60/0.68 c intension z[583]=x[379] using generic constraint 0.60/0.68 c intension z[257]=x[37] using generic constraint 0.60/0.69 c intension z[550]=x[346] using generic constraint 0.60/0.69 c intension z[357]=x[137] using generic constraint 0.60/0.69 c intension z[586]=x[382] using generic constraint 0.60/0.69 c intension z[585]=x[381] using generic constraint 0.60/0.69 c intension z[552]=x[348] using generic constraint 0.60/0.69 c intension z[360]=x[140] using generic constraint 0.60/0.69 c intension z[588]=x[384] using generic constraint 0.60/0.69 c intension z[587]=x[383] using generic constraint 0.60/0.69 c intension z[589]=x[385] using generic constraint 0.69/0.70 c intension z[590]=x[386] using generic constraint 0.69/0.70 c intension z[258]=x[38] using generic constraint 0.69/0.70 c intension z[591]=x[387] using generic constraint 0.69/0.70 c intension z[592]=x[388] using generic constraint 0.69/0.70 c intension z[593]=x[389] using generic constraint 0.69/0.70 c intension z[594]=x[390] using generic constraint 0.69/0.70 c intension z[595]=x[391] using generic constraint 0.69/0.70 c intension z[596]=x[392] using generic constraint 0.69/0.70 c intension z[597]=x[393] using generic constraint 0.69/0.71 c intension z[598]=x[394] using generic constraint 0.69/0.71 c intension z[599]=x[395] using generic constraint 0.69/0.71 c intension z[600]=x[396] using generic constraint 0.69/0.71 c intension z[259]=x[39] using generic constraint 0.69/0.71 c intension z[601]=x[397] using generic constraint 0.69/0.71 c intension z[602]=x[398] using generic constraint 0.69/0.71 c intension z[603]=x[399] using generic constraint 0.69/0.71 c intension z[604]=x[400] using generic constraint 0.69/0.71 c intension z[605]=x[401] using generic constraint 0.69/0.72 c intension z[606]=x[402] using generic constraint 0.69/0.72 c intension z[607]=x[403] using generic constraint 0.69/0.72 c intension z[608]=x[404] using generic constraint 0.69/0.72 c intension z[609]=x[405] using generic constraint 0.69/0.72 c intension z[610]=x[406] using generic constraint 0.69/0.72 c intension z[260]=x[40] using generic constraint 0.69/0.72 c intension z[611]=x[407] using generic constraint 0.69/0.72 c intension z[612]=x[408] using generic constraint 0.69/0.72 c intension z[613]=x[409] using generic constraint 0.69/0.73 c intension z[225]=x[5] using generic constraint 0.69/0.73 c intension z[261]=x[41] using generic constraint 0.69/0.73 c intension z[262]=x[42] using generic constraint 0.69/0.73 c intension z[263]=x[43] using generic constraint 0.69/0.73 c intension z[264]=x[44] using generic constraint 0.69/0.73 c intension z[265]=x[45] using generic constraint 0.69/0.73 c intension z[266]=x[46] using generic constraint 0.69/0.73 c intension z[267]=x[47] using generic constraint 0.69/0.73 c intension z[268]=x[48] using generic constraint 0.69/0.73 c intension z[269]=x[49] using generic constraint 0.69/0.74 c intension z[270]=x[50] using generic constraint 0.69/0.74 c intension z[226]=x[6] using generic constraint 0.69/0.74 c intension z[271]=x[51] using generic constraint 0.69/0.74 c intension z[272]=x[52] using generic constraint 0.69/0.74 c intension z[273]=x[53] using generic constraint 0.69/0.74 c intension z[274]=x[54] using generic constraint 0.69/0.74 c intension z[275]=x[55] using generic constraint 0.69/0.74 c intension z[276]=x[56] using generic constraint 0.69/0.74 c intension z[277]=x[57] using generic constraint 0.69/0.75 c intension z[278]=x[58] using generic constraint 0.69/0.75 c intension z[279]=x[59] using generic constraint 0.69/0.75 c intension z[280]=x[60] using generic constraint 0.69/0.75 c intension z[227]=x[7] using generic constraint 0.69/0.75 c intension z[281]=x[61] using generic constraint 0.69/0.75 c intension z[282]=x[62] using generic constraint 0.69/0.75 c intension z[283]=x[63] using generic constraint 0.69/0.75 c intension z[284]=x[64] using generic constraint 0.69/0.75 c intension z[285]=x[65] using generic constraint 0.69/0.76 c intension z[286]=x[66] using generic constraint 0.69/0.76 c intension z[287]=x[67] using generic constraint 0.69/0.76 c intension z[288]=x[68] using generic constraint 0.69/0.76 c intension z[289]=x[69] using generic constraint 0.69/0.76 c intension z[290]=x[70] using generic constraint 0.69/0.76 c intension z[228]=x[8] using generic constraint 0.69/0.76 c intension z[291]=x[71] using generic constraint 0.69/0.76 c intension z[292]=x[72] using generic constraint 0.69/0.76 c intension z[293]=x[73] using generic constraint 0.69/0.77 c intension z[294]=x[74] using generic constraint 0.69/0.77 c intension z[295]=x[75] using generic constraint 0.69/0.77 c intension z[296]=x[76] using generic constraint 0.69/0.77 c intension z[297]=x[77] using generic constraint 0.69/0.77 c intension z[298]=x[78] using generic constraint 0.69/0.77 c intension z[299]=x[79] using generic constraint 0.69/0.77 c intension z[300]=x[80] using generic constraint 0.69/0.77 c intension z[229]=x[9] using generic constraint 0.69/0.77 c intension z[301]=x[81] using generic constraint 0.69/0.78 c intension z[302]=x[82] using generic constraint 0.69/0.78 c intension z[304]=x[84] using generic constraint 0.69/0.78 c intension z[305]=x[85] using generic constraint 0.69/0.78 c intension z[307]=x[87] using generic constraint 0.69/0.78 c intension z[308]=x[88] using generic constraint 0.69/0.78 c intension z[310]=x[90] using generic constraint 0.69/0.78 c intension z[311]=x[91] using generic constraint 0.69/0.78 c intension z[313]=x[93] using generic constraint 0.69/0.78 c intension z[314]=x[94] using generic constraint 0.69/0.79 c intension z[230]=x[10] using generic constraint 0.69/0.79 c intension z[316]=x[96] using generic constraint 0.69/0.79 c intension z[317]=x[97] using generic constraint 0.69/0.79 c intension z[319]=x[99] using generic constraint 0.69/0.79 c intension z[320]=x[100] using generic constraint 0.69/0.79 c intension z[322]=x[102] using generic constraint 0.69/0.79 c intension z[323]=x[103] using generic constraint 0.69/0.79 c intension z[325]=x[105] using generic constraint 0.69/0.79 c intension z[326]=x[106] using generic constraint 0.69/0.80 c intension z[328]=x[108] using generic constraint 0.79/0.80 c intension z[329]=x[109] using generic constraint 6.00/6.03 c root propagations : 0 6.00/6.03 c restarts enabled, print stats at every restarts 6.00/6.03 c 6.00/6.03 c 6.00/6.03 c 6.00/6.03 c This is cosoco 1.12 -- 6.00/6.03 c 6.00/6.03 c command line: cosoco -lc -model -restarts HOME/instance-4267989-1502585375.xml 6.00/6.03 c ========================================[ Problem Statistics ]=========================================== 6.00/6.03 c | 6.00/6.03 c | Parse time : 5.00 s 6.00/6.03 c | 6.00/6.03 c | Variables: 4347 6.00/6.03 c | Domain Sizes: 2..20001 6.00/6.03 c | 6.00/6.03 c | Constraints: 4102 6.00/6.03 c | Arity: 1..3 -- Unary: 2 -- Binary: 710 -- Ternary: 3390 6.00/6.03 c | 6.00/6.03 c | Types: 6.00/6.03 c | (X = Y): 393 6.00/6.03 c | Intension: 3709 6.00/6.03 c | 6.00/6.03 c ========================================================================================================= 6.00/6.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 6.00/6.10 c 101 1015 11013 1943 0 0 293 915 725 6.10/6.16 c 211 2016 17868 3871 0 0 216 892 679 6.19/6.23 c 332 3038 24860 5857 0 0 116 902 678 6.29/6.30 c 465 4091 32174 7924 0 0 171 921 682 6.29/6.37 c 611 5174 39777 10077 0 0 109 938 692 6.39/6.44 c 771 6289 47747 12323 0 0 110 956 699 6.49/6.51 c 947 7464 56041 14708 0 0 111 1000 716 6.49/6.58 c 1140 8664 64974 22197 0 0 112 1008 704 6.59/6.67 c 1352 9887 74969 41395 0 0 113 1012 724 6.69/6.75 c 1585 11131 85736 90673 0 0 98 1012 737 6.79/6.83 c 1841 12421 97213 100830 0 0 27 1033 758 6.79/6.84 c 2122 12702 107891 101673 1 0 1 1 0 6.79/6.84 c 2431 13011 119633 102600 1 0 1 1 0 6.79/6.85 c 2770 13350 132515 103617 1 0 1 1 0 6.79/6.85 c 3142 13722 146651 104733 1 0 1 1 0 6.79/6.85 c 3551 14131 162193 105960 1 0 1 1 0 6.79/6.86 c 4000 14580 179255 107307 1 0 1 1 0 6.79/6.86 c 4493 15073 197989 108786 1 0 1 1 0 6.79/6.87 c 5035 15615 218585 110412 1 0 1 1 0 6.79/6.88 c 5631 16211 241233 112200 1 0 1 1 0 6.79/6.88 c 6286 16866 266123 114165 1 0 1 1 0 6.79/6.89 c 7006 17586 293483 116325 1 0 1 1 0 6.89/6.90 c 7798 18378 323579 118701 1 0 1 1 0 6.89/6.91 c 8669 19249 356677 121314 1 0 1 1 0 6.89/6.92 c 9627 20207 393081 124188 1 0 1 1 0 6.89/6.92 c 10680 21260 433095 127347 1 0 1 1 0 6.89/6.93 c 11838 22418 477099 130821 1 0 1 1 0 7.49/7.57 c 13111 24745 680644 389537 1 0 1 1010 955 7.59/7.67 c 14511 27179 693827 401884 1 0 29 1035 983 7.59/7.69 c 16051 28719 698447 406504 2 0 1 1 0 7.69/7.70 c 17745 30413 703529 411586 2 0 1 1 0 7.69/7.72 c 19608 32276 709118 417175 2 0 1 1 0 7.69/7.74 c 21657 34325 715265 423322 2 0 1 1 0 7.69/7.75 c 23910 36578 722024 430081 2 0 1 1 0 7.79/7.86 c 26388 40092 738651 443901 2 0 1 1037 752 7.79/7.89 c 29113 42817 746826 452076 3 0 1 1 0 7.89/7.92 c 32110 45814 755817 461067 3 0 1 1 0 7.89/7.94 c 35406 49110 765705 470955 3 0 1 1 0 8.00/8.06 c 39031 53773 785848 490816 3 0 1 1039 735 8.10/8.11 c 43018 57760 797809 502777 4 0 1 1 0 8.10/8.15 c 47403 62145 810964 515932 4 0 1 1 0 8.19/8.28 c 52226 68008 834713 538385 4 0 1 1041 673 8.29/8.35 c 57531 73313 850628 554300 5 0 1 1 0 8.39/8.48 c 63366 80191 877286 579510 5 0 1 1044 191 8.49/8.57 c 69784 86609 902958 598764 6 0 1 1 0 8.69/8.73 c 76843 94702 936780 625937 6 0 1 1035 499 12.39/12.41 c 84607 124236 1091805 707655 6 0 119 274 269 12.49/12.54 c 93147 133131 1120171 736796 6 0 123 356 355 15.19/15.26 c 102541 142866 1161633 784586 6 0 124 243 238 15.39/15.45 c 112874 153400 1288772 826619 6 0 12 12 11 15.59/15.69 c 124240 165811 1332002 867903 6 0 125 1046 359 15.89/15.90 c 136742 178585 1372170 908651 7 0 1 273 55 21.10/21.12 c 150494 206314 1943523 1165586 7 0 127 220 217 21.39/21.44 c 165621 222488 1998210 1218174 7 0 128 1048 524 21.69/21.75 c 182260 239387 2050713 1271528 8 0 1 261 104 28.39/28.42 c 200562 284865 2305333 1413588 8 0 130 192 174 28.79/28.87 c 220694 306046 2375101 1482376 8 0 131 1050 634 29.29/29.38 c 242839 329242 2450874 1557206 9 0 1 1052 198 29.89/29.98 c 267198 354654 2533299 1638681 10 0 1 1054 274 31.59/31.68 c 293992 382568 2826361 3796979 11 0 1 1056 266 32.39/32.46 c 323465 413099 2924657 3894047 12 0 1 1058 413 33.29/33.36 c 355885 446581 3031815 4000158 13 0 1 1062 473 34.29/34.39 c 391547 483307 3148685 4116186 14 0 1 1064 344 35.49/35.59 c 430775 523601 3276251 4242913 15 0 1 1066 410 36.89/37.00 c 473925 567821 3415600 4381613 16 0 1 1070 451 38.59/38.63 c 521390 616358 3567895 4533458 17 0 1 1072 370 40.49/40.54 c 573601 669646 3734492 4700149 18 0 1 1076 416 45.69/45.78 c 631033 727504 3935695 5047196 19 0 1 422 247 48.39/48.40 c 694208 791761 4135133 5246171 20 0 1 1082 527 51.49/51.50 c 763700 862338 4353602 5464714 21 0 1 1084 392 55.59/55.65 c 840141 939889 4706704 6677956 22 0 1 1088 438 59.89/60.00 c 924226 1025065 4968424 6936491 23 0 1 1092 414 65.10/65.18 c 1016719 1118653 5255391 7220255 24 0 1 1096 404 71.29/71.32 c 1118461 1221494 5570124 7531769 25 0 1 1100 393 78.59/78.63 c 1230377 1334513 5915387 7873809 26 0 1 1104 382 87.29/87.35 c 1353484 1458727 6294250 8249627 27 0 1 1108 393 97.69/97.77 c 1488901 1595255 6710055 8662379 28 0 1 1112 396 110.19/110.21 c 1637859 1745328 7166509 9115770 29 0 1 1116 416 125.30/125.30 c 1801712 1910313 7727901 10183795 30 0 1 1122 429 143.10/143.13 c 1981950 2091677 8278606 10731844 31 0 1 1126 414 164.49/164.52 c 2180211 2291070 8883361 11333953 32 0 1 1132 446 190.10/190.19 c 2398298 2510296 9547655 11996149 33 0 1 1138 434 221.00/221.01 c 2638193 2751336 10277427 12724982 34 0 1 1144 435 258.11/258.16 c 2902077 3016386 11138979 14034337 35 0 1 1152 441 302.70/302.72 c 3192349 3307818 12019820 14912516 36 0 1 1160 432 356.01/356.09 c 3511648 3628281 12987349 15905600 37 0 1 1163 430 419.01/419.08 c 3862876 3980639 14165623 17972560 37 0 20 1100 478 493.71/493.78 c 4249226 4368163 15354629 19214471 38 0 1 1167 503 580.92/580.90 c 4674211 4794262 16649495 20611067 38 0 18 1103 552 684.44/684.41 c 5141694 5262929 18091842 22157731 39 0 1 1171 585 803.85/803.87 c 5655925 5778284 19664451 23891335 39 0 15 1106 622 945.18/945.16 c 6221579 6345134 21411260 25810914 40 0 1 1175 660 1106.89/1106.85 c 6843798 6968489 23317873 27956703 40 0 12 1109 685 1298.82/1298.76 c 7528238 7654148 25591050 30321622 41 0 1 1189 733 1518.95/1518.82 c 8281122 8408181 27909182 32957681 41 0 12 1113 731 1772.69/1772.55 c 9109294 9237568 30483559 35888197 41 0 12 1191 790 1804.59/1804.42 c 10020283 10149049 33495180 41852754 41 0 12 316 294 2127.04/2126.83 c 11022370 11151795 36577010 45472255 41 0 13 600 503 2152.14/2151.92 c 12124665 12254276 39885256 49872151 42 0 1 78 77 2169.74/2169.55 c 13337189 13469270 44845671 77059431 42 0 14 79 76 2186.95/2186.77 c 14670965 14803267 48849820 82395172 42 0 14 73 72 2242.55/2242.33 c 16138118 16318574 56863368 547943329 42 0 14 79 76 2263.36/2263.19 c 17751986 17932696 61708167 554399531 42 0 14 74 73 2320.66/2320.46 c 19527240 19753271 70832630 994519787 42 0 14 79 76 2345.97/2345.74 c 21480019 21706317 76694433 1002331673 42 0 14 72 71 2407.38/2407.14 c 23628075 23898842 87271442 1435505976 42 0 14 79 76 2437.98/2437.71 c 25990936 26262010 94365922 1444959011 42 0 14 71 70 2504.59/2504.34 c 28590083 28904873 106710372 1872265055 42 0 14 79 76 2520.09/2519.80 2520.09/2519.80 c *** INTERRUPTED *** 2520.09/2519.80 c restarts : 108 2520.09/2519.80 c conflicts : 29788213 (11828 /sec) 2520.09/2519.80 c decisions : 30103192 (11953 /sec) 2520.09/2519.80 c propagations : 1877058110 (745292 /sec) 2520.09/2519.80 c root propagations : 0 2520.09/2519.80 c filter calls : 110307221 (43798 /sec) 2520.09/2519.80 c useless filter calls : 80057658 (72 %) 2520.09/2519.80 c Memory used : 2918.71 MB 2520.09/2519.80 c CPU time : 2518.55 s 2520.09/2519.80 2520.09/2519.80 s UNKNOWN
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 (13573 MiB free)
memory of node 1: 16384 MiB (7019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267989-1502585375/watcher-4267989-1502585375 -o /tmp/evaluation-result-4267989-1502585375/solver-4267989-1502585375 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1301 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267989-1502585375.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2502, runsolver pid=2499
[startup+0.100125 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=20869508/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=186256 memory=162420 CPUtime=0.1 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 40750 0 0 0 5 5 0 0 20 0 1 0 91618477 190726144 40539 33554432000 4194304 5972588 140729484748496 140729484745144 5127357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 46564 40539 710 435 0 39927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 186256 KiB
Current children cumulated memory: 162420 KiB
[startup+0.209849 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=20606628/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=368684 memory=344844 CPUtime=0.21 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 86383 0 0 0 10 11 0 0 20 0 1 0 91618477 377532416 86211 33554432000 4194304 5972588 140729484748496 140729484745144 5127437 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 92210 86211 710 435 0 85573 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 368684 KiB
Current children cumulated memory: 344844 KiB
[startup+0.309711 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=20368300/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=534992 memory=510900 CPUtime=0.31 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 127927 0 0 0 15 16 0 0 20 0 1 0 91618477 547831808 127725 33554432000 4194304 5972588 140729484748496 140729484745144 5127357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 133748 127725 710 435 0 127111 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 534992 KiB
Current children cumulated memory: 510900 KiB
[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=20132328/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=614400 memory=590892 CPUtime=0.69 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 147887 0 0 0 50 19 0 0 20 0 1 0 91618477 629145600 147723 33554432000 4194304 5972588 140729484748496 140729484732216 140006514506321 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 153600 147723 790 435 0 146963 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 614400 KiB
Current children cumulated memory: 590892 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=19716040/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=827976 memory=804304 CPUtime=1.49 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 201276 0 0 0 124 25 0 0 20 0 1 0 91618477 847847424 201076 33554432000 4194304 5972588 140729484748496 140729484742056 140006514055103 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 206994 201076 790 435 0 200357 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 827976 KiB
Current children cumulated memory: 804304 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=17582004/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=1391508 memory=1367984 CPUtime=3.1 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 342909 0 0 0 269 41 0 0 20 0 1 0 91618477 1424904192 341930 33554432000 4194304 5972588 140729484748496 140729484742056 4967517 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 347956 341996 790 435 0 341319 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1391508 KiB
Current children cumulated memory: 1367984 KiB
[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=15339340/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2982064 memory=2958760 CPUtime=6.29 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 750512 0 0 0 543 86 0 0 20 0 1 0 91618477 3053633536 739690 33554432000 4194304 5972588 140729484748496 140729484745720 5338164 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 745516 739690 827 435 0 738879 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2982064 KiB
Current children cumulated memory: 2958760 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=15313904/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2983712 memory=2960296 CPUtime=12.69 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 755507 0 0 0 1183 86 0 0 20 0 1 0 91618477 3055321088 740074 33554432000 4194304 5972588 140729484748496 140729484745800 5139312 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 745928 740074 827 435 0 739291 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2983712 KiB
Current children cumulated memory: 2960296 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2503
/proc/meminfo: memFree=15300364/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2984176 memory=2960784 CPUtime=25.49 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 766566 0 0 0 2461 88 0 0 20 0 1 0 91618477 3055796224 740196 33554432000 4194304 5972588 140729484748496 140729484745800 4968704 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 746044 740196 827 435 0 739407 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2984176 KiB
Current children cumulated memory: 2960784 KiB
[startup+51.1093 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 2503
/proc/meminfo: memFree=15296348/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2984956 memory=2961524 CPUtime=51.1 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 784260 0 0 0 5021 89 0 0 20 0 1 0 91618477 3056594944 740381 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 746239 740381 827 435 0 739602 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2984956 KiB
Current children cumulated memory: 2961524 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 2504
/proc/meminfo: memFree=15293808/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2986024 memory=2962336 CPUtime=102.29 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 803809 0 0 0 10137 92 0 0 20 0 1 0 91618477 3057688576 740584 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 746506 740584 827 435 0 739869 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2986024 KiB
Current children cumulated memory: 2962336 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2505
/proc/meminfo: memFree=15292596/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2986876 memory=2962888 CPUtime=162.29 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 826683 0 0 0 16135 94 0 0 20 0 1 0 91618477 3058561024 740722 33554432000 4194304 5972588 140729484748496 140729484746040 5312304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 746719 740722 827 435 0 740082 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2986876 KiB
Current children cumulated memory: 2962888 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2506
/proc/meminfo: memFree=15291376/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2987008 memory=2963440 CPUtime=222.3 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 849607 0 0 0 22134 96 0 0 20 0 1 0 91618477 3058696192 740860 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 746752 740860 827 435 0 740115 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2987008 KiB
Current children cumulated memory: 2963440 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2507
/proc/meminfo: memFree=15290544/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2987144 memory=2963724 CPUtime=282.29 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 865664 0 0 0 28132 97 0 0 20 0 1 0 91618477 3058835456 740931 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 746786 740931 827 435 0 740149 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2987144 KiB
Current children cumulated memory: 2963724 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2515
/proc/meminfo: memFree=15289188/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988356 memory=2964008 CPUtime=342.3 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 883479 0 0 0 34131 99 0 0 20 0 1 0 91618477 3060076544 741002 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747089 741002 827 435 0 740452 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2988356 KiB
Current children cumulated memory: 2964008 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 2516
/proc/meminfo: memFree=15288488/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988356 memory=2964140 CPUtime=402.3 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 907749 0 0 0 40129 101 0 0 20 0 1 0 91618477 3060076544 741035 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747089 741035 827 435 0 740452 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2988356 KiB
Current children cumulated memory: 2964140 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 2517
/proc/meminfo: memFree=15287648/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988356 memory=2964144 CPUtime=462.3 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 920400 0 0 0 46128 102 0 0 20 0 1 0 91618477 3060076544 741036 33554432000 4194304 5972588 140729484748496 140729484745800 5312318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747089 741036 827 435 0 740452 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2988356 KiB
Current children cumulated memory: 2964144 KiB
################
# More data... #
################
/proc/meminfo: memFree=15279756/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=1782.49 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1216746 0 0 0 178113 136 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 1782.49 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2579
/proc/meminfo: memFree=15280000/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=1842.5 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1230535 0 0 0 184112 138 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2580
/proc/meminfo: memFree=15279656/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=1902.5 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1243742 0 0 0 190111 139 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 1902.5 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2581
/proc/meminfo: memFree=15279800/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=1962.51 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1253118 0 0 0 196111 140 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 1962.51 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2582
/proc/meminfo: memFree=15279704/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2022.53 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1264039 0 0 0 202111 142 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2583
/proc/meminfo: memFree=15278128/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2082.53 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1276333 0 0 0 208110 143 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2589
/proc/meminfo: memFree=15276724/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2142.54 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1290101 0 0 0 214109 145 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5336785 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2590
/proc/meminfo: memFree=15277256/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2202.55 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1303607 0 0 0 220109 146 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5094104 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2591
/proc/meminfo: memFree=15277160/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2262.55 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1313104 0 0 0 226108 147 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2592
/proc/meminfo: memFree=15277420/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2322.56 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1327509 0 0 0 232107 149 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5336785 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2322.56 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2593
/proc/meminfo: memFree=15277200/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2382.58 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1337978 0 0 0 238107 151 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2382.58 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2594
/proc/meminfo: memFree=15277608/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2442.59 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1350484 0 0 0 244106 153 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5338164 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2442.59 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2595
/proc/meminfo: memFree=15277092/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965256 CPUtime=2502.59 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1361016 0 0 0 250105 154 0 0 20 0 1 0 91618477 3060482048 741314 33554432000 4194304 5972588 140729484748496 140729484745800 5312315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741314 827 435 0 740551 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.08 2.03 2.05 4/188 2656
/proc/meminfo: memFree=24785484/32770624 swapFree=67108860/67108860
[pid=2502] ppid=2499 vsize=2988752 memory=2965308 CPUtime=2520.09 cores=0,2,4,6
/proc/2502/stat : 2502 (cosoco) R 2499 2502 1270 0 -1 4202496 1363984 0 0 0 251855 154 0 0 20 0 1 0 91618477 3060482048 741327 33554432000 4194304 5972588 140729484748496 140729484745800 5336760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 25149440 140729484752063 140729484752158 140729484752158 140729484754894 0
/proc/2502/statm: 747188 741327 827 435 0 740551 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2988752 KiB
Current children cumulated memory: 2965308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.96 s]
# the end of solver process 2502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.55 s, system=1.70921 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 2656
/proc/meminfo: memFree=26538016/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2519.96
CPU time (s): 2520.26
CPU user time (s): 2518.55
CPU system time (s): 1.70921
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2988752
Max. memory (cumulated for all children) (KiB): 2965308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.55
system time used= 1.7092
maximum resident set size= 2965380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1364035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 1367
# summary of solver processes directly reported to runsolver:
# pid: 2502
# total CPU time (s): 2520.26
# total CPU user time (s): 2518.55
# total CPU system time (s): 1.70921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8755 second user time and 12.497 second system time
The end
Begin job on node151 at 2017-08-13 02:35:17 IDJOB=4267989 IDBENCH=139269 IDSOLVER=2658 FILE ID=node151/4267989-1502585375 RUNJOBID= node151-1502576806-1301 PBS_JOBID= 20628292 Free space on /tmp= 61752 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-04-04-fair.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267989-1502585375/watcher-4267989-1502585375 -o /tmp/evaluation-result-4267989-1502585375/solver-4267989-1502585375 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502576806-1301 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267989-1502585375.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 005af5eedf24bd8f858adc721c64a56d RANDOM SEED=1623931152 node151.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 : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 21100016 kB MemAvailable: 24161028 kB Buffers: 213760 kB Cached: 3139968 kB SwapCached: 0 kB Active: 8654668 kB Inactive: 2569680 kB Active(anon): 7873344 kB Inactive(anon): 25044 kB Active(file): 781324 kB Inactive(file): 2544636 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2372 kB Writeback: 0 kB AnonPages: 7877484 kB Mapped: 44632 kB Shmem: 25224 kB Slab: 128520 kB SReclaimable: 101776 kB SUnreclaim: 26744 kB KernelStack: 3312 kB PageTables: 20208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8169864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61752 MiB End job on node151 at 2017-08-13 03:17:17