1.39/1.41 c root propagations : 326981
1.39/1.41 c restarts enabled, print stats at every restarts
1.39/1.41 c
1.39/1.41 c
1.39/1.41 c
1.39/1.41 c This is cosoco 2.00 --
1.39/1.41 c
1.39/1.41 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408609-1569796714.xml
1.39/1.41 c ========================================[ Problem Statistics ]===========================================
1.39/1.41 c |
1.39/1.41 c | Parse time : 0.07 s
1.39/1.41 c |
1.39/1.41 c | Variables: 900
1.39/1.41 c | Domain Sizes: 1000..1000
1.39/1.41 c |
1.39/1.41 c | Constraints: 2873
1.39/1.41 c | Arity: 1..900 -- Unary: 405 -- Binary: 2467
1.39/1.41 c |
1.39/1.41 c | Types:
1.39/1.41 c | All Different: 1
1.39/1.41 c | Extension: 2467 (nb tuples: 6086..6086) -- (shared: 2868)
1.39/1.41 c | Unary: 405
1.39/1.41 c |
1.39/1.41 c =========================================================================================================
1.39/1.41 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.59/1.61 c First solution is found
1.59/1.61 s SATISFIABLE
1.59/1.61 c restarts : 0
1.59/1.61 c conflicts : 3 (2 /sec)
1.59/1.61 c decisions : 903 (563 /sec)
1.59/1.61 c propagations : 977318 (608837 /sec)
1.59/1.61 c root propagations : 326981
1.59/1.61 c filter calls : 19728 (12290 /sec)
1.59/1.61 c useless filter calls : 14769 (74 %)
1.59/1.61 c Memory used : 67.51 MB
1.59/1.61 c CPU time : 1.60522 s
1.59/1.61 c real time : 1.6165 s
1.59/1.61
1.59/1.61 c solution 1
1.59/1.61
1.59/1.61 v <instantiation type='solution'>
1.59/1.61 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] </list>
1.59/1.62 v <values>556 621 983 747 728 995 633 428 581 631 850 765 831 652 235 507 979 630 981 232 501 424 932 810 153 822 605 535 306 911 958 343 833 794 738 454 497 635 276 137 439 145 275 264 492 449 181 700 475 984 913 725 393 706 727 811 915 267 438 311 429 205 570 557 403 918 44 855 98 681 632 597 709 178 319 26 657 396 29 985 672 444 839 592 342 118 596 120 174 223 374 782 254 165 898 965 216 293 224 183 864 447 896 487 826 361 30 593 337 692 806 440 830 195 491 509 960 96 678 132 222 607 741 886 388 241 446 567 803 234 986 520 413 869 930 351 550 302 171 488 273 843 651 94 758 903 722 255 638 972 226 935 467 176 259 159 533 100 696 812 664 851 305 694 976 600 751 613 5 704 753 3 496 256 476 34 841 74 548 859 944 340 844 80 872 849 508 407 321 65 887 966 637 366 40 603 214 586 993 55 31 394 936 653 67 236 517 779 149 225 182 300 278 627 775 595 564 821 135 804 890 36 1 292 410 769 795 101 502 45 371 122 807 666 451 455 20 707 141 242 842 957 506 338 78 987 563 304 874 991 847 774 739 796 164 359 346 316 974 893 336 484 771 210 127 643 238 423 552 395 258 48 322 528 646 853 998 752 565 928 912 908 577 193 472 435 955 594 52 194 684 103 498 466 38 616 72 701 744 131 370 425 369 623 814 325 568 15 357 229 620 24 797 453 493 762 963 66 456 390 938 940 749 669 883 375 162 105 718 160 690 906 954 76 77 384 281 539 716 16 307 42 285 35 71 598 562 714 835 363 479 683 243 636 856 79 939 624 992 511 279 106 852 170 688 271 310 299 654 86 485 134 426 523 57 464 558 532 582 107 942 629 22 262 360 510 910 645 786 780 188 191 948 59 743 950 901 798 12 914 837 286 658 968 90 282 382 483 781 536 43 168 867 401 249 541 956 354 75 14 173 392 125 23 521 441 606 989 838 757 649 398 579 662 432 800 647 108 542 324 661 318 461 868 85 412 691 272 731 504 56 685 201 561 978 784 148 46 244 503 239 792 268 763 177 400 789 823 880 537 573 221 175 785 84 875 280 82 421 546 703 756 199 291 251 584 179 54 317 527 922 679 777 129 608 209 283 764 81 878 158 675 941 538 442 909 931 923 113 379 754 172 544 203 151 895 668 9 611 89 474 671 91 612 590 157 578 198 362 219 344 69 298 6 323 386 470 980 791 411 937 648 659 891 154 190 820 614 139 73 575 104 459 320 602 110 702 889 489 163 37 102 372 269 858 801 341 929 11 949 945 295 252 994 746 808 969 184 233 961 560 975 916 25 626 416 667 894 783 591 296 996 640 230 529 907 364 925 863 51 422 971 525 857 88 997 270 788 63 724 946 829 460 713 926 62 947 365 734 892 448 437 677 433 481 391 33 615 776 166 287 549 899 686 147 778 815 143 261 331 404 208 332 348 406 409 288 458 399 473 227 49 689 39 144 294 515 204 900 427 553 83 326 933 114 402 431 580 334 513 121 970 19 697 687 169 817 816 897 828 418 237 206 197 813 217 109 469 330 551 790 588 846 505 240 904 383 180 60 212 353 871 202 680 920 64 150 156 350 250 927 500 905 253 526 514 967 742 387 128 587 335 877 116 547 192 656 260 111 793 589 585 32 136 802 699 819 710 845 840 231 870 47 881 434 284 380 490 339 274 767 314 799 676 119 443 644 543 569 452 599 516 356 13 358 99 228 377 8 566 58 729 130 522 711 988 115 617 381 405 531 486 576 414 720 787 4 266 919 445 854 583 759 634 555 468 247 327 619 866 873 766 87 721 21 836 303 70 698 705 917 708 112 943 246 639 805 450 999 622 480 328 768 248 921 126 92 457 824 185 211 641 373 642 862 518 0 376 663 951 745 559 347 463 572 973 465 367 732 123 124 990 610 959 735 977 385 28 848 313 17 530 755 499 655 245 861 93 301 462 773 477 142 408 329 355 601 297 682 540 263 715 740 574 68 18 818 628 733 736 693 420 827 512 152 161 832 809 277 618 </values>
1.59/1.62 v </instantiation>
1.59/1.62
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 (15212 MiB free)
memory of node 1: 16384 MiB (15444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408609-1569796714/watcher-4408609-1569796714 -o /tmp/evaluation-result-4408609-1569796714/solver-4408609-1569796714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6947 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408609-1569796714.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8514, runsolver pid=8511
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 1.92 2.00 2.04 3/198 8515
/proc/meminfo: memFree=31351624/32770624 swapFree=66941828/67108860
[pid=8514] ppid=8511 vsize=67528 memory=44020 CPUtime=0.1 cores=1,3,5,7
/proc/8514/stat : 8514 (cosoco) R 8511 8514 6915 0 -1 4202496 11227 0 0 0 9 1 0 0 20 0 1 0 555943563 69148672 11005 33554432000 4194304 6211132 140726387610800 140726387605928 5017664 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40603648 140726387614731 140726387614833 140726387614833 140726387617742 0
/proc/8514/statm: 16882 11005 840 493 0 10187 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67528 KiB
Current children cumulated memory: 44020 KiB
[startup+0.209612 s]*
/proc/loadavg: 1.92 2.00 2.04 3/198 8515
/proc/meminfo: memFree=31351624/32770624 swapFree=66941828/67108860
[pid=8514] ppid=8511 vsize=67528 memory=44020 CPUtime=0.21 cores=1,3,5,7
/proc/8514/stat : 8514 (cosoco) R 8511 8514 6915 0 -1 4202496 11227 0 0 0 20 1 0 0 20 0 1 0 555943563 69148672 11005 33554432000 4194304 6211132 140726387610800 140726387605928 5017617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40603648 140726387614731 140726387614833 140726387614833 140726387617742 0
/proc/8514/statm: 16882 11005 840 493 0 10187 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67528 KiB
Current children cumulated memory: 44020 KiB
[startup+0.309142 s]*
/proc/loadavg: 1.92 2.00 2.04 3/198 8515
/proc/meminfo: memFree=31351252/32770624 swapFree=66941828/67108860
[pid=8514] ppid=8511 vsize=67528 memory=44020 CPUtime=0.31 cores=1,3,5,7
/proc/8514/stat : 8514 (cosoco) R 8511 8514 6915 0 -1 4202496 11227 0 0 0 30 1 0 0 20 0 1 0 555943563 69148672 11005 33554432000 4194304 6211132 140726387610800 140726387605928 5017688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40603648 140726387614731 140726387614833 140726387614833 140726387617742 0
/proc/8514/statm: 16882 11005 840 493 0 10187 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67528 KiB
Current children cumulated memory: 44020 KiB
[startup+0.700307 s]
/proc/loadavg: 1.92 2.00 2.04 3/198 8515
/proc/meminfo: memFree=31351352/32770624 swapFree=66941828/67108860
[pid=8514] ppid=8511 vsize=67528 memory=44020 CPUtime=0.69 cores=1,3,5,7
/proc/8514/stat : 8514 (cosoco) R 8511 8514 6915 0 -1 4202496 11227 0 0 0 68 1 0 0 20 0 1 0 555943563 69148672 11005 33554432000 4194304 6211132 140726387610800 140726387609064 5017600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40603648 140726387614731 140726387614833 140726387614833 140726387617742 0
/proc/8514/statm: 16882 11005 840 493 0 10187 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67528 KiB
Current children cumulated memory: 44020 KiB
[startup+1.50036 s]
/proc/loadavg: 1.92 2.00 2.04 3/198 8515
/proc/meminfo: memFree=31351352/32770624 swapFree=66941828/67108860
[pid=8514] ppid=8511 vsize=67528 memory=44020 CPUtime=1.49 cores=1,3,5,7
/proc/8514/stat : 8514 (cosoco) R 8511 8514 6915 0 -1 4202496 11230 0 0 0 148 1 0 0 20 0 1 0 555943563 69148672 11005 33554432000 4194304 6211132 140726387610800 140726387609064 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40603648 140726387614731 140726387614833 140726387614833 140726387617742 0
/proc/8514/statm: 16882 11005 840 493 0 10187 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67528 KiB
Current children cumulated memory: 44020 KiB
[startup+1.62357 s]
# the end of solver process 8514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.60522 s, system=0.018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6004 s]
/proc/loadavg: 1.92 2.00 2.04 3/198 8515
/proc/meminfo: memFree=31351352/32770624 swapFree=66941828/67108860
[pid=8514] ppid=8511 vsize=68600 memory=45076 CPUtime=1.59 cores=1,3,5,7
/proc/8514/stat : 8514 (cosoco) R 8511 8514 6915 0 -1 4202496 11482 0 0 0 158 1 0 0 20 0 1 0 555943563 70246400 11269 33554432000 4194304 6211132 140726387610800 140726387609064 139970773679077 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40603648 140726387614731 140726387614833 140726387614833 140726387617742 0
/proc/8514/statm: 17150 11269 866 493 0 10455 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 68600 KiB
Current children cumulated memory: 45076 KiB
Child status: 0
Real time (s): 1.62362
CPU time (s): 1.62322
CPU user time (s): 1.60522
CPU system time (s): 0.018
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 68600
Max. memory (cumulated for all children) (KiB): 45076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.60522
system time used= 0.018
maximum resident set size= 45784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11645
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= 6
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 8514
# total CPU time (s): 1.62322
# total CPU user time (s): 1.60522
# total CPU system time (s): 0.018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029544 second user time and 0.048537 second system time
The end
Begin job on node139 at 2019-09-30 00:41:01
IDJOB=4408609
IDBENCH=131314
IDSOLVER=2875
FILE ID=node139/4408609-1569796714
RUNJOBID= node139-1569787540-6947
PBS_JOBID= 21705823
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-SF/Subisomorphism-C-07.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408609-1569796714/watcher-4408609-1569796714 -o /tmp/evaluation-result-4408609-1569796714/solver-4408609-1569796714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6947 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408609-1569796714.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a5a4a9d4a920730d3bacf5ea7eebaa8b
RANDOM SEED=1500266636
node139.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.57
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.57
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.57
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.57
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: 31392336 kB
MemAvailable: 31743564 kB
Buffers: 207820 kB
Cached: 483240 kB
SwapCached: 64664 kB
Active: 476556 kB
Inactive: 356064 kB
Active(anon): 93560 kB
Inactive(anon): 128344 kB
Active(file): 382996 kB
Inactive(file): 227720 kB
Unevictable: 108212 kB
Mlocked: 108212 kB
SwapTotal: 67108860 kB
SwapFree: 66941828 kB
Dirty: 2964 kB
Writeback: 0 kB
AnonPages: 48960 kB
Mapped: 28584 kB
Shmem: 72116 kB
Slab: 142080 kB
SReclaimable: 112692 kB
SUnreclaim: 29388 kB
KernelStack: 3792 kB
PageTables: 5476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 631832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 62024 MiB
End job on node139 at 2019-09-30 00:41:03