Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 51087255 | 251.986 | 252.012 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml |
MD5SUM | deef1e755c9079fc369bbf159731f616 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18292601 |
Best CPU time to get the best result obtained on this benchmark | 252.062 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2328 |
Number of constraints | 1459 |
Number of domains | 42 |
Minimum domain size | 2 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}] |
Minimum variable degree | 2 |
Maximum variable degree | 677 |
Distribution of variable degrees | [{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}] |
Number of extensional constraints | 676 |
Number of intensional constraints | 783 |
Distribution of constraint types | [{"type":"extension","count":676},{"type":"intension","count":783}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 0.00/0.06 c AllEqual constraint using 1 generic x=y constraints 18.49/18.55 c best=?? lower=0 upper=54843880 96.47/96.56 c 96.47/96.56 c This is cosoco 1.12 -- 96.47/96.56 c 96.47/96.56 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301647-1532884953.xml 96.47/96.56 c enable optimization 96.47/96.56 c ========================================[ Problem Statistics ]=========================================== 96.47/96.56 c | 96.47/96.56 c | Parse time : 18.47 s 96.47/96.56 c | 96.47/96.56 c | Variables: 2328 96.47/96.56 c | Domain Sizes: 2..151 96.47/96.56 c | 96.47/96.56 c | Constraints: 1460 96.47/96.56 c | Arity: 2..1353 -- Binary: 108 -- Ternary: 675 96.47/96.56 c | 96.47/96.56 c | Types: 96.47/96.56 c | (X != Y): 5 96.47/96.56 c | (X = Y): 15 96.47/96.56 c | Extension: 676 (nb tuples: 456..7204) -- (shared: 0) 96.47/96.56 c | Intension: 763 96.47/96.56 c | Sum: 1 96.47/96.56 c | 96.47/96.56 c | Objective: Minimize Sum 96.47/96.56 96.47/96.56 c ========================================================================================================= 96.47/96.56 o 51087256 96.47/96.56 c 1 calls to solver: best=51087256 lower=0 upper=51087255 98.67/98.78 o 51087255 251.97/252.00 251.97/252.00 c *** INTERRUPTED *** 251.97/252.00 c restarts : 29 251.97/252.00 c conflicts : 14886 (59 /sec) 251.97/252.00 c decisions : 80807 (321 /sec) 251.97/252.00 c propagations : 16058931 (63777 /sec) 251.97/252.00 c root propagations : 3351 251.97/252.00 c filter calls : 1313142 (5215 /sec) 251.97/252.00 c useless filter calls : 823834 (62 %) 251.97/252.00 c Memory used : 272.86 MB 251.97/252.00 c CPU time : 251.798 s 251.97/252.00 251.97/252.00 c nb Solutions = 2 251.97/252.00 s SATISFIABLE 251.97/252.00 c Best value found: 51087255 251.97/252.00 251.97/252.00 251.97/252.00 v <instantiation type='solution' cost='51087255'> 251.97/252.00 v <list>d[0] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[10] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[11] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[12] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[13] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[14] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[15] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[16] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[17] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[67] d[68] d[69] d[6] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[7] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[8] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[15] f[16] f[17] f[18] f[19] f[1] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[10] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[11] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[12] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[13] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[14] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[15] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[16] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[17] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[67] v1[68] v1[69] v1[6] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[7] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[8] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[9] v2[0] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[10] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[11] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[12] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[13] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[14] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[15] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[16] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[17] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[67] v2[68] v2[69] v2[6] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[7] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[8] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[9] </list> 251.97/252.01 v <values>0 52 148 148 108 108 40 352 176 236 164 396 460 520 20 516 560 380 432 80 260 480 116 20 444 500 576 396 20 40 176 60 40 416 40 0 20 476 0 40 0 40 60 400 396 0 100 76 156 40 40 400 324 520 540 240 436 68 60 40 0 244 40 64 244 284 456 460 60 0 0 40 472 396 504 72 472 416 72 112 32 32 140 72 532 224 196 156 456 156 0 276 204 244 156 244 0 344 468 200 28 272 528 32 436 476 500 520 0 0 244 72 116 256 424 180 0 0 480 472 388 472 296 292 512 532 216 32 316 32 40 32 0 228 80 40 116 292 384 148 56 404 416 196 196 236 440 40 396 440 480 20 440 20 156 144 164 20 0 480 480 512 40 440 196 40 196 40 0 356 0 40 476 60 444 328 224 8 36 244 364 440 480 180 4 184 40 0 32 60 576 20 40 20 60 100 0 280 244 32 244 272 80 64 416 396 32 324 324 100 72 176 316 196 320 156 144 316 116 132 352 348 76 256 156 60 216 332 40 60 400 400 340 32 576 296 60 60 60 216 500 540 540 256 8 196 0 0 0 32 144 460 0 400 60 8 440 116 392 40 440 0 424 480 380 100 56 580 452 280 100 40 320 188 156 0 196 276 304 184 0 20 496 60 500 400 116 400 168 108 280 360 180 136 256 176 0 352 40 316 296 176 296 184 280 536 516 4 176 260 116 516 36 236 204 204 20 236 244 20 164 100 460 60 0 40 440 472 300 0 0 284 400 432 284 144 224 348 316 316 356 176 40 140 40 40 224 180 0 520 300 148 40 256 480 60 500 404 0 116 364 384 360 344 264 20 0 20 0 120 276 104 164 196 236 276 244 356 40 48 4 440 216 156 176 0 32 188 0 148 288 68 480 184 32 500 400 100 392 100 400 60 400 40 400 480 576 144 76 360 336 536 100 540 500 0 60 40 292 428 8 100 148 472 48 432 452 80 36 4 80 44 396 60 76 148 136 324 136 380 20 56 396 140 36 216 416 144 340 380 460 144 352 432 48 336 236 40 0 440 440 40 432 292 68 244 4 40 68 460 500 60 332 460 400 400 400 296 100 400 460 80 224 216 316 276 256 332 88 412 332 108 0 480 480 60 320 0 20 180 220 280 24 240 180 180 180 260 432 460 296 60 0 44 56 540 500 184 540 60 196 296 0 136 40 60 156 472 440 440 296 144 356 400 24 300 0 480 480 340 40 464 516 296 20 520 40 136 332 260 180 40 440 0 96 460 180 4 436 140 496 440 480 100 80 0 256 216 100 316 316 432 484 20 40 520 40 236 400 32 72 500 128 332 392 424 268 56 208 440 440 20 32 432 316 492 92 284 20 256 296 16 500 60 540 520 60 60 40 500 80 4 144 164 100 60 500 440 468 440 500 160 244 460 108 296 500 500 352 324 324 40 188 500 284 60 480 148 244 40 72 440 500 144 440 324 184 4 440 0 144 152 456 544 484 476 36 484 484 24 484 328 44 456 288 60 0 60 68 460 100 60 0 568 72 2620 2616 2660 2220 2436 2120 2180 2160 2148 2660 2552 2120 2604 2180 2652 2336 2140 2360 2120 2680 2376 2180 2512 2160 2620 2656 2640 2220 2160 2180 2688 2620 2620 2140 2180 2220 2160 2660 2336 2476 2160 2620 2660 2120 2120 2120 2220 2376 2560 2180 2376 2660 2160 2512 2660 2160 2180 2220 2660 2120 2660 2576 2620 2692 2376 2648 2140 2180 2692 2220 2564 2180 2416 2140 2180 2624 2660 2120 2416 2556 2336 2304 2220 2148 2120 2376 2620 2180 2120 2376 2160 2296 2160 2476 2344 2696 2416 2600 2180 2336 2536 2660 2180 2296 2160 2220 2416 2620 2336 2188 2620 2220 2180 2696 2120 2188 2516 2612 2656 2700 2296 2140 2576 2520 2620 2572 2180 2416 2220 2620 2220 2580 2436 2552 2180 2160 2400 2220 2620 2660 2376 2652 2220 2180 2580 2180 2140 2480 2180 2664 11 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 1 4 0 0 0 10 10 1 0 0 0 2 0 0 0 0 10 0 8 0 10 0 0 0 10 0 0 0 0 0 0 10 10 10 1 0 0 0 9 9 0 0 9 1 10 1 0 0 5 0 0 0 7 0 10 0 0 10 0 0 0 0 0 3 0 0 10 10 0 10 10 0 10 9 0 0 0 0 0 0 10 10 0 0 1 10 10 0 0 0 0 10 0 0 8 1 0 0 0 10 0 10 0 7 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 5 10 0 10 0 10 0 0 10 0 5 10 0 0 10 0 0 0 0 1 0 10 0 10 7 1 10 0 0 0 4 0 6 3 0 0 0 10 0 0 10 1 0 0 0 10 9 0 1 0 1 0 0 0 10 0 1 0 0 0 0 0 0 10 0 10 3 4 0 0 0 10 10 7 0 0 0 0 0 0 0 0 7 1 0 0 0 5 10 0 0 0 1 0 10 10 10 10 0 0 2 10 5 10 7 0 0 0 0 10 6 0 0 0 8 0 1 0 3 10 4 0 0 0 0 0 10 1 0 10 0 10 0 0 0 6 1 0 9 0 0 0 1 9 0 1 0 0 9 0 0 0 0 0 0 0 0 10 0 0 10 4 0 0 10 3 10 10 3 0 0 1 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 8 0 10 0 0 0 0 0 0 10 0 0 10 10 10 1 2 7 0 5 0 10 0 0 0 10 0 8 0 0 0 0 0 1 0 10 10 1 0 1 10 0 10 0 0 0 10 0 10 10 0 9 10 0 0 1 0 0 0 2 0 10 0 0 0 0 0 10 0 1 9 0 10 0 0 10 10 7 1 0 10 10 10 9 1 6 0 0 0 0 1 0 10 0 0 10 0 10 1 0 0 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 8 0 0 10 0 0 0 1 0 0 1 0 6 9 0 0 0 1 0 0 10 0 10 0 0 0 0 9 0 0 0 0 10 0 10 0 0 0 10 0 0 1 10 3 0 0 0 0 0 0 0 0 0 4 10 10 0 10 10 0 3 0 0 0 10 0 0 10 10 0 10 0 10 0 1 0 0 0 0 10 0 0 10 0 0 1 0 3 0 7 0 0 0 0 10 0 9 0 0 8 0 10 0 1 1 0 0 0 1 3 0 0 0 0 0 0 10 0 0 10 10 0 0 10 1 0 0 6 0 0 0 0 5 5 0 0 0 0 0 0 10 0 0 10 0 10 10 7 0 3 0 0 0 1 0 9 0 0 0 0 0 0 6 10 2 0 0 0 10 10 0 0 9 0 0 1 7 0 0 10 0 0 10 4 0 0 4 0 10 10 0 9 10 10 10 0 0 4 0 0 10 4 0 5 0 1 1 0 1 3 0 0 10 0 0 0 </values> 251.97/252.01 v </instantiation> 251.97/252.01
OK 51087255
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 (13397 MiB free) memory of node 1: 16384 MiB (14314 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301647-1532884953/watcher-4301647-1532884953 -o /tmp/evaluation-result-4301647-1532884953/solver-4301647-1532884953 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301647-1532884953.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=23166, runsolver pid=23163 [startup+0.100198 s]* /proc/loadavg: 2.03 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28363344/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=41076 memory=17404 CPUtime=0.09 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 4534 0 0 0 9 0 0 0 20 0 1 0 106058485 42061824 4351 33554432000 4194304 6142532 140733674054640 140733674049016 140480266791909 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 10269 4351 807 476 0 3591 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 41076 KiB Current children cumulated memory: 17404 KiB [startup+0.209914 s]* /proc/loadavg: 2.03 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28351068/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=53452 memory=29668 CPUtime=0.21 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 7638 0 0 0 20 1 0 0 20 0 1 0 106058485 54734848 7417 33554432000 4194304 6142532 140733674054640 140733674049016 140480266791909 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 13363 7417 807 476 0 6685 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 53452 KiB Current children cumulated memory: 29668 KiB [startup+0.309854 s]* /proc/loadavg: 2.03 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28344248/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=59456 memory=35820 CPUtime=0.31 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 9147 0 0 0 30 1 0 0 20 0 1 0 106058485 60882944 8955 33554432000 4194304 6142532 140733674054640 140733674049016 5800124 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 14864 8955 812 476 0 8186 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 59456 KiB Current children cumulated memory: 35820 KiB [startup+0.700348 s] /proc/loadavg: 2.03 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28342760/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=62904 memory=38984 CPUtime=0.69 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 9985 0 0 0 68 1 0 0 20 0 1 0 106058485 64413696 9746 33554432000 4194304 6142532 140733674054640 140733674049016 5801870 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 15726 9746 812 476 0 9048 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 62904 KiB Current children cumulated memory: 38984 KiB [startup+1.50034 s] /proc/loadavg: 2.03 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28338848/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=70312 memory=45848 CPUtime=1.49 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 11709 0 0 0 148 1 0 0 20 0 1 0 106058485 71999488 11462 33554432000 4194304 6142532 140733674054640 140733674049016 5205737 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 17578 11462 812 476 0 10900 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 70312 KiB Current children cumulated memory: 45848 KiB [startup+3.10965 s] /proc/loadavg: 2.03 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28321860/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=84392 memory=59376 CPUtime=3.1 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 15722 0 0 0 308 2 0 0 20 0 1 0 106058485 86417408 14844 33554432000 4194304 6142532 140733674054640 140733674051288 5802391 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 21098 14844 812 476 0 14420 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 84392 KiB Current children cumulated memory: 59376 KiB [startup+6.30033 s] /proc/loadavg: 2.03 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28295848/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=112452 memory=86012 CPUtime=6.29 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 23389 0 0 0 626 3 0 0 20 0 1 0 106058485 115150848 21503 33554432000 4194304 6142532 140733674054640 140733674051288 5800677 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 28113 21503 812 476 0 21435 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 112452 KiB Current children cumulated memory: 86012 KiB [startup+12.7002 s] /proc/loadavg: 2.02 2.04 2.05 3/192 23167 /proc/meminfo: memFree=28246000/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=168688 memory=139788 CPUtime=12.68 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 38198 0 0 0 1264 4 0 0 20 0 1 0 106058485 172736512 34947 33554432000 4194304 6142532 140733674054640 140733674049704 5802594 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 42172 34947 812 476 0 35494 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 168688 KiB Current children cumulated memory: 139788 KiB [startup+25.5002 s] /proc/loadavg: 1.95 2.02 2.04 3/192 23167 /proc/meminfo: memFree=28154756/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=255728 memory=225428 CPUtime=25.49 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 96342 0 0 0 2540 9 0 0 20 0 1 0 106058485 261865472 56357 33554432000 4194304 6142532 140733674054640 140733674051272 140480267712433 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 63932 56357 860 476 0 57254 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 255728 KiB Current children cumulated memory: 225428 KiB [startup+51.1097 s] /proc/loadavg: 1.97 2.02 2.04 3/192 23167 /proc/meminfo: memFree=28144504/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=265864 memory=235588 CPUtime=51.1 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 197242 0 0 0 5096 14 0 0 20 0 1 0 106058485 272244736 58897 33554432000 4194304 6142532 140733674054640 140733674051352 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 66466 58897 860 476 0 59788 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 265864 KiB Current children cumulated memory: 235588 KiB [startup+102.3 s] /proc/loadavg: 2.13 2.05 2.05 3/192 23232 /proc/meminfo: memFree=28126728/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=279408 memory=253640 CPUtime=102.27 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 244387 0 0 0 10211 16 0 0 20 0 1 0 106058485 286113792 63410 33554432000 4194304 6142532 140733674054640 140733674052168 5371666 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 69852 63410 862 476 0 63174 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 279408 KiB Current children cumulated memory: 253640 KiB [startup+162.3 s] /proc/loadavg: 2.05 2.04 2.05 3/190 23358 /proc/meminfo: memFree=27904188/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=279408 memory=256076 CPUtime=162.27 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 263210 0 0 0 16209 18 0 0 20 0 1 0 106058485 286113792 64019 33554432000 4194304 6142532 140733674054640 140733674052168 5361232 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 69852 64019 862 476 0 63174 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 279408 KiB Current children cumulated memory: 256076 KiB [startup+222.3 s] /proc/loadavg: 2.09 2.05 2.05 3/190 23419 /proc/meminfo: memFree=27488536/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=279408 memory=256080 CPUtime=222.27 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 265545 0 0 0 22209 18 0 0 20 0 1 0 106058485 286113792 64020 33554432000 4194304 6142532 140733674054640 140733674052168 5367420 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 69852 64020 862 476 0 63174 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 279408 KiB Current children cumulated memory: 256080 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.06 2.04 2.05 3/190 23420 /proc/meminfo: memFree=27231684/32770624 swapFree=67108744/67108860 [pid=23166] ppid=23163 vsize=279408 memory=256080 CPUtime=251.97 cores=0,2,4,6 /proc/23166/stat : 23166 (cosoco) R 23163 23166 19273 0 -1 4202496 266550 0 0 0 25179 18 0 0 20 0 1 0 106058485 286113792 64020 33554432000 4194304 6142532 140733674054640 140733674052168 5017799 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 40067072 140733674058891 140733674059021 140733674059021 140733674061774 0 /proc/23166/statm: 69852 64020 862 476 0 63174 0 Current children cumulated CPU time: 251.97 s Current children cumulated vsize: 279408 KiB Current children cumulated memory: 256080 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.012 s] # the end of solver process 23166 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.799 s, system=0.186998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.012 CPU time (s): 251.986 CPU user time (s): 251.799 CPU system time (s): 0.186998 CPU usage (%): 99.9899 Max. virtual memory (cumulated for all children) (KiB): 279408 Max. memory (cumulated for all children) (KiB): 256080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.799 system time used= 0.186998 maximum resident set size= 256140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 266592 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= 47 involuntary context switches= 134 # summary of solver processes directly reported to runsolver: # pid: 23166 # total CPU time (s): 251.986 # total CPU user time (s): 251.799 # total CPU system time (s): 0.186998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.878666 second user time and 1.82084 second system time The end
Begin job on node134 at 2018-07-29 19:22:33 IDJOB=4301647 IDBENCH=141259 IDSOLVER=2774 FILE ID=node134/4301647-1532884953 RUNJOBID= node134-1532878455-19304 PBS_JOBID= 21022511 Free space on /tmp= 60912 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301647-1532884953/watcher-4301647-1532884953 -o /tmp/evaluation-result-4301647-1532884953/solver-4301647-1532884953 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301647-1532884953.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= deef1e755c9079fc369bbf159731f616 RANDOM SEED=1269558158 node134.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 : 5333.68 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 : 5333.68 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 : 5333.68 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 : 5333.68 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: 28376552 kB MemAvailable: 31966344 kB Buffers: 203316 kB Cached: 3657424 kB SwapCached: 0 kB Active: 1657684 kB Inactive: 2259320 kB Active(anon): 5616 kB Inactive(anon): 78480 kB Active(file): 1652068 kB Inactive(file): 2180840 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 47464 kB Writeback: 0 kB AnonPages: 63824 kB Mapped: 46780 kB Shmem: 25132 kB Slab: 173912 kB SReclaimable: 145436 kB SUnreclaim: 28476 kB KernelStack: 3440 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 353072 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 60788 MiB End job on node134 at 2018-07-29 19:26:45