Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (TO) | 2400.04 | 2400.51 |
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.29/0.38 c intension z[212]=x[1] using generic constraint 0.29/0.38 c intension z[213]=x[2] using generic constraint 0.29/0.38 c intension z[222]=x[11] using generic constraint 0.29/0.38 c intension z[322]=x[111] using generic constraint 0.29/0.38 c intension z[323]=x[112] using generic constraint 0.29/0.39 c intension z[325]=x[114] using generic constraint 0.29/0.39 c intension z[326]=x[115] using generic constraint 0.29/0.39 c intension z[328]=x[117] using generic constraint 0.29/0.39 c intension z[329]=x[118] using generic constraint 0.29/0.39 c intension z[331]=x[120] using generic constraint 0.29/0.39 c intension z[332]=x[121] using generic constraint 0.29/0.39 c intension z[334]=x[123] using generic constraint 0.29/0.39 c intension z[335]=x[124] using generic constraint 0.29/0.39 c intension z[223]=x[12] using generic constraint 0.29/0.39 c intension z[337]=x[126] using generic constraint 0.29/0.40 c intension z[338]=x[127] using generic constraint 0.39/0.40 c intension z[340]=x[129] using generic constraint 0.39/0.40 c intension z[341]=x[130] using generic constraint 0.39/0.40 c intension z[343]=x[132] using generic constraint 0.39/0.40 c intension z[344]=x[133] using generic constraint 0.39/0.40 c intension z[346]=x[135] using generic constraint 0.39/0.40 c intension z[347]=x[136] using generic constraint 0.39/0.40 c intension z[349]=x[138] using generic constraint 0.39/0.40 c intension z[350]=x[139] using generic constraint 0.39/0.41 c intension z[224]=x[13] using generic constraint 0.39/0.41 c intension z[367]=x[171] using generic constraint 0.39/0.41 c intension z[368]=x[172] using generic constraint 0.39/0.41 c intension z[352]=x[142] using generic constraint 0.39/0.41 c intension z[369]=x[173] using generic constraint 0.39/0.41 c intension z[370]=x[174] using generic constraint 0.39/0.41 c intension z[372]=x[176] using generic constraint 0.39/0.41 c intension z[373]=x[177] using generic constraint 0.39/0.41 c intension z[374]=x[178] using generic constraint 0.39/0.41 c intension z[353]=x[144] using generic constraint 0.39/0.42 c intension z[375]=x[179] using generic constraint 0.39/0.42 c intension z[225]=x[14] using generic constraint 0.39/0.42 c intension z[376]=x[180] using generic constraint 0.39/0.42 c intension z[378]=x[182] using generic constraint 0.39/0.42 c intension z[379]=x[183] using generic constraint 0.39/0.42 c intension z[380]=x[184] using generic constraint 0.39/0.42 c intension z[354]=x[146] using generic constraint 0.39/0.42 c intension z[381]=x[185] using generic constraint 0.39/0.42 c intension z[382]=x[186] using generic constraint 0.39/0.43 c intension z[384]=x[188] using generic constraint 0.39/0.43 c intension z[385]=x[189] using generic constraint 0.39/0.43 c intension z[386]=x[190] using generic constraint 0.39/0.43 c intension z[226]=x[15] using generic constraint 0.39/0.43 c intension z[387]=x[191] using generic constraint 0.39/0.43 c intension z[388]=x[192] using generic constraint 0.39/0.43 c intension z[389]=x[193] using generic constraint 0.39/0.43 c intension z[355]=x[148] using generic constraint 0.39/0.43 c intension z[390]=x[194] using generic constraint 0.39/0.43 c intension z[391]=x[195] using generic constraint 0.39/0.44 c intension z[393]=x[197] using generic constraint 0.39/0.44 c intension z[394]=x[198] using generic constraint 0.39/0.44 c intension z[395]=x[199] using generic constraint 0.39/0.44 c intension z[356]=x[150] using generic constraint 0.39/0.44 c intension z[227]=x[16] using generic constraint 0.39/0.44 c intension z[396]=x[200] using generic constraint 0.39/0.44 c intension z[397]=x[201] using generic constraint 0.39/0.44 c intension z[399]=x[203] using generic constraint 0.39/0.44 c intension z[400]=x[204] using generic constraint 0.39/0.44 c intension z[401]=x[205] using generic constraint 0.39/0.45 c intension z[357]=x[152] using generic constraint 0.39/0.45 c intension z[402]=x[206] using generic constraint 0.39/0.45 c intension z[403]=x[207] using generic constraint 0.39/0.45 c intension z[405]=x[209] using generic constraint 0.39/0.45 c intension z[406]=x[210] using generic constraint 0.39/0.45 c intension z[228]=x[17] using generic constraint 0.39/0.45 c intension z[407]=x[211] using generic constraint 0.39/0.45 c intension z[358]=x[154] using generic constraint 0.39/0.45 c intension z[408]=x[212] using generic constraint 0.39/0.46 c intension z[409]=x[213] using generic constraint 0.39/0.46 c intension z[411]=x[215] using generic constraint 0.39/0.46 c intension z[412]=x[216] using generic constraint 0.39/0.46 c intension z[413]=x[217] using generic constraint 0.39/0.46 c intension z[359]=x[156] using generic constraint 0.39/0.46 c intension z[414]=x[218] using generic constraint 0.39/0.46 c intension z[415]=x[219] using generic constraint 0.39/0.46 c intension z[229]=x[18] using generic constraint 0.39/0.46 c intension z[417]=x[221] using generic constraint 0.39/0.46 c intension z[418]=x[222] using generic constraint 0.39/0.47 c intension z[419]=x[223] using generic constraint 0.39/0.47 c intension z[360]=x[158] using generic constraint 0.39/0.47 c intension z[420]=x[224] using generic constraint 0.39/0.47 c intension z[421]=x[225] using generic constraint 0.39/0.47 c intension z[423]=x[227] using generic constraint 0.39/0.47 c intension z[424]=x[228] using generic constraint 0.39/0.47 c intension z[425]=x[229] using generic constraint 0.39/0.47 c intension z[361]=x[160] using generic constraint 0.39/0.47 c intension z[230]=x[19] using generic constraint 0.39/0.48 c intension z[426]=x[230] using generic constraint 0.39/0.48 c intension z[427]=x[231] using generic constraint 0.39/0.48 c intension z[429]=x[233] using generic constraint 0.39/0.48 c intension z[430]=x[234] using generic constraint 0.39/0.48 c intension z[431]=x[235] using generic constraint 0.39/0.48 c intension z[362]=x[162] using generic constraint 0.39/0.48 c intension z[432]=x[236] using generic constraint 0.39/0.48 c intension z[433]=x[237] using generic constraint 0.39/0.48 c intension z[435]=x[239] using generic constraint 0.39/0.48 c intension z[436]=x[240] using generic constraint 0.39/0.49 c intension z[231]=x[20] using generic constraint 0.39/0.49 c intension z[437]=x[241] using generic constraint 0.39/0.49 c intension z[363]=x[164] using generic constraint 0.39/0.49 c intension z[438]=x[242] using generic constraint 0.39/0.49 c intension z[439]=x[243] using generic constraint 0.39/0.49 c intension z[441]=x[245] using generic constraint 0.39/0.49 c intension z[442]=x[246] using generic constraint 0.39/0.49 c intension z[443]=x[247] using generic constraint 0.39/0.49 c intension z[364]=x[166] using generic constraint 0.39/0.50 c intension z[444]=x[248] using generic constraint 0.49/0.50 c intension z[445]=x[249] using generic constraint 0.49/0.50 c intension z[214]=x[3] using generic constraint 0.49/0.50 c intension z[232]=x[21] using generic constraint 0.49/0.50 c intension z[447]=x[251] using generic constraint 0.49/0.50 c intension z[448]=x[252] using generic constraint 0.49/0.50 c intension z[449]=x[253] using generic constraint 0.49/0.50 c intension z[365]=x[168] using generic constraint 0.49/0.50 c intension z[450]=x[254] using generic constraint 0.49/0.50 c intension z[451]=x[255] using generic constraint 0.49/0.51 c intension z[453]=x[257] using generic constraint 0.49/0.51 c intension z[454]=x[258] using generic constraint 0.49/0.51 c intension z[455]=x[259] using generic constraint 0.49/0.51 c intension z[366]=x[170] using generic constraint 0.49/0.51 c intension z[233]=x[22] using generic constraint 0.49/0.51 c intension z[456]=x[260] using generic constraint 0.49/0.51 c intension z[457]=x[261] using generic constraint 0.49/0.51 c intension z[459]=x[263] using generic constraint 0.49/0.51 c intension z[460]=x[264] using generic constraint 0.49/0.52 c intension z[371]=x[175] using generic constraint 0.49/0.52 c intension z[462]=x[266] using generic constraint 0.49/0.52 c intension z[377]=x[181] using generic constraint 0.49/0.52 c intension z[464]=x[268] using generic constraint 0.49/0.52 c intension z[383]=x[187] using generic constraint 0.49/0.52 c intension z[466]=x[270] using generic constraint 0.49/0.52 c intension z[234]=x[23] using generic constraint 0.49/0.52 c intension z[392]=x[196] using generic constraint 0.49/0.52 c intension z[468]=x[272] using generic constraint 0.49/0.52 c intension z[398]=x[202] using generic constraint 0.49/0.53 c intension z[470]=x[274] using generic constraint 0.49/0.53 c intension z[404]=x[208] using generic constraint 0.49/0.53 c intension z[472]=x[276] using generic constraint 0.49/0.53 c intension z[410]=x[214] using generic constraint 0.49/0.53 c intension z[474]=x[278] using generic constraint 0.49/0.53 c intension z[416]=x[220] using generic constraint 0.49/0.53 c intension z[476]=x[280] using generic constraint 0.49/0.53 c intension z[235]=x[24] using generic constraint 0.49/0.53 c intension z[422]=x[226] using generic constraint 0.49/0.54 c intension z[478]=x[282] using generic constraint 0.49/0.54 c intension z[428]=x[232] using generic constraint 0.49/0.54 c intension z[480]=x[284] using generic constraint 0.49/0.54 c intension z[434]=x[238] using generic constraint 0.49/0.54 c intension z[482]=x[286] using generic constraint 0.49/0.54 c intension z[440]=x[244] using generic constraint 0.49/0.54 c intension z[484]=x[288] using generic constraint 0.49/0.54 c intension z[446]=x[250] using generic constraint 0.49/0.54 c intension z[486]=x[290] using generic constraint 0.49/0.54 c intension z[236]=x[25] using generic constraint 0.49/0.55 c intension z[452]=x[256] using generic constraint 0.49/0.55 c intension z[488]=x[292] using generic constraint 0.49/0.55 c intension z[458]=x[262] using generic constraint 0.49/0.55 c intension z[490]=x[294] using generic constraint 0.49/0.55 c intension z[461]=x[265] using generic constraint 0.49/0.55 c intension z[493]=x[297] using generic constraint 0.49/0.55 c intension z[463]=x[267] using generic constraint 0.49/0.55 c intension z[496]=x[300] using generic constraint 0.49/0.55 c intension z[465]=x[269] using generic constraint 0.49/0.56 c intension z[467]=x[271] using generic constraint 0.49/0.56 c intension z[237]=x[26] using generic constraint 0.49/0.56 c intension z[492]=x[296] using generic constraint 0.49/0.56 c intension z[469]=x[273] using generic constraint 0.49/0.56 c intension z[495]=x[299] using generic constraint 0.49/0.56 c intension z[471]=x[275] using generic constraint 0.49/0.56 c intension z[498]=x[302] using generic constraint 0.49/0.56 c intension z[473]=x[277] using generic constraint 0.49/0.56 c intension z[475]=x[279] using generic constraint 0.49/0.56 c intension z[477]=x[281] using generic constraint 0.49/0.57 c intension z[479]=x[283] using generic constraint 0.49/0.57 c intension z[481]=x[285] using generic constraint 0.49/0.57 c intension z[238]=x[27] using generic constraint 0.49/0.57 c intension z[483]=x[287] using generic constraint 0.49/0.57 c intension z[485]=x[289] using generic constraint 0.49/0.57 c intension z[487]=x[291] using generic constraint 0.49/0.57 c intension z[489]=x[293] using generic constraint 0.49/0.57 c intension z[499]=x[303] using generic constraint 0.49/0.57 c intension z[501]=x[305] using generic constraint 0.49/0.58 c intension z[503]=x[307] using generic constraint 0.49/0.58 c intension z[505]=x[309] using generic constraint 0.49/0.58 c intension z[507]=x[311] using generic constraint 0.49/0.58 c intension z[509]=x[313] using generic constraint 0.49/0.58 c intension z[239]=x[28] using generic constraint 0.49/0.58 c intension z[511]=x[315] using generic constraint 0.49/0.58 c intension z[513]=x[317] using generic constraint 0.49/0.58 c intension z[515]=x[319] using generic constraint 0.49/0.58 c intension z[517]=x[321] using generic constraint 0.49/0.58 c intension z[519]=x[323] using generic constraint 0.49/0.59 c intension z[521]=x[325] using generic constraint 0.49/0.59 c intension z[523]=x[327] using generic constraint 0.49/0.59 c intension z[525]=x[329] using generic constraint 0.49/0.59 c intension z[527]=x[331] using generic constraint 0.49/0.59 c intension z[491]=x[295] using generic constraint 0.49/0.59 c intension z[240]=x[29] using generic constraint 0.49/0.59 c intension z[494]=x[298] using generic constraint 0.49/0.59 c intension z[497]=x[301] using generic constraint 0.49/0.59 c intension z[500]=x[304] using generic constraint 0.59/0.60 c intension z[529]=x[333] using generic constraint 0.59/0.60 c intension z[297]=x[86] using generic constraint 0.59/0.60 c intension z[294]=x[83] using generic constraint 0.59/0.60 c intension z[535]=x[339] using generic constraint 0.59/0.60 c intension z[530]=x[334] using generic constraint 0.59/0.60 c intension z[502]=x[306] using generic constraint 0.59/0.60 c intension z[531]=x[335] using generic constraint 0.59/0.60 c intension z[241]=x[30] using generic constraint 0.59/0.60 c intension z[300]=x[89] using generic constraint 0.59/0.61 c intension z[537]=x[341] using generic constraint 0.59/0.61 c intension z[536]=x[340] using generic constraint 0.59/0.61 c intension z[532]=x[336] using generic constraint 0.59/0.61 c intension z[504]=x[308] using generic constraint 0.59/0.61 c intension z[533]=x[337] using generic constraint 0.59/0.61 c intension z[303]=x[92] using generic constraint 0.59/0.61 c intension z[539]=x[343] using generic constraint 0.59/0.61 c intension z[538]=x[342] using generic constraint 0.59/0.61 c intension z[534]=x[338] using generic constraint 0.59/0.61 c intension z[215]=x[4] using generic constraint 0.59/0.62 c intension z[242]=x[31] using generic constraint 0.59/0.62 c intension z[506]=x[310] using generic constraint 0.59/0.62 c intension z[309]=x[98] using generic constraint 0.59/0.62 c intension z[306]=x[95] using generic constraint 0.59/0.62 c intension z[540]=x[344] using generic constraint 0.59/0.62 c intension z[508]=x[312] using generic constraint 0.59/0.62 c intension z[312]=x[101] using generic constraint 0.59/0.62 c intension z[542]=x[346] using generic constraint 0.59/0.62 c intension z[541]=x[345] using generic constraint 0.59/0.63 c intension z[510]=x[314] using generic constraint 0.59/0.63 c intension z[315]=x[104] using generic constraint 0.59/0.63 c intension z[243]=x[32] using generic constraint 0.59/0.63 c intension z[544]=x[348] using generic constraint 0.59/0.63 c intension z[543]=x[347] using generic constraint 0.59/0.63 c intension z[512]=x[316] using generic constraint 0.59/0.63 c intension z[321]=x[110] using generic constraint 0.59/0.63 c intension z[318]=x[107] using generic constraint 0.59/0.63 c intension z[545]=x[349] using generic constraint 0.59/0.63 c intension z[514]=x[318] using generic constraint 0.59/0.64 c intension z[324]=x[113] using generic constraint 0.59/0.64 c intension z[547]=x[351] using generic constraint 0.59/0.64 c intension z[546]=x[350] using generic constraint 0.59/0.64 c intension z[244]=x[33] using generic constraint 0.59/0.64 c intension z[516]=x[320] using generic constraint 0.59/0.64 c intension z[327]=x[116] using generic constraint 0.59/0.64 c intension z[549]=x[353] using generic constraint 0.59/0.64 c intension z[548]=x[352] using generic constraint 0.59/0.64 c intension z[518]=x[322] using generic constraint 0.59/0.65 c intension z[333]=x[122] using generic constraint 0.59/0.65 c intension z[330]=x[119] using generic constraint 0.59/0.65 c intension z[550]=x[354] using generic constraint 0.59/0.65 c intension z[520]=x[324] using generic constraint 0.59/0.65 c intension z[336]=x[125] using generic constraint 0.59/0.65 c intension z[245]=x[34] using generic constraint 0.59/0.65 c intension z[552]=x[356] using generic constraint 0.59/0.65 c intension z[551]=x[355] using generic constraint 0.59/0.65 c intension z[522]=x[326] using generic constraint 0.59/0.65 c intension z[339]=x[128] using generic constraint 0.59/0.66 c intension z[554]=x[358] using generic constraint 0.59/0.66 c intension z[553]=x[357] using generic constraint 0.59/0.66 c intension z[524]=x[328] using generic constraint 0.59/0.66 c intension z[345]=x[134] using generic constraint 0.59/0.66 c intension z[342]=x[131] using generic constraint 0.59/0.66 c intension z[555]=x[359] using generic constraint 0.59/0.66 c intension z[246]=x[35] using generic constraint 0.59/0.66 c intension z[526]=x[330] using generic constraint 0.59/0.66 c intension z[348]=x[137] using generic constraint 0.59/0.67 c intension z[557]=x[361] using generic constraint 0.59/0.67 c intension z[556]=x[360] using generic constraint 0.59/0.67 c intension z[528]=x[332] using generic constraint 0.59/0.67 c intension z[351]=x[140] using generic constraint 0.59/0.67 c intension z[559]=x[363] using generic constraint 0.59/0.67 c intension z[558]=x[362] using generic constraint 0.59/0.67 c intension z[560]=x[364] using generic constraint 0.59/0.67 c intension z[561]=x[365] using generic constraint 0.59/0.67 c intension z[247]=x[36] using generic constraint 0.59/0.67 c intension z[562]=x[366] using generic constraint 0.59/0.68 c intension z[563]=x[367] using generic constraint 0.59/0.68 c intension z[564]=x[368] using generic constraint 0.59/0.68 c intension z[565]=x[369] using generic constraint 0.59/0.68 c intension z[566]=x[370] using generic constraint 0.59/0.68 c intension z[567]=x[371] using generic constraint 0.59/0.68 c intension z[568]=x[372] using generic constraint 0.59/0.68 c intension z[569]=x[373] using generic constraint 0.59/0.68 c intension z[570]=x[374] using generic constraint 0.59/0.68 c intension z[571]=x[375] using generic constraint 0.59/0.69 c intension z[248]=x[37] using generic constraint 0.59/0.69 c intension z[572]=x[376] using generic constraint 0.59/0.69 c intension z[573]=x[377] using generic constraint 0.59/0.69 c intension z[574]=x[378] using generic constraint 0.59/0.69 c intension z[575]=x[379] using generic constraint 0.59/0.69 c intension z[576]=x[380] using generic constraint 0.59/0.69 c intension z[577]=x[381] using generic constraint 0.59/0.69 c intension z[578]=x[382] using generic constraint 0.59/0.69 c intension z[579]=x[383] using generic constraint 0.59/0.70 c intension z[580]=x[384] using generic constraint 0.68/0.70 c intension z[581]=x[385] using generic constraint 0.68/0.70 c intension z[249]=x[38] using generic constraint 0.68/0.70 c intension z[582]=x[386] using generic constraint 0.68/0.70 c intension z[583]=x[387] using generic constraint 0.68/0.70 c intension z[250]=x[39] using generic constraint 0.68/0.70 c intension z[251]=x[40] using generic constraint 0.68/0.70 c intension z[216]=x[5] using generic constraint 0.68/0.70 c intension z[252]=x[41] using generic constraint 0.68/0.70 c intension z[253]=x[42] using generic constraint 0.68/0.71 c intension z[254]=x[43] using generic constraint 0.68/0.71 c intension z[255]=x[44] using generic constraint 0.68/0.71 c intension z[256]=x[45] using generic constraint 0.68/0.71 c intension z[257]=x[46] using generic constraint 0.68/0.71 c intension z[258]=x[47] using generic constraint 0.68/0.71 c intension z[259]=x[48] using generic constraint 0.68/0.71 c intension z[260]=x[49] using generic constraint 0.68/0.71 c intension z[261]=x[50] using generic constraint 0.68/0.71 c intension z[217]=x[6] using generic constraint 0.68/0.72 c intension z[262]=x[51] using generic constraint 0.68/0.72 c intension z[263]=x[52] using generic constraint 0.68/0.72 c intension z[264]=x[53] using generic constraint 0.68/0.72 c intension z[265]=x[54] using generic constraint 0.68/0.72 c intension z[266]=x[55] using generic constraint 0.68/0.72 c intension z[267]=x[56] using generic constraint 0.68/0.72 c intension z[268]=x[57] using generic constraint 0.68/0.72 c intension z[269]=x[58] using generic constraint 0.68/0.72 c intension z[270]=x[59] using generic constraint 0.68/0.72 c intension z[271]=x[60] using generic constraint 0.68/0.73 c intension z[218]=x[7] using generic constraint 0.68/0.73 c intension z[272]=x[61] using generic constraint 0.68/0.73 c intension z[273]=x[62] using generic constraint 0.68/0.73 c intension z[274]=x[63] using generic constraint 0.68/0.73 c intension z[275]=x[64] using generic constraint 0.68/0.73 c intension z[276]=x[65] using generic constraint 0.68/0.73 c intension z[277]=x[66] using generic constraint 0.68/0.73 c intension z[278]=x[67] using generic constraint 0.68/0.73 c intension z[279]=x[68] using generic constraint 0.68/0.74 c intension z[280]=x[69] using generic constraint 0.68/0.74 c intension z[281]=x[70] using generic constraint 0.68/0.74 c intension z[219]=x[8] using generic constraint 0.68/0.74 c intension z[282]=x[71] using generic constraint 0.68/0.74 c intension z[283]=x[72] using generic constraint 0.68/0.74 c intension z[284]=x[73] using generic constraint 0.68/0.74 c intension z[285]=x[74] using generic constraint 0.68/0.74 c intension z[286]=x[75] using generic constraint 0.68/0.74 c intension z[287]=x[76] using generic constraint 0.68/0.75 c intension z[288]=x[77] using generic constraint 0.68/0.75 c intension z[289]=x[78] using generic constraint 0.68/0.75 c intension z[290]=x[79] using generic constraint 0.68/0.75 c intension z[291]=x[80] using generic constraint 0.68/0.75 c intension z[220]=x[9] using generic constraint 0.68/0.75 c intension z[292]=x[81] using generic constraint 0.68/0.75 c intension z[293]=x[82] using generic constraint 0.68/0.75 c intension z[295]=x[84] using generic constraint 0.68/0.75 c intension z[296]=x[85] using generic constraint 0.68/0.75 c intension z[298]=x[87] using generic constraint 0.68/0.76 c intension z[299]=x[88] using generic constraint 0.68/0.76 c intension z[301]=x[90] using generic constraint 0.68/0.76 c intension z[302]=x[91] using generic constraint 0.68/0.76 c intension z[304]=x[93] using generic constraint 0.68/0.76 c intension z[305]=x[94] using generic constraint 0.68/0.76 c intension z[221]=x[10] using generic constraint 0.68/0.76 c intension z[307]=x[96] using generic constraint 0.68/0.76 c intension z[308]=x[97] using generic constraint 0.68/0.76 c intension z[310]=x[99] using generic constraint 0.68/0.77 c intension z[311]=x[100] using generic constraint 0.68/0.77 c intension z[313]=x[102] using generic constraint 0.68/0.77 c intension z[314]=x[103] using generic constraint 0.68/0.77 c intension z[316]=x[105] using generic constraint 0.68/0.77 c intension z[317]=x[106] using generic constraint 0.68/0.77 c intension z[319]=x[108] using generic constraint 0.68/0.77 c intension z[320]=x[109] using generic constraint 5.60/5.67 c root propagations : 0 5.60/5.67 c restarts enabled, print stats at every restarts 5.60/5.67 c 5.60/5.67 c 5.60/5.67 c 5.60/5.67 c This is cosoco 1.0 -- 5.60/5.67 c 5.60/5.67 c ========================================[ Problem Statistics ]=========================================== 5.60/5.67 c | 5.60/5.67 c | Parse time : 4.70 s 5.60/5.67 c | 5.60/5.67 c | Variables: 4167 5.60/5.67 c | Domain Sizes: 2..20001 5.60/5.67 c | 5.60/5.67 c | Constraints: 3932 5.60/5.67 c | Arity: 1..3 -- Unary: 2 -- Binary: 675 -- Ternary: 3255 5.60/5.67 c | 5.60/5.67 c | Types: 5.60/5.67 c | (X = Y): 372 5.60/5.67 c | Intension: 3560 5.60/5.67 c | 5.60/5.67 c ========================================================================================================= 5.60/5.67 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.69/5.73 c 101 998 10803 1906 0 0 275 898 713 5.79/5.80 c 211 2004 17897 3833 0 0 135 897 670 5.79/5.86 c 332 2982 24732 5733 0 0 98 858 571 5.89/5.92 c 465 4004 31994 7743 0 0 99 890 632 5.89/5.98 c 611 5069 39589 9859 0 0 100 920 644 5.99/6.05 c 771 6185 47575 13099 0 0 101 957 679 6.09/6.12 c 947 7329 56267 18242 0 0 102 969 669 6.18/6.20 c 1140 8482 67584 73483 0 0 103 961 705 6.18/6.28 c 1352 9658 78783 129858 0 0 104 965 720 6.28/6.35 c 1585 10871 89328 137794 0 0 105 981 730 6.28/6.35 c 1841 11127 98800 138562 1 0 1 1 0 6.28/6.36 c 2122 11408 109197 139405 1 0 1 1 0 6.28/6.36 c 2431 11717 120630 140332 1 0 1 1 0 6.28/6.36 c 2770 12056 133173 141349 1 0 1 1 0 6.28/6.37 c 3142 12428 146937 142465 1 0 1 1 0 6.28/6.37 c 3551 12837 162070 143692 1 0 1 1 0 6.28/6.38 c 4000 13286 178683 145039 1 0 1 1 0 6.28/6.38 c 4493 13779 196924 146518 1 0 1 1 0 6.28/6.39 c 5035 14321 216978 148144 1 0 1 1 0 6.28/6.40 c 5631 14917 239030 149932 1 0 1 1 0 6.38/6.40 c 6286 15572 263265 151897 1 0 1 1 0 6.38/6.41 c 7006 16292 289905 154057 1 0 1 1 0 6.38/6.42 c 7798 17084 319209 156433 1 0 1 1 0 6.38/6.42 c 8669 17955 351436 159046 1 0 1 1 0 6.38/6.43 c 9627 18913 386882 161920 1 0 1 1 0 6.38/6.44 c 10680 19966 425843 165079 1 0 1 1 0 6.48/6.54 c 11838 22081 473167 320198 1 0 1 958 166 6.59/6.62 c 13111 24336 485394 330055 1 0 100 983 938 6.59/6.64 c 14511 25736 489594 334255 2 0 1 1 0 6.59/6.66 c 16051 27276 494214 338875 2 0 1 1 0 6.59/6.67 c 17745 28970 499296 343957 2 0 1 1 0 6.59/6.69 c 19608 30833 504885 349546 2 0 1 1 0 6.59/6.70 c 21657 32882 511032 355693 2 0 1 1 0 6.98/7.02 c 23910 35516 650132 561109 2 0 1 271 96 7.08/7.11 c 26388 38978 666028 575588 2 0 109 985 961 7.08/7.15 c 29113 41703 674203 583763 3 0 1 1 0 7.08/7.18 c 32110 44700 683194 592754 3 0 1 1 0 7.18/7.20 c 35406 47996 693082 602642 3 0 1 1 0 7.28/7.31 c 39031 52607 712368 619565 3 0 1 987 704 7.28/7.36 c 43018 56594 724329 631526 4 0 1 1 0 7.38/7.40 c 47403 60979 737484 644681 4 0 1 1 0 7.48/7.52 c 52226 66790 760379 665602 4 0 1 989 643 7.48/7.59 c 57531 72095 776294 681517 5 0 1 1 0 7.69/7.71 c 63366 78920 802113 705269 5 0 1 991 185 7.69/7.80 c 69784 85338 821367 724523 6 0 1 1 0 7.88/7.95 c 76843 93390 850857 755442 6 0 1 994 482 7.98/8.05 c 84607 101154 881913 778734 7 0 1 1 0 8.18/8.23 c 93147 110681 918333 811610 7 0 1 988 722 10.78/10.84 c 102541 120410 959041 858456 7 0 115 226 220 13.88/13.90 c 112874 131728 1008547 906711 8 0 1 986 27 18.38/18.49 c 124240 151789 1554543 1228661 8 0 117 232 231 18.70/18.74 c 136742 165286 1600539 1272043 8 0 111 996 379 18.88/18.98 c 150494 179268 1643717 1315454 9 0 1 231 63 22.68/22.71 c 165621 194859 1713676 1387080 9 0 120 203 195 25.78/25.80 c 182260 211728 1775424 1448947 10 0 1 231 92 32.37/32.46 c 200562 257589 1943643 1590068 10 0 122 197 196 32.78/32.89 c 220694 278718 2012468 1655937 10 0 123 998 600 33.28/33.39 c 242839 301862 2087362 1729037 11 0 1 1000 187 33.88/33.98 c 267198 327222 2168918 1808783 12 0 1 1002 261 34.58/34.64 c 293992 355019 2257833 1895839 13 0 1 1004 329 35.38/35.40 c 323465 385497 2354774 1990934 14 0 1 1006 391 36.18/36.28 c 355885 418926 2460551 2094874 15 0 1 1010 448 37.18/37.29 c 391547 455600 2576022 2213002 16 0 1 1013 316 38.37/38.47 c 430775 495824 2712217 2336357 17 0 1 997 376 53.16/53.22 c 473925 564375 4437610 3488899 17 0 19 246 237 54.76/54.80 c 521390 612856 4588656 3636811 17 0 19 1017 522 56.56/56.66 c 573601 666085 4753749 3798938 18 0 1 1019 249 58.76/58.87 c 631033 724537 4934665 3976749 19 0 1 1021 303 61.35/61.47 c 694208 788736 5132837 4171994 20 0 1 1025 366 64.46/64.53 c 763700 859254 5349929 4386191 21 0 1 1027 335 68.06/68.16 c 840141 936725 5587883 4621238 22 0 1 1031 398 72.36/72.46 c 924226 1021844 5848749 4879220 23 0 1 1035 371 77.46/77.56 c 1016719 1115375 6135055 5164036 24 0 1 1039 365 83.56/83.63 c 1118461 1218159 6449121 5476603 25 0 1 1043 345 90.75/90.85 c 1230377 1331121 6793709 5819695 26 0 1 1047 343 99.35/99.47 c 1353484 1455278 7171878 6196364 27 0 1 1051 353 109.65/109.77 c 1488901 1591749 7586984 6609967 28 0 1 1055 362 121.95/122.07 c 1637859 1741765 8042721 7064197 29 0 1 1059 375 136.74/136.80 c 1801712 1906682 8543095 7562116 30 0 1 1065 391 154.34/154.44 c 1981950 2087990 9092613 8109193 31 0 1 1071 378 175.44/175.59 c 2180211 2287325 9696212 8710343 32 0 1 1075 361 200.83/200.99 c 2398298 2506492 10359311 9370977 33 0 1 1081 387 231.32/231.49 c 2638193 2747473 11087876 10097043 34 0 1 1087 392 268.02/268.16 c 2902077 3012451 11888414 10894688 35 0 1 1095 405 312.11/312.26 c 3192349 3303825 12768107 11771502 36 0 1 1103 398 365.20/365.31 c 3511648 3624232 13734957 12735409 37 0 1 1109 390 429.08/429.21 c 3862876 3976578 14797606 13795112 38 0 1 1119 405 505.77/506.00 c 4249226 4364054 15965658 14960189 39 0 1 1127 402 598.36/598.55 c 4674211 4790175 17249595 16241180 40 0 1 1137 410 710.13/710.35 c 5141694 5258804 18661034 17649674 41 0 1 1147 413 844.21/844.48 c 5655925 5774190 20212738 19242420 42 0 1 1152 424 1014.77/1015.05 c 6221579 6340924 21958772 21081032 42 0 20 1069 435 1217.64/1217.98 c 6843798 6964304 23884365 23095743 42 0 19 1154 476 1452.20/1452.50 c 7528238 7649915 26006609 25339361 43 0 1 1157 514 1741.54/1741.96 c 8281122 8403902 28387365 27917134 43 0 16 1077 493 1852.03/1852.47 c 9109294 9232495 30994859 31122934 44 0 1 319 305 1864.62/1865.08 c 10020283 10143914 33730937 34768477 44 0 17 258 212 1996.39/1996.86 c 11022370 11146450 36830365 38736069 44 0 18 318 305 2123.77/2124.26 c 12124665 12259308 40251559 43254646 45 0 1 297 278 2230.35/2230.85 c 13337189 13474869 44097507 48323549 46 0 1 276 254 2260.64/2261.10 c 14670965 14808961 48102967 53880619 46 0 23 107 95
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243177-1500671030/watcher-4243177-1500671030 -o /tmp/evaluation-result-4243177-1500671030/solver-4243177-1500671030 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243177-1500671030.xml pid=15475 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 2.05 2.05 3/242 15478 /proc/meminfo: memFree=31999276/32770624 swapFree=5992/202764 [pid=15478] ppid=15475 vsize=27248 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 2373060 27901952 832 33554432000 4194304 5970956 140731834256336 140731834252984 140535292177381 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 6812 832 698 434 0 176 0 [startup+0.100165 s] /proc/loadavg: 2.02 2.05 2.05 3/242 15478 /proc/meminfo: memFree=31999276/32770624 swapFree=5992/202764 [pid=15478] ppid=15475 vsize=130400 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 26803 0 0 0 5 4 0 0 20 0 1 0 2373060 133529600 26604 33554432000 4194304 5970956 140731834256336 140731834251624 5125549 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 32639 26604 703 434 0 26003 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 130400 [startup+0.200401 s] /proc/loadavg: 2.02 2.05 2.05 3/242 15478 /proc/meminfo: memFree=31999276/32770624 swapFree=5992/202764 [pid=15478] ppid=15475 vsize=293096 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 67460 0 0 0 11 8 0 0 20 0 1 0 2373060 300130304 67260 33554432000 4194304 5970956 140731834256336 140731834251624 140535292177381 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 73313 67260 703 434 0 66677 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 293096 [startup+0.300356 s] /proc/loadavg: 2.02 2.05 2.05 3/242 15478 /proc/meminfo: memFree=31999276/32770624 swapFree=5992/202764 [pid=15478] ppid=15475 vsize=460484 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 109291 0 0 0 16 13 0 0 20 0 1 0 2373060 471535616 109104 33554432000 4194304 5970956 140731834256336 140731834251624 5125629 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 115121 109104 703 434 0 108485 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 460484 [startup+0.700216 s] /proc/loadavg: 2.02 2.05 2.05 3/242 15478 /proc/meminfo: memFree=31999276/32770624 swapFree=5992/202764 [pid=15478] ppid=15475 vsize=590788 CPUtime=0.68 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 141984 0 0 0 51 17 0 0 20 0 1 0 2373060 604966912 141774 33554432000 4194304 5970956 140731834256336 140731834240088 140535293120121 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 147697 141774 786 434 0 141061 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 590788 [startup+1.50027 s] /proc/loadavg: 2.02 2.05 2.05 3/243 15479 /proc/meminfo: memFree=31338932/32770624 swapFree=5992/202752 [pid=15478] ppid=15475 vsize=816420 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 198401 0 0 0 125 24 0 0 20 0 1 0 2373060 836014080 198235 33554432000 4194304 5970956 140731834256336 140731834249928 140535292177381 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 204105 198235 786 434 0 197469 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 816420 [startup+3.10028 s] /proc/loadavg: 2.02 2.05 2.05 3/243 15479 /proc/meminfo: memFree=30970776/32770624 swapFree=5992/202524 [pid=15478] ppid=15475 vsize=1406684 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 346700 0 0 0 268 41 0 0 20 0 1 0 2373060 1440444416 345788 33554432000 4194304 5970956 140731834256336 140731834249928 140535292177381 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 351671 345788 786 434 0 345035 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1406684 [startup+6.30022 s] /proc/loadavg: 2.02 2.05 2.05 3/243 15479 /proc/meminfo: memFree=29174312/32770624 swapFree=5992/202644 [pid=15478] ppid=15475 vsize=2860504 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 720941 0 0 0 547 81 0 0 20 0 1 0 2373060 2929156096 709269 33554432000 4194304 5970956 140731834256336 140731834253144 5337524 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 715126 709269 824 434 0 708490 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 2860504 [startup+12.7002 s] /proc/loadavg: 2.02 2.05 2.05 3/243 15479 /proc/meminfo: memFree=29157556/32770624 swapFree=5992/202784 [pid=15478] ppid=15475 vsize=2861256 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 722523 0 0 0 1187 81 0 0 20 0 1 0 2373060 2929926144 709482 33554432000 4194304 5970956 140731834256336 140731834253672 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 715314 709482 824 434 0 708678 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 2861256 [startup+25.5003 s] /proc/loadavg: 2.09 2.06 2.05 3/243 15479 /proc/meminfo: memFree=29156824/32770624 swapFree=5992/202812 [pid=15478] ppid=15475 vsize=2861904 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 737368 0 0 0 2465 83 0 0 20 0 1 0 2373060 2930589696 709641 33554432000 4194304 5970956 140731834256336 140731834253672 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 715476 709641 824 434 0 708840 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 2861904 [startup+51.1003 s] /proc/loadavg: 2.06 2.06 2.05 3/243 15479 /proc/meminfo: memFree=29157872/32770624 swapFree=5992/202840 [pid=15478] ppid=15475 vsize=2862464 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 749375 0 0 0 5023 84 0 0 20 0 1 0 2373060 2931163136 709746 33554432000 4194304 5970956 140731834256336 140731834253672 4967842 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 715616 709746 824 434 0 708980 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 2862464 [startup+102.3 s] /proc/loadavg: 2.03 2.05 2.05 3/243 15480 /proc/meminfo: memFree=29156280/32770624 swapFree=5992/202920 [pid=15478] ppid=15475 vsize=2863748 CPUtime=102.26 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 765746 0 0 0 10140 86 0 0 20 0 1 0 2373060 2932477952 709988 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 715937 709988 824 434 0 709301 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 2863748 [startup+162.3 s] /proc/loadavg: 2.01 2.04 2.05 3/243 15481 /proc/meminfo: memFree=29155892/32770624 swapFree=5992/202964 [pid=15478] ppid=15475 vsize=2863884 CPUtime=162.24 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 782730 0 0 0 16136 88 0 0 20 0 1 0 2373060 2932617216 710138 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 715971 710138 824 434 0 709335 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 2863884 [startup+222.308 s] /proc/loadavg: 2.00 2.03 2.05 3/243 15482 /proc/meminfo: memFree=29155136/32770624 swapFree=5992/203012 [pid=15478] ppid=15475 vsize=2864736 CPUtime=222.24 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 799453 0 0 0 22134 90 0 0 20 0 1 0 2373060 2933489664 710242 33554432000 4194304 5970956 140731834256336 140731834253672 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 716184 710242 824 434 0 709548 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 2864736 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.05 3/242 15483 /proc/meminfo: memFree=29156204/32770624 swapFree=5992/203056 [pid=15478] ppid=15475 vsize=2864868 CPUtime=282.22 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 817493 0 0 0 28130 92 0 0 20 0 1 0 2373060 2933624832 710361 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 716217 710361 824 434 0 709581 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 2864868 [startup+342.3 s] /proc/loadavg: 2.04 2.04 2.05 3/243 15485 /proc/meminfo: memFree=29155172/32770624 swapFree=5992/203108 [pid=15478] ppid=15475 vsize=2866080 CPUtime=342.21 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 831209 0 0 0 34127 94 0 0 20 0 1 0 2373060 2934865920 710428 33554432000 4194304 5970956 140731834256336 140731834253672 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 716520 710428 824 434 0 709884 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 2866080 [startup+402.3 s] /proc/loadavg: 2.02 2.03 2.05 3/243 15493 /proc/meminfo: memFree=29153344/32770624 swapFree=5992/203160 [pid=15478] ppid=15475 vsize=2866080 CPUtime=402.19 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 840902 0 0 0 40124 95 0 0 20 0 1 0 2373060 2934865920 710504 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 716520 710504 824 434 0 709884 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 2866080 [startup+462.3 s] /proc/loadavg: 2.07 2.04 2.05 3/243 15494 /proc/meminfo: memFree=29152992/32770624 swapFree=5992/203200 [pid=15478] ppid=15475 vsize=2866212 CPUtime=462.18 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 846270 0 0 0 46122 96 0 0 20 0 1 0 2373060 2935001088 710588 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 716553 710588 824 434 0 709917 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 2866212 [startup+522.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 15495 /proc/meminfo: memFree=29153772/32770624 swapFree=5992/203248 [pid=15478] ppid=15475 vsize=2866212 CPUtime=522.16 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 849333 0 0 0 52120 96 0 0 20 0 1 0 2373060 2935001088 710673 33554432000 4194304 5970956 140731834256336 140731834253672 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 716553 710673 824 434 0 709917 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 2866212 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 15496 /proc/meminfo: memFree=29154136/32770624 swapFree=5992/203288 [pid=15478] ppid=15475 vsize=2866344 CPUtime=582.16 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 852097 0 0 0 58118 98 0 0 20 0 1 0 2373060 2935136256 710688 33554432000 4194304 5970956 140731834256336 140731834253304 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 716586 710688 824 434 0 709950 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 2866344 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 15587 /proc/meminfo: memFree=27803976/32770624 swapFree=5992/203988 [pid=15478] ppid=15475 vsize=2869812 CPUtime=1541.98 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 900328 0 0 0 154094 104 0 0 20 0 1 0 2373060 2938687488 711472 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 717453 711472 824 434 0 710817 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 2869812 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 15596 /proc/meminfo: memFree=27804476/32770624 swapFree=5992/204024 [pid=15478] ppid=15475 vsize=2869812 CPUtime=1601.96 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 903590 0 0 0 160092 104 0 0 20 0 1 0 2373060 2938687488 711472 33554432000 4194304 5970956 140731834256336 140731834253672 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 717453 711472 824 434 0 710817 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 2869812 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 15597 /proc/meminfo: memFree=27803100/32770624 swapFree=5992/204064 [pid=15478] ppid=15475 vsize=2871264 CPUtime=1661.95 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 907654 0 0 0 166091 104 0 0 20 0 1 0 2373060 2940174336 711829 33554432000 4194304 5970956 140731834256336 140731834253336 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 717816 711829 824 434 0 711180 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 2871264 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 15598 /proc/meminfo: memFree=27802028/32770624 swapFree=5992/204100 [pid=15478] ppid=15475 vsize=2872188 CPUtime=1721.95 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 910818 0 0 0 172090 105 0 0 20 0 1 0 2373060 2941120512 712063 33554432000 4194304 5970956 140731834256336 140731834253336 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718047 712063 824 434 0 711411 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 2872188 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 15599 /proc/meminfo: memFree=27799664/32770624 swapFree=5992/204148 [pid=15478] ppid=15475 vsize=2873112 CPUtime=1781.93 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 912682 0 0 0 178088 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253336 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 2873112 [startup+1842.3 s] /proc/loadavg: 2.05 2.03 2.05 3/244 15600 /proc/meminfo: memFree=27800780/32770624 swapFree=5992/204176 [pid=15478] ppid=15475 vsize=2873112 CPUtime=1841.92 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 914116 0 0 0 184087 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253336 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 1841.92 Current children cumulated vsize (KiB) 2873112 [startup+1902.3 s] /proc/loadavg: 2.10 2.05 2.05 3/243 15601 /proc/meminfo: memFree=27801576/32770624 swapFree=5992/204228 [pid=15478] ppid=15475 vsize=2873112 CPUtime=1901.91 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 915631 0 0 0 190086 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253672 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 1901.91 Current children cumulated vsize (KiB) 2873112 [startup+1962.3 s] /proc/loadavg: 2.04 2.04 2.05 3/243 15602 /proc/meminfo: memFree=27801564/32770624 swapFree=5992/204268 [pid=15478] ppid=15475 vsize=2873112 CPUtime=1961.9 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 917324 0 0 0 196085 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253672 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 1961.9 Current children cumulated vsize (KiB) 2873112 [startup+2022.3 s] /proc/loadavg: 2.01 2.04 2.05 3/243 15603 /proc/meminfo: memFree=27801536/32770624 swapFree=5992/204308 [pid=15478] ppid=15475 vsize=2873112 CPUtime=2021.89 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 918984 0 0 0 202084 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253672 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 2021.89 Current children cumulated vsize (KiB) 2873112 [startup+2082.3 s] /proc/loadavg: 2.00 2.03 2.05 3/243 15604 /proc/meminfo: memFree=27801564/32770624 swapFree=5992/204344 [pid=15478] ppid=15475 vsize=2873112 CPUtime=2081.88 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 920422 0 0 0 208083 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 2081.88 Current children cumulated vsize (KiB) 2873112 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 15605 /proc/meminfo: memFree=27801700/32770624 swapFree=5992/204368 [pid=15478] ppid=15475 vsize=2873112 CPUtime=2141.86 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 922350 0 0 0 214081 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 2141.86 Current children cumulated vsize (KiB) 2873112 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/243 15613 /proc/meminfo: memFree=27800612/32770624 swapFree=5992/204416 [pid=15478] ppid=15475 vsize=2873112 CPUtime=2201.86 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 923441 0 0 0 220081 105 0 0 20 0 1 0 2373060 2942066688 712297 33554432000 4194304 5970956 140731834256336 140731834253672 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712297 824 434 0 711642 0 Current children cumulated CPU time (s) 2201.86 Current children cumulated vsize (KiB) 2873112 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 15614 /proc/meminfo: memFree=27801168/32770624 swapFree=5992/204460 [pid=15478] ppid=15475 vsize=2873112 CPUtime=2261.84 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 924747 0 0 0 226079 105 0 0 20 0 1 0 2373060 2942066688 712299 33554432000 4194304 5970956 140731834256336 140731834253672 5336103 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718278 712299 824 434 0 711642 0 Current children cumulated CPU time (s) 2261.84 Current children cumulated vsize (KiB) 2873112 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 15615 /proc/meminfo: memFree=27800652/32770624 swapFree=5992/204472 [pid=15478] ppid=15475 vsize=2873508 CPUtime=2321.83 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 926198 0 0 0 232078 105 0 0 20 0 1 0 2373060 2942472192 712416 33554432000 4194304 5970956 140731834256336 140731834253336 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718377 712416 824 434 0 711741 0 Current children cumulated CPU time (s) 2321.83 Current children cumulated vsize (KiB) 2873508 [startup+2382.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 15616 /proc/meminfo: memFree=27799436/32770624 swapFree=5992/204528 [pid=15478] ppid=15475 vsize=2874432 CPUtime=2381.83 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 927356 0 0 0 238077 106 0 0 20 0 1 0 2373060 2943418368 712650 33554432000 4194304 5970956 140731834256336 140731834253336 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718608 712650 824 434 0 711972 0 Current children cumulated CPU time (s) 2381.83 Current children cumulated vsize (KiB) 2874432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.01 2.02 2.05 3/243 15616 /proc/meminfo: memFree=27799528/32770624 swapFree=5992/204540 [pid=15478] ppid=15475 vsize=2874432 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 927903 0 0 0 239896 106 0 0 20 0 1 0 2373060 2943418368 712650 33554432000 4194304 5970956 140731834256336 140731834253336 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718608 712650 824 434 0 711972 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 2874432 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 15478 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.01 2.02 2.05 3/243 15616 /proc/meminfo: memFree=27799528/32770624 swapFree=5992/204540 [pid=15478] ppid=15475 vsize=2874432 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/15478/stat : 15478 (cosoco) R 15475 15478 9819 0 -1 4202496 927903 0 0 0 239896 106 0 0 20 0 1 0 2373060 2943418368 712650 33554432000 4194304 5970956 140731834256336 140731834253336 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39108608 140731834262721 140731834262851 140731834262851 140731834265550 0 /proc/15478/statm: 718608 712650 824 434 0 711972 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 2874432 Child status: 1 Real time (s): 2400.51 CPU time (s): 2400.04 CPU user time (s): 2398.97 CPU system time (s): 1.0718 CPU usage (%): 99.9804 Max. virtual memory (cumulated for all children) (KiB): 2874432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.97 system time used= 1.0718 maximum resident set size= 2850648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 927932 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= 56 involuntary context switches= 122204 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.40098 second user time and 10.6325 second system time The end
Begin job on node103 at 2017-07-21 23:03:51 IDJOB=4243177 IDBENCH=139204 IDSOLVER=2620 FILE ID=node103/4243177-1500671030 RUNJOBID= node103-1500648178-9851 PBS_JOBID= 20623311 Free space on /tmp= 62012 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-05-03-fair.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243177-1500671030/watcher-4243177-1500671030 -o /tmp/evaluation-result-4243177-1500671030/solver-4243177-1500671030 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243177-1500671030.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ebcae7fb870db8f75b7458b98ea920fc RANDOM SEED=1928333176 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31999016 kB MemAvailable: 32004796 kB Buffers: 41304 kB Cached: 274332 kB SwapCached: 0 kB Active: 180208 kB Inactive: 211412 kB Active(anon): 78832 kB Inactive(anon): 8648 kB Active(file): 101376 kB Inactive(file): 202764 kB Unevictable: 5992 kB Mlocked: 5996 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2496 kB Writeback: 0 kB AnonPages: 85908 kB Mapped: 31504 kB Shmem: 8852 kB Slab: 66836 kB SReclaimable: 34948 kB SUnreclaim: 31888 kB KernelStack: 4544 kB PageTables: 5012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62008 MiB End job on node103 at 2017-07-21 23:43:51