Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | OPT | 992 | 565.31 | 565.448 |
Name | Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml |
MD5SUM | 072cba4c7f6c08974f35ec38dd54383a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 992 |
Best CPU time to get the best result obtained on this benchmark | 44.660999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 1 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":50}] |
Minimum constraint arity | 50 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":1}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c best=?? lower=0 upper=2294 0.00/0.00 c 0.00/0.00 c This is cosoco 1.0 -- 0.00/0.00 c 0.00/0.00 c enable optimization 0.00/0.00 c ========================================[ Problem Statistics ]=========================================== 0.00/0.00 c | 0.00/0.00 c | Parse time : 0.00 s 0.00/0.00 c | 0.00/0.00 c | Variables: 50 0.00/0.00 c | Domain Sizes: 2..2 0.00/0.00 c | 0.00/0.00 c | Constraints: 2 0.00/0.00 c | Arity: 50..50 0.00/0.00 c | 0.00/0.00 c | Types: 0.00/0.00 c | Sum: 2 0.00/0.00 c | 0.00/0.00 c ========================================================================================================= 0.00/0.00 o 0 0.00/0.00 c 1 calls to solver: best=0 lower=1 upper=2294 0.00/0.00 o 83 0.00/0.00 o 100 0.00/0.00 c 3 calls to solver: best=100 lower=101 upper=2294 0.00/0.00 o 160 0.00/0.00 o 209 0.00/0.00 c 5 calls to solver: best=209 lower=210 upper=2294 0.00/0.01 o 251 0.00/0.01 o 254 0.00/0.01 c 7 calls to solver: best=254 lower=255 upper=2294 0.00/0.01 o 259 0.00/0.01 o 300 0.00/0.01 c 9 calls to solver: best=300 lower=301 upper=2294 0.00/0.01 o 344 0.00/0.01 o 348 0.00/0.01 c 11 calls to solver: best=348 lower=349 upper=2294 0.00/0.01 o 372 0.00/0.01 o 381 0.00/0.01 c 13 calls to solver: best=381 lower=382 upper=2294 0.00/0.01 o 399 0.00/0.01 o 409 0.00/0.01 c 15 calls to solver: best=409 lower=410 upper=2294 0.00/0.01 o 429 0.00/0.01 o 442 0.00/0.01 c 17 calls to solver: best=442 lower=443 upper=2294 0.00/0.01 o 465 0.00/0.01 o 475 0.00/0.01 c 19 calls to solver: best=475 lower=476 upper=2294 0.00/0.01 o 498 0.00/0.01 o 501 0.00/0.01 c 21 calls to solver: best=501 lower=502 upper=2294 0.00/0.01 o 515 0.00/0.01 o 537 0.00/0.01 c 23 calls to solver: best=537 lower=538 upper=2294 0.00/0.01 o 558 0.00/0.01 o 627 0.00/0.01 c 25 calls to solver: best=627 lower=628 upper=2294 0.00/0.01 o 629 0.00/0.01 o 630 0.00/0.01 c 27 calls to solver: best=630 lower=631 upper=2294 0.00/0.02 o 639 0.00/0.02 o 640 0.00/0.02 c 29 calls to solver: best=640 lower=641 upper=2294 0.00/0.02 o 645 0.00/0.02 o 662 0.00/0.02 c 31 calls to solver: best=662 lower=663 upper=2294 0.19/0.24 o 665 0.19/0.25 o 667 0.19/0.25 c 33 calls to solver: best=667 lower=668 upper=2294 0.19/0.25 o 671 0.79/0.81 o 674 0.79/0.81 c 35 calls to solver: best=674 lower=675 upper=2294 0.79/0.84 o 675 1.59/1.65 o 681 1.59/1.65 c 37 calls to solver: best=681 lower=682 upper=2294 1.59/1.69 o 698 1.69/1.72 o 718 1.69/1.72 c 39 calls to solver: best=718 lower=719 upper=2294 1.69/1.75 o 725 1.69/1.79 o 727 1.69/1.79 c 41 calls to solver: best=727 lower=728 upper=2294 1.79/1.85 o 728 1.89/1.99 o 730 1.89/1.99 c 43 calls to solver: best=730 lower=731 upper=2294 1.99/2.07 o 739 2.39/2.40 o 745 2.39/2.40 c 45 calls to solver: best=745 lower=746 upper=2294 2.39/2.46 o 752 2.39/2.48 o 767 2.39/2.48 c 47 calls to solver: best=767 lower=768 upper=2294 2.39/2.49 o 768 2.69/2.76 o 777 2.69/2.76 c 49 calls to solver: best=777 lower=778 upper=2294 2.79/2.84 o 784 2.99/3.06 o 787 2.99/3.06 c 51 calls to solver: best=787 lower=788 upper=2294 3.19/3.28 o 792 3.30/3.33 o 796 3.30/3.33 c 53 calls to solver: best=796 lower=797 upper=2294 4.79/4.86 o 801 4.89/4.93 o 806 4.89/4.93 c 55 calls to solver: best=806 lower=807 upper=2294 4.89/4.95 o 807 4.89/4.97 o 812 4.89/4.97 c 57 calls to solver: best=812 lower=813 upper=2294 4.89/4.97 o 813 4.89/4.97 o 815 4.89/4.97 c 59 calls to solver: best=815 lower=816 upper=2294 4.89/4.98 o 824 4.89/4.99 o 827 4.89/4.99 c 61 calls to solver: best=827 lower=828 upper=2294 4.99/5.02 o 834 5.19/5.24 o 846 5.19/5.24 c 63 calls to solver: best=846 lower=847 upper=2294 5.29/5.34 o 860 5.29/5.39 o 865 5.29/5.39 c 65 calls to solver: best=865 lower=866 upper=2294 5.39/5.41 o 873 5.39/5.42 o 878 5.39/5.42 c 67 calls to solver: best=878 lower=879 upper=2294 5.39/5.42 o 883 5.39/5.44 o 892 5.39/5.44 c 69 calls to solver: best=892 lower=893 upper=2294 5.39/5.46 o 896 5.39/5.46 o 897 5.39/5.46 c 71 calls to solver: best=897 lower=898 upper=2294 5.39/5.47 o 912 5.50/5.55 o 929 5.50/5.55 c 73 calls to solver: best=929 lower=930 upper=2294 6.60/6.62 o 931 6.60/6.69 o 935 6.60/6.69 c 75 calls to solver: best=935 lower=936 upper=2294 6.70/6.73 o 936 34.58/34.66 o 941 34.58/34.66 c 77 calls to solver: best=941 lower=942 upper=2294 36.78/36.81 o 944 37.08/37.11 o 945 37.08/37.11 c 79 calls to solver: best=945 lower=946 upper=2294 37.18/37.27 o 947 49.38/49.50 o 953 49.38/49.50 c 81 calls to solver: best=953 lower=954 upper=2294 50.69/50.77 o 958 56.58/56.60 o 961 56.58/56.60 c 83 calls to solver: best=961 lower=962 upper=2294 61.08/61.11 o 962 150.76/150.84 o 963 150.76/150.84 c 85 calls to solver: best=963 lower=964 upper=2294 223.25/223.34 o 965 235.14/235.27 o 966 235.14/235.27 c 87 calls to solver: best=966 lower=967 upper=2294 252.94/253.10 o 967 315.72/315.86 o 970 315.72/315.86 c 89 calls to solver: best=970 lower=971 upper=2294 330.51/330.67 o 971 340.01/340.13 o 972 340.01/340.13 c 91 calls to solver: best=972 lower=973 upper=2294 346.61/346.74 o 981 471.08/471.24 o 983 471.08/471.24 c 93 calls to solver: best=983 lower=984 upper=2294 524.67/524.81 o 985 530.76/530.91 o 988 530.76/530.91 c 95 calls to solver: best=988 lower=989 upper=2294 534.06/534.25 o 989 536.56/536.79 o 992 536.56/536.79 c 97 calls to solver: best=992 lower=993 upper=2294 565.26/565.44 c 565.26/565.44 c Optimum found : 992 565.26/565.44 c 565.26/565.44 565.26/565.44 v <instantiation type='solution' cost='992'> 565.26/565.44 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] </list> 565.26/565.44 v <values>0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 </values> 565.26/565.44 v </instantiation> 565.26/565.44 565.26/565.44 c call to solver : 98 565.26/565.44 c 565.26/565.44 c restarts : 99 565.26/565.44 c conflicts : 12939177 (22889 /sec) 565.26/565.44 c decisions : 70142135 (124078 /sec) 565.26/565.44 c propagations : 595655911 (1053684 /sec) 565.26/565.44 c root propagations : 50 565.26/565.44 c filter calls : 243086053 (430006 /sec) 565.26/565.44 c useless filter calls : 149015687 (61 %) 565.26/565.44 c Memory used : 26.36 MB 565.26/565.44 c CPU time : 565.308 s 565.26/565.44 565.26/565.44 s OPTIMUM FOUND
OK 992
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-4242146-1500657940/watcher-4242146-1500657940 -o /tmp/evaluation-result-4242146-1500657940/solver-4242146-1500657940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2491 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242146-1500657940.xml pid=4396 running on 8 cores: 0,2,4,6,8,10,12,14 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.04 2.04 2.05 3/242 4399 /proc/meminfo: memFree=32032524/32770624 swapFree=5840/213732 [pid=4399] ppid=4396 vsize=26992 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1031 0 0 0 0 0 0 0 20 0 1 0 1061785 27639808 832 33554432000 4194304 5970956 140734738740448 140734738727752 140676531543136 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 832 738 434 0 112 0 [startup+0.100122 s] /proc/loadavg: 2.04 2.04 2.05 3/242 4399 /proc/meminfo: memFree=32032524/32770624 swapFree=5840/213732 [pid=4399] ppid=4396 vsize=26992 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1032 0 0 0 9 0 0 0 20 0 1 0 1061785 27639808 832 33554432000 4194304 5970956 140734738740448 140734738727752 5044857 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 832 738 434 0 112 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26992 [startup+0.200294 s] /proc/loadavg: 2.04 2.04 2.05 3/242 4399 /proc/meminfo: memFree=32032524/32770624 swapFree=5840/213732 [pid=4399] ppid=4396 vsize=26992 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1032 0 0 0 19 0 0 0 20 0 1 0 1061785 27639808 832 33554432000 4194304 5970956 140734738740448 140734738727752 5046188 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 832 738 434 0 112 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 26992 [startup+0.300264 s] /proc/loadavg: 2.04 2.04 2.05 3/242 4399 /proc/meminfo: memFree=32032524/32770624 swapFree=5840/213732 [pid=4399] ppid=4396 vsize=26992 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1032 0 0 0 29 0 0 0 20 0 1 0 1061785 27639808 832 33554432000 4194304 5970956 140734738740448 140734738738008 5046899 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 832 738 434 0 112 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26992 [startup+0.700227 s] /proc/loadavg: 2.04 2.04 2.05 3/242 4399 /proc/meminfo: memFree=32032524/32770624 swapFree=5840/213732 [pid=4399] ppid=4396 vsize=26992 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1032 0 0 0 69 0 0 0 20 0 1 0 1061785 27639808 832 33554432000 4194304 5970956 140734738740448 140734738738008 5136570 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 832 738 434 0 112 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26992 [startup+1.50023 s] /proc/loadavg: 2.04 2.04 2.05 3/243 4400 /proc/meminfo: memFree=32031676/32770624 swapFree=5840/213760 [pid=4399] ppid=4396 vsize=26992 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1032 0 0 0 149 0 0 0 20 0 1 0 1061785 27639808 832 33554432000 4194304 5970956 140734738740448 140734738738008 5045744 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 832 738 434 0 112 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26992 [startup+3.10027 s] /proc/loadavg: 2.04 2.04 2.05 3/243 4400 /proc/meminfo: memFree=32031804/32770624 swapFree=5840/213764 [pid=4399] ppid=4396 vsize=26992 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1068 0 0 0 309 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5136590 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26992 [startup+6.30029 s] /proc/loadavg: 2.04 2.03 2.05 3/243 4400 /proc/meminfo: memFree=32031052/32770624 swapFree=5840/213764 [pid=4399] ppid=4396 vsize=26992 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1104 0 0 0 629 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5045159 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26992 [startup+12.7003 s] /proc/loadavg: 2.03 2.03 2.05 3/243 4400 /proc/meminfo: memFree=32030680/32770624 swapFree=5840/213764 [pid=4399] ppid=4396 vsize=26992 CPUtime=12.69 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1126 0 0 0 1269 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738738008 5136634 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26992 [startup+25.5003 s] /proc/loadavg: 2.03 2.03 2.05 3/243 4400 /proc/meminfo: memFree=32031004/32770624 swapFree=5840/213764 [pid=4399] ppid=4396 vsize=26992 CPUtime=25.49 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1170 0 0 0 2549 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738738008 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26992 [startup+51.1003 s] /proc/loadavg: 2.02 2.03 2.05 3/243 4400 /proc/meminfo: memFree=32031636/32770624 swapFree=5840/213752 [pid=4399] ppid=4396 vsize=26992 CPUtime=51.08 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1220 0 0 0 5108 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738738008 5046153 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26992 [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 4401 /proc/meminfo: memFree=32031336/32770624 swapFree=5840/213776 [pid=4399] ppid=4396 vsize=26992 CPUtime=102.27 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1242 0 0 0 10227 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738738008 5098954 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26992 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 4403 /proc/meminfo: memFree=32031344/32770624 swapFree=5840/213856 [pid=4399] ppid=4396 vsize=26992 CPUtime=162.25 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1278 0 0 0 16225 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5045640 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 26992 [startup+222.308 s] /proc/loadavg: 2.11 2.05 2.05 3/243 4404 /proc/meminfo: memFree=32031216/32770624 swapFree=5840/213896 [pid=4399] ppid=4396 vsize=26992 CPUtime=222.25 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1305 0 0 0 22225 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5045027 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 26992 [startup+282.3 s] /proc/loadavg: 2.07 2.05 2.05 3/245 4414 /proc/meminfo: memFree=32030796/32770624 swapFree=5840/213952 [pid=4399] ppid=4396 vsize=26992 CPUtime=282.22 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1350 0 0 0 28222 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738738008 5045004 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26992 [startup+342.3 s] /proc/loadavg: 2.03 2.04 2.05 3/245 4415 /proc/meminfo: memFree=32030928/32770624 swapFree=5840/213972 [pid=4399] ppid=4396 vsize=26992 CPUtime=342.21 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1387 0 0 0 34221 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5136795 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 26992 [startup+402.3 s] /proc/loadavg: 2.01 2.04 2.05 3/245 4416 /proc/meminfo: memFree=32031388/32770624 swapFree=5840/214056 [pid=4399] ppid=4396 vsize=26992 CPUtime=402.19 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1410 0 0 0 40219 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738738008 5136786 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 26992 [startup+462.3 s] /proc/loadavg: 2.00 2.03 2.05 3/245 4417 /proc/meminfo: memFree=32030540/32770624 swapFree=5840/214088 [pid=4399] ppid=4396 vsize=26992 CPUtime=462.18 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1433 0 0 0 46218 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738738008 5321244 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 26992 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.05 3/245 4418 /proc/meminfo: memFree=32031396/32770624 swapFree=5840/214132 [pid=4399] ppid=4396 vsize=26992 CPUtime=522.17 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1470 0 0 0 52217 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5136629 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 26992 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4399 sig 9 ??? kill -4399 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+537.6 s] /proc/loadavg: 2.00 2.02 2.05 3/245 4418 /proc/meminfo: memFree=32031396/32770624 swapFree=5840/214132 [pid=4399] ppid=4396 vsize=26992 CPUtime=537.46 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 53746 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5046203 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 537.46 Current children cumulated vsize (KiB) 26992 [startup+550.4 s] /proc/loadavg: 2.00 2.02 2.05 3/245 4419 /proc/meminfo: memFree=32031512/32770624 swapFree=5840/214172 [pid=4399] ppid=4396 vsize=26992 CPUtime=550.26 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 55026 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5044841 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 550.26 Current children cumulated vsize (KiB) 26992 [startup+556.8 s] /proc/loadavg: 2.00 2.02 2.05 3/245 4419 /proc/meminfo: memFree=32031512/32770624 swapFree=5840/214172 [pid=4399] ppid=4396 vsize=26992 CPUtime=556.66 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 55666 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 556.66 Current children cumulated vsize (KiB) 26992 [startup+560.008 s] /proc/loadavg: 2.00 2.02 2.05 3/245 4419 /proc/meminfo: memFree=32031512/32770624 swapFree=5840/214172 [pid=4399] ppid=4396 vsize=26992 CPUtime=559.86 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 55986 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5045944 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 559.86 Current children cumulated vsize (KiB) 26992 [startup+563.2 s] /proc/loadavg: 2.00 2.02 2.05 3/244 4419 /proc/meminfo: memFree=32030760/32770624 swapFree=5840/214172 [pid=4399] ppid=4396 vsize=26992 CPUtime=563.06 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 56306 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5045172 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 563.06 Current children cumulated vsize (KiB) 26992 [startup+564.8 s] /proc/loadavg: 2.00 2.02 2.05 3/244 4419 /proc/meminfo: memFree=32030760/32770624 swapFree=5840/214172 [pid=4399] ppid=4396 vsize=26992 CPUtime=564.66 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 56466 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5136803 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 564.66 Current children cumulated vsize (KiB) 26992 [startup+565.2 s] /proc/loadavg: 2.00 2.02 2.05 3/244 4419 /proc/meminfo: memFree=32030760/32770624 swapFree=5840/214172 [pid=4399] ppid=4396 vsize=26992 CPUtime=565.06 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 56506 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5047689 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 565.06 Current children cumulated vsize (KiB) 26992 [startup+565.4 s] /proc/loadavg: 2.00 2.02 2.05 3/244 4419 /proc/meminfo: memFree=32030760/32770624 swapFree=5840/214172 [pid=4399] ppid=4396 vsize=26992 CPUtime=565.26 cores=0,2,4,6,8,10,12,14 /proc/4399/stat : 4399 (cosoco) R 4396 4399 2458 0 -1 4202496 1521 0 0 0 56526 0 0 0 20 0 1 0 1061785 27639808 873 33554432000 4194304 5970956 140734738740448 140734738727752 5136801 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 17670144 140734738748609 140734738748739 140734738748739 140734738751438 0 /proc/4399/statm: 6748 873 776 434 0 112 0 Current children cumulated CPU time (s) 565.26 Current children cumulated vsize (KiB) 26992 Child status: 0 Real time (s): 565.448 CPU time (s): 565.31 CPU user time (s): 565.308 CPU system time (s): 0.002 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 26992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 565.308 system time used= 0.002 maximum resident set size= 3576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1562 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= 12 involuntary context switches= 28697 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.73939 second user time and 2.56275 second system time The end
Begin job on node126 at 2017-07-21 19:25:40 IDJOB=4242146 IDBENCH=133454 IDSOLVER=2620 FILE ID=node126/4242146-1500657940 RUNJOBID= node126-1500648174-2491 PBS_JOBID= 20623294 Free space on /tmp= 61980 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-17.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242146-1500657940/watcher-4242146-1500657940 -o /tmp/evaluation-result-4242146-1500657940/solver-4242146-1500657940 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2491 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242146-1500657940.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 072cba4c7f6c08974f35ec38dd54383a RANDOM SEED=2029947784 node126.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 : 8 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.50 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 8 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 : 8 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.50 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 : 8 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 : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 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.50 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 : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32033356 kB MemAvailable: 32020632 kB Buffers: 32452 kB Cached: 266844 kB SwapCached: 0 kB Active: 144980 kB Inactive: 222388 kB Active(anon): 70540 kB Inactive(anon): 8656 kB Active(file): 74440 kB Inactive(file): 213732 kB Unevictable: 5840 kB Mlocked: 5840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2024 kB Writeback: 0 kB AnonPages: 75800 kB Mapped: 30980 kB Shmem: 8840 kB Slab: 61660 kB SReclaimable: 29880 kB SUnreclaim: 31780 kB KernelStack: 4384 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 340284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61980 MiB End job on node126 at 2017-07-21 19:35:06