Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | OPT | 6 | 354.284 | 354.258 |
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 | 354.284 |
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 |
1.89/1.94 c best=?? lower=0 upper=851 1.89/1.97 c 1.89/1.97 c This is cosoco 1.12 -- 1.89/1.97 c 1.89/1.97 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298462-1532753884.xml 1.89/1.97 c enable optimization 1.89/1.97 c ========================================[ Problem Statistics ]=========================================== 1.89/1.97 c | 1.89/1.97 c | Parse time : 1.90 s 1.89/1.97 c | 1.89/1.97 c | Variables: 852 1.89/1.97 c | Domain Sizes: 852..852 1.89/1.97 c | 1.89/1.97 c | Constraints: 12202 1.89/1.97 c | Arity: 2..852 -- Binary: 12201 1.89/1.97 c | 1.89/1.97 c | Types: 1.89/1.97 c | (X != Y): 12201 1.89/1.97 c | Max constant: 1 1.89/1.97 c | 1.89/1.97 c | Objective: Minimize Max constant 1.89/1.97 1.89/1.97 c ========================================================================================================= 1.89/1.97 o 6 1.89/1.97 c 1 calls to solver: best=6 lower=0 upper=5 354.22/354.25 c 354.22/354.25 c Optimum found : 6 354.22/354.25 c 354.22/354.25 354.22/354.25 v <instantiation type='solution' cost='6'> 354.22/354.25 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> 354.22/354.25 v <values>0 0 3 0 0 2 1 3 1 2 1 5 2 1 1 2 3 1 2 1 4 1 4 2 1 2 1 1 2 4 1 2 1 2 3 1 2 1 2 1 1 2 3 1 1 2 1 3 1 1 1 2 1 1 1 0 3 1 1 3 4 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 0 0 0 0 0 2 4 1 0 1 2 1 3 1 2 1 3 3 2 1 2 3 3 2 1 0 1 2 1 5 2 5 1 2 5 6 2 1 3 1 4 2 1 3 3 1 2 3 3 3 5 2 3 3 5 5 5 5 5 5 5 5 1 1 3 5 2 0 1 0 3 0 1 3 0 0 0 2 0 0 0 1 0 1 1 0 1 0 0 0 2 0 0 0 1 2 0 0 0 1 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 3 0 0 3 1 3 1 3 3 1 3 3 1 3 3 3 5 1 1 5 1 5 1 5 5 1 5 5 5 2 5 1 3 1 5 1 3 3 1 5 3 3 3 3 3 3 3 3 3 5 5 3 5 5 5 3 1 3 5 5 0 0 3 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 4 3 5 0 1 2 1 3 1 2 1 4 2 4 1 2 4 4 2 1 4 1 4 2 1 2 4 1 2 4 4 2 1 4 3 1 2 1 2 3 1 2 3 3 4 3 4 3 3 4 4 4 4 4 4 4 4 4 1 3 4 2 2 1 0 0 4 2 1 0 0 1 2 0 4 2 0 1 0 0 2 2 0 0 1 2 0 4 3 2 0 1 0 0 2 1 0 0 1 2 4 0 3 3 4 3 3 4 4 4 4 2 4 4 4 4 1 3 4 0 2 1 0 3 1 2 1 2 1 1 2 3 1 1 2 1 4 1 1 1 2 1 1 1 0 4 1 2 1 3 1 2 1 2 1 1 1 2 3 1 2 1 3 1 1 1 0 2 1 1 1 3 1 1 3 4 1 1 0 0 0 0 2 2 0 0 2 2 0 0 2 2 0 0 0 2 2 0 0 0 1 2 2 0 2 0 0 0 0 2 2 0 0 0 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 4 2 2 4 1 4 0 0 5 1 0 0 1 5 0 5 4 1 0 0 1 5 1 0 0 1 5 0 5 1 5 1 5 0 5 1 0 0 1 5 0 0 5 4 4 4 4 4 4 4 4 1 4 4 4 4 1 5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 4 1 4 1 1 1 0 0 1 5 0 0 4 4 1 4 1 1 1 0 0 0 1 5 0 4 1 1 1 0 1 1 0 0 0 1 5 0 5 4 4 4 4 1 4 4 4 4 4 4 4 4 1 5 0 4 0 0 0 0 0 0 0 0 0 0 5 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 1 5 0 1 3 4 0 5 2 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 </values> 354.22/354.25 v </instantiation> 354.22/354.25 354.22/354.25 c call to solver : 2 354.22/354.25 c 354.22/354.25 c restarts : 77 354.22/354.25 c conflicts : 1497682 (4229 /sec) 354.22/354.25 c decisions : 5963672 (16838 /sec) 354.22/354.25 c propagations : 685147444 (1934493 /sec) 354.22/354.25 c root propagations : 724940 354.22/354.25 c filter calls : 5714311659 (16134187 /sec) 354.22/354.25 c useless filter calls : 5043308381 (88 %) 354.22/354.25 c Memory used : 121.55 MB 354.22/354.25 c CPU time : 354.174 s 354.22/354.25 354.22/354.25 s OPTIMUM FOUND
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 (13170 MiB free) memory of node 1: 16384 MiB (11981 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298462-1532753884/watcher-4298462-1532753884 -o /tmp/evaluation-result-4298462-1532753884/solver-4298462-1532753884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23501 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298462-1532753884.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=25482, runsolver pid=25479 [startup+0.100088 s]* /proc/loadavg: 2.00 2.03 2.05 3/192 25483 /proc/meminfo: memFree=25749064/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=33928 memory=10048 CPUtime=0.1 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 2718 0 0 0 10 0 0 0 20 0 1 0 92951568 34742272 2512 33554432000 4194304 6142532 140736106813792 140736106807488 5797836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 8482 2512 785 476 0 1804 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33928 KiB Current children cumulated memory: 10048 KiB [startup+0.209675 s]* /proc/loadavg: 2.00 2.03 2.05 3/192 25483 /proc/meminfo: memFree=25746088/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=37228 memory=13476 CPUtime=0.21 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 3576 0 0 0 21 0 0 0 20 0 1 0 92951568 38121472 3369 33554432000 4194304 6142532 140736106813792 140736106807488 139835908340709 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 9307 3369 801 476 0 2629 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37228 KiB Current children cumulated memory: 13476 KiB [startup+0.309246 s]* /proc/loadavg: 2.00 2.03 2.05 3/192 25483 /proc/meminfo: memFree=25741252/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=42116 memory=18228 CPUtime=0.3 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 4820 0 0 0 30 0 0 0 20 0 1 0 92951568 43126784 4557 33554432000 4194304 6142532 140736106813792 140736106807488 139835908340709 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 10529 4557 801 476 0 3851 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 42116 KiB Current children cumulated memory: 18228 KiB [startup+0.700246 s] /proc/loadavg: 2.00 2.03 2.05 3/192 25483 /proc/meminfo: memFree=25731456/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=61256 memory=37500 CPUtime=0.68 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 9583 0 0 0 67 1 0 0 20 0 1 0 92951568 62726144 9375 33554432000 4194304 6142532 140736106813792 140736106806056 139835908340709 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 15314 9375 801 476 0 8636 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 61256 KiB Current children cumulated memory: 37500 KiB [startup+1.50026 s] /proc/loadavg: 2.00 2.03 2.05 3/192 25483 /proc/meminfo: memFree=25706476/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=101100 memory=77100 CPUtime=1.49 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 19542 0 0 0 146 3 0 0 20 0 1 0 92951568 103526400 19275 33554432000 4194304 6142532 140736106813792 140736106806248 5374436 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 25275 19275 801 476 0 18597 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 101100 KiB Current children cumulated memory: 77100 KiB [startup+3.1096 s] /proc/loadavg: 2.00 2.03 2.05 3/192 25483 /proc/meminfo: memFree=25658032/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=3.09 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 41039 0 0 0 305 4 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 4991002 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+6.30033 s] /proc/loadavg: 2.00 2.03 2.05 3/192 25483 /proc/meminfo: memFree=25658604/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=6.29 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 56268 0 0 0 624 5 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 4990795 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.05 3/192 25483 /proc/meminfo: memFree=25658592/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=12.69 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 71579 0 0 0 1263 6 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5148704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.05 3/192 25483 /proc/meminfo: memFree=25658700/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=25.49 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 102050 0 0 0 2543 6 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 4990765 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+51.1096 s] /proc/loadavg: 2.00 2.02 2.05 4/192 25483 /proc/meminfo: memFree=25658528/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=51.1 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 117430 0 0 0 5103 7 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5336709 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/192 25484 /proc/meminfo: memFree=25658424/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=102.29 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 132751 0 0 0 10222 7 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5148605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/192 25492 /proc/meminfo: memFree=25657492/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=162.3 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 148160 0 0 0 16222 8 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 4990600 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 25515 /proc/meminfo: memFree=25657844/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=222.31 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 163576 0 0 0 22222 9 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5347481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 25516 /proc/meminfo: memFree=25658272/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=282.31 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 163582 0 0 0 28222 9 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5327857 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 25517 /proc/meminfo: memFree=25658588/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=342.32 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 178923 0 0 0 34222 10 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5327671 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+354.258 s] # the end of solver process 25482 was just reported to runsolver # cumulated CPU time of all completed processes: user=354.174 s, system=0.110008 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+345.6 s] /proc/loadavg: 2.00 2.01 2.05 3/191 25517 /proc/meminfo: memFree=25658608/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=345.62 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 178923 0 0 0 34552 10 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5336586 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 345.62 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+348.8 s] /proc/loadavg: 2.00 2.01 2.05 3/191 25517 /proc/meminfo: memFree=25658616/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=348.82 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 178923 0 0 0 34872 10 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 4990607 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 348.82 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+352 s]* /proc/loadavg: 2.00 2.01 2.05 3/191 25517 /proc/meminfo: memFree=25658600/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=352.03 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 178923 0 0 0 35193 10 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5336826 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 352.03 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+353.6 s] /proc/loadavg: 2.00 2.01 2.05 3/191 25517 /proc/meminfo: memFree=25658600/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=353.62 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 178923 0 0 0 35352 10 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5148624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 353.62 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+354 s]* /proc/loadavg: 2.00 2.01 2.05 3/191 25517 /proc/meminfo: memFree=25658600/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=354.03 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 178923 0 0 0 35393 10 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5148701 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 354.03 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB [startup+354.2 s] /proc/loadavg: 2.00 2.01 2.05 3/191 25517 /proc/meminfo: memFree=25658600/32770624 swapFree=67108856/67108860 [pid=25482] ppid=25479 vsize=124468 memory=101032 CPUtime=354.22 cores=0,2,4,6 /proc/25482/stat : 25482 (cosoco) R 25479 25482 23470 0 -1 4202496 178923 0 0 0 35412 10 0 0 20 0 1 0 92951568 127455232 25258 33554432000 4194304 6142532 140736106813792 140736106801064 5148560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 19623936 140736106820742 140736106820872 140736106820872 140736106823630 0 /proc/25482/statm: 31117 25258 846 476 0 24439 0 Current children cumulated CPU time: 354.22 s Current children cumulated vsize: 124468 KiB Current children cumulated memory: 101032 KiB Child status: 0 Real time (s): 354.258 CPU time (s): 354.284 CPU user time (s): 354.174 CPU system time (s): 0.110008 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (KiB): 124468 Max. memory (cumulated for all children) (KiB): 101032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 354.174 system time used= 0.110008 maximum resident set size= 101104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 179112 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= 15 involuntary context switches= 97 # summary of solver processes directly reported to runsolver: # pid: 25482 # total CPU time (s): 354.284 # total CPU user time (s): 354.174 # total CPU system time (s): 0.110008 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.27096 second user time and 2.50252 second system time The end
Begin job on node133 at 2018-07-28 06:58:04 IDJOB=4298462 IDBENCH=141143 IDSOLVER=2761 FILE ID=node133/4298462-1532753884 RUNJOBID= node133-1532740685-23501 PBS_JOBID= 21022445 Free space on /tmp= 48244 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298462-1532753884/watcher-4298462-1532753884 -o /tmp/evaluation-result-4298462-1532753884/solver-4298462-1532753884 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23501 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298462-1532753884.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=618915128 node133.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.24 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.24 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.24 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.24 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: 25755660 kB MemAvailable: 30205620 kB Buffers: 170280 kB Cached: 4527416 kB SwapCached: 0 kB Active: 3873612 kB Inactive: 2616364 kB Active(anon): 1742972 kB Inactive(anon): 76692 kB Active(file): 2130640 kB Inactive(file): 2539672 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 3152 kB Writeback: 0 kB AnonPages: 1798180 kB Mapped: 42016 kB Shmem: 25244 kB Slab: 218624 kB SReclaimable: 190964 kB SUnreclaim: 27660 kB KernelStack: 3440 kB PageTables: 8904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2091100 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 907264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48244 MiB End job on node133 at 2018-07-28 07:03:58