Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 999185 | 2400.09 | 2400.2 |
Name | Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml |
MD5SUM | b9a88cf563e94a20e010143964b9c3ad |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1458346 |
Best CPU time to get the best result obtained on this benchmark | 2520.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 200 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}] |
Minimum constraint arity | 36 |
Maximum constraint arity | 75 |
Distribution of constraint arities | [{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":200}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c Mistral 16062018 0.41/0.44 o 0 0.41/0.44 o 396 0.41/0.44 o 9009 0.41/0.44 o 15063 0.41/0.44 o 17666 0.41/0.44 o 22390 0.41/0.44 o 29847 0.41/0.44 o 39467 0.41/0.44 o 46961 0.41/0.45 o 47435 0.41/0.45 o 51200 0.41/0.45 o 52348 0.41/0.45 o 55740 0.41/0.45 o 56920 0.41/0.45 o 61360 0.41/0.45 o 65954 0.41/0.45 o 67468 0.41/0.45 o 75713 0.41/0.46 o 81002 0.41/0.46 o 90028 0.41/0.46 o 93652 0.41/0.46 o 95972 0.41/0.46 o 96885 0.41/0.46 o 98208 0.41/0.46 o 103423 0.41/0.46 o 111036 0.41/0.47 o 111846 0.41/0.47 o 117933 0.41/0.47 o 119174 0.41/0.47 o 123388 0.41/0.47 o 130923 0.41/0.47 o 135327 0.41/0.47 o 140052 0.41/0.48 o 148865 0.41/0.48 o 151832 0.41/0.48 o 158343 0.41/0.48 o 159803 0.41/0.48 o 163289 0.41/0.48 o 169429 0.41/0.48 o 170348 0.41/0.49 o 179464 0.41/0.49 o 184366 0.41/0.49 o 186233 0.41/0.49 o 186493 0.41/0.49 o 187925 0.41/0.49 o 195545 0.41/0.50 o 201774 0.41/0.50 o 208691 0.41/0.50 o 210406 0.41/0.50 o 215270 0.41/0.50 o 219071 0.41/0.50 o 221258 0.41/0.51 o 223499 0.41/0.51 o 227390 0.41/0.51 o 236038 0.41/0.51 o 241537 0.51/0.52 o 251115 0.51/0.52 o 253302 0.51/0.52 o 262581 0.51/0.52 o 270803 0.51/0.52 o 277413 0.51/0.53 o 280016 0.51/0.53 o 281093 0.51/0.53 o 286884 0.51/0.53 o 295096 0.51/0.53 o 296595 0.51/0.54 o 302122 0.51/0.54 o 309127 0.51/0.54 o 310170 0.51/0.54 o 310772 0.51/0.54 o 315247 0.51/0.54 o 318910 0.51/0.55 o 324787 0.51/0.55 o 325654 0.51/0.55 o 333046 0.51/0.55 o 335691 0.51/0.55 o 338067 0.51/0.56 o 346124 0.51/0.56 o 352367 0.51/0.56 o 356906 0.51/0.57 o 364320 0.51/0.57 o 365728 0.51/0.57 o 374327 0.51/0.57 o 374968 0.51/0.57 o 383901 0.51/0.58 o 389391 0.51/0.58 o 395539 0.51/0.58 o 400421 0.51/0.58 o 401786 0.51/0.59 o 405685 0.51/0.59 o 412451 0.51/0.59 o 416017 0.51/0.59 o 424934 0.51/0.60 o 433889 0.51/0.60 o 440747 0.51/0.60 o 441845 0.60/0.61 o 450787 0.60/0.61 o 452364 0.60/0.61 o 459881 0.60/0.62 o 469748 0.60/0.62 o 478220 0.60/0.62 o 486788 0.60/0.62 o 488074 0.60/0.63 o 495225 0.60/0.63 o 503705 0.60/0.64 o 513552 0.60/0.64 o 517262 0.60/0.64 o 517975 0.60/0.64 o 522544 0.60/0.65 o 528503 0.60/0.65 o 536976 0.60/0.65 o 543014 0.60/0.66 o 551973 0.60/0.66 o 552057 0.60/0.66 o 552554 0.60/0.66 o 552618 0.60/0.66 o 554416 0.60/0.67 o 561621 0.60/0.67 o 569027 0.60/0.67 o 574862 0.60/0.68 o 584742 0.60/0.68 o 585818 0.60/0.68 o 590376 0.60/0.69 o 599149 0.60/0.69 o 608414 0.60/0.69 o 609266 0.60/0.69 o 610198 0.60/0.70 o 612120 0.69/0.70 o 616282 0.69/0.70 o 620509 0.69/0.70 o 623165 0.69/0.71 o 623517 0.69/0.71 o 631797 0.69/0.71 o 636653 0.69/0.72 o 645493 0.69/0.72 o 646446 0.69/0.72 o 647601 0.69/0.73 o 654843 0.69/0.73 o 663751 0.69/0.73 o 664762 0.69/0.74 o 670686 0.69/0.74 o 673590 0.69/0.74 o 679177 0.69/0.75 o 684120 0.69/0.75 o 692359 0.69/0.75 o 700086 0.69/0.76 o 702850 0.69/0.76 o 711831 0.69/0.76 o 715489 0.69/0.77 o 717396 0.69/0.77 o 719686 0.69/0.77 o 720458 0.69/0.78 o 726053 0.69/0.78 o 731373 0.69/0.78 o 737673 0.69/0.78 o 737683 0.69/0.79 o 745294 0.69/0.79 o 749776 0.79/0.80 o 759066 0.79/0.80 o 763725 0.79/0.81 o 771390 0.79/0.81 o 779680 0.79/0.82 o 783287 0.79/0.82 o 783422 0.79/0.82 o 788118 0.79/0.83 o 796813 0.79/0.83 o 803023 0.79/0.83 o 807096 0.79/0.84 o 810910 0.79/0.84 o 820412 0.79/0.85 o 822934 0.79/0.85 o 827822 0.79/0.85 o 832896 0.79/0.86 o 839799 0.79/0.86 o 848060 0.79/0.87 o 852816 0.79/0.87 o 860638 0.79/0.88 o 865329 0.79/0.88 o 871029 0.79/0.89 o 878521 0.79/0.89 o 883220 0.79/0.90 o 890761 0.89/0.90 o 894425 0.89/0.90 o 894516 0.89/0.90 o 897566 0.89/0.91 o 901466 0.89/0.91 o 906026 0.89/0.91 o 907783 0.89/0.92 o 912445 0.89/0.92 o 917711 0.89/0.92 o 919155 0.89/0.93 o 926097 0.89/0.93 o 930030 0.89/0.94 o 931022 0.89/0.95 o 944555 0.89/0.96 o 948606 1.49/1.59 o 951952 5.09/5.18 o 952120 10.58/10.66 o 961668 14.27/14.40 o 962260 14.47/14.57 o 972166 29.48/29.55 o 979040 146.17/146.22 o 985021 787.81/787.94 o 999185 2400.08/2400.20 s SATISFIABLE 2400.08/2400.20 v <instantiation type="solution"> 2400.08/2400.20 v <list> b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list> 2400.08/2400.20 v <values> 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 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 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 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 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 1 0 0 0 0 1 0 0 0 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 1 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 0 0 0 0 0 0 0 1 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 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 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 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 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 1 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 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 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 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 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 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 0 0 0 0 0 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 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 0 0 0 0 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 1 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 </values> 2400.08/2400.20 v </instantiation>
OK 999185
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 (14378 MiB free) memory of node 1: 16384 MiB (14266 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291757-1532259676/watcher-4291757-1532259676 -o /tmp/evaluation-result-4291757-1532259676/solver-4291757-1532259676 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532259675-30704 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1942501034 HOME/instance-4291757-1532259676.xml running on 4 cores: 0,2,4,6 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=30795, runsolver pid=30792 [startup+0.100979 s]* /proc/loadavg: 0.76 1.12 1.33 3/187 30796 /proc/meminfo: memFree=29319620/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=40808 memory=15536 CPUtime=0.09 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 4221 0 0 0 9 0 0 0 20 0 1 0 43530847 41787392 3884 33554432000 4194304 7498468 140734200464272 140734200454488 5570502 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 10202 3884 723 807 0 3193 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 40808 KiB Current children cumulated memory: 15536 KiB [startup+0.209596 s]* /proc/loadavg: 0.76 1.12 1.33 3/187 30796 /proc/meminfo: memFree=29313988/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=47224 memory=21752 CPUtime=0.21 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 5934 0 0 0 20 1 0 0 20 0 1 0 43530847 48357376 5438 33554432000 4194304 7498468 140734200464272 140734200454488 140069603530288 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 11806 5438 723 807 0 4797 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 47224 KiB Current children cumulated memory: 21752 KiB [startup+0.309836 s]* /proc/loadavg: 0.76 1.12 1.33 3/187 30796 /proc/meminfo: memFree=29311136/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=49496 memory=24128 CPUtime=0.31 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 6530 0 0 0 30 1 0 0 20 0 1 0 43530847 50683904 6032 33554432000 4194304 7498468 140734200464272 140734200458024 5164472 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12374 6032 747 807 0 5365 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 49496 KiB Current children cumulated memory: 24128 KiB [startup+0.700267 s] /proc/loadavg: 0.76 1.12 1.33 3/187 30796 /proc/meminfo: memFree=29310400/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24656 CPUtime=0.69 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 6674 0 0 0 68 1 0 0 20 0 1 0 43530847 51257344 6164 33554432000 4194304 7498468 140734200464272 140734200458024 5770712 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6164 751 807 0 5505 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24656 KiB [startup+1.50027 s] /proc/loadavg: 0.76 1.12 1.33 3/187 30796 /proc/meminfo: memFree=29310400/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24656 CPUtime=1.49 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 6678 0 0 0 148 1 0 0 20 0 1 0 43530847 51257344 6164 33554432000 4194304 7498468 140734200464272 140734200459288 4249962 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6164 751 807 0 5505 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24656 KiB [startup+3.10918 s] /proc/loadavg: 0.76 1.12 1.33 3/187 30796 /proc/meminfo: memFree=29310408/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=3.09 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 10458 0 0 0 308 1 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4245328 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+6.30022 s] /proc/loadavg: 0.78 1.11 1.33 3/187 30796 /proc/meminfo: memFree=29309024/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=6.28 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 14311 0 0 0 626 2 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5164349 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+12.7002 s] /proc/loadavg: 0.88 1.13 1.34 3/187 30796 /proc/meminfo: memFree=29309272/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=12.68 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 18163 0 0 0 1266 2 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4249716 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+25.5003 s] /proc/loadavg: 1.13 1.17 1.35 3/187 30796 /proc/meminfo: memFree=29308508/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=25.48 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 22497 0 0 0 2545 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5772256 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+51.109 s] /proc/loadavg: 1.43 1.24 1.36 3/187 30796 /proc/meminfo: memFree=29309004/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=51.09 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 23239 0 0 0 5106 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4580120 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+102.3 s] /proc/loadavg: 1.75 1.36 1.40 3/187 30797 /proc/meminfo: memFree=29308708/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=102.27 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 23789 0 0 0 10224 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4249967 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+162.3 s] /proc/loadavg: 1.91 1.47 1.43 3/187 30798 /proc/meminfo: memFree=29308524/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=162.27 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 24362 0 0 0 16224 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5772313 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+222.3 s] /proc/loadavg: 2.05 1.59 1.47 3/187 30799 /proc/meminfo: memFree=29308572/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=222.26 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 24912 0 0 0 22223 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4249974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+282.3 s] /proc/loadavg: 2.02 1.66 1.51 3/187 30800 /proc/meminfo: memFree=29309136/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=282.26 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 25463 0 0 0 28223 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5576727 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+342.3 s] /proc/loadavg: 2.01 1.72 1.54 3/187 30801 /proc/meminfo: memFree=29308504/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=342.25 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 25852 0 0 0 34222 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5773775 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.77 1.57 3/187 30802 /proc/meminfo: memFree=29308444/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=402.25 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 26402 0 0 0 40222 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4249978 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.81 1.60 3/187 30803 /proc/meminfo: memFree=29308408/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=462.24 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 26792 0 0 0 46221 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4378930 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB ################ # More data... # ################ /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 1602.17 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.89 3/187 30863 /proc/meminfo: memFree=29306648/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=1662.17 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 35411 0 0 0 166214 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4581008 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 1662.17 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.89 3/187 30864 /proc/meminfo: memFree=29306804/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=1722.17 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 35796 0 0 0 172214 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4249962 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 1722.17 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.90 3/187 30872 /proc/meminfo: memFree=29306076/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=1782.17 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 36187 0 0 0 178214 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5649070 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 1782.17 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.00 1.91 3/187 30873 /proc/meminfo: memFree=29306308/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=1842.17 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 36573 0 0 0 184214 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5772318 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 1842.17 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.00 1.91 3/187 30874 /proc/meminfo: memFree=29306620/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=1902.17 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 36955 0 0 0 190214 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5772318 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 1902.17 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.00 1.92 3/187 30875 /proc/meminfo: memFree=29306944/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=1962.17 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 37505 0 0 0 196214 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4249972 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 1962.17 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.00 1.92 3/187 30876 /proc/meminfo: memFree=29306904/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2022.18 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 37891 0 0 0 202215 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5770681 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2022.18 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.00 1.93 3/187 30877 /proc/meminfo: memFree=29306572/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2082.18 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 38284 0 0 0 208215 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5770753 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2082.18 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.00 1.94 3/187 30878 /proc/meminfo: memFree=29306608/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2142.18 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 38669 0 0 0 214215 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4580282 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2142.18 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+2202.3 s] /proc/loadavg: 2.47 2.15 1.99 3/187 30879 /proc/meminfo: memFree=29306740/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2202.18 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 39056 0 0 0 220215 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4246880 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2202.18 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+2262.3 s] /proc/loadavg: 2.74 2.28 2.04 3/187 30880 /proc/meminfo: memFree=29306532/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2262.18 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 39436 0 0 0 226215 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5770737 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2262.18 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+2322.3 s] /proc/loadavg: 2.27 2.23 2.04 3/187 30881 /proc/meminfo: memFree=29306596/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2322.18 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 39818 0 0 0 232215 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5585681 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2322.18 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB [startup+2382.3 s] /proc/loadavg: 2.10 2.19 2.04 3/189 30891 /proc/meminfo: memFree=29306320/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2382.18 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 40208 0 0 0 238215 3 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 5770771 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2382.18 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.07 2.17 2.04 2/186 30920 /proc/meminfo: memFree=29328972/32770624 swapFree=67108860/67108860 [pid=30795] ppid=30792 vsize=50056 memory=24900 CPUtime=2400.08 cores=0,2,4,6 /proc/30795/stat : 30795 (MistralXCSP) R 30792 30795 26714 0 -1 4202496 40584 0 0 0 240004 4 0 0 20 0 1 0 43530847 51257344 6225 33554432000 4194304 7498468 140734200464272 140734200459288 4249680 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 35164160 140734200472685 140734200472835 140734200472835 140734200475593 0 /proc/30795/statm: 12514 6225 759 807 0 5505 0 Current children cumulated CPU time: 2400.08 s Current children cumulated vsize: 50056 KiB Current children cumulated memory: 24900 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.2 s] # the end of solver process 30795 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.05 s, system=0.046998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.2 CPU time (s): 2400.09 CPU user time (s): 2400.05 CPU system time (s): 0.046998 CPU usage (%): 99.9955 Max. virtual memory (cumulated for all children) (KiB): 50056 Max. memory (cumulated for all children) (KiB): 24900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.046998 maximum resident set size= 24920 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40623 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= 14 involuntary context switches= 3005 # summary of solver processes directly reported to runsolver: # pid: 30795 # total CPU time (s): 2400.09 # total CPU user time (s): 2400.05 # total CPU system time (s): 0.046998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.85208 second user time and 15.0434 second system time The end
Begin job on node149 at 2018-07-22 13:41:16 IDJOB=4291757 IDBENCH=141158 IDSOLVER=2741 FILE ID=node149/4291757-1532259676 RUNJOBID= node149-1532259675-30704 PBS_JOBID= 21018956 Free space on /tmp= 51876 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay200_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291757-1532259676/watcher-4291757-1532259676 -o /tmp/evaluation-result-4291757-1532259676/solver-4291757-1532259676 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532259675-30704 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1942501034 HOME/instance-4291757-1532259676.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad RANDOM SEED=1942501034 node149.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.60 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.60 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.60 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.60 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: 29332244 kB MemAvailable: 31954528 kB Buffers: 111408 kB Cached: 2770540 kB SwapCached: 0 kB Active: 1486672 kB Inactive: 1473632 kB Active(anon): 27448 kB Inactive(anon): 70172 kB Active(file): 1459224 kB Inactive(file): 1403460 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9256 kB Writeback: 0 kB AnonPages: 84636 kB Mapped: 37280 kB Shmem: 17032 kB Slab: 177804 kB SReclaimable: 150868 kB SUnreclaim: 26936 kB KernelStack: 3280 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367356 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 51876 MiB End job on node149 at 2018-07-22 14:21:17