Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | No Cert. | 2400.08 | 2400.1 |
Name | PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml |
MD5SUM | 3ae127b68cfa611bb704d38a0211b659 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -142 |
Best CPU time to get the best result obtained on this benchmark | 2400.0701 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2025 |
Number of constraints | 62994 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2025}] |
Minimum variable degree | 10 |
Maximum variable degree | 121 |
Distribution of variable degrees | [{"degree":10,"count":5},{"degree":11,"count":8},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":3},{"degree":15,"count":6},{"degree":16,"count":3},{"degree":17,"count":4},{"degree":18,"count":3},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":24,"count":1},{"degree":30,"count":1},{"degree":31,"count":4},{"degree":32,"count":15},{"degree":33,"count":16},{"degree":34,"count":32},{"degree":35,"count":24},{"degree":36,"count":30},{"degree":37,"count":27},{"degree":38,"count":21},{"degree":39,"count":19},{"degree":40,"count":4},{"degree":41,"count":7},{"degree":42,"count":1},"...",{"degree":96,"count":34}, {"degree":97,"count":30}, {"degree":98,"count":49}, {"degree":99,"count":64}, {"degree":100,"count":72}, {"degree":101,"count":96}, {"degree":102,"count":113}, {"degree":103,"count":112}, {"degree":104,"count":133}, {"degree":105,"count":128}, {"degree":106,"count":120}, {"degree":107,"count":126}, {"degree":108,"count":97}, {"degree":109,"count":78}, {"degree":110,"count":77}, {"degree":111,"count":68}, {"degree":112,"count":38}, {"degree":113,"count":29}, {"degree":114,"count":22}, {"degree":115,"count":26}, {"degree":116,"count":13}, {"degree":117,"count":10}, {"degree":118,"count":8}, {"degree":120,"count":2}, {"degree":121,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":1170},{"arity":3,"count":61824}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":62994}] |
Optimization problem | YES |
Type of objective | min SUM |
2.30/2.34 c best=?? lower=-327 upper=0 2.48/2.53 c 2.48/2.53 c This is cosoco 1.0 -- 2.48/2.53 c 2.48/2.53 c enable optimization 2.48/2.53 c ========================================[ Problem Statistics ]=========================================== 2.48/2.53 c | 2.48/2.53 c | Parse time : 2.14 s 2.48/2.53 c | 2.48/2.53 c | Variables: 2025 2.48/2.53 c | Domain Sizes: 2..2 2.48/2.53 c | 2.48/2.53 c | Constraints: 62995 2.48/2.53 c | Arity: 2..135 -- Binary: 1170 -- Ternary: 61824 2.48/2.53 c | 2.48/2.53 c | Types: 2.48/2.53 c | Sum: 62995 2.48/2.53 c | 2.48/2.53 c ========================================================================================================= 2.48/2.53 o 0 2.48/2.53 c 1 calls to solver: best=0 lower=-327 upper=-1 2.68/2.72 o -1 2.88/2.91 o -4 2.88/2.91 c 3 calls to solver: best=-4 lower=-327 upper=-5 3.08/3.11 o -5 3.18/3.30 o -7 3.18/3.30 c 5 calls to solver: best=-7 lower=-327 upper=-8 3.39/3.49 o -8 3.59/3.67 o -9 3.59/3.67 c 7 calls to solver: best=-9 lower=-327 upper=-10 3.79/3.86 o -11 3.99/4.05 o -13 3.99/4.05 c 9 calls to solver: best=-13 lower=-327 upper=-14 4.19/4.24 o -14 4.40/4.43 o -15 4.40/4.43 c 11 calls to solver: best=-15 lower=-327 upper=-16 4.59/4.63 o -16 4.79/4.82 o -17 4.79/4.82 c 13 calls to solver: best=-17 lower=-327 upper=-18 4.99/5.01 o -19 5.19/5.21 o -20 5.19/5.21 c 15 calls to solver: best=-20 lower=-327 upper=-21 5.39/5.40 o -22 5.50/5.59 o -23 5.50/5.59 c 17 calls to solver: best=-23 lower=-327 upper=-24 5.79/5.81 o -24 5.99/6.00 o -25 5.99/6.00 c 19 calls to solver: best=-25 lower=-327 upper=-26 6.19/6.20 o -26 6.29/6.39 o -27 6.29/6.39 c 21 calls to solver: best=-27 lower=-327 upper=-28 6.49/6.59 o -28 6.69/6.79 o -29 6.69/6.79 c 23 calls to solver: best=-29 lower=-327 upper=-30 6.89/6.98 o -30 7.09/7.18 o -31 7.09/7.18 c 25 calls to solver: best=-31 lower=-327 upper=-32 7.29/7.38 o -32 7.59/7.60 o -33 7.59/7.60 c 27 calls to solver: best=-33 lower=-327 upper=-34 7.69/7.80 o -35 7.99/8.00 o -37 7.99/8.00 c 29 calls to solver: best=-37 lower=-327 upper=-38 8.19/8.20 o -38 8.39/8.40 o -39 8.39/8.40 c 31 calls to solver: best=-39 lower=-327 upper=-40 8.59/8.61 o -40 8.79/8.81 o -41 8.79/8.81 c 33 calls to solver: best=-41 lower=-327 upper=-42 8.99/9.01 o -42 9.18/9.22 o -43 9.18/9.22 c 35 calls to solver: best=-43 lower=-327 upper=-44 9.38/9.43 o -44 9.58/9.63 o -45 9.58/9.63 c 37 calls to solver: best=-45 lower=-327 upper=-46 9.78/9.84 o -46 9.99/10.04 o -47 9.99/10.04 c 39 calls to solver: best=-47 lower=-327 upper=-48 10.19/10.25 o -48 10.39/10.47 o -49 10.39/10.47 c 41 calls to solver: best=-49 lower=-327 upper=-50 10.59/10.68 o -51 10.79/10.89 o -52 10.79/10.89 c 43 calls to solver: best=-52 lower=-327 upper=-53 11.10/11.11 o -53 11.29/11.32 o -54 11.29/11.32 c 45 calls to solver: best=-54 lower=-327 upper=-55 11.49/11.53 o -55 11.69/11.75 o -56 11.69/11.75 c 47 calls to solver: best=-56 lower=-327 upper=-57 11.89/11.97 o -57 12.19/12.21 o -58 12.19/12.21 c 49 calls to solver: best=-58 lower=-327 upper=-59 12.39/12.43 o -59 12.59/12.64 o -60 12.59/12.64 c 51 calls to solver: best=-60 lower=-327 upper=-61 12.79/12.86 o -61 12.99/13.06 o -62 12.99/13.06 c 53 calls to solver: best=-62 lower=-327 upper=-63 13.19/13.27 o -63 13.39/13.49 o -64 13.39/13.49 c 55 calls to solver: best=-64 lower=-327 upper=-65 13.69/13.70 o -65 13.89/13.91 o -66 13.89/13.91 c 57 calls to solver: best=-66 lower=-327 upper=-67 14.09/14.12 o -67 14.29/14.40 o -68 14.29/14.40 c 59 calls to solver: best=-68 lower=-327 upper=-69 15.19/15.28 o -69 15.39/15.50 o -70 15.39/15.50 c 61 calls to solver: best=-70 lower=-327 upper=-71 15.69/15.72 o -71 15.89/15.94 o -72 15.89/15.94 c 63 calls to solver: best=-72 lower=-327 upper=-73 16.09/16.15 o -73 16.29/16.37 o -74 16.29/16.37 c 65 calls to solver: best=-74 lower=-327 upper=-75 16.59/16.65 o -75 16.99/17.01 o -76 16.99/17.01 c 67 calls to solver: best=-76 lower=-327 upper=-77 17.29/17.30 o -77 17.49/17.53 o -78 17.49/17.53 c 69 calls to solver: best=-78 lower=-327 upper=-79 17.69/17.75 o -79 17.88/17.98 o -80 17.88/17.98 c 71 calls to solver: best=-80 lower=-327 upper=-81 18.18/18.22 o -81 18.88/18.99 o -82 18.88/18.99 c 73 calls to solver: best=-82 lower=-327 upper=-83 19.38/19.49 o -83 20.90/20.92 o -84 20.90/20.92 c 75 calls to solver: best=-84 lower=-327 upper=-85 21.09/21.15 o -85 21.39/21.41 o -86 21.39/21.41 c 77 calls to solver: best=-86 lower=-327 upper=-87 21.59/21.63 o -87 21.79/21.86 o -88 21.79/21.86 c 79 calls to solver: best=-88 lower=-327 upper=-89 22.00/22.08 o -89 22.29/22.31 o -90 22.29/22.31 c 81 calls to solver: best=-90 lower=-327 upper=-91 22.49/22.54 o -91 22.69/22.79 o -92 22.69/22.79 c 83 calls to solver: best=-92 lower=-327 upper=-93 23.09/23.12 o -93 23.29/23.36 o -94 23.29/23.36 c 85 calls to solver: best=-94 lower=-327 upper=-95 23.59/23.61 o -95 23.79/23.84 o -96 23.79/23.84 c 87 calls to solver: best=-96 lower=-327 upper=-97 24.39/24.48 o -97 24.69/24.72 o -98 24.69/24.72 c 89 calls to solver: best=-98 lower=-327 upper=-99 24.89/24.99 o -99 27.29/27.33 o -100 27.29/27.33 c 91 calls to solver: best=-100 lower=-327 upper=-101 28.29/28.37 o -101 33.58/33.64 o -102 33.58/33.64 c 93 calls to solver: best=-102 lower=-327 upper=-103 34.28/34.30 o -103 35.88/35.99 o -105 35.88/35.99 c 95 calls to solver: best=-105 lower=-327 upper=-106 43.19/43.29 o -106 44.78/44.84 o -107 44.78/44.84 c 97 calls to solver: best=-107 lower=-327 upper=-108 45.09/45.11 o -108 45.38/45.45 o -109 45.38/45.45 c 99 calls to solver: best=-109 lower=-327 upper=-110 45.58/45.69 o -110 46.19/46.24 o -111 46.19/46.24 c 101 calls to solver: best=-111 lower=-327 upper=-112 46.48/46.56 o -112 46.78/46.86 o -113 46.78/46.86 c 103 calls to solver: best=-113 lower=-327 upper=-114 47.08/47.10 o -114 47.39/47.41 o -115 47.39/47.41 c 105 calls to solver: best=-115 lower=-327 upper=-116 47.58/47.66 o -116 47.98/48.02 o -117 47.98/48.02 c 107 calls to solver: best=-117 lower=-327 upper=-118 48.98/49.02 o -118 49.58/49.68 o -119 49.58/49.68 c 109 calls to solver: best=-119 lower=-327 upper=-120 134.17/134.21 o -120 141.36/141.43 o -121 141.36/141.43 c 111 calls to solver: best=-121 lower=-327 upper=-122 141.96/142.03 o -122 142.66/142.71 o -123 142.66/142.71 c 113 calls to solver: best=-123 lower=-327 upper=-124 143.16/143.28 o -124 143.56/143.62 o -125 143.56/143.62 c 115 calls to solver: best=-125 lower=-327 upper=-126 150.16/150.21 o -126 154.16/154.25 o -127 154.16/154.25 c 117 calls to solver: best=-127 lower=-327 upper=-128 198.65/198.71 o -128 242.13/242.26 o -129 242.13/242.26 c 119 calls to solver: best=-129 lower=-327 upper=-130 391.10/391.29 o -130 470.11/470.22 o -131 470.11/470.22 c 121 calls to solver: best=-131 lower=-327 upper=-132 619.51/619.62 o -132 911.92/912.09 o -133 911.92/912.09 c 123 calls to solver: best=-133 lower=-327 upper=-134 960.82/960.94 o -134 1010.73/1010.84 o -135 1010.73/1010.84 c 125 calls to solver: best=-135 lower=-327 upper=-136 1021.63/1021.78 o -136 1076.03/1076.16 o -137 1076.03/1076.16 c 127 calls to solver: best=-137 lower=-327 upper=-138 1495.95/1496.03 o -138 1545.34/1545.42 o -139 1545.34/1545.42 c 129 calls to solver: best=-139 lower=-327 upper=-140 1655.35/1655.49 o -140 1666.35/1666.49 o -141 1666.35/1666.49 c 131 calls to solver: best=-141 lower=-327 upper=-142 1702.15/1702.22 o -142 2400.07/2400.10 2400.07/2400.10 c *** INTERRUPTED *** 2400.07/2400.10 s SATISFIABLE 2400.07/2400.10 c Best value found: -142 2400.07/2400.10 2400.07/2400.10 2400.07/2400.10 v <instantiation type='solution' cost='-142'> 2400.07/2400.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] </list> 2400.07/2400.10 v <values>0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 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 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 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 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 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 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
ERROR: no instantiation found
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-4253384-1500929512/watcher-4253384-1500929512 -o /tmp/evaluation-result-4253384-1500929512/solver-4253384-1500929512 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500914920-3754 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253384-1500929512.xml pid=7374 running on 4 cores: 1,3,5,7 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.00 2.01 2.05 2/181 7377 /proc/meminfo: memFree=32114820/32770624 swapFree=5848/122424 [pid=7377] ppid=7374 vsize=26772 CPUtime=0 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 929 0 0 0 0 0 0 0 20 0 1 0 2539943 27414528 759 33554432000 4194304 5744392 140724535780464 140724535777112 139995588897765 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 6693 759 673 379 0 112 0 [startup+0.100104 s] /proc/loadavg: 2.00 2.01 2.05 2/181 7377 /proc/meminfo: memFree=32114820/32770624 swapFree=5848/122424 [pid=7377] ppid=7374 vsize=30092 CPUtime=0.09 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 1793 0 0 0 9 0 0 0 20 0 1 0 2539943 30814208 1596 33554432000 4194304 5744392 140724535780464 140724535777112 5473211 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 7523 1596 718 379 0 942 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30092 [startup+0.200243 s] /proc/loadavg: 2.00 2.01 2.05 2/181 7377 /proc/meminfo: memFree=32114820/32770624 swapFree=5848/122424 [pid=7377] ppid=7374 vsize=30548 CPUtime=0.19 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 1926 0 0 0 19 0 0 0 20 0 1 0 2539943 31281152 1657 33554432000 4194304 5744392 140724535780464 140724535777112 5474537 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 7637 1657 718 379 0 1056 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30548 [startup+0.300207 s] /proc/loadavg: 2.00 2.01 2.05 2/181 7377 /proc/meminfo: memFree=32114820/32770624 swapFree=5848/122424 [pid=7377] ppid=7374 vsize=31064 CPUtime=0.29 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 2118 0 0 0 29 0 0 0 20 0 1 0 2539943 31809536 1769 33554432000 4194304 5744392 140724535780464 140724535777112 139995588620445 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 7766 1769 718 379 0 1185 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31064 [startup+0.70017 s] /proc/loadavg: 2.00 2.01 2.05 2/181 7377 /proc/meminfo: memFree=32114820/32770624 swapFree=5848/122424 [pid=7377] ppid=7374 vsize=32756 CPUtime=0.69 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 2697 0 0 0 69 0 0 0 20 0 1 0 2539943 33542144 2190 33554432000 4194304 5744392 140724535780464 140724535777112 139995588897765 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 8189 2190 718 379 0 1608 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32756 [startup+1.50025 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7378 /proc/meminfo: memFree=32030852/32770624 swapFree=5848/122428 [pid=7377] ppid=7374 vsize=262780 CPUtime=1.49 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 60256 0 0 0 141 8 0 0 20 0 1 0 2539943 269086720 59742 33554432000 4194304 5744392 140724535780464 140724535777112 139995588897765 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 65695 59742 718 379 0 59114 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 262780 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7378 /proc/meminfo: memFree=31610600/32770624 swapFree=5848/122428 [pid=7377] ppid=7374 vsize=573088 CPUtime=3.08 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 207469 0 0 0 287 21 0 0 20 0 1 0 2539943 586842112 137375 33554432000 4194304 5744392 140724535780464 140724535777112 4872792 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 143272 137375 759 379 0 136691 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 573088 [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7378 /proc/meminfo: memFree=31565156/32770624 swapFree=5848/122428 [pid=7377] ppid=7374 vsize=575496 CPUtime=6.29 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 246482 0 0 0 606 23 0 0 20 0 1 0 2539943 589307904 137967 33554432000 4194304 5744392 140724535780464 140724535778072 5140573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 143874 137967 759 379 0 137293 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 575496 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7378 /proc/meminfo: memFree=31561036/32770624 swapFree=5848/122440 [pid=7377] ppid=7374 vsize=578868 CPUtime=12.69 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 321758 0 0 0 1243 26 0 0 20 0 1 0 2539943 592760832 138830 33554432000 4194304 5744392 140724535780464 140724535767816 5118920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 144717 138830 759 379 0 138136 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 578868 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7378 /proc/meminfo: memFree=31559836/32770624 swapFree=5848/122456 [pid=7377] ppid=7374 vsize=580220 CPUtime=25.49 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 397229 0 0 0 2520 29 0 0 20 0 1 0 2539943 594145280 139176 33554432000 4194304 5744392 140724535780464 140724535778072 4946326 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145055 139176 759 379 0 138474 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 580220 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7378 /proc/meminfo: memFree=31559736/32770624 swapFree=5848/122488 [pid=7377] ppid=7374 vsize=580632 CPUtime=51.09 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 503496 0 0 0 5074 35 0 0 20 0 1 0 2539943 594567168 139259 33554432000 4194304 5744392 140724535780464 140724535767816 4946312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139259 759 379 0 138577 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 580632 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7379 /proc/meminfo: memFree=31558912/32770624 swapFree=5848/122536 [pid=7377] ppid=7374 vsize=580632 CPUtime=102.28 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 567972 0 0 0 10190 38 0 0 20 0 1 0 2539943 594567168 139259 33554432000 4194304 5744392 140724535780464 140724535767816 4945689 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139259 759 379 0 138577 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 580632 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7380 /proc/meminfo: memFree=31558940/32770624 swapFree=5848/122592 [pid=7377] ppid=7374 vsize=580632 CPUtime=162.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 622311 0 0 0 16185 40 0 0 20 0 1 0 2539943 594567168 139272 33554432000 4194304 5744392 140724535780464 140724535767816 5024227 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139272 759 379 0 138577 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 580632 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7382 /proc/meminfo: memFree=31558472/32770624 swapFree=5848/122644 [pid=7377] ppid=7374 vsize=580632 CPUtime=222.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 658185 0 0 0 22183 42 0 0 20 0 1 0 2539943 594567168 139272 33554432000 4194304 5744392 140724535780464 140724535778072 4945697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139272 759 379 0 138577 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 580632 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7383 /proc/meminfo: memFree=31558112/32770624 swapFree=5848/122672 [pid=7377] ppid=7374 vsize=580632 CPUtime=282.22 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 681808 0 0 0 28179 43 0 0 20 0 1 0 2539943 594567168 139272 33554432000 4194304 5744392 140724535780464 140724535767816 4947260 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139272 759 379 0 138577 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 580632 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7384 /proc/meminfo: memFree=31557892/32770624 swapFree=5848/122700 [pid=7377] ppid=7374 vsize=580632 CPUtime=342.21 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 691033 0 0 0 34177 44 0 0 20 0 1 0 2539943 594567168 139308 33554432000 4194304 5744392 140724535780464 140724535767816 4945626 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139308 759 379 0 138577 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 580632 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7386 /proc/meminfo: memFree=31558144/32770624 swapFree=5848/122736 [pid=7377] ppid=7374 vsize=580632 CPUtime=402.2 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 692292 0 0 0 40176 44 0 0 20 0 1 0 2539943 594567168 139308 33554432000 4194304 5744392 140724535780464 140724535778072 4945680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139308 759 379 0 138577 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 580632 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7387 /proc/meminfo: memFree=31557912/32770624 swapFree=5848/122780 [pid=7377] ppid=7374 vsize=580632 CPUtime=462.21 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 693021 0 0 0 46177 44 0 0 20 0 1 0 2539943 594567168 139308 33554432000 4194304 5744392 140724535780464 140724535778072 4946169 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139308 759 379 0 138577 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 580632 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7395 /proc/meminfo: memFree=31557220/32770624 swapFree=5848/122820 [pid=7377] ppid=7374 vsize=580632 CPUtime=522.21 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 693838 0 0 0 52177 44 0 0 20 0 1 0 2539943 594567168 139308 33554432000 4194304 5744392 140724535780464 140724535767816 5118920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139308 759 379 0 138577 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 580632 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7419 /proc/meminfo: memFree=31556764/32770624 swapFree=5848/122856 [pid=7377] ppid=7374 vsize=580632 CPUtime=582.21 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 694552 0 0 0 58177 44 0 0 20 0 1 0 2539943 594567168 139308 33554432000 4194304 5744392 140724535780464 140724535767816 5024224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139308 759 379 0 138577 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 580632 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.05 2.03 2.05 3/182 7442 /proc/meminfo: memFree=31557004/32770624 swapFree=5848/123340 [pid=7377] ppid=7374 vsize=580632 CPUtime=1542.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 706696 0 0 0 154180 45 0 0 20 0 1 0 2539943 594567168 139317 33554432000 4194304 5744392 140724535780464 140724535778072 4946156 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139317 759 379 0 138577 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 580632 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 7443 /proc/meminfo: memFree=31557048/32770624 swapFree=5848/123372 [pid=7377] ppid=7374 vsize=580632 CPUtime=1602.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 707537 0 0 0 160180 45 0 0 20 0 1 0 2539943 594567168 139320 33554432000 4194304 5744392 140724535780464 140724535767816 4948372 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139320 759 379 0 138577 0 Current children cumulated CPU time (s) 1602.25 Current children cumulated vsize (KiB) 580632 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 7444 /proc/meminfo: memFree=31557544/32770624 swapFree=5848/123404 [pid=7377] ppid=7374 vsize=580632 CPUtime=1662.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 708371 0 0 0 166180 45 0 0 20 0 1 0 2539943 594567168 139320 33554432000 4194304 5744392 140724535780464 140724535778072 5118920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139320 759 379 0 138577 0 Current children cumulated CPU time (s) 1662.25 Current children cumulated vsize (KiB) 580632 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7453 /proc/meminfo: memFree=31556960/32770624 swapFree=5848/123448 [pid=7377] ppid=7374 vsize=580632 CPUtime=1722.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 709232 0 0 0 172180 45 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4946309 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 1722.25 Current children cumulated vsize (KiB) 580632 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7454 /proc/meminfo: memFree=31557184/32770624 swapFree=5848/123468 [pid=7377] ppid=7374 vsize=580632 CPUtime=1782.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 709940 0 0 0 178180 45 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4945852 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 580632 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7455 /proc/meminfo: memFree=31557392/32770624 swapFree=5848/123492 [pid=7377] ppid=7374 vsize=580632 CPUtime=1842.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 710636 0 0 0 184180 45 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4946696 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 1842.25 Current children cumulated vsize (KiB) 580632 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7456 /proc/meminfo: memFree=31557580/32770624 swapFree=5848/123520 [pid=7377] ppid=7374 vsize=580632 CPUtime=1902.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 711343 0 0 0 190180 45 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4946688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 1902.25 Current children cumulated vsize (KiB) 580632 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7457 /proc/meminfo: memFree=31557688/32770624 swapFree=5848/123552 [pid=7377] ppid=7374 vsize=580632 CPUtime=1962.25 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 712058 0 0 0 196180 45 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 5024224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 1962.25 Current children cumulated vsize (KiB) 580632 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7459 /proc/meminfo: memFree=31557456/32770624 swapFree=5848/123580 [pid=7377] ppid=7374 vsize=580632 CPUtime=2022.26 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 712755 0 0 0 202180 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 5024186 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2022.26 Current children cumulated vsize (KiB) 580632 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7460 /proc/meminfo: memFree=31557796/32770624 swapFree=5848/123600 [pid=7377] ppid=7374 vsize=580632 CPUtime=2082.27 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 713442 0 0 0 208181 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4945680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2082.27 Current children cumulated vsize (KiB) 580632 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7461 /proc/meminfo: memFree=31557128/32770624 swapFree=5848/123632 [pid=7377] ppid=7374 vsize=580632 CPUtime=2142.27 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 714169 0 0 0 214181 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 5118920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2142.27 Current children cumulated vsize (KiB) 580632 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7463 /proc/meminfo: memFree=31556712/32770624 swapFree=5848/123660 [pid=7377] ppid=7374 vsize=580632 CPUtime=2202.28 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 714877 0 0 0 220182 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4945697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2202.28 Current children cumulated vsize (KiB) 580632 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7524 /proc/meminfo: memFree=31556988/32770624 swapFree=5848/123744 [pid=7377] ppid=7374 vsize=580632 CPUtime=2262.27 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 715570 0 0 0 226181 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4945705 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2262.27 Current children cumulated vsize (KiB) 580632 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7533 /proc/meminfo: memFree=31556100/32770624 swapFree=5848/123784 [pid=7377] ppid=7374 vsize=580632 CPUtime=2322.27 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 716302 0 0 0 232181 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 5024402 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2322.27 Current children cumulated vsize (KiB) 580632 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7534 /proc/meminfo: memFree=31556164/32770624 swapFree=5848/123816 [pid=7377] ppid=7374 vsize=580632 CPUtime=2382.28 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 717004 0 0 0 238182 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4945680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2382.28 Current children cumulated vsize (KiB) 580632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7535 /proc/meminfo: memFree=31556040/32770624 swapFree=5848/123836 [pid=7377] ppid=7374 vsize=580632 CPUtime=2400.07 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 717011 0 0 0 239961 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4946118 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 580632 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 7377 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7535 /proc/meminfo: memFree=31556040/32770624 swapFree=5848/123836 [pid=7377] ppid=7374 vsize=580632 CPUtime=2400.07 cores=1,3,5,7 /proc/7377/stat : 7377 (cosoco) R 7374 7377 3722 0 -1 4202496 717011 0 0 0 239961 46 0 0 20 0 1 0 2539943 594567168 139326 33554432000 4194304 5744392 140724535780464 140724535778072 4946118 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 8392704 140724535784641 140724535784771 140724535784771 140724535787470 0 /proc/7377/statm: 145158 139326 759 379 0 138577 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 580632 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.08 CPU user time (s): 2399.62 CPU system time (s): 0.464013 CPU usage (%): 99.9992 Max. virtual memory (cumulated for all children) (KiB): 580632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.62 system time used= 0.464013 maximum resident set size= 557356 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 717051 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= 228 involuntary context switches= 640 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.24489 second user time and 10.4353 second system time The end
Begin job on node145 at 2017-07-24 22:51:52 IDJOB=4253384 IDBENCH=134650 IDSOLVER=2633 FILE ID=node145/4253384-1500929512 RUNJOBID= node145-1500914920-3754 PBS_JOBID= 20625401 Free space on /tmp= 61680 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-fs/Pb-fs-50-250-0-45-90-4-1000.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4253384-1500929512/watcher-4253384-1500929512 -o /tmp/evaluation-result-4253384-1500929512/solver-4253384-1500929512 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500914920-3754 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253384-1500929512.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3ae127b68cfa611bb704d38a0211b659 RANDOM SEED=1046261763 node145.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.58 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.58 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.58 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.58 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: 32114564 kB MemAvailable: 32061148 kB Buffers: 38084 kB Cached: 222968 kB SwapCached: 0 kB Active: 174784 kB Inactive: 130996 kB Active(anon): 47552 kB Inactive(anon): 8572 kB Active(file): 127232 kB Inactive(file): 122424 kB Unevictable: 5848 kB Mlocked: 5848 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4660 kB Writeback: 132 kB AnonPages: 52300 kB Mapped: 29264 kB Shmem: 8848 kB Slab: 50620 kB SReclaimable: 25524 kB SUnreclaim: 25096 kB KernelStack: 3280 kB PageTables: 4528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 285012 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61680 MiB End job on node145 at 2017-07-24 23:31:52