Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | OPT | 6 | 463.686 | 463.723 |
Name | GraphColoring/ GraphColoring-2-fullins-5_c18.xml |
MD5SUM | 7175cc64c8263572fa1d1d1459976d33 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 352.426 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 852 |
Number of constraints | 12201 |
Number of domains | 1 |
Minimum domain size | 852 |
Maximum domain size | 852 |
Distribution of domain sizes | [{"size":852,"count":852}] |
Minimum variable degree | 9 |
Maximum variable degree | 216 |
Distribution of variable degrees | [{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12201}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12201 |
Distribution of constraint types | [{"type":"intension","count":12201}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c Mistral 01082018 2.18/2.22 o 6 463.65/463.70 s OPTIMUM FOUND 463.65/463.70 v <instantiation type="optimum" cost="6"> 463.65/463.70 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] </list> 463.65/463.72 v <values> 2 5 3 3 2 2 3 3 2 6 3 5 4 4 4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 2 3 4 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 2 3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 3 </values> 463.65/463.72 v </instantiation>
OK 6
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 (1833 MiB free) memory of node 1: 16384 MiB (100 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303570-1533998655/watcher-4303570-1533998655 -o /tmp/evaluation-result-4303570-1533998655/solver-4303570-1533998655 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10241 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 610449908 HOME/instance-4303570-1533998655.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10758, runsolver pid=10755 [startup+0.100105 s]* /proc/loadavg: 2.07 2.13 2.08 3/188 10759 /proc/meminfo: memFree=1978460/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=30508 memory=4784 CPUtime=0.1 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 1417 0 0 0 10 0 0 0 20 0 1 0 217428655 31240192 1196 33554432000 4194304 7499544 140729819174144 140729819171144 5876598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 7627 1196 666 807 0 618 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 30508 KiB Current children cumulated memory: 4784 KiB [startup+0.209714 s]* /proc/loadavg: 2.07 2.13 2.08 3/188 10759 /proc/meminfo: memFree=1976376/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=32488 memory=6892 CPUtime=0.21 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 1969 0 0 0 21 0 0 0 20 0 1 0 217428655 33267712 1723 33554432000 4194304 7499544 140729819174144 140729819162984 139949943659493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 8122 1723 689 807 0 1113 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 32488 KiB Current children cumulated memory: 6892 KiB [startup+0.309181 s]* /proc/loadavg: 2.07 2.13 2.08 3/188 10759 /proc/meminfo: memFree=1973748/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=35128 memory=9532 CPUtime=0.31 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 2618 0 0 0 31 0 0 0 20 0 1 0 217428655 35971072 2383 33554432000 4194304 7499544 140729819174144 140729819162984 139949943659493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 8782 2383 689 807 0 1773 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 35128 KiB Current children cumulated memory: 9532 KiB [startup+0.700237 s] /proc/loadavg: 2.07 2.13 2.08 3/188 10759 /proc/meminfo: memFree=1968664/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=45552 memory=19828 CPUtime=0.68 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 5211 0 0 0 68 0 0 0 20 0 1 0 217428655 46645248 4957 33554432000 4194304 7499544 140729819174144 140729819162984 5902905 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 11388 4957 689 807 0 4379 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 45552 KiB Current children cumulated memory: 19828 KiB [startup+1.50024 s] /proc/loadavg: 2.07 2.13 2.08 3/188 10759 /proc/meminfo: memFree=1955644/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=65612 memory=40156 CPUtime=1.49 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 10254 0 0 0 148 1 0 0 20 0 1 0 217428655 67186688 10039 33554432000 4194304 7499544 140729819174144 140729819164760 139949947138172 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 16403 10039 689 807 0 9394 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 65612 KiB Current children cumulated memory: 40156 KiB [startup+3.10962 s] /proc/loadavg: 2.07 2.13 2.08 3/188 10759 /proc/meminfo: memFree=1918016/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65104 CPUtime=3.1 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 28777 0 0 0 307 3 0 0 20 0 1 0 217428655 92606464 16276 33554432000 4194304 7499544 140729819174144 140729819164760 4405205 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16276 740 807 0 15600 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65104 KiB [startup+6.30037 s] /proc/loadavg: 2.06 2.13 2.08 3/188 10759 /proc/meminfo: memFree=1917708/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65280 CPUtime=6.29 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 36558 0 0 0 626 3 0 0 20 0 1 0 217428655 92606464 16320 33554432000 4194304 7499544 140729819174144 140729819168440 4379046 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16320 745 807 0 15600 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65280 KiB [startup+12.7004 s] /proc/loadavg: 2.06 2.12 2.08 3/188 10759 /proc/meminfo: memFree=1917764/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65284 CPUtime=12.69 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 44612 0 0 0 1265 4 0 0 20 0 1 0 217428655 92606464 16321 33554432000 4194304 7499544 140729819174144 140729819168440 5585643 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16321 745 807 0 15600 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65284 KiB [startup+25.5004 s] /proc/loadavg: 2.05 2.12 2.08 3/188 10759 /proc/meminfo: memFree=1917748/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65288 CPUtime=25.49 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 60083 0 0 0 2545 4 0 0 20 0 1 0 217428655 92606464 16322 33554432000 4194304 7499544 140729819174144 140729819168440 4258061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16322 745 807 0 15600 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65288 KiB [startup+51.1097 s] /proc/loadavg: 2.03 2.11 2.07 3/187 10759 /proc/meminfo: memFree=1917716/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65288 CPUtime=51.09 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 67951 0 0 0 5105 4 0 0 20 0 1 0 217428655 92606464 16322 33554432000 4194304 7499544 140729819174144 140729819168440 4405156 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16322 745 807 0 15600 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65288 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.09 2.07 4/187 10760 /proc/meminfo: memFree=1917756/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65288 CPUtime=102.29 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 75898 0 0 0 10224 5 0 0 20 0 1 0 217428655 92606464 16322 33554432000 4194304 7499544 140729819174144 140729819168440 4258023 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16322 745 807 0 15600 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65288 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.07 2.06 3/187 10761 /proc/meminfo: memFree=1917448/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=162.28 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 83762 0 0 0 16223 5 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 4405227 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.06 2.06 3/187 10762 /proc/meminfo: memFree=1916980/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=222.29 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 91665 0 0 0 22223 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 4258023 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.05 2.05 3/187 10763 /proc/meminfo: memFree=1916276/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=282.27 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 99523 0 0 0 28221 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 10764 /proc/meminfo: memFree=1916120/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=342.26 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 101693 0 0 0 34220 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 4401586 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.05 3/188 10773 /proc/meminfo: memFree=1915528/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=402.26 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 102224 0 0 0 40220 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 4405007 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+462.3 s] /proc/loadavg: 2.06 2.04 2.05 3/188 10774 /proc/meminfo: memFree=1915776/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=462.25 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 102742 0 0 0 46219 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 4405007 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+463.723 s] # the end of solver process 10758 was just reported to runsolver # cumulated CPU time of all completed processes: user=463.62 s, system=0.065997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+462.4 s] /proc/loadavg: 2.06 2.04 2.05 3/188 10774 /proc/meminfo: memFree=1915776/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=462.35 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 102742 0 0 0 46229 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 5696584 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 462.35 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+463.2 s] /proc/loadavg: 2.06 2.04 2.05 3/188 10774 /proc/meminfo: memFree=1915776/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=463.15 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 102742 0 0 0 46309 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 4258046 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 463.15 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+463.6 s] /proc/loadavg: 2.06 2.04 2.05 3/188 10774 /proc/meminfo: memFree=1915776/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=463.55 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 102742 0 0 0 46349 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 5648181 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 463.55 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB [startup+463.7 s] /proc/loadavg: 2.06 2.04 2.05 3/188 10774 /proc/meminfo: memFree=1915776/32770624 swapFree=67058152/67108860 [pid=10758] ppid=10755 vsize=90436 memory=65292 CPUtime=463.65 cores=0,2,4,6 /proc/10758/stat : 10758 (MistralXCSP) R 10755 10758 10209 0 -1 4202496 102742 0 0 0 46359 6 0 0 20 0 1 0 217428655 92606464 16323 33554432000 4194304 7499544 140729819174144 140729819168440 5648112 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 26312704 140729819178094 140729819178243 140729819178243 140729819181001 0 /proc/10758/statm: 22609 16323 745 807 0 15600 0 Current children cumulated CPU time: 463.65 s Current children cumulated vsize: 90436 KiB Current children cumulated memory: 65292 KiB Child status: 0 Real time (s): 463.723 CPU time (s): 463.686 CPU user time (s): 463.62 CPU system time (s): 0.065997 CPU usage (%): 99.9921 Max. virtual memory (cumulated for all children) (KiB): 90436 Max. memory (cumulated for all children) (KiB): 65292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 463.62 system time used= 0.065997 maximum resident set size= 65312 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103407 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= 34 involuntary context switches= 585 # summary of solver processes directly reported to runsolver: # pid: 10758 # total CPU time (s): 463.686 # total CPU user time (s): 463.62 # total CPU system time (s): 0.065997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.7931 second user time and 3.51142 second system time The end
Begin job on node103 at 2018-08-11 16:44:15 IDJOB=4303570 IDBENCH=141143 IDSOLVER=2779 FILE ID=node103/4303570-1533998655 RUNJOBID= node103-1533993568-10241 PBS_JOBID= 21036954 Free space on /tmp= 34448 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_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-4303570-1533998655/watcher-4303570-1533998655 -o /tmp/evaluation-result-4303570-1533998655/solver-4303570-1533998655 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10241 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 610449908 HOME/instance-4303570-1533998655.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=610449908 node103.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.48 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.48 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.48 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.48 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: 1980912 kB MemAvailable: 31427220 kB Buffers: 99960 kB Cached: 29271144 kB SwapCached: 5736 kB Active: 14867524 kB Inactive: 15035972 kB Active(anon): 523952 kB Inactive(anon): 59456 kB Active(file): 14343572 kB Inactive(file): 14976516 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67058152 kB Dirty: 6348 kB Writeback: 0 kB AnonPages: 534540 kB Mapped: 49352 kB Shmem: 48516 kB Slab: 583256 kB SReclaimable: 554680 kB SUnreclaim: 28576 kB KernelStack: 3360 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 896840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 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= 34444 MiB End job on node103 at 2018-08-11 16:51:59