0.31/0.32 c root propagations : 1006163
0.31/0.32 c restarts enabled, print stats at every restarts
0.31/0.32 c
0.31/0.32 c
0.31/0.32 c
0.31/0.32 c This is cosoco 2.00 --
0.31/0.32 c
0.31/0.32 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408593-1569796677.xml
0.31/0.32 c ========================================[ Problem Statistics ]===========================================
0.31/0.32 c |
0.31/0.32 c | Parse time : 0.07 s
0.31/0.32 c |
0.31/0.32 c | Variables: 777
0.31/0.32 c | Domain Sizes: 1296..1296
0.31/0.32 c |
0.31/0.32 c | Constraints: 2536
0.31/0.32 c | Arity: 1..777 -- Unary: 555 -- Binary: 1980
0.31/0.32 c |
0.31/0.32 c | Types:
0.31/0.32 c | All Different: 1
0.31/0.32 c | Extension: 1980 (nb tuples: 8232..8232) -- (shared: 2525)
0.31/0.32 c | Unary: 555
0.31/0.32 c |
0.31/0.32 c =========================================================================================================
0.31/0.32 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.31/0.40 c First solution is found
0.31/0.40 s SATISFIABLE
0.31/0.40 c restarts : 0
0.31/0.40 c conflicts : 0 (0 /sec)
0.31/0.40 c decisions : 777 (2055 /sec)
0.31/0.40 c propagations : 1006978 (2662892 /sec)
0.31/0.40 c root propagations : 1006163
0.31/0.40 c filter calls : 9873 (26109 /sec)
0.31/0.40 c useless filter calls : 7757 (78 %)
0.31/0.40 c Memory used : 67.00 MB
0.31/0.40 c CPU time : 0.378075 s
0.31/0.40 c real time : 0.397068 s
0.31/0.40
0.31/0.40 c solution 1
0.31/0.40
0.31/0.40 v <instantiation type='solution'>
0.31/0.40 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] </list>
0.31/0.40 v <values>0 143 448 638 1114 1148 1259 1263 122 290 764 1065 1131 1188 1203 119 300 857 1181 1252 311 335 810 878 909 1029 1175 1260 1272 222 654 793 1041 210 1206 8 774 123 92 542 867 882 923 333 441 1197 142 563 574 649 910 213 464 559 622 665 872 942 750 915 1034 1080 258 459 487 579 673 708 935 770 168 631 1157 45 162 211 341 813 63 198 348 515 525 140 278 293 383 692 828 831 972 978 1154 62 188 480 681 712 827 1208 14 105 121 263 304 693 711 109 405 501 994 1149 169 370 669 733 242 418 635 645 266 881 936 1230 1261 12 797 877 523 977 1083 1115 1285 316 584 600 1187 68 128 1119 727 47 1231 1245 97 231 478 616 107 682 728 273 502 646 765 1158 340 759 834 844 512 628 785 1255 40 178 1130 605 390 974 984 1107 886 1156 72 186 353 519 639 1044 103 362 854 948 1155 37 716 412 149 423 529 661 137 465 697 846 1133 159 301 415 531 2 425 1177 469 1088 752 208 286 962 1017 1169 534 615 355 754 1031 1270 7 42 583 701 761 993 351 283 747 853 903 924 657 680 1122 1265 1294 35 880 1057 331 372 647 689 511 1118 1180 905 729 1277 1012 664 830 995 339 486 896 238 267 429 434 506 562 824 1097 1200 57 444 777 1077 1120 255 1136 1216 138 461 528 629 946 1210 456 742 1284 131 196 651 644 1013 517 1023 1028 1137 295 521 677 707 958 113 324 561 819 959 1072 86 328 361 1058 53 129 200 360 567 912 944 1066 1124 1121 29 250 433 538 931 1081 312 148 199 297 308 438 655 411 666 734 899 1202 394 887 985 1109 93 535 691 1209 58 1292 280 319 541 247 287 746 863 991 460 800 1055 1146 1282 229 463 154 346 547 861 69 1173 91 276 104 908 982 1100 1046 225 685 1205 10 799 1198 588 670 369 884 427 812 1191 569 625 1167 668 805 451 221 807 970 139 376 871 524 1008 1053 13 26 907 842 393 983 1268 694 926 947 1176 527 158 672 889 925 5 31 64 489 1192 89 233 558 6 336 676 1220 34 223 722 776 832 953 48 956 177 1020 633 740 775 1006 1106 420 706 811 937 1111 934 1050 256 1168 1290 1147 133 642 721 1067 96 1126 185 611 179 888 1233 745 864 326 364 688 1049 365 481 1142 71 136 193 490 913 922 299 709 973 989 1150 206 845 1056 1063 769 818 1240 823 938 1229 1179 22 244 432 533 1141 457 4 236 484 488 928 180 272 431 1036 1161 75 663 713 1144 15 79 1195 1262 239 454 715 1193 1237 246 544 855 1069 1273 1289 59 259 356 613 1004 30 447 859 282 436 679 990 674 822 67 74 85 1221 24 385 781 1125 856 1085 254 378 873 1172 292 1271 291 402 491 1153 391 940 1190 33 317 555 714 1293 477 493 43 778 134 852 1108 318 217 230 507 582 918 951 1054 1211 189 1189 606 1000 1016 70 172 704 626 514 737 771 840 1287 736 987 992 492 426 858 171 479 610 640 16 338 1002 1123 1132 202 717 209 455 614 100 214 1280 1075 1064 38 106 264 658 772 11 21 170 1127 545 829 1095 641 174 751 41 445 540 630 789 115 323 288 61 116 580 82 349 933 1291 88 39 773 1236 203 594 1241 868 636 1226 1223 446 836 1215 996 930 532 833 848 841 1135 1219 508 954 570 814 869 1060 1076 1166 95 1025 1086 1275 152 499 589 979 986 1074 865 902 90 141 265 648 27 408 838 1005 51 401 618 687 1249 1139 1257 146 546 1276 603 413 156 791 84 310 371 943 695 190 409 526 965 253 49 52 120 1009 1129 118 557 893 556 749 598 634 358 802 77 150 575 847 1140 1267 724 966 1283 735 205 643 1099 1253 164 1164 382 675 281 1090 66 135 602 883 18 352 637 607 950 969 1152 738 </values>
0.31/0.40 v </instantiation>
0.31/0.40
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 (15047 MiB free)
memory of node 1: 16384 MiB (15174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408593-1569796677/watcher-4408593-1569796677 -o /tmp/evaluation-result-4408593-1569796677/solver-4408593-1569796677 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24392 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408593-1569796677.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
Current StackSize limit: 8192 KiB
solver pid=26315, runsolver pid=26312
[startup+0.100161 s]*
/proc/loadavg: 2.00 2.03 2.05 3/198 26316
/proc/meminfo: memFree=30907916/32770624 swapFree=66957812/67108860
[pid=26315] ppid=26312 vsize=67412 memory=43912 CPUtime=0.1 cores=1,3,5,7
/proc/26315/stat : 26315 (cosoco) R 26312 26315 24360 0 -1 4202496 11248 0 0 0 8 2 0 0 20 0 1 0 555925181 69029888 10978 33554432000 4194304 6211132 140722017574560 140722017571096 5017688 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 8749056 140722017575947 140722017576049 140722017576049 140722017578958 0
/proc/26315/statm: 16853 10978 854 493 0 10158 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43912 KiB
[startup+0.209624 s]*
/proc/loadavg: 2.00 2.03 2.05 3/198 26316
/proc/meminfo: memFree=30907916/32770624 swapFree=66957812/67108860
[pid=26315] ppid=26312 vsize=67412 memory=43912 CPUtime=0.21 cores=1,3,5,7
/proc/26315/stat : 26315 (cosoco) R 26312 26315 24360 0 -1 4202496 11248 0 0 0 19 2 0 0 20 0 1 0 555925181 69029888 10978 33554432000 4194304 6211132 140722017574560 140722017571096 5017679 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 8749056 140722017575947 140722017576049 140722017576049 140722017578958 0
/proc/26315/statm: 16853 10978 854 493 0 10158 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43912 KiB
[startup+0.309224 s]*
/proc/loadavg: 2.00 2.03 2.05 3/198 26316
/proc/meminfo: memFree=30907916/32770624 swapFree=66957812/67108860
[pid=26315] ppid=26312 vsize=67412 memory=43912 CPUtime=0.31 cores=1,3,5,7
/proc/26315/stat : 26315 (cosoco) R 26312 26315 24360 0 -1 4202496 11248 0 0 0 29 2 0 0 20 0 1 0 555925181 69029888 10978 33554432000 4194304 6211132 140722017574560 140722017572824 5079305 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 8749056 140722017575947 140722017576049 140722017576049 140722017578958 0
/proc/26315/statm: 16853 10978 854 493 0 10158 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43912 KiB
[startup+0.404611 s]
# the end of solver process 26315 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.378152 s, system=0.025941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.309224 s]*
/proc/loadavg: 2.00 2.03 2.05 3/198 26316
/proc/meminfo: memFree=30907916/32770624 swapFree=66957812/67108860
[pid=26315] ppid=26312 vsize=67412 memory=43912 CPUtime=0.31 cores=1,3,5,7
/proc/26315/stat : 26315 (cosoco) R 26312 26315 24360 0 -1 4202496 11248 0 0 0 29 2 0 0 20 0 1 0 555925181 69029888 10978 33554432000 4194304 6211132 140722017574560 140722017572824 5079305 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 8749056 140722017575947 140722017576049 140722017576049 140722017578958 0
/proc/26315/statm: 16853 10978 854 493 0 10158 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43912 KiB
Child status: 0
Real time (s): 0.404667
CPU time (s): 0.404093
CPU user time (s): 0.378152
CPU system time (s): 0.025941
CPU usage (%): 99.8582
Max. virtual memory (cumulated for all children) (KiB): 67412
Max. memory (cumulated for all children) (KiB): 43912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.378152
system time used= 0.025941
maximum resident set size= 45208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11564
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= 2
# summary of solver processes directly reported to runsolver:
# pid: 26315
# total CPU time (s): 0.404093
# total CPU user time (s): 0.378152
# total CPU system time (s): 0.025941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017569 second user time and 0.032037 second system time
The end
Begin job on node105 at 2019-09-29 23:36:13
IDJOB=4408593
IDBENCH=130804
IDSOLVER=2875
FILE ID=node105/4408593-1569796677
RUNJOBID= node105-1569783690-24392
PBS_JOBID= 21705838
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-m4D/Subisomorphism-si6-m4Dr4-m1296-00.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408593-1569796677/watcher-4408593-1569796677 -o /tmp/evaluation-result-4408593-1569796677/solver-4408593-1569796677 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24392 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408593-1569796677.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a9cd926a2629bbaec4afda2d0ef48a16
RANDOM SEED=876320917
node105.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.00
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.00
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.00
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.00
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: 30947856 kB
MemAvailable: 31752832 kB
Buffers: 214860 kB
Cached: 929348 kB
SwapCached: 48112 kB
Active: 585884 kB
Inactive: 690188 kB
Active(anon): 99472 kB
Inactive(anon): 111884 kB
Active(file): 486412 kB
Inactive(file): 578304 kB
Unevictable: 110516 kB
Mlocked: 110516 kB
SwapTotal: 67108860 kB
SwapFree: 66957812 kB
Dirty: 2736 kB
Writeback: 0 kB
AnonPages: 195764 kB
Mapped: 28004 kB
Shmem: 70752 kB
Slab: 140928 kB
SReclaimable: 112192 kB
SUnreclaim: 28736 kB
KernelStack: 3472 kB
PageTables: 5504 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 642300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 147456 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 62024 MiB
End job on node105 at 2019-09-29 23:36:14