0.46/0.55 c SAT : Variables: 16842 -- Clauses: 3368442
0.46/0.55 c root propagations : 0
0.46/0.55 c restarts enabled, print stats at every restarts
0.46/0.55 c
0.46/0.55 c
0.46/0.55 c
0.46/0.55 c This is cosoco 1.12 --
0.46/0.55 c
0.46/0.55 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266238-1502577146.xml
0.46/0.55 c ========================================[ Problem Statistics ]===========================================
0.46/0.55 c |
0.46/0.55 c | Parse time : 0.47 s
0.46/0.55 c |
0.46/0.55 c | Variables: 42
0.46/0.55 c | Domain Sizes: 401..401
0.46/0.55 c |
0.46/0.55 c | Constraints: 251
0.46/0.55 c | Arity: 2..2 -- Binary: 251
0.46/0.55 c |
0.46/0.55 c | Types:
0.46/0.55 c | Intension: 251
0.46/0.55 c |
0.46/0.55 c =========================================================================================================
0.46/0.55 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.46/0.57 c 10 10 839 70736 1 9 1 1 0
0.55/0.62 c 20 20 1469 157036 1 18 1 1 0
0.55/0.68 c 30 31 2160 239277 1 27 1 2 1
0.55/0.68 c 40 41 2210 247012 2 36 1 1 0
0.55/0.69 c 50 51 2260 254647 2 45 1 1 0
0.64/0.70 c 60 83 3026 285794 2 53 1 22 4
0.64/0.73 c 70 97 3480 347585 3 61 1 3 1
0.64/0.74 c 80 108 4161 386266 3 71 2 2 1
0.64/0.75 c 90 118 4591 469136 4 80 1 1 0
0.64/0.76 c 100 128 5021 550006 4 89 1 1 0
0.64/0.76 c 101 129 5064 557983 4 89 1 1 0
0.64/0.77 c 110 141 6447 623513 4 96 1 2 1
0.64/0.77 c 120 151 6667 627283 5 105 1 1 0
0.64/0.77 c 130 161 6887 631053 5 114 1 1 0
0.64/0.77 c 140 171 7233 640709 5 123 1 1 0
0.64/0.79 c 150 181 7873 665139 5 132 1 1 0
0.64/0.80 c 160 191 8513 691169 5 141 1 1 0
0.75/0.81 c 170 204 9631 713407 5 149 1 2 1
0.75/0.82 c 180 214 9899 730435 5 158 1 1 0
0.75/0.83 c 190 224 10169 747860 5 167 1 1 0
0.75/0.84 c 200 237 10586 763822 5 175 1 2 1
0.75/0.85 c 210 247 11014 774329 5 184 1 1 0
0.75/0.85 c 211 248 11057 775548 5 184 1 1 0
0.75/0.85 c 220 257 11444 787329 5 192 1 1 0
0.75/0.86 c 230 267 11895 809056 5 201 1 1 0
0.75/0.87 c 240 281 12447 846464 5 204 2 2 1
0.75/0.88 c 250 293 12811 859754 5 209 2 2 1
0.75/0.88 c 260 303 13031 863244 5 218 1 1 0
0.75/0.88 c 270 313 13251 866734 5 227 1 1 0
0.75/0.88 c 280 323 13654 896039 5 236 1 1 0
0.75/0.89 c 290 333 14484 984149 5 245 1 1 0
0.84/0.92 c 300 343 15314 1070059 5 254 1 1 0
0.84/0.94 c 310 356 17698 1139474 5 262 1 2 1
0.84/0.95 c 320 366 18201 1164905 5 271 1 1 0
0.84/0.97 c 330 376 18851 1201085 5 280 1 1 0
0.84/0.97 c 332 378 18981 1208513 5 281 1 1 0
0.84/0.99 c 340 387 19695 1237638 5 288 1 2 1
0.84/1.00 c 350 401 20723 1255242 5 291 2 2 1
0.84/1.00 c 360 411 20836 1265942 5 300 1 1 0
0.95/1.01 c 370 421 21096 1285542 5 309 1 1 0
0.95/1.02 c 380 431 21356 1304942 5 318 1 1 0
0.95/1.03 c 390 443 21751 1320724 5 327 1 2 1
0.95/1.03 c 400 453 22171 1334579 5 336 1 1 0
0.95/1.04 c 410 463 22591 1350334 5 345 1 1 0
0.95/1.05 c 420 473 23080 1388497 5 354 1 1 0
0.95/1.08 c 430 483 23720 1471937 5 363 1 1 0
1.05/1.13 c 440 493 24360 1555177 5 372 1 1 0
1.05/1.14 c 450 506 25017 1584726 5 380 1 2 1
1.05/1.15 c 460 516 25425 1633482 5 389 1 1 0
1.05/1.16 c 465 521 25845 1677192 5 393 1 1 0
1.05/1.16 c 470 526 26265 1720352 5 397 1 1 0
1.05/1.19 c 480 536 27105 1805022 5 406 1 1 0
1.14/1.23 c 490 549 29004 1870680 5 414 1 2 1
1.14/1.23 c 500 559 29312 1883370 5 423 1 1 0
1.14/1.24 c 510 569 29752 1911635 5 432 1 1 0
1.14/1.25 c 520 579 30192 1941600 5 441 1 1 0
1.14/1.26 c 530 589 30821 1991757 5 450 1 1 0
1.14/1.27 c 540 603 31910 2021324 5 456 1 2 1
1.14/1.27 c 550 613 31960 2027179 5 465 1 1 0
1.14/1.27 c 560 623 32010 2032934 5 474 1 1 0
1.14/1.28 c 570 633 32166 2050561 5 483 1 1 0
1.14/1.29 c 580 643 32436 2082106 5 492 1 1 0
1.24/1.31 c 590 653 32706 2111498 5 501 1 1 0
1.24/1.32 c 600 663 32976 2122983 5 510 1 1 0
1.24/1.33 c 610 677 33604 2149949 5 513 2 2 1
1.24/1.33 c 611 679 33693 2152806 5 514 2 2 1
1.24/1.33 c 620 688 34076 2175934 5 522 1 1 0
1.24/1.35 c 630 698 34611 2231064 5 531 1 1 0
1.24/1.38 c 640 708 35251 2313014 5 540 1 1 0
1.34/1.42 c 650 718 35891 2390128 5 549 1 1 0
1.34/1.43 c 660 732 36505 2413344 5 555 1 2 1
1.34/1.43 c 670 742 36725 2416064 5 564 1 1 0
1.34/1.44 c 680 752 37155 2471224 5 573 1 1 0
1.34/1.44 c 690 762 37585 2524384 5 582 1 1 0
1.34/1.45 c 700 772 38179 2589556 5 591 1 1 0
1.34/1.48 c 710 782 39019 2673606 5 600 1 1 0
1.44/1.53 c 720 796 41514 2715875 5 606 1 2 1
1.44/1.53 c 730 806 41734 2718335 5 615 1 1 0
1.44/1.53 c 740 816 41954 2720795 5 624 1 1 0
1.44/1.53 c 750 826 42262 2737277 5 633 1 1 0
1.44/1.55 c 760 836 42891 2804107 5 642 1 1 0
1.44/1.58 c 770 846 43541 2875667 5 651 1 1 0
1.44/1.58 c 771 847 43606 2882693 5 651 1 1 0
1.54/1.60 c 780 856 44191 2932329 5 659 1 1 0
1.54/1.61 c 790 868 45190 2976611 5 668 1 2 1
1.54/1.62 c 800 878 45345 2996996 5 677 1 1 0
1.54/1.63 c 810 888 45606 3033029 5 686 1 1 0
1.54/1.66 c 820 898 45876 3068123 5 695 1 1 0
1.54/1.66 c 830 908 46146 3078138 5 704 1 1 0
1.54/1.67 c 840 919 46480 3090818 5 713 1 2 1
1.54/1.68 c 850 933 47102 3124223 5 716 2 2 1
1.54/1.69 c 860 943 47522 3156358 5 725 1 1 0
1.54/1.69 c 870 953 47948 3191572 5 734 1 1 0
1.64/1.70 c 880 963 48378 3229392 5 743 1 1 0
1.64/1.71 c 890 973 48829 3273007 5 752 1 1 0
1.64/1.73 c 900 983 49469 3353277 5 761 1 1 0
1.64/1.76 c 910 993 50109 3433347 5 770 1 1 0
1.64/1.78 c 920 1007 50765 3477132 5 776 1 2 1
1.64/1.78 c 930 1017 50985 3479162 5 785 1 1 0
1.64/1.78 c 940 1027 51205 3481192 5 794 1 1 0
1.64/1.78 c 947 1034 51401 3490533 5 800 1 1 0
1.64/1.78 c 950 1037 51530 3502872 5 802 1 1 0
1.64/1.80 c 960 1047 52165 3564572 5 811 1 1 0
1.74/1.82 c 970 1057 53005 3645992 5 820 1 1 0
1.74/1.87 c 980 1067 53845 3725047 5 829 1 1 0
1.84/1.93 c 990 1077 54685 3800472 5 838 1 1 0
1.84/1.97 c 1000 1089 55792 3847088 5 846 1 2 1
1.84/1.97 c 1010 1102 56754 3858336 5 850 2 2 1
1.84/1.97 c 1020 1112 56974 3860266 5 859 1 1 0
1.84/1.98 c 1030 1122 57414 3906641 5 868 1 1 0
1.84/1.99 c 1040 1132 57896 3963345 5 877 1 1 0
1.95/2.01 c 1050 1142 58546 4055230 5 886 1 1 0
1.95/2.05 c 1060 1152 59196 4148145 5 895 1 1 0
1.95/2.07 c 1070 1162 59846 4209731 5 904 1 1 0
1.95/2.08 c 1080 1174 60845 4264950 5 913 1 2 1
1.95/2.08 c 1090 1184 60895 4268535 5 922 1 1 0
1.95/2.08 c 1100 1194 60987 4280613 5 931 1 1 0
1.95/2.10 c 1110 1204 61247 4326903 5 940 1 1 0
2.05/2.13 c 1120 1214 61507 4372993 5 949 1 1 0
2.05/2.14 c 1130 1224 61770 4388152 5 958 1 1 0
2.05/2.14 c 1140 1234 62040 4394957 5 967 1 1 0
2.05/2.14 c 1141 1235 62067 4395507 5 967 1 1 0
2.05/2.15 c 1150 1244 62310 4400322 5 975 1 1 0
2.05/2.15 c 1160 1254 62580 4405387 5 984 1 1 0
2.05/2.16 c 1170 1266 62991 4422606 5 992 1 2 1
2.05/2.17 c 1180 1279 63551 4466986 5 996 2 2 1
2.05/2.17 c 1190 1289 63971 4510851 5 1005 1 1 0
2.05/2.18 c 1200 1299 64391 4556616 5 1014 1 1 0
2.05/2.18 c 1210 1309 64812 4604411 5 1023 1 1 0
2.05/2.19 c 1220 1319 65242 4655221 5 1032 1 1 0
2.14/2.20 c 1230 1329 65840 4727919 5 1041 1 1 0
2.14/2.22 c 1240 1339 66480 4805639 5 1050 1 1 0
2.14/2.24 c 1250 1349 67120 4875217 5 1059 1 1 0
2.14/2.25 c 1260 1359 67774 4933998 5 1068 1 1 0
2.14/2.26 c 1270 1369 68434 4994388 5 1077 1 1 0
2.14/2.27 c 1280 1379 69110 5056087 5 1086 1 1 0
2.24/2.30 c restarts : 136
2.24/2.30 c conflicts : 1282 (579 /sec)
2.24/2.30 c decisions : 1381 (624 /sec)
2.24/2.30 c propagations : 5083233 (2295627 /sec)
2.24/2.30 c root propagations : 0
2.24/2.30 c filter calls : 71884 (32463 /sec)
2.24/2.30 c useless filter calls : 42198 (58 %)
2.24/2.30 c
2.24/2.30 c clauses : 3368496
2.24/2.30 c SAT propagations : 6
2.24/2.30 c SAT conflicts : 0 (0 learnts)
2.24/2.30 c Memory used : 186.21 MB
2.24/2.30 c CPU time : 2.21425 s
2.24/2.30
2.24/2.30 s UNSATISFIABLE
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 (6814 MiB free)
memory of node 1: 16384 MiB (15458 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266238-1502577146/watcher-4266238-1502577146 -o /tmp/evaluation-result-4266238-1502577146/solver-4266238-1502577146 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502565153-967 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266238-1502577146.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3457, runsolver pid=3454
[startup+0.100157 s]*
/proc/loadavg: 2.12 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22807120/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=27904 memory=4208 CPUtime=0.05 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 1247 0 0 0 5 0 0 0 20 0 1 0 59935286 28573696 1052 18446744073709551615 4194304 5972588 140728836795184 140728836791832 139635646581566 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 6976 1052 786 435 0 339 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 27904 KiB
Current children cumulated memory: 4208 KiB
[startup+0.209003 s]*
/proc/loadavg: 2.12 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22805632/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=29188 memory=5632 CPUtime=0.16 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 1600 0 0 0 16 0 0 0 20 0 1 0 59935286 29888512 1408 18446744073709551615 4194304 5972588 140728836795184 140728836791832 139635646595952 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 7297 1408 787 435 0 660 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 29188 KiB
Current children cumulated memory: 5632 KiB
[startup+0.308596 s]*
/proc/loadavg: 2.12 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22804516/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=30604 memory=6920 CPUtime=0.25 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 1922 0 0 0 25 0 0 0 20 0 1 0 59935286 31338496 1730 18446744073709551615 4194304 5972588 140728836795184 140728836791832 4967517 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 7651 1730 787 435 0 1014 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 30604 KiB
Current children cumulated memory: 6920 KiB
[startup+0.700355 s]
/proc/loadavg: 2.12 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22703980/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=188032 memory=132272 CPUtime=0.64 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 22528 0 0 0 61 3 0 0 20 0 1 0 59935286 192544768 33068 18446744073709551615 4194304 5972588 140728836795184 140728836791832 4968734 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 47008 33068 815 435 0 40371 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 188032 KiB
Current children cumulated memory: 132272 KiB
[startup+1.50028 s]
/proc/loadavg: 2.12 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22678460/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=190144 memory=134384 CPUtime=1.44 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 23032 0 0 0 141 3 0 0 20 0 1 0 59935286 194707456 33596 18446744073709551615 4194304 5972588 140728836795184 140728836792488 4965472 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 47536 33596 833 435 0 40899 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 190144 KiB
Current children cumulated memory: 134384 KiB
[startup+2.31107 s]
# the end of solver process 3457 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.21461 s, system=0.046012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60029 s]
/proc/loadavg: 2.12 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22678460/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=190144 memory=134384 CPUtime=1.54 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 23047 0 0 0 151 3 0 0 20 0 1 0 59935286 194707456 33596 18446744073709551615 4194304 5972588 140728836795184 140728836792488 4965453 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 47536 33596 833 435 0 40899 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 190144 KiB
Current children cumulated memory: 134384 KiB
[startup+2.00025 s]*
/proc/loadavg: 2.11 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22676972/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=190408 memory=134648 CPUtime=1.95 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 23105 0 0 0 192 3 0 0 20 0 1 0 59935286 194977792 33662 18446744073709551615 4194304 5972588 140728836795184 140728836792488 5070688 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 47602 33662 833 435 0 40965 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 190408 KiB
Current children cumulated memory: 134648 KiB
[startup+2.20025 s]
/proc/loadavg: 2.11 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22676972/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=190408 memory=134648 CPUtime=2.14 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 23121 0 0 0 211 3 0 0 20 0 1 0 59935286 194977792 33662 18446744073709551615 4194304 5972588 140728836795184 140728836792488 4965472 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 47602 33662 833 435 0 40965 0
Current children cumulated CPU time: 2.14 s
Current children cumulated vsize: 190408 KiB
Current children cumulated memory: 134648 KiB
[startup+2.30025 s]
/proc/loadavg: 2.11 2.06 2.06 3/181 3458
/proc/meminfo: memFree=22676972/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3454 vsize=190672 memory=134912 CPUtime=2.24 cores=1,3,5,7
/proc/3457/stat : 3457 (cosoco) R 3454 3457 897 0 -1 4202496 23177 0 0 0 221 3 0 0 20 0 1 0 59935286 195248128 33728 18446744073709551615 4194304 5972588 140728836795184 140728836792488 4968801 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 15728640 140728836800964 140728836801064 140728836801064 140728836804558 0
/proc/3457/statm: 47668 33728 833 435 0 41031 0
Current children cumulated CPU time: 2.24 s
Current children cumulated vsize: 190672 KiB
Current children cumulated memory: 134912 KiB
Child status: 0
Real time (s): 2.31111
CPU time (s): 2.26062
CPU user time (s): 2.21461
CPU system time (s): 0.046012
CPU usage (%): 97.8152
Max. virtual memory (cumulated for all children) (KiB): 190672
Max. memory (cumulated for all children) (KiB): 134912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.21461
system time used= 0.046012
maximum resident set size= 135056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23196
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= 3
# summary of solver processes directly reported to runsolver:
# pid: 3457
# total CPU time (s): 2.26062
# total CPU user time (s): 2.21461
# total CPU system time (s): 0.046012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032824 second user time and 0.060958 second system time
The end
Begin job on node125 at 2017-08-13 00:18:20
IDJOB=4266238
IDBENCH=126846
IDSOLVER=2655
FILE ID=node125/4266238-1502577146
RUNJOBID= node125-1502565153-967
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0020.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266238-1502577146/watcher-4266238-1502577146 -o /tmp/evaluation-result-4266238-1502577146/solver-4266238-1502577146 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502565153-967 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266238-1502577146.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 5d39d785165af6ca3b6eb979dd894859
RANDOM SEED=1320624386
node125.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.07
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.07
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.07
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.07
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: 22807860 kB
MemAvailable: 23602780 kB
Buffers: 274700 kB
Cached: 809896 kB
SwapCached: 0 kB
Active: 8966136 kB
Inactive: 557036 kB
Active(anon): 8438900 kB
Inactive(anon): 24908 kB
Active(file): 527236 kB
Inactive(file): 532128 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2464 kB
Writeback: 0 kB
AnonPages: 8438280 kB
Mapped: 47092 kB
Shmem: 25252 kB
Slab: 127996 kB
SReclaimable: 102784 kB
SUnreclaim: 25212 kB
KernelStack: 3168 kB
PageTables: 21140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 8718760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1056768 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 62024 MiB
End job on node125 at 2017-08-13 00:18:23