0.49/0.56 c SAT : Variables: 16842 -- Clauses: 3368442
0.49/0.56 c root propagations : 0
0.49/0.56 c restarts enabled, print stats at every restarts
0.49/0.56 c
0.49/0.56 c
0.49/0.56 c
0.49/0.56 c This is cosoco 1.0 --
0.49/0.56 c
0.49/0.56 c ========================================[ Problem Statistics ]===========================================
0.49/0.56 c |
0.49/0.56 c | Parse time : 0.52 s
0.49/0.56 c |
0.49/0.56 c | Variables: 42
0.49/0.56 c | Domain Sizes: 401..401
0.49/0.56 c |
0.49/0.56 c | Constraints: 251
0.49/0.56 c | Arity: 2..2 -- Binary: 251
0.49/0.56 c |
0.49/0.56 c | Types:
0.49/0.56 c | Intension: 251
0.49/0.56 c |
0.49/0.56 c =========================================================================================================
0.49/0.56 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.49/0.58 c 10 10 839 70736 1 9 1 1 0
0.59/0.63 c 20 20 1469 157036 1 18 1 1 0
0.59/0.69 c 30 31 2160 239277 1 27 1 2 1
0.59/0.69 c 40 41 2210 247012 2 36 1 1 0
0.59/0.69 c 50 51 2260 254647 2 45 1 1 0
0.69/0.70 c 60 83 3026 285794 2 53 1 22 4
0.69/0.73 c 70 97 3480 347585 3 61 1 3 1
0.69/0.74 c 80 108 4161 386266 3 71 2 2 1
0.69/0.75 c 90 118 4591 469136 4 80 1 1 0
0.69/0.76 c 100 128 5021 550006 4 89 1 1 0
0.69/0.76 c 101 129 5064 557983 4 89 1 1 0
0.69/0.77 c 110 141 6447 623513 4 96 1 2 1
0.69/0.77 c 120 151 6667 627283 5 105 1 1 0
0.69/0.77 c 130 161 6887 631053 5 114 1 1 0
0.69/0.78 c 140 171 7233 640709 5 123 1 1 0
0.69/0.79 c 150 181 7873 665139 5 132 1 1 0
0.79/0.81 c 160 191 8513 691169 5 141 1 1 0
0.79/0.82 c 170 204 9631 713407 5 149 1 2 1
0.79/0.82 c 180 214 9899 730435 5 158 1 1 0
0.79/0.83 c 190 224 10169 747860 5 167 1 1 0
0.79/0.84 c 200 237 10586 763822 5 175 1 2 1
0.79/0.85 c 210 247 11014 774329 5 184 1 1 0
0.79/0.85 c 211 248 11057 775548 5 184 1 1 0
0.79/0.86 c 220 257 11444 787329 5 192 1 1 0
0.79/0.87 c 230 267 11895 809056 5 201 1 1 0
0.79/0.88 c 240 281 12447 846464 5 204 2 2 1
0.79/0.88 c 250 293 12811 859754 5 209 2 2 1
0.79/0.88 c 260 303 13031 863244 5 218 1 1 0
0.79/0.88 c 270 313 13251 866734 5 227 1 1 0
0.79/0.88 c 280 323 13654 896039 5 236 1 1 0
0.89/0.90 c 290 333 14484 984149 5 245 1 1 0
0.89/0.92 c 300 343 15314 1070059 5 254 1 1 0
0.89/0.95 c 310 356 17698 1139474 5 262 1 2 1
0.89/0.96 c 320 366 18201 1164905 5 271 1 1 0
0.89/0.97 c 330 376 18851 1201085 5 280 1 1 0
0.89/0.98 c 332 378 18981 1208513 5 281 1 1 0
0.99/1.00 c 340 387 19695 1237638 5 288 1 2 1
0.99/1.00 c 350 401 20723 1255242 5 291 2 2 1
0.99/1.00 c 360 411 20836 1265942 5 300 1 1 0
0.99/1.01 c 370 421 21096 1285542 5 309 1 1 0
0.99/1.02 c 380 431 21356 1304942 5 318 1 1 0
0.99/1.03 c 390 443 21751 1320724 5 327 1 2 1
0.99/1.04 c 400 453 22171 1334579 5 336 1 1 0
0.99/1.04 c 410 463 22591 1350334 5 345 1 1 0
0.99/1.05 c 420 473 23080 1388497 5 354 1 1 0
0.99/1.08 c 430 483 23720 1471937 5 363 1 1 0
1.10/1.13 c 440 493 24360 1555177 5 372 1 1 0
1.10/1.15 c 450 506 25017 1584726 5 380 1 2 1
1.10/1.15 c 460 516 25425 1633482 5 389 1 1 0
1.10/1.16 c 465 521 25845 1677192 5 393 1 1 0
1.10/1.17 c 470 526 26265 1720352 5 397 1 1 0
1.10/1.19 c 480 536 27105 1805022 5 406 1 1 0
1.20/1.23 c 490 549 29004 1870680 5 414 1 2 1
1.20/1.23 c 500 559 29312 1883370 5 423 1 1 0
1.20/1.24 c 510 569 29752 1911635 5 432 1 1 0
1.20/1.25 c 520 579 30192 1941600 5 441 1 1 0
1.20/1.27 c 530 589 30821 1991757 5 450 1 1 0
1.20/1.28 c 540 603 31910 2021324 5 456 1 2 1
1.20/1.28 c 550 613 31960 2027179 5 465 1 1 0
1.20/1.28 c 560 623 32010 2032934 5 474 1 1 0
1.20/1.28 c 570 633 32166 2050561 5 483 1 1 0
1.20/1.29 c 580 643 32436 2082106 5 492 1 1 0
1.29/1.32 c 590 653 32706 2111498 5 501 1 1 0
1.29/1.32 c 600 663 32976 2122983 5 510 1 1 0
1.29/1.33 c 610 677 33604 2149949 5 513 2 2 1
1.29/1.33 c 611 679 33693 2152806 5 514 2 2 1
1.29/1.34 c 620 688 34076 2175934 5 522 1 1 0
1.29/1.35 c 630 698 34611 2231064 5 531 1 1 0
1.29/1.38 c 640 708 35251 2313014 5 540 1 1 0
1.39/1.43 c 650 718 35891 2390128 5 549 1 1 0
1.39/1.43 c 660 732 36505 2413344 5 555 1 2 1
1.39/1.43 c 670 742 36725 2416064 5 564 1 1 0
1.39/1.44 c 680 752 37155 2471224 5 573 1 1 0
1.39/1.45 c 690 762 37585 2524384 5 582 1 1 0
1.39/1.46 c 700 772 38179 2589556 5 591 1 1 0
1.39/1.48 c 710 782 39019 2673606 5 600 1 1 0
1.49/1.53 c 720 796 41514 2715875 5 606 1 2 1
1.49/1.53 c 730 806 41734 2718335 5 615 1 1 0
1.49/1.53 c 740 816 41954 2720795 5 624 1 1 0
1.49/1.54 c 750 826 42262 2737277 5 633 1 1 0
1.49/1.55 c 760 836 42891 2804107 5 642 1 1 0
1.49/1.58 c 770 846 43541 2875667 5 651 1 1 0
1.49/1.58 c 771 847 43606 2882693 5 651 1 1 0
1.59/1.61 c 780 856 44191 2932329 5 659 1 1 0
1.59/1.62 c 790 868 45190 2976611 5 668 1 2 1
1.59/1.62 c 800 878 45345 2996996 5 677 1 1 0
1.59/1.64 c 810 888 45606 3033029 5 686 1 1 0
1.59/1.66 c 820 898 45876 3068123 5 695 1 1 0
1.59/1.67 c 830 908 46146 3078138 5 704 1 1 0
1.59/1.68 c 840 919 46480 3090818 5 713 1 2 1
1.59/1.69 c 850 933 47102 3124223 5 716 2 2 1
1.59/1.69 c 860 943 47522 3156358 5 725 1 1 0
1.69/1.70 c 870 953 47948 3191572 5 734 1 1 0
1.69/1.70 c 880 963 48378 3229392 5 743 1 1 0
1.69/1.71 c 890 973 48829 3273007 5 752 1 1 0
1.69/1.73 c 900 983 49469 3353277 5 761 1 1 0
1.69/1.77 c 910 993 50109 3433347 5 770 1 1 0
1.69/1.79 c 920 1007 50765 3477132 5 776 1 2 1
1.69/1.79 c 930 1017 50985 3479162 5 785 1 1 0
1.69/1.79 c 940 1027 51205 3481192 5 794 1 1 0
1.69/1.79 c 947 1034 51401 3490533 5 800 1 1 0
1.69/1.79 c 950 1037 51530 3502872 5 802 1 1 0
1.79/1.80 c 960 1047 52165 3564572 5 811 1 1 0
1.79/1.83 c 970 1057 53005 3645992 5 820 1 1 0
1.79/1.87 c 980 1067 53845 3725047 5 829 1 1 0
1.89/1.93 c 990 1077 54685 3800472 5 838 1 1 0
1.89/1.97 c 1000 1089 55792 3847088 5 846 1 2 1
1.89/1.97 c 1010 1102 56754 3858336 5 850 2 2 1
1.89/1.97 c 1020 1112 56974 3860266 5 859 1 1 0
1.89/1.98 c 1030 1122 57414 3906641 5 868 1 1 0
1.89/1.99 c 1040 1132 57896 3963345 5 877 1 1 0
1.99/2.01 c 1050 1142 58546 4055230 5 886 1 1 0
1.99/2.05 c 1060 1152 59196 4148145 5 895 1 1 0
1.99/2.07 c 1070 1162 59846 4209731 5 904 1 1 0
1.99/2.08 c 1080 1174 60845 4264950 5 913 1 2 1
1.99/2.08 c 1090 1184 60895 4268535 5 922 1 1 0
1.99/2.08 c 1100 1194 60987 4280613 5 931 1 1 0
2.09/2.10 c 1110 1204 61247 4326903 5 940 1 1 0
2.09/2.13 c 1120 1214 61507 4372993 5 949 1 1 0
2.09/2.14 c 1130 1224 61770 4388152 5 958 1 1 0
2.09/2.15 c 1140 1234 62040 4394957 5 967 1 1 0
2.09/2.15 c 1141 1235 62067 4395507 5 967 1 1 0
2.09/2.15 c 1150 1244 62310 4400322 5 975 1 1 0
2.09/2.16 c 1160 1254 62580 4405387 5 984 1 1 0
2.09/2.16 c 1170 1266 62991 4422606 5 992 1 2 1
2.09/2.17 c 1180 1279 63551 4466986 5 996 2 2 1
2.09/2.18 c 1190 1289 63971 4510851 5 1005 1 1 0
2.09/2.18 c 1200 1299 64391 4556616 5 1014 1 1 0
2.09/2.19 c 1210 1309 64812 4604411 5 1023 1 1 0
2.09/2.19 c 1220 1319 65242 4655221 5 1032 1 1 0
2.19/2.21 c 1230 1329 65840 4727919 5 1041 1 1 0
2.19/2.23 c 1240 1339 66480 4805639 5 1050 1 1 0
2.19/2.25 c 1250 1349 67120 4875217 5 1059 1 1 0
2.19/2.26 c 1260 1359 67774 4933998 5 1068 1 1 0
2.19/2.27 c 1270 1369 68434 4994388 5 1077 1 1 0
2.19/2.28 c 1280 1379 69110 5056087 5 1086 1 1 0
2.30/2.30 c restarts : 136
2.30/2.30 c conflicts : 1282 (567 /sec)
2.30/2.30 c decisions : 1381 (610 /sec)
2.30/2.30 c propagations : 5083233 (2246768 /sec)
2.30/2.30 c root propagations : 0
2.30/2.30 c filter calls : 71884 (31772 /sec)
2.30/2.30 c useless filter calls : 42198 (58 %)
2.30/2.30 c
2.30/2.30 c clauses : 3368496
2.30/2.30 c SAT propagations : 6
2.30/2.30 c SAT conflicts : 0 (0 learnts)
2.30/2.30 c Memory used : 186.20 MB
2.30/2.30 c CPU time : 2.2624 s
2.30/2.30
2.30/2.30 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241421-1500631114/watcher-4241421-1500631114 -o /tmp/evaluation-result-4241421-1500631114/solver-4241421-1500631114 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241421-1500631114.xml
pid=6997
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.53 2.16 2.08 3/187 7000
/proc/meminfo: memFree=29365312/32770624 swapFree=6240/2329792
[pid=7000] ppid=6997 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 1069 0 0 0 0 0 0 0 20 0 1 0 16387838 27774976 898 33554432000 4194304 5970956 140736530955184 140736530951832 139719678989732 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 6781 898 771 434 0 145 0
[startup+0.100159 s]
/proc/loadavg: 2.53 2.16 2.08 3/187 7000
/proc/meminfo: memFree=29365312/32770624 swapFree=6240/2329792
[pid=7000] ppid=6997 vsize=27896 CPUtime=0.09 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 1245 0 0 0 9 0 0 0 20 0 1 0 16387838 28565504 1080 33554432000 4194304 5970956 140736530955184 140736530951784 139719678897938 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 6974 1080 782 434 0 338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27896
[startup+0.200373 s]
/proc/loadavg: 2.53 2.16 2.08 3/187 7000
/proc/meminfo: memFree=29365312/32770624 swapFree=6240/2329792
[pid=7000] ppid=6997 vsize=28928 CPUtime=0.19 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 1514 0 0 0 19 0 0 0 20 0 1 0 16387838 29622272 1339 33554432000 4194304 5970956 140736530955184 140736530948776 4966541 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 7232 1339 782 434 0 596 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28928
[startup+0.300297 s]
/proc/loadavg: 2.53 2.16 2.08 3/187 7000
/proc/meminfo: memFree=29365312/32770624 swapFree=6240/2329792
[pid=7000] ppid=6997 vsize=30212 CPUtime=0.29 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 1845 0 0 0 29 0 0 0 20 0 1 0 16387838 30937088 1660 33554432000 4194304 5970956 140736530955184 140736530949016 139719678905317 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 7553 1660 782 434 0 917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30212
[startup+0.70028 s]
/proc/loadavg: 2.53 2.16 2.08 3/187 7000
/proc/meminfo: memFree=29365312/32770624 swapFree=6240/2329792
[pid=7000] ppid=6997 vsize=188028 CPUtime=0.69 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 21995 0 0 0 65 4 0 0 20 0 1 0 16387838 192540672 33559 33554432000 4194304 5970956 140736530955184 140736530952520 4964607 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 47007 33559 812 434 0 40371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 188028
[startup+1.50023 s]
/proc/loadavg: 2.53 2.16 2.08 3/188 7001
/proc/meminfo: memFree=29232008/32770624 swapFree=6240/2329804
[pid=7000] ppid=6997 vsize=189876 CPUtime=1.49 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 22456 0 0 0 145 4 0 0 20 0 1 0 16387838 194433024 34021 33554432000 4194304 5970956 140736530955184 140736530952520 139719678905317 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 47469 34021 829 434 0 40833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 189876
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7000 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60028 s]
/proc/loadavg: 2.53 2.16 2.08 3/188 7001
/proc/meminfo: memFree=29232008/32770624 swapFree=6240/2329804
[pid=7000] ppid=6997 vsize=190140 CPUtime=1.59 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 22514 0 0 0 155 4 0 0 20 0 1 0 16387838 194703360 34087 33554432000 4194304 5970956 140736530955184 140736530952520 4964584 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 47535 34087 829 434 0 40899 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 190140
[startup+2.00023 s]
/proc/loadavg: 2.53 2.16 2.08 3/188 7001
/proc/meminfo: memFree=29232008/32770624 swapFree=6240/2329804
[pid=7000] ppid=6997 vsize=190404 CPUtime=1.99 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 22571 0 0 0 195 4 0 0 20 0 1 0 16387838 194973696 34153 33554432000 4194304 5970956 140736530955184 140736530952520 5108593 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 47601 34153 829 434 0 40965 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 190404
[startup+2.20025 s]
/proc/loadavg: 2.53 2.16 2.08 3/188 7001
/proc/meminfo: memFree=29215608/32770624 swapFree=6240/2329812
[pid=7000] ppid=6997 vsize=190404 CPUtime=2.19 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 23942 0 0 0 215 4 0 0 20 0 1 0 16387838 194973696 34178 33554432000 4194304 5970956 140736530955184 140736530952520 4908985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 47601 34178 829 434 0 40965 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 190404
[startup+2.30612 s]
/proc/loadavg: 2.53 2.16 2.08 3/188 7001
/proc/meminfo: memFree=29215608/32770624 swapFree=6240/2329812
[pid=7000] ppid=6997 vsize=190668 CPUtime=2.3 cores=1,3,5,7
/proc/7000/stat : 7000 (cosoco) R 6997 7000 4382 0 -1 4202496 24009 0 0 0 226 4 0 0 20 0 1 0 16387838 195244032 34184 33554432000 4194304 5970956 140736530955184 140736530952248 5052048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 25497600 140736530957500 140736530957635 140736530957635 140736530960334 0
/proc/7000/statm: 47667 34184 829 434 0 41031 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 190668
Child status: 0
Real time (s): 2.3163
CPU time (s): 2.31544
CPU user time (s): 2.26247
CPU system time (s): 0.052979
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 190668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.26247
system time used= 0.052979
maximum resident set size= 137024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24070
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= 119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015887 second user time and 0.02383 second system time
The end
Begin job on node130 at 2017-07-21 11:58:35
IDJOB=4241421
IDBENCH=126846
IDSOLVER=2621
FILE ID=node130/4241421-1500631114
RUNJOBID= node130-1500623778-4414
PBS_JOBID= 20623003
Free space on /tmp= 61464 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0020.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241421-1500631114/watcher-4241421-1500631114 -o /tmp/evaluation-result-4241421-1500631114/solver-4241421-1500631114 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241421-1500631114.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 5d39d785165af6ca3b6eb979dd894859
RANDOM SEED=1124387362
node130.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/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 : 1600.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.18
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 : 1600.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.18
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 : 1600.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 : 1600.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.18
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 : 1600.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 : 1600.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.18
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 : 1600.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: 29363928 kB
MemAvailable: 31729576 kB
Buffers: 160688 kB
Cached: 2468772 kB
SwapCached: 0 kB
Active: 597536 kB
Inactive: 2338852 kB
Active(anon): 309400 kB
Inactive(anon): 8800 kB
Active(file): 288136 kB
Inactive(file): 2330052 kB
Unevictable: 6240 kB
Mlocked: 6240 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 317080 kB
Writeback: 43232 kB
AnonPages: 310800 kB
Mapped: 34588 kB
Shmem: 8852 kB
Slab: 167380 kB
SReclaimable: 126588 kB
SUnreclaim: 40792 kB
KernelStack: 3296 kB
PageTables: 5648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 582564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61960 MiB
End job on node130 at 2017-07-21 11:58:38