| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2520.0701 | 2519.9099 |
| Name | Fischer/Fischer-m1-s1/ Fischer-05-03-fair.xml |
| MD5SUM | ebcae7fb870db8f75b7458b98ea920fc |
| 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 | 5.3921299 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4167 |
| Number of constraints | 3932 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 20001 |
| Distribution of domain sizes | [{"size":2,"count":584},{"size":201,"count":24},{"size":20001,"count":3559}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 60 |
| Distribution of variable degrees | [{"degree":2,"count":3653},{"degree":3,"count":90},{"degree":4,"count":18},{"degree":5,"count":60},{"degree":6,"count":46},{"degree":7,"count":101},{"degree":8,"count":94},{"degree":9,"count":60},{"degree":10,"count":12},{"degree":12,"count":1},{"degree":13,"count":15},{"degree":17,"count":4},{"degree":27,"count":4},{"degree":29,"count":1},{"degree":34,"count":1},{"degree":36,"count":1},{"degree":38,"count":3},{"degree":59,"count":2},{"degree":60,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":675},{"arity":3,"count":3255}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3932 |
| Distribution of constraint types | [{"type":"intension","count":3932}] |
| Optimization problem | NO |
| Type of objective |
0.31/0.36 c intension z[212]=x[1] using generic constraint 0.31/0.36 c intension z[213]=x[2] using generic constraint 0.31/0.36 c intension z[222]=x[11] using generic constraint 0.31/0.36 c intension z[322]=x[111] using generic constraint 0.31/0.36 c intension z[323]=x[112] using generic constraint 0.31/0.36 c intension z[325]=x[114] using generic constraint 0.31/0.36 c intension z[326]=x[115] using generic constraint 0.31/0.36 c intension z[328]=x[117] using generic constraint 0.31/0.36 c intension z[329]=x[118] using generic constraint 0.31/0.37 c intension z[331]=x[120] using generic constraint 0.31/0.37 c intension z[332]=x[121] using generic constraint 0.31/0.37 c intension z[334]=x[123] using generic constraint 0.31/0.37 c intension z[335]=x[124] using generic constraint 0.31/0.37 c intension z[223]=x[12] using generic constraint 0.31/0.37 c intension z[337]=x[126] using generic constraint 0.31/0.37 c intension z[338]=x[127] using generic constraint 0.31/0.37 c intension z[340]=x[129] using generic constraint 0.31/0.37 c intension z[341]=x[130] using generic constraint 0.31/0.38 c intension z[343]=x[132] using generic constraint 0.31/0.38 c intension z[344]=x[133] using generic constraint 0.31/0.38 c intension z[346]=x[135] using generic constraint 0.31/0.38 c intension z[347]=x[136] using generic constraint 0.31/0.38 c intension z[349]=x[138] using generic constraint 0.31/0.38 c intension z[350]=x[139] using generic constraint 0.31/0.38 c intension z[224]=x[13] using generic constraint 0.31/0.38 c intension z[367]=x[171] using generic constraint 0.31/0.38 c intension z[368]=x[172] using generic constraint 0.31/0.38 c intension z[352]=x[142] using generic constraint 0.31/0.39 c intension z[369]=x[173] using generic constraint 0.31/0.39 c intension z[370]=x[174] using generic constraint 0.31/0.39 c intension z[372]=x[176] using generic constraint 0.31/0.39 c intension z[373]=x[177] using generic constraint 0.31/0.39 c intension z[374]=x[178] using generic constraint 0.31/0.39 c intension z[353]=x[144] using generic constraint 0.31/0.39 c intension z[375]=x[179] using generic constraint 0.31/0.39 c intension z[225]=x[14] using generic constraint 0.31/0.39 c intension z[376]=x[180] using generic constraint 0.31/0.40 c intension z[378]=x[182] using generic constraint 0.31/0.40 c intension z[379]=x[183] using generic constraint 0.31/0.40 c intension z[380]=x[184] using generic constraint 0.31/0.40 c intension z[354]=x[146] using generic constraint 0.31/0.40 c intension z[381]=x[185] using generic constraint 0.31/0.40 c intension z[382]=x[186] using generic constraint 0.31/0.40 c intension z[384]=x[188] using generic constraint 0.31/0.40 c intension z[385]=x[189] using generic constraint 0.31/0.40 c intension z[386]=x[190] using generic constraint 0.31/0.40 c intension z[226]=x[15] using generic constraint 0.31/0.41 c intension z[387]=x[191] using generic constraint 0.31/0.41 c intension z[388]=x[192] using generic constraint 0.31/0.41 c intension z[389]=x[193] using generic constraint 0.31/0.41 c intension z[355]=x[148] using generic constraint 0.31/0.41 c intension z[390]=x[194] using generic constraint 0.31/0.41 c intension z[391]=x[195] using generic constraint 0.31/0.41 c intension z[393]=x[197] using generic constraint 0.31/0.41 c intension z[394]=x[198] using generic constraint 0.40/0.41 c intension z[395]=x[199] using generic constraint 0.40/0.42 c intension z[356]=x[150] using generic constraint 0.40/0.42 c intension z[227]=x[16] using generic constraint 0.40/0.42 c intension z[396]=x[200] using generic constraint 0.40/0.42 c intension z[397]=x[201] using generic constraint 0.40/0.42 c intension z[399]=x[203] using generic constraint 0.40/0.42 c intension z[400]=x[204] using generic constraint 0.40/0.42 c intension z[401]=x[205] using generic constraint 0.40/0.42 c intension z[357]=x[152] using generic constraint 0.40/0.42 c intension z[402]=x[206] using generic constraint 0.40/0.43 c intension z[403]=x[207] using generic constraint 0.40/0.43 c intension z[405]=x[209] using generic constraint 0.40/0.43 c intension z[406]=x[210] using generic constraint 0.40/0.43 c intension z[228]=x[17] using generic constraint 0.40/0.43 c intension z[407]=x[211] using generic constraint 0.40/0.43 c intension z[358]=x[154] using generic constraint 0.40/0.43 c intension z[408]=x[212] using generic constraint 0.40/0.43 c intension z[409]=x[213] using generic constraint 0.40/0.43 c intension z[411]=x[215] using generic constraint 0.40/0.43 c intension z[412]=x[216] using generic constraint 0.40/0.44 c intension z[413]=x[217] using generic constraint 0.40/0.44 c intension z[359]=x[156] using generic constraint 0.40/0.44 c intension z[414]=x[218] using generic constraint 0.40/0.44 c intension z[415]=x[219] using generic constraint 0.40/0.44 c intension z[229]=x[18] using generic constraint 0.40/0.44 c intension z[417]=x[221] using generic constraint 0.40/0.44 c intension z[418]=x[222] using generic constraint 0.40/0.44 c intension z[419]=x[223] using generic constraint 0.40/0.44 c intension z[360]=x[158] using generic constraint 0.40/0.45 c intension z[420]=x[224] using generic constraint 0.40/0.45 c intension z[421]=x[225] using generic constraint 0.40/0.45 c intension z[423]=x[227] using generic constraint 0.40/0.45 c intension z[424]=x[228] using generic constraint 0.40/0.45 c intension z[425]=x[229] using generic constraint 0.40/0.45 c intension z[361]=x[160] using generic constraint 0.40/0.45 c intension z[230]=x[19] using generic constraint 0.40/0.45 c intension z[426]=x[230] using generic constraint 0.40/0.45 c intension z[427]=x[231] using generic constraint 0.40/0.46 c intension z[429]=x[233] using generic constraint 0.40/0.46 c intension z[430]=x[234] using generic constraint 0.40/0.46 c intension z[431]=x[235] using generic constraint 0.40/0.46 c intension z[362]=x[162] using generic constraint 0.40/0.46 c intension z[432]=x[236] using generic constraint 0.40/0.46 c intension z[433]=x[237] using generic constraint 0.40/0.46 c intension z[435]=x[239] using generic constraint 0.40/0.46 c intension z[436]=x[240] using generic constraint 0.40/0.46 c intension z[231]=x[20] using generic constraint 0.40/0.46 c intension z[437]=x[241] using generic constraint 0.40/0.47 c intension z[363]=x[164] using generic constraint 0.40/0.47 c intension z[438]=x[242] using generic constraint 0.40/0.47 c intension z[439]=x[243] using generic constraint 0.40/0.47 c intension z[441]=x[245] using generic constraint 0.40/0.47 c intension z[442]=x[246] using generic constraint 0.40/0.47 c intension z[443]=x[247] using generic constraint 0.40/0.47 c intension z[364]=x[166] using generic constraint 0.40/0.47 c intension z[444]=x[248] using generic constraint 0.40/0.47 c intension z[445]=x[249] using generic constraint 0.40/0.48 c intension z[214]=x[3] using generic constraint 0.40/0.48 c intension z[232]=x[21] using generic constraint 0.40/0.48 c intension z[447]=x[251] using generic constraint 0.40/0.48 c intension z[448]=x[252] using generic constraint 0.40/0.48 c intension z[449]=x[253] using generic constraint 0.40/0.48 c intension z[365]=x[168] using generic constraint 0.40/0.48 c intension z[450]=x[254] using generic constraint 0.40/0.48 c intension z[451]=x[255] using generic constraint 0.40/0.48 c intension z[453]=x[257] using generic constraint 0.40/0.49 c intension z[454]=x[258] using generic constraint 0.40/0.49 c intension z[455]=x[259] using generic constraint 0.40/0.49 c intension z[366]=x[170] using generic constraint 0.40/0.49 c intension z[233]=x[22] using generic constraint 0.40/0.49 c intension z[456]=x[260] using generic constraint 0.40/0.49 c intension z[457]=x[261] using generic constraint 0.40/0.49 c intension z[459]=x[263] using generic constraint 0.40/0.49 c intension z[460]=x[264] using generic constraint 0.40/0.49 c intension z[371]=x[175] using generic constraint 0.40/0.49 c intension z[462]=x[266] using generic constraint 0.40/0.50 c intension z[377]=x[181] using generic constraint 0.40/0.50 c intension z[464]=x[268] using generic constraint 0.40/0.50 c intension z[383]=x[187] using generic constraint 0.40/0.50 c intension z[466]=x[270] using generic constraint 0.40/0.50 c intension z[234]=x[23] using generic constraint 0.40/0.50 c intension z[392]=x[196] using generic constraint 0.40/0.50 c intension z[468]=x[272] using generic constraint 0.40/0.50 c intension z[398]=x[202] using generic constraint 0.40/0.50 c intension z[470]=x[274] using generic constraint 0.40/0.51 c intension z[404]=x[208] using generic constraint 0.40/0.51 c intension z[472]=x[276] using generic constraint 0.40/0.51 c intension z[410]=x[214] using generic constraint 0.40/0.51 c intension z[474]=x[278] using generic constraint 0.40/0.51 c intension z[416]=x[220] using generic constraint 0.40/0.51 c intension z[476]=x[280] using generic constraint 0.40/0.51 c intension z[235]=x[24] using generic constraint 0.40/0.51 c intension z[422]=x[226] using generic constraint 0.50/0.51 c intension z[478]=x[282] using generic constraint 0.50/0.52 c intension z[428]=x[232] using generic constraint 0.50/0.52 c intension z[480]=x[284] using generic constraint 0.50/0.52 c intension z[434]=x[238] using generic constraint 0.50/0.52 c intension z[482]=x[286] using generic constraint 0.50/0.52 c intension z[440]=x[244] using generic constraint 0.50/0.52 c intension z[484]=x[288] using generic constraint 0.50/0.52 c intension z[446]=x[250] using generic constraint 0.50/0.52 c intension z[486]=x[290] using generic constraint 0.50/0.52 c intension z[236]=x[25] using generic constraint 0.50/0.53 c intension z[452]=x[256] using generic constraint 0.50/0.53 c intension z[488]=x[292] using generic constraint 0.50/0.53 c intension z[458]=x[262] using generic constraint 0.50/0.53 c intension z[490]=x[294] using generic constraint 0.50/0.53 c intension z[461]=x[265] using generic constraint 0.50/0.53 c intension z[493]=x[297] using generic constraint 0.50/0.53 c intension z[463]=x[267] using generic constraint 0.50/0.53 c intension z[496]=x[300] using generic constraint 0.50/0.53 c intension z[465]=x[269] using generic constraint 0.50/0.53 c intension z[467]=x[271] using generic constraint 0.50/0.54 c intension z[237]=x[26] using generic constraint 0.50/0.54 c intension z[492]=x[296] using generic constraint 0.50/0.54 c intension z[469]=x[273] using generic constraint 0.50/0.54 c intension z[495]=x[299] using generic constraint 0.50/0.54 c intension z[471]=x[275] using generic constraint 0.50/0.54 c intension z[498]=x[302] using generic constraint 0.50/0.54 c intension z[473]=x[277] using generic constraint 0.50/0.54 c intension z[475]=x[279] using generic constraint 0.50/0.54 c intension z[477]=x[281] using generic constraint 0.50/0.55 c intension z[479]=x[283] using generic constraint 0.50/0.55 c intension z[481]=x[285] using generic constraint 0.50/0.55 c intension z[238]=x[27] using generic constraint 0.50/0.55 c intension z[483]=x[287] using generic constraint 0.50/0.55 c intension z[485]=x[289] using generic constraint 0.50/0.55 c intension z[487]=x[291] using generic constraint 0.50/0.55 c intension z[489]=x[293] using generic constraint 0.50/0.55 c intension z[499]=x[303] using generic constraint 0.50/0.55 c intension z[501]=x[305] using generic constraint 0.50/0.56 c intension z[503]=x[307] using generic constraint 0.50/0.56 c intension z[505]=x[309] using generic constraint 0.50/0.56 c intension z[507]=x[311] using generic constraint 0.50/0.56 c intension z[509]=x[313] using generic constraint 0.50/0.56 c intension z[239]=x[28] using generic constraint 0.50/0.56 c intension z[511]=x[315] using generic constraint 0.50/0.56 c intension z[513]=x[317] using generic constraint 0.50/0.56 c intension z[515]=x[319] using generic constraint 0.50/0.56 c intension z[517]=x[321] using generic constraint 0.50/0.56 c intension z[519]=x[323] using generic constraint 0.50/0.57 c intension z[521]=x[325] using generic constraint 0.50/0.57 c intension z[523]=x[327] using generic constraint 0.50/0.57 c intension z[525]=x[329] using generic constraint 0.50/0.57 c intension z[527]=x[331] using generic constraint 0.50/0.57 c intension z[491]=x[295] using generic constraint 0.50/0.57 c intension z[240]=x[29] using generic constraint 0.50/0.57 c intension z[494]=x[298] using generic constraint 0.50/0.57 c intension z[497]=x[301] using generic constraint 0.50/0.57 c intension z[500]=x[304] using generic constraint 0.50/0.58 c intension z[529]=x[333] using generic constraint 0.50/0.58 c intension z[297]=x[86] using generic constraint 0.50/0.58 c intension z[294]=x[83] using generic constraint 0.50/0.58 c intension z[535]=x[339] using generic constraint 0.50/0.58 c intension z[530]=x[334] using generic constraint 0.50/0.58 c intension z[502]=x[306] using generic constraint 0.50/0.58 c intension z[531]=x[335] using generic constraint 0.50/0.58 c intension z[241]=x[30] using generic constraint 0.50/0.58 c intension z[300]=x[89] using generic constraint 0.50/0.59 c intension z[537]=x[341] using generic constraint 0.50/0.59 c intension z[536]=x[340] using generic constraint 0.50/0.59 c intension z[532]=x[336] using generic constraint 0.50/0.59 c intension z[504]=x[308] using generic constraint 0.50/0.59 c intension z[533]=x[337] using generic constraint 0.50/0.59 c intension z[303]=x[92] using generic constraint 0.50/0.59 c intension z[539]=x[343] using generic constraint 0.50/0.59 c intension z[538]=x[342] using generic constraint 0.50/0.59 c intension z[534]=x[338] using generic constraint 0.50/0.59 c intension z[215]=x[4] using generic constraint 0.50/0.60 c intension z[242]=x[31] using generic constraint 0.50/0.60 c intension z[506]=x[310] using generic constraint 0.50/0.60 c intension z[309]=x[98] using generic constraint 0.50/0.60 c intension z[306]=x[95] using generic constraint 0.50/0.60 c intension z[540]=x[344] using generic constraint 0.50/0.60 c intension z[508]=x[312] using generic constraint 0.50/0.60 c intension z[312]=x[101] using generic constraint 0.50/0.60 c intension z[542]=x[346] using generic constraint 0.59/0.60 c intension z[541]=x[345] using generic constraint 0.59/0.61 c intension z[510]=x[314] using generic constraint 0.59/0.61 c intension z[315]=x[104] using generic constraint 0.59/0.61 c intension z[243]=x[32] using generic constraint 0.59/0.61 c intension z[544]=x[348] using generic constraint 0.59/0.61 c intension z[543]=x[347] using generic constraint 0.59/0.61 c intension z[512]=x[316] using generic constraint 0.59/0.61 c intension z[321]=x[110] using generic constraint 0.59/0.61 c intension z[318]=x[107] using generic constraint 0.59/0.61 c intension z[545]=x[349] using generic constraint 0.59/0.62 c intension z[514]=x[318] using generic constraint 0.59/0.62 c intension z[324]=x[113] using generic constraint 0.59/0.62 c intension z[547]=x[351] using generic constraint 0.59/0.62 c intension z[546]=x[350] using generic constraint 0.59/0.62 c intension z[244]=x[33] using generic constraint 0.59/0.62 c intension z[516]=x[320] using generic constraint 0.59/0.62 c intension z[327]=x[116] using generic constraint 0.59/0.62 c intension z[549]=x[353] using generic constraint 0.59/0.62 c intension z[548]=x[352] using generic constraint 0.59/0.63 c intension z[518]=x[322] using generic constraint 0.59/0.63 c intension z[333]=x[122] using generic constraint 0.59/0.63 c intension z[330]=x[119] using generic constraint 0.59/0.63 c intension z[550]=x[354] using generic constraint 0.59/0.63 c intension z[520]=x[324] using generic constraint 0.59/0.63 c intension z[336]=x[125] using generic constraint 0.59/0.63 c intension z[245]=x[34] using generic constraint 0.59/0.63 c intension z[552]=x[356] using generic constraint 0.59/0.63 c intension z[551]=x[355] using generic constraint 0.59/0.63 c intension z[522]=x[326] using generic constraint 0.59/0.64 c intension z[339]=x[128] using generic constraint 0.59/0.64 c intension z[554]=x[358] using generic constraint 0.59/0.64 c intension z[553]=x[357] using generic constraint 0.59/0.64 c intension z[524]=x[328] using generic constraint 0.59/0.64 c intension z[345]=x[134] using generic constraint 0.59/0.64 c intension z[342]=x[131] using generic constraint 0.59/0.64 c intension z[555]=x[359] using generic constraint 0.59/0.64 c intension z[246]=x[35] using generic constraint 0.59/0.64 c intension z[526]=x[330] using generic constraint 0.59/0.65 c intension z[348]=x[137] using generic constraint 0.59/0.65 c intension z[557]=x[361] using generic constraint 0.59/0.65 c intension z[556]=x[360] using generic constraint 0.59/0.65 c intension z[528]=x[332] using generic constraint 0.59/0.65 c intension z[351]=x[140] using generic constraint 0.59/0.65 c intension z[559]=x[363] using generic constraint 0.59/0.65 c intension z[558]=x[362] using generic constraint 0.59/0.65 c intension z[560]=x[364] using generic constraint 0.59/0.65 c intension z[561]=x[365] using generic constraint 0.59/0.66 c intension z[247]=x[36] using generic constraint 0.59/0.66 c intension z[562]=x[366] using generic constraint 0.59/0.66 c intension z[563]=x[367] using generic constraint 0.59/0.66 c intension z[564]=x[368] using generic constraint 0.59/0.66 c intension z[565]=x[369] using generic constraint 0.59/0.66 c intension z[566]=x[370] using generic constraint 0.59/0.66 c intension z[567]=x[371] using generic constraint 0.59/0.66 c intension z[568]=x[372] using generic constraint 0.59/0.66 c intension z[569]=x[373] using generic constraint 0.59/0.66 c intension z[570]=x[374] using generic constraint 0.59/0.67 c intension z[571]=x[375] using generic constraint 0.59/0.67 c intension z[248]=x[37] using generic constraint 0.59/0.67 c intension z[572]=x[376] using generic constraint 0.59/0.67 c intension z[573]=x[377] using generic constraint 0.59/0.67 c intension z[574]=x[378] using generic constraint 0.59/0.67 c intension z[575]=x[379] using generic constraint 0.59/0.67 c intension z[576]=x[380] using generic constraint 0.59/0.67 c intension z[577]=x[381] using generic constraint 0.59/0.67 c intension z[578]=x[382] using generic constraint 0.59/0.68 c intension z[579]=x[383] using generic constraint 0.59/0.68 c intension z[580]=x[384] using generic constraint 0.59/0.68 c intension z[581]=x[385] using generic constraint 0.59/0.68 c intension z[249]=x[38] using generic constraint 0.59/0.68 c intension z[582]=x[386] using generic constraint 0.59/0.68 c intension z[583]=x[387] using generic constraint 0.59/0.68 c intension z[250]=x[39] using generic constraint 0.59/0.68 c intension z[251]=x[40] using generic constraint 0.59/0.68 c intension z[216]=x[5] using generic constraint 0.59/0.69 c intension z[252]=x[41] using generic constraint 0.59/0.69 c intension z[253]=x[42] using generic constraint 0.59/0.69 c intension z[254]=x[43] using generic constraint 0.59/0.69 c intension z[255]=x[44] using generic constraint 0.59/0.69 c intension z[256]=x[45] using generic constraint 0.59/0.69 c intension z[257]=x[46] using generic constraint 0.59/0.69 c intension z[258]=x[47] using generic constraint 0.59/0.69 c intension z[259]=x[48] using generic constraint 0.59/0.69 c intension z[260]=x[49] using generic constraint 0.59/0.70 c intension z[261]=x[50] using generic constraint 0.69/0.70 c intension z[217]=x[6] using generic constraint 0.69/0.70 c intension z[262]=x[51] using generic constraint 0.69/0.70 c intension z[263]=x[52] using generic constraint 0.69/0.70 c intension z[264]=x[53] using generic constraint 0.69/0.70 c intension z[265]=x[54] using generic constraint 0.69/0.70 c intension z[266]=x[55] using generic constraint 0.69/0.70 c intension z[267]=x[56] using generic constraint 0.69/0.70 c intension z[268]=x[57] using generic constraint 0.69/0.70 c intension z[269]=x[58] using generic constraint 0.69/0.71 c intension z[270]=x[59] using generic constraint 0.69/0.71 c intension z[271]=x[60] using generic constraint 0.69/0.71 c intension z[218]=x[7] using generic constraint 0.69/0.71 c intension z[272]=x[61] using generic constraint 0.69/0.71 c intension z[273]=x[62] using generic constraint 0.69/0.71 c intension z[274]=x[63] using generic constraint 0.69/0.71 c intension z[275]=x[64] using generic constraint 0.69/0.71 c intension z[276]=x[65] using generic constraint 0.69/0.71 c intension z[277]=x[66] using generic constraint 0.69/0.72 c intension z[278]=x[67] using generic constraint 0.69/0.72 c intension z[279]=x[68] using generic constraint 0.69/0.72 c intension z[280]=x[69] using generic constraint 0.69/0.72 c intension z[281]=x[70] using generic constraint 0.69/0.72 c intension z[219]=x[8] using generic constraint 0.69/0.72 c intension z[282]=x[71] using generic constraint 0.69/0.72 c intension z[283]=x[72] using generic constraint 0.69/0.72 c intension z[284]=x[73] using generic constraint 0.69/0.72 c intension z[285]=x[74] using generic constraint 0.69/0.73 c intension z[286]=x[75] using generic constraint 0.69/0.73 c intension z[287]=x[76] using generic constraint 0.69/0.73 c intension z[288]=x[77] using generic constraint 0.69/0.73 c intension z[289]=x[78] using generic constraint 0.69/0.73 c intension z[290]=x[79] using generic constraint 0.69/0.73 c intension z[291]=x[80] using generic constraint 0.69/0.73 c intension z[220]=x[9] using generic constraint 0.69/0.73 c intension z[292]=x[81] using generic constraint 0.69/0.73 c intension z[293]=x[82] using generic constraint 0.69/0.74 c intension z[295]=x[84] using generic constraint 0.69/0.74 c intension z[296]=x[85] using generic constraint 0.69/0.74 c intension z[298]=x[87] using generic constraint 0.69/0.74 c intension z[299]=x[88] using generic constraint 0.69/0.74 c intension z[301]=x[90] using generic constraint 0.69/0.74 c intension z[302]=x[91] using generic constraint 0.69/0.74 c intension z[304]=x[93] using generic constraint 0.69/0.74 c intension z[305]=x[94] using generic constraint 0.69/0.74 c intension z[221]=x[10] using generic constraint 0.69/0.74 c intension z[307]=x[96] using generic constraint 0.69/0.75 c intension z[308]=x[97] using generic constraint 0.69/0.75 c intension z[310]=x[99] using generic constraint 0.69/0.75 c intension z[311]=x[100] using generic constraint 0.69/0.75 c intension z[313]=x[102] using generic constraint 0.69/0.75 c intension z[314]=x[103] using generic constraint 0.69/0.75 c intension z[316]=x[105] using generic constraint 0.69/0.75 c intension z[317]=x[106] using generic constraint 0.69/0.75 c intension z[319]=x[108] using generic constraint 0.69/0.75 c intension z[320]=x[109] using generic constraint 5.68/5.72 c root propagations : 0 5.68/5.72 c restarts enabled, print stats at every restarts 5.68/5.72 c 5.68/5.72 c 5.68/5.72 c 5.68/5.72 c This is cosoco 1.12 -- 5.68/5.72 c 5.68/5.72 c command line: cosoco -lc -model -restarts HOME/instance-4267990-1502585341.xml 5.68/5.72 c ========================================[ Problem Statistics ]=========================================== 5.68/5.72 c | 5.68/5.72 c | Parse time : 4.74 s 5.68/5.72 c | 5.68/5.72 c | Variables: 4167 5.68/5.72 c | Domain Sizes: 2..20001 5.68/5.72 c | 5.68/5.72 c | Constraints: 3932 5.68/5.72 c | Arity: 1..3 -- Unary: 2 -- Binary: 675 -- Ternary: 3255 5.68/5.72 c | 5.68/5.72 c | Types: 5.68/5.72 c | (X = Y): 372 5.68/5.72 c | Intension: 3560 5.68/5.72 c | 5.68/5.72 c ========================================================================================================= 5.68/5.72 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.68/5.78 c 101 998 10803 1906 0 0 275 898 713 5.78/5.85 c 211 2004 17897 3833 0 0 135 897 670 5.88/5.90 c 332 2982 24732 5733 0 0 98 858 571 5.88/5.97 c 465 4004 31994 7743 0 0 99 890 632 5.99/6.03 c 611 5069 39589 9859 0 0 100 920 644 5.99/6.10 c 771 6185 47575 13099 0 0 101 957 679 6.09/6.16 c 947 7329 56267 18242 0 0 102 969 669 6.18/6.24 c 1140 8482 67584 73483 0 0 103 961 705 6.28/6.32 c 1352 9658 78783 129858 0 0 104 965 720 6.28/6.39 c 1585 10871 89328 137794 0 0 105 981 730 6.28/6.40 c 1841 11127 98800 138562 1 0 1 1 0 6.38/6.40 c 2122 11408 109197 139405 1 0 1 1 0 6.38/6.40 c 2431 11717 120630 140332 1 0 1 1 0 6.38/6.41 c 2770 12056 133173 141349 1 0 1 1 0 6.38/6.41 c 3142 12428 146937 142465 1 0 1 1 0 6.38/6.42 c 3551 12837 162070 143692 1 0 1 1 0 6.38/6.42 c 4000 13286 178683 145039 1 0 1 1 0 6.38/6.43 c 4493 13779 196924 146518 1 0 1 1 0 6.38/6.43 c 5035 14321 216978 148144 1 0 1 1 0 6.38/6.44 c 5631 14917 239030 149932 1 0 1 1 0 6.38/6.44 c 6286 15572 263265 151897 1 0 1 1 0 6.38/6.45 c 7006 16292 289905 154057 1 0 1 1 0 6.38/6.46 c 7798 17084 319209 156433 1 0 1 1 0 6.38/6.47 c 8669 17955 351436 159046 1 0 1 1 0 6.38/6.47 c 9627 18913 386882 161920 1 0 1 1 0 6.38/6.48 c 10680 19966 425843 165079 1 0 1 1 0 6.48/6.58 c 11838 22081 473167 320198 1 0 1 958 166 6.58/6.66 c 13111 24336 485394 330055 1 0 100 983 938 6.58/6.68 c 14511 25736 489594 334255 2 0 1 1 0 6.58/6.69 c 16051 27276 494214 338875 2 0 1 1 0 6.68/6.71 c 17745 28970 499296 343957 2 0 1 1 0 6.68/6.73 c 19608 30833 504885 349546 2 0 1 1 0 6.68/6.74 c 21657 32882 511032 355693 2 0 1 1 0 6.99/7.06 c 23910 35516 650132 561109 2 0 1 271 96 7.09/7.15 c 26388 38978 666028 575588 2 0 109 985 961 7.09/7.18 c 29113 41703 674203 583763 3 0 1 1 0 7.18/7.21 c 32110 44700 683194 592754 3 0 1 1 0 7.18/7.24 c 35406 47996 693082 602642 3 0 1 1 0 7.28/7.35 c 39031 52607 712368 619565 3 0 1 987 704 7.28/7.39 c 43018 56594 724329 631526 4 0 1 1 0 7.38/7.44 c 47403 60979 737484 644681 4 0 1 1 0 7.48/7.56 c 52226 66790 760379 665602 4 0 1 989 643 7.58/7.62 c 57531 72095 776294 681517 5 0 1 1 0 7.68/7.75 c 63366 78920 802113 705269 5 0 1 991 185 7.78/7.83 c 69784 85338 821367 724523 6 0 1 1 0 7.88/7.98 c 76843 93390 850857 755442 6 0 1 994 482 7.99/8.08 c 84607 101154 881913 778734 7 0 1 1 0 8.18/8.26 c 93147 110681 918333 811610 7 0 1 988 722 10.78/10.87 c 102541 120410 959041 858456 7 0 115 226 220 13.88/13.94 c 112874 131728 1008547 906711 8 0 1 986 27 18.47/18.51 c 124240 151789 1554543 1228661 8 0 117 232 231 18.67/18.77 c 136742 165286 1600539 1272043 8 0 111 996 379 18.87/19.00 c 150494 179268 1643717 1315454 9 0 1 231 63 22.68/22.72 c 165621 194859 1713676 1387080 9 0 120 203 195 25.78/25.82 c 182260 211728 1775424 1448947 10 0 1 231 92 32.37/32.44 c 200562 257589 1943643 1590068 10 0 122 197 196 32.77/32.88 c 220694 278718 2012468 1655937 10 0 123 998 600 33.27/33.38 c 242839 301862 2087362 1729037 11 0 1 1000 187 33.87/33.96 c 267198 327222 2168918 1808783 12 0 1 1002 261 34.57/34.62 c 293992 355019 2257833 1895839 13 0 1 1004 329 35.27/35.38 c 323465 385497 2354774 1990934 14 0 1 1006 391 36.17/36.26 c 355885 418926 2460551 2094874 15 0 1 1010 448 37.17/37.27 c 391547 455600 2576022 2213002 16 0 1 1013 316 38.37/38.45 c 430775 495824 2712217 2336357 17 0 1 997 376 52.76/52.87 c 473925 564375 4437610 3488899 17 0 19 246 237 54.37/54.46 c 521390 612856 4588656 3636811 17 0 19 1017 522 56.27/56.32 c 573601 666085 4753749 3798938 18 0 1 1019 249 58.47/58.53 c 631033 724537 4934665 3976749 19 0 1 1021 303 61.08/61.13 c 694208 788736 5132837 4171994 20 0 1 1025 366 64.08/64.19 c 763700 859254 5349929 4386191 21 0 1 1027 335 67.77/67.82 c 840141 936725 5587883 4621238 22 0 1 1031 398 72.07/72.11 c 924226 1021844 5848749 4879220 23 0 1 1035 371 77.16/77.22 c 1016719 1115375 6135055 5164036 24 0 1 1039 365 83.16/83.29 c 1118461 1218159 6449121 5476603 25 0 1 1043 345 90.46/90.51 c 1230377 1331121 6793709 5819695 26 0 1 1047 343 99.07/99.13 c 1353484 1455278 7171878 6196364 27 0 1 1051 353 109.35/109.43 c 1488901 1591749 7586984 6609967 28 0 1 1055 362 121.66/121.74 c 1637859 1741765 8042721 7064197 29 0 1 1059 375 136.36/136.47 c 1801712 1906682 8543095 7562116 30 0 1 1065 391 153.97/154.10 c 1981950 2087990 9092613 8109193 31 0 1 1071 378 175.16/175.25 c 2180211 2287325 9696212 8710343 32 0 1 1075 361 200.57/200.65 c 2398298 2506492 10359311 9370977 33 0 1 1081 387 231.07/231.16 c 2638193 2747473 11087876 10097043 34 0 1 1087 392 267.77/267.83 c 2902077 3012451 11888414 10894688 35 0 1 1095 405 311.87/311.91 c 3192349 3303825 12768107 11771502 36 0 1 1103 398 364.87/364.95 c 3511648 3624232 13734957 12735409 37 0 1 1109 390 428.67/428.79 c 3862876 3976578 14797606 13795112 38 0 1 1119 405 505.48/505.53 c 4249226 4364054 15965658 14960189 39 0 1 1127 402 598.00/598.02 c 4674211 4790175 17249595 16241180 40 0 1 1137 410 709.70/709.76 c 5141694 5258804 18661034 17649674 41 0 1 1147 413 843.71/843.78 c 5655925 5774190 20212738 19242420 42 0 1 1152 424 1014.23/1014.28 c 6221579 6340924 21958772 21081032 42 0 20 1069 435 1217.34/1217.37 c 6843798 6964304 23884365 23095743 42 0 19 1154 476 1452.26/1452.22 c 7528238 7649915 26006609 25339361 43 0 1 1157 514 1741.58/1741.59 c 8281122 8403902 28387365 27917134 43 0 16 1077 493 1851.99/1851.96 c 9109294 9232495 30994859 31122934 44 0 1 319 305 1864.59/1864.58 c 10020283 10143914 33730937 34768477 44 0 17 258 212 1996.30/1996.20 c 11022370 11146450 36830365 38736069 44 0 18 318 305 2123.61/2123.51 c 12124665 12259308 40251559 43254646 45 0 1 297 278 2230.02/2229.97 c 13337189 13474869 44097507 48323549 46 0 1 276 254 2260.32/2260.22 c 14670965 14808961 48102967 53880619 46 0 23 107 95 2520.05/2519.90 2520.05/2519.90 c *** INTERRUPTED *** 2520.05/2519.90 c restarts : 101 2520.05/2519.90 c conflicts : 15701264 (6233 /sec) 2520.05/2519.90 c decisions : 16008745 (6355 /sec) 2520.05/2519.90 c propagations : 941132194 (373612 /sec) 2520.05/2519.90 c root propagations : 0 2520.05/2519.90 c filter calls : 52680721 (20913 /sec) 2520.05/2519.90 c useless filter calls : 36242332 (68 %) 2520.05/2519.90 c Memory used : 2807.07 MB 2520.05/2519.90 c CPU time : 2519.01 s 2520.05/2519.90 2520.05/2519.90 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 (11734 MiB free)
memory of node 1: 16384 MiB (14938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267990-1502585341/watcher-4267990-1502585341 -o /tmp/evaluation-result-4267990-1502585341/solver-4267990-1502585341 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502571587-3600 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267990-1502585341.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4890, runsolver pid=4887
Current StackSize limit: 8192 KiB
[startup+0.100424 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=27167992/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=180044 memory=156084 CPUtime=0.1 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 39189 0 0 0 6 4 0 0 20 0 1 0 91615274 184365056 39021 33554432000 4194304 5972588 140728831766752 140728831762008 5127437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 45011 39021 710 435 0 38374 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 180044 KiB
Current children cumulated memory: 156084 KiB
[startup+0.209695 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=26991384/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=362956 memory=339036 CPUtime=0.2 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 84932 0 0 0 10 10 0 0 20 0 1 0 91615274 371666944 84759 33554432000 4194304 5972588 140728831766752 140728831762008 5127437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 90739 84759 710 435 0 84102 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 362956 KiB
Current children cumulated memory: 339036 KiB
[startup+0.309646 s]*
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=26823612/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=530356 memory=506412 CPUtime=0.31 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 126778 0 0 0 16 15 0 0 20 0 1 0 91615274 543084544 126603 33554432000 4194304 5972588 140728831766752 140728831762008 5127437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 132589 126603 710 435 0 125952 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 530356 KiB
Current children cumulated memory: 506412 KiB
[startup+0.700283 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=26751444/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=591060 memory=567396 CPUtime=0.69 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 142063 0 0 0 52 17 0 0 20 0 1 0 91615274 605245440 141849 33554432000 4194304 5972588 140728831766752 140728831762008 139977565620128 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 147765 141849 790 435 0 141128 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 591060 KiB
Current children cumulated memory: 567396 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=26679524/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=818580 memory=795080 CPUtime=1.48 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 198934 0 0 0 125 23 0 0 20 0 1 0 91615274 838225920 198770 33554432000 4194304 5972588 140728831766752 140728831760312 5211061 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 204645 198770 790 435 0 198008 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 818580 KiB
Current children cumulated memory: 795080 KiB
[startup+3.10945 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=25982380/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=1403272 memory=1379708 CPUtime=3.09 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 345826 0 0 0 268 41 0 0 20 0 1 0 91615274 1436950528 344927 33554432000 4194304 5972588 140728831766752 140728831760312 139977565564732 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 350818 344927 790 435 0 344181 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1403272 KiB
Current children cumulated memory: 1379708 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=24474264/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2860440 memory=2837076 CPUtime=6.28 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 720736 0 0 0 545 83 0 0 20 0 1 0 91615274 2929090560 709269 33554432000 4194304 5972588 140728831766752 140728831764056 5338185 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 715110 709269 827 435 0 708473 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2860440 KiB
Current children cumulated memory: 2837076 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 4891
/proc/meminfo: memFree=24473132/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2861284 memory=2837952 CPUtime=12.68 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 722333 0 0 0 1185 83 0 0 20 0 1 0 91615274 2929954816 709488 33554432000 4194304 5972588 140728831766752 140728831764056 5139329 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 715321 709488 827 435 0 708684 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2861284 KiB
Current children cumulated memory: 2837952 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4891
/proc/meminfo: memFree=24472580/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2861908 memory=2838588 CPUtime=25.48 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 736490 0 0 0 2463 85 0 0 20 0 1 0 91615274 2930593792 709647 33554432000 4194304 5972588 140728831766752 140728831764056 4965339 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 715477 709647 827 435 0 708840 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2861908 KiB
Current children cumulated memory: 2838588 KiB
[startup+51.1088 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4891
/proc/meminfo: memFree=24472344/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2862472 memory=2839008 CPUtime=51.07 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 748094 0 0 0 5022 85 0 0 20 0 1 0 91615274 2931171328 709752 33554432000 4194304 5972588 140728831766752 140728831764056 4909624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 715618 709752 827 435 0 708981 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2862472 KiB
Current children cumulated memory: 2839008 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4892
/proc/meminfo: memFree=24472112/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2863752 memory=2839976 CPUtime=102.26 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 765876 0 0 0 10139 87 0 0 20 0 1 0 91615274 2932482048 709994 33554432000 4194304 5972588 140728831766752 140728831764056 5312304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 715938 709994 827 435 0 709301 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2863752 KiB
Current children cumulated memory: 2839976 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4893
/proc/meminfo: memFree=24471788/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2863888 memory=2840576 CPUtime=162.26 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 781299 0 0 0 16137 89 0 0 20 0 1 0 91615274 2932621312 710144 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 715972 710144 827 435 0 709335 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2863888 KiB
Current children cumulated memory: 2840576 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4894
/proc/meminfo: memFree=24471008/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2864744 memory=2841000 CPUtime=222.27 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 797840 0 0 0 22136 91 0 0 20 0 1 0 91615274 2933497856 710250 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 716186 710250 827 435 0 709549 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2864744 KiB
Current children cumulated memory: 2841000 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4895
/proc/meminfo: memFree=24470284/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2864876 memory=2841476 CPUtime=282.27 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 815601 0 0 0 28135 92 0 0 20 0 1 0 91615274 2933633024 710369 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 716219 710369 827 435 0 709582 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2864876 KiB
Current children cumulated memory: 2841476 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4903
/proc/meminfo: memFree=24468608/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2866088 memory=2841744 CPUtime=342.28 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 828365 0 0 0 34134 94 0 0 20 0 1 0 91615274 2934874112 710436 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 716522 710436 827 435 0 709885 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2866088 KiB
Current children cumulated memory: 2841744 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4904
/proc/meminfo: memFree=24468512/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2866088 memory=2842048 CPUtime=402.27 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 836337 0 0 0 40133 94 0 0 20 0 1 0 91615274 2934874112 710512 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 716522 710512 827 435 0 709885 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2866088 KiB
Current children cumulated memory: 2842048 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 4905
/proc/meminfo: memFree=24468292/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2866220 memory=2842380 CPUtime=462.27 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 840598 0 0 0 46132 95 0 0 20 0 1 0 91615274 2935009280 710595 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 716555 710595 827 435 0 709918 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2866220 KiB
Current children cumulated memory: 2842380 KiB
################
# More data... #
################
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4968
/proc/meminfo: memFree=24458980/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849208 CPUtime=1842.39 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 908507 0 0 0 184136 103 0 0 20 0 1 0 91615274 2942074880 712302 33554432000 4194304 5972588 140728831766752 140728831763720 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4969
/proc/meminfo: memFree=24459404/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849208 CPUtime=1902.4 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 910104 0 0 0 190137 103 0 0 20 0 1 0 91615274 2942074880 712302 33554432000 4194304 5972588 140728831766752 140728831764056 5312304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4970
/proc/meminfo: memFree=24459156/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849208 CPUtime=1962.4 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 912019 0 0 0 196137 103 0 0 20 0 1 0 91615274 2942074880 712302 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4971
/proc/meminfo: memFree=24459636/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849208 CPUtime=2022.41 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 913806 0 0 0 202138 103 0 0 20 0 1 0 91615274 2942074880 712302 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4972
/proc/meminfo: memFree=24459156/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849208 CPUtime=2082.41 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 915337 0 0 0 208138 103 0 0 20 0 1 0 91615274 2942074880 712302 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4978
/proc/meminfo: memFree=24458320/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849208 CPUtime=2142.42 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 917299 0 0 0 214139 103 0 0 20 0 1 0 91615274 2942074880 712302 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4979
/proc/meminfo: memFree=24458632/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849208 CPUtime=2202.42 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 918406 0 0 0 220139 103 0 0 20 0 1 0 91615274 2942074880 712302 33554432000 4194304 5972588 140728831766752 140728831764056 5312304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712302 827 435 0 711643 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849208 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5041
/proc/meminfo: memFree=23104404/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873120 memory=2849212 CPUtime=2262.42 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 919698 0 0 0 226139 103 0 0 20 0 1 0 91615274 2942074880 712303 33554432000 4194304 5972588 140728831766752 140728831764056 5312315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718280 712303 827 435 0 711643 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 2873120 KiB
Current children cumulated memory: 2849212 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5042
/proc/meminfo: memFree=23103852/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2873516 memory=2849684 CPUtime=2322.44 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 921103 0 0 0 232140 104 0 0 20 0 1 0 91615274 2942480384 712421 33554432000 4194304 5972588 140728831766752 140728831763720 5338164 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718379 712421 827 435 0 711742 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 2873516 KiB
Current children cumulated memory: 2849684 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5043
/proc/meminfo: memFree=23102720/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2874440 memory=2850620 CPUtime=2382.44 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 922266 0 0 0 238140 104 0 0 20 0 1 0 91615274 2943426560 712655 33554432000 4194304 5972588 140728831766752 140728831763720 5071648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718610 712655 827 435 0 711973 0
Current children cumulated CPU time: 2382.44 s
Current children cumulated vsize: 2874440 KiB
Current children cumulated memory: 2850620 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 5044
/proc/meminfo: memFree=23102696/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2874440 memory=2850620 CPUtime=2442.44 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 924314 0 0 0 244140 104 0 0 20 0 1 0 91615274 2943426560 712655 33554432000 4194304 5972588 140728831766752 140728831763720 5312304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718610 712655 827 435 0 711973 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 2874440 KiB
Current children cumulated memory: 2850620 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 5045
/proc/meminfo: memFree=23102632/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2874440 memory=2850620 CPUtime=2502.45 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 925634 0 0 0 250141 104 0 0 20 0 1 0 91615274 2943426560 712655 33554432000 4194304 5972588 140728831766752 140728831763720 5139324 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718610 712655 827 435 0 711973 0
Current children cumulated CPU time: 2502.45 s
Current children cumulated vsize: 2874440 KiB
Current children cumulated memory: 2850620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 5045
/proc/meminfo: memFree=23102756/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2874440 memory=2850620 CPUtime=2520.05 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 926249 0 0 0 251901 104 0 0 20 0 1 0 91615274 2943426560 712655 33554432000 4194304 5972588 140728831766752 140728831763720 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718610 712655 827 435 0 711973 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2874440 KiB
Current children cumulated memory: 2850620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 4890 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.01 s, system=1.05408 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 5045
/proc/meminfo: memFree=23102756/32770624 swapFree=67108860/67108860
[pid=4890] ppid=4887 vsize=2874440 memory=2850620 CPUtime=2520.05 cores=1,3,5,7
/proc/4890/stat : 4890 (cosoco) R 4887 4890 3568 0 -1 4202496 926249 0 0 0 251901 104 0 0 20 0 1 0 91615274 2943426560 712655 33554432000 4194304 5972588 140728831766752 140728831763720 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 28147712 140728831771839 140728831771934 140728831771934 140728831774670 0
/proc/4890/statm: 718610 712655 827 435 0 711973 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 2874440 KiB
Current children cumulated memory: 2850620 KiB
Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.07
CPU user time (s): 2519.01
CPU system time (s): 1.05408
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2874440
Max. memory (cumulated for all children) (KiB): 2850620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.01
system time used= 1.05408
maximum resident set size= 2850692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 926301
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= 67
involuntary context switches= 4136
# summary of solver processes directly reported to runsolver:
# pid: 4890
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.01
# total CPU system time (s): 1.05408
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.69216 second user time and 16.1413 second system time
The end
Begin job on node150 at 2017-08-13 02:34:43 IDJOB=4267990 IDBENCH=139204 IDSOLVER=2658 FILE ID=node150/4267990-1502585341 RUNJOBID= node150-1502571587-3600 PBS_JOBID= 20628290 Free space on /tmp= 61636 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-05-03-fair.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267990-1502585341/watcher-4267990-1502585341 -o /tmp/evaluation-result-4267990-1502585341/solver-4267990-1502585341 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502571587-3600 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267990-1502585341.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ebcae7fb870db8f75b7458b98ea920fc RANDOM SEED=1777524029 node150.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.89 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.89 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.89 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.89 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: 27314344 kB MemAvailable: 31979872 kB Buffers: 216104 kB Cached: 4738568 kB SwapCached: 0 kB Active: 658864 kB Inactive: 4361240 kB Active(anon): 68276 kB Inactive(anon): 25068 kB Active(file): 590588 kB Inactive(file): 4336172 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2348 kB Writeback: 0 kB AnonPages: 71668 kB Mapped: 44580 kB Shmem: 25224 kB Slab: 135668 kB SReclaimable: 109204 kB SUnreclaim: 26464 kB KernelStack: 3280 kB PageTables: 5092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 362752 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61632 MiB End job on node150 at 2017-08-13 03:16:43