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-4390053-1568340422.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 (2032 /sec)
0.31/0.40 c propagations : 1006978 (2633200 /sec)
0.31/0.40 c root propagations : 1006163
0.31/0.40 c filter calls : 9873 (25817 /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.38234 s
0.31/0.40 c real time : 0.397335 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 (10409 MiB free)
memory of node 1: 16384 MiB (13046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390053-1568340422/watcher-4390053-1568340422 -o /tmp/evaluation-result-4390053-1568340422/solver-4390053-1568340422 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390053-1568340422.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=18115, runsolver pid=18112
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 1.98 3/199 18116
/proc/meminfo: memFree=23978812/32770624 swapFree=67108848/67108860
[pid=18115] ppid=18112 vsize=67412 memory=43900 CPUtime=0.1 cores=1,3,5,7
/proc/18115/stat : 18115 (cosoco) R 18112 18115 17149 0 -1 4202496 11242 0 0 0 9 1 0 0 20 0 1 0 409979566 69029888 10975 33554432000 4194304 6210612 140733210427440 140733210423976 5017296 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10973184 140733210432523 140733210432625 140733210432625 140733210435534 0
/proc/18115/statm: 16853 10975 850 493 0 10158 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43900 KiB
[startup+0.209778 s]*
/proc/loadavg: 2.00 2.01 1.98 3/199 18116
/proc/meminfo: memFree=23978812/32770624 swapFree=67108848/67108860
[pid=18115] ppid=18112 vsize=67412 memory=43900 CPUtime=0.21 cores=1,3,5,7
/proc/18115/stat : 18115 (cosoco) R 18112 18115 17149 0 -1 4202496 11242 0 0 0 20 1 0 0 20 0 1 0 409979566 69029888 10975 33554432000 4194304 6210612 140733210427440 140733210423976 5017104 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10973184 140733210432523 140733210432625 140733210432625 140733210435534 0
/proc/18115/statm: 16853 10975 850 493 0 10158 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43900 KiB
[startup+0.309285 s]*
/proc/loadavg: 2.00 2.01 1.98 3/199 18116
/proc/meminfo: memFree=23978812/32770624 swapFree=67108848/67108860
[pid=18115] ppid=18112 vsize=67412 memory=43900 CPUtime=0.31 cores=1,3,5,7
/proc/18115/stat : 18115 (cosoco) R 18112 18115 17149 0 -1 4202496 11242 0 0 0 30 1 0 0 20 0 1 0 409979566 69029888 10975 33554432000 4194304 6210612 140733210427440 140733210423976 5078397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10973184 140733210432523 140733210432625 140733210432625 140733210435534 0
/proc/18115/statm: 16853 10975 850 493 0 10158 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43900 KiB
[startup+0.404837 s]
# the end of solver process 18115 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.382737 s, system=0.020985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.309285 s]*
/proc/loadavg: 2.00 2.01 1.98 3/199 18116
/proc/meminfo: memFree=23978812/32770624 swapFree=67108848/67108860
[pid=18115] ppid=18112 vsize=67412 memory=43900 CPUtime=0.31 cores=1,3,5,7
/proc/18115/stat : 18115 (cosoco) R 18112 18115 17149 0 -1 4202496 11242 0 0 0 30 1 0 0 20 0 1 0 409979566 69029888 10975 33554432000 4194304 6210612 140733210427440 140733210423976 5078397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 10973184 140733210432523 140733210432625 140733210432625 140733210435534 0
/proc/18115/statm: 16853 10975 850 493 0 10158 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 43900 KiB
Child status: 0
Real time (s): 0.404877
CPU time (s): 0.403722
CPU user time (s): 0.382737
CPU system time (s): 0.020985
CPU usage (%): 99.7147
Max. virtual memory (cumulated for all children) (KiB): 67412
Max. memory (cumulated for all children) (KiB): 43900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.382737
system time used= 0.020985
maximum resident set size= 45196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11559
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= 13
involuntary context switches= 1
# summary of solver processes directly reported to runsolver:
# pid: 18115
# total CPU time (s): 0.403722
# total CPU user time (s): 0.382737
# total CPU system time (s): 0.020985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015989 second user time and 0.034275 second system time
The end
Begin job on node143 at 2019-09-13 04:06:21
IDJOB=4390053
IDBENCH=130804
IDSOLVER=2830
FILE ID=node143/4390053-1568340422
RUNJOBID= node143-1568335547-17181
PBS_JOBID= 21701163
Free space on /tmp= 58852 MiB
SOLVER NAME= cosoco 2
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-4390053-1568340422/watcher-4390053-1568340422 -o /tmp/evaluation-result-4390053-1568340422/solver-4390053-1568340422 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390053-1568340422.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= a9cd926a2629bbaec4afda2d0ef48a16
RANDOM SEED=292713239
node143.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.73
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.73
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.73
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.73
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: 24018824 kB
MemAvailable: 31471620 kB
Buffers: 168436 kB
Cached: 7571764 kB
SwapCached: 8 kB
Active: 2431656 kB
Inactive: 5646240 kB
Active(anon): 292428 kB
Inactive(anon): 144520 kB
Active(file): 2139228 kB
Inactive(file): 5501720 kB
Unevictable: 107780 kB
Mlocked: 107780 kB
SwapTotal: 67108860 kB
SwapFree: 67108848 kB
Dirty: 2880 kB
Writeback: 0 kB
AnonPages: 444992 kB
Mapped: 49608 kB
Shmem: 90756 kB
Slab: 269216 kB
SReclaimable: 240308 kB
SUnreclaim: 28908 kB
KernelStack: 3456 kB
PageTables: 6092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 819264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 71680 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 132480 kB
DirectMap2M: 33413120 kB
Free space on /tmp at the end= 58848 MiB
End job on node143 at 2019-09-13 04:06:21