Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco-sat 1.1 | OPT | 1333 | 1064.27 | 1064.34 |
Name | Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml |
MD5SUM | ec17c84eab1701ad56b983b1c216f3af |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1333 |
Best CPU time to get the best result obtained on this benchmark | 95.399902 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 1 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":60}] |
Minimum constraint arity | 60 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":60,"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 SAT : Variables: 120 -- Clauses: 120 0.00/0.00 c best=?? lower=0 upper=3189 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: 60 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: 60..60 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=3189 0.00/0.00 o 8 0.00/0.00 o 27 0.00/0.00 c 3 calls to solver: best=27 lower=28 upper=3189 0.00/0.01 o 99 0.00/0.01 o 100 0.00/0.01 c 5 calls to solver: best=100 lower=101 upper=3189 0.00/0.01 o 132 0.00/0.01 o 143 0.00/0.01 c 7 calls to solver: best=143 lower=144 upper=3189 0.00/0.01 o 148 0.00/0.01 o 185 0.00/0.01 c 9 calls to solver: best=185 lower=186 upper=3189 0.00/0.01 o 194 0.00/0.01 o 213 0.00/0.01 c 11 calls to solver: best=213 lower=214 upper=3189 0.00/0.01 o 215 0.00/0.01 o 227 0.00/0.01 c 13 calls to solver: best=227 lower=228 upper=3189 0.00/0.01 o 229 0.00/0.01 o 243 0.00/0.01 c 15 calls to solver: best=243 lower=244 upper=3189 0.00/0.01 o 268 0.00/0.01 o 334 0.00/0.01 c 17 calls to solver: best=334 lower=335 upper=3189 0.00/0.02 o 338 0.00/0.02 o 349 0.00/0.02 c 19 calls to solver: best=349 lower=350 upper=3189 0.00/0.02 o 404 0.00/0.02 o 432 0.00/0.02 c 21 calls to solver: best=432 lower=433 upper=3189 0.00/0.02 o 456 0.00/0.02 o 463 0.00/0.02 c 23 calls to solver: best=463 lower=464 upper=3189 0.00/0.02 o 494 0.00/0.02 o 500 0.00/0.02 c 25 calls to solver: best=500 lower=501 upper=3189 0.00/0.02 o 512 0.00/0.02 o 542 0.00/0.02 c 27 calls to solver: best=542 lower=543 upper=3189 0.00/0.02 o 543 0.00/0.02 o 586 0.00/0.02 c 29 calls to solver: best=586 lower=587 upper=3189 0.00/0.02 o 612 0.00/0.02 o 667 0.00/0.02 c 31 calls to solver: best=667 lower=668 upper=3189 0.00/0.03 o 719 0.00/0.03 o 727 0.00/0.03 c 33 calls to solver: best=727 lower=728 upper=3189 0.00/0.03 o 731 0.00/0.03 o 762 0.00/0.03 c 35 calls to solver: best=762 lower=763 upper=3189 0.00/0.03 o 763 0.09/0.10 o 767 0.09/0.10 c 37 calls to solver: best=767 lower=768 upper=3189 0.09/0.10 o 768 0.09/0.10 o 798 0.09/0.10 c 39 calls to solver: best=798 lower=799 upper=3189 0.09/0.10 o 802 0.09/0.10 o 814 0.09/0.10 c 41 calls to solver: best=814 lower=815 upper=3189 0.09/0.11 o 824 0.09/0.11 o 833 0.09/0.11 c 43 calls to solver: best=833 lower=834 upper=3189 0.09/0.11 o 841 0.09/0.11 o 844 0.09/0.11 c 45 calls to solver: best=844 lower=845 upper=3189 0.09/0.11 o 849 0.09/0.11 o 869 0.09/0.11 c 47 calls to solver: best=869 lower=870 upper=3189 0.19/0.24 o 870 0.19/0.24 o 878 0.19/0.24 c 49 calls to solver: best=878 lower=879 upper=3189 0.69/0.74 o 884 1.29/1.33 o 889 1.29/1.33 c 51 calls to solver: best=889 lower=890 upper=3189 1.29/1.34 o 891 1.29/1.37 o 896 1.29/1.37 c 53 calls to solver: best=896 lower=897 upper=3189 1.29/1.39 o 899 1.39/1.40 o 903 1.39/1.40 c 55 calls to solver: best=903 lower=904 upper=3189 1.39/1.41 o 905 1.39/1.41 o 919 1.39/1.41 c 57 calls to solver: best=919 lower=920 upper=3189 1.39/1.42 o 928 1.49/1.51 o 930 1.49/1.51 c 59 calls to solver: best=930 lower=931 upper=3189 1.99/2.06 o 941 2.30/2.38 o 944 2.30/2.38 c 61 calls to solver: best=944 lower=945 upper=3189 2.39/2.42 o 953 2.39/2.47 o 971 2.39/2.47 c 63 calls to solver: best=971 lower=972 upper=3189 2.49/2.50 o 977 2.49/2.51 o 978 2.49/2.51 c 65 calls to solver: best=978 lower=979 upper=3189 2.59/2.64 o 979 2.69/2.76 o 980 2.69/2.76 c 67 calls to solver: best=980 lower=981 upper=3189 2.89/2.94 o 991 3.19/3.24 o 1004 3.19/3.24 c 69 calls to solver: best=1004 lower=1005 upper=3189 5.50/5.50 o 1005 5.89/5.90 o 1022 5.89/5.90 c 71 calls to solver: best=1022 lower=1023 upper=3189 5.89/5.99 o 1024 16.39/16.45 o 1028 16.39/16.45 c 73 calls to solver: best=1028 lower=1029 upper=3189 16.79/16.87 conflict 24lvl : 35 bt35-39:0(30)X92402 17.19/17.24 -> -39:X(30)o 1033 17.29/17.38 o 1037 17.29/17.38 c 75 calls to solver: best=1037 lower=1038 upper=3189 18.39/18.46 o 1039 20.19/20.25 o 1041 20.19/20.25 c 77 calls to solver: best=1041 lower=1042 upper=3189 22.19/22.23 o 1050 24.99/25.09 o 1058 24.99/25.09 c 79 calls to solver: best=1058 lower=1059 upper=3189 26.19/26.26 o 1065 28.09/28.14 o 1071 28.09/28.14 c 81 calls to solver: best=1071 lower=1072 upper=3189 28.79/28.88 o 1082 29.19/29.22 o 1084 29.19/29.22 c 83 calls to solver: best=1084 lower=1085 upper=3189 29.49/29.55 o 1091 30.19/30.25 o 1100 30.19/30.25 c 85 calls to solver: best=1100 lower=1101 upper=3189 31.19/31.22 o 1102 32.39/32.44 o 1109 32.39/32.44 c 87 calls to solver: best=1109 lower=1110 upper=3189 44.59/44.67 o 1110 49.29/49.35 o 1115 49.29/49.35 c 89 calls to solver: best=1115 lower=1116 upper=3189 51.09/51.17 o 1118 55.89/55.95 o 1125 55.89/55.95 c 91 calls to solver: best=1125 lower=1126 upper=3189 78.79/78.80 o 1131 93.49/93.54 o 1134 93.49/93.54 c 93 calls to solver: best=1134 lower=1135 upper=3189 99.48/99.52 o 1135 107.79/107.82 o 1143 107.79/107.82 c 95 calls to solver: best=1143 lower=1144 upper=3189 116.98/117.05 o 1156 120.48/120.57 o 1162 120.48/120.57 c 97 calls to solver: best=1162 lower=1163 upper=3189 128.38/128.48 o 1171 132.58/132.60 o 1190 132.58/132.60 c 99 calls to solver: best=1190 lower=1191 upper=3189 136.49/136.59 o 1194 143.48/143.56 o 1202 143.48/143.56 c 101 calls to solver: best=1202 lower=1203 upper=3189 152.58/152.65 o 1203 163.28/163.39 o 1211 163.28/163.39 c 103 calls to solver: best=1211 lower=1212 upper=3189 179.98/180.06 o 1212 266.07/266.11 o 1224 266.07/266.11 c 105 calls to solver: best=1224 lower=1225 upper=3189 280.67/280.75 o 1248 314.47/314.54 o 1267 314.47/314.54 c 107 calls to solver: best=1267 lower=1268 upper=3189 584.85/584.95 conflict 7lvl : 37 bt35-47:0(21)X99084 602.25/602.35 conflict 9lvl : 40 bt39-113:0(26)X99094 607.16/607.25 o 1272 611.66/611.73 o 1281 611.66/611.73 c 109 calls to solver: best=1281 lower=1282 upper=3189 614.75/614.86 o 1286 617.35/617.40 o 1293 617.35/617.40 c 111 calls to solver: best=1293 lower=1294 upper=3189 624.76/624.87 o 1295 630.95/631.03 o 1319 630.95/631.03 c 113 calls to solver: best=1319 lower=1320 upper=3189 662.65/662.76 conflict 5lvl : 45 bt43-109:0(26)X99245 686.65/686.75 conflict 6lvl : 42 bt41-21:0(23)X99506 703.04/703.15 conflict 7lvl : 40 bt32-93:0(27)X99515 715.44/715.58 -> -93:X(27)conflict 6lvl : 39 bt37-79:0(21)X99525 751.64/751.73 o 1320 959.93/960.05 o 1333 959.93/960.05 c 115 calls to solver: best=1333 lower=1334 upper=3189 989.82/989.91 conflict 4lvl : 39 bt38-113:0(21)X100020 1003.72/1003.86 conflict 6lvl : 41 bt40-113:0(21)X100027 1003.72/1003.86 conflict 5lvl : 43 bt38-53:0(22)X100036 1039.22/1039.31 conflict 6lvl : 37 bt36-109:0(25)X100105 1064.22/1064.33 c 1064.22/1064.33 c Optimum found : 1333 1064.22/1064.33 c 1064.22/1064.33 1064.22/1064.33 v <instantiation type='solution' cost='1333'> 1064.22/1064.33 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] </list> 1064.22/1064.33 v <values>0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 </values> 1064.22/1064.33 v </instantiation> 1064.22/1064.33 1064.22/1064.33 c call to solver : 116 1064.22/1064.33 c 1064.22/1064.33 c restarts : 601 1064.22/1064.33 c conflicts : 16770209 (15758 /sec) 1064.22/1064.33 c decisions : 111308995 (104588 /sec) 1064.22/1064.33 c propagations : 1044611308 (981534 /sec) 1064.22/1064.33 c root propagations : 60 1064.22/1064.33 c filter calls : 375810756 (353118 /sec) 1064.22/1064.33 c useless filter calls : 233638878 (62 %) 1064.22/1064.33 c 1064.22/1064.33 c clauses : 2486 1064.22/1064.33 c SAT propagations : 452443 1064.22/1064.33 c SAT conflicts : 39959 (11 learnts) 1064.22/1064.33 c Memory used : 30.88 MB 1064.22/1064.33 c CPU time : 1064.26 s 1064.22/1064.33 1064.22/1064.33 s OPTIMUM FOUND
OK 1333
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-4242174-1500655388/watcher-4242174-1500655388 -o /tmp/evaluation-result-4242174-1500655388/solver-4242174-1500655388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9844 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242174-1500655388.xml pid=10678 running on 8 cores: 1,3,5,7,9,11,13,15 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: 1.93 2.00 2.01 3/242 10681 /proc/meminfo: memFree=31824740/32770624 swapFree=5780/194520 [pid=10681] ppid=10678 vsize=31480 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1049 0 0 0 1 0 0 0 20 0 1 0 803879 32235520 832 33554432000 4194304 5970956 140729658119376 140729658106680 139954236775520 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7870 832 735 434 0 1234 0 [startup+0.100147 s] /proc/loadavg: 1.93 2.00 2.01 3/242 10681 /proc/meminfo: memFree=31824740/32770624 swapFree=5780/194520 [pid=10681] ppid=10678 vsize=31480 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1067 0 0 0 9 0 0 0 20 0 1 0 803879 32235520 898 33554432000 4194304 5970956 140729658119376 140729658116936 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7870 898 783 434 0 1234 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31480 [startup+0.200265 s] /proc/loadavg: 1.93 2.00 2.01 3/242 10681 /proc/meminfo: memFree=31824740/32770624 swapFree=5780/194520 [pid=10681] ppid=10678 vsize=31480 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1101 0 0 0 19 0 0 0 20 0 1 0 803879 32235520 898 33554432000 4194304 5970956 140729658119376 140729658106680 5046970 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7870 898 783 434 0 1234 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 31480 [startup+0.300234 s] /proc/loadavg: 1.93 2.00 2.01 3/242 10681 /proc/meminfo: memFree=31824740/32770624 swapFree=5780/194520 [pid=10681] ppid=10678 vsize=31616 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1149 0 0 0 29 0 0 0 20 0 1 0 803879 32374784 964 33554432000 4194304 5970956 140729658119376 140729658116136 5047510 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 964 783 434 0 1268 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31616 [startup+0.70021 s] /proc/loadavg: 1.93 2.00 2.01 3/242 10681 /proc/meminfo: memFree=31824740/32770624 swapFree=5780/194520 [pid=10681] ppid=10678 vsize=31616 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1171 0 0 0 69 0 0 0 20 0 1 0 803879 32374784 964 33554432000 4194304 5970956 140729658119376 140729658116136 5046925 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 964 783 434 0 1268 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31616 [startup+1.50022 s] /proc/loadavg: 1.93 2.00 2.01 3/243 10682 /proc/meminfo: memFree=31805328/32770624 swapFree=5780/194280 [pid=10681] ppid=10678 vsize=31616 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1177 0 0 0 149 0 0 0 20 0 1 0 803879 32374784 964 33554432000 4194304 5970956 140729658119376 140729658116936 5045728 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 964 783 434 0 1268 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31616 [startup+3.10022 s] /proc/loadavg: 1.93 2.00 2.01 3/243 10682 /proc/meminfo: memFree=31784352/32770624 swapFree=5780/194280 [pid=10681] ppid=10678 vsize=31616 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1355 0 0 0 309 0 0 0 20 0 1 0 803879 32374784 1019 33554432000 4194304 5970956 140729658119376 140729658116936 5136620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1019 783 434 0 1268 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31616 [startup+6.30021 s] /proc/loadavg: 1.94 2.00 2.01 3/243 10682 /proc/meminfo: memFree=31730824/32770624 swapFree=5780/194292 [pid=10681] ppid=10678 vsize=31616 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1545 0 0 0 629 0 0 0 20 0 1 0 803879 32374784 1026 33554432000 4194304 5970956 140729658119376 140729658116936 5046740 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1026 783 434 0 1268 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31616 [startup+12.7002 s] /proc/loadavg: 1.94 2.00 2.01 3/243 10682 /proc/meminfo: memFree=31498696/32770624 swapFree=5780/194300 [pid=10681] ppid=10678 vsize=31616 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 1718 0 0 0 1269 0 0 0 20 0 1 0 803879 32374784 1031 33554432000 4194304 5970956 140729658119376 140729658116936 5045568 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1031 783 434 0 1268 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31616 [startup+25.5003 s] /proc/loadavg: 1.96 2.00 2.01 3/243 10682 /proc/meminfo: memFree=31483256/32770624 swapFree=5780/194316 [pid=10681] ppid=10678 vsize=31616 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 2099 0 0 0 2549 0 0 0 20 0 1 0 803879 32374784 1038 33554432000 4194304 5970956 140729658119376 140729658106680 5136620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1038 787 434 0 1268 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31616 [startup+51.1003 s] /proc/loadavg: 1.97 2.00 2.01 3/243 10682 /proc/meminfo: memFree=31387852/32770624 swapFree=5780/194348 [pid=10681] ppid=10678 vsize=31616 CPUtime=51.09 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 2288 0 0 0 5109 0 0 0 20 0 1 0 803879 32374784 1038 33554432000 4194304 5970956 140729658119376 140729658106680 5098954 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1038 787 434 0 1268 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 31616 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.01 3/243 10683 /proc/meminfo: memFree=31387548/32770624 swapFree=5780/194428 [pid=10681] ppid=10678 vsize=31616 CPUtime=102.29 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 2480 0 0 0 10229 0 0 0 20 0 1 0 803879 32374784 1042 33554432000 4194304 5970956 140729658119376 140729658116936 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1042 787 434 0 1268 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 31616 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.01 3/243 10684 /proc/meminfo: memFree=31387008/32770624 swapFree=5780/194520 [pid=10681] ppid=10678 vsize=31616 CPUtime=162.28 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 2674 0 0 0 16228 0 0 0 20 0 1 0 803879 32374784 1044 33554432000 4194304 5970956 140729658119376 140729658116936 5047532 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1044 787 434 0 1268 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 31616 [startup+222.308 s] /proc/loadavg: 2.00 2.00 2.01 3/243 10685 /proc/meminfo: memFree=31386132/32770624 swapFree=5780/194588 [pid=10681] ppid=10678 vsize=31616 CPUtime=222.28 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 2862 0 0 0 22228 0 0 0 20 0 1 0 803879 32374784 1046 33554432000 4194304 5970956 140729658119376 140729658116936 5136625 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1046 787 434 0 1268 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 31616 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.01 3/243 10686 /proc/meminfo: memFree=31386248/32770624 swapFree=5780/194664 [pid=10681] ppid=10678 vsize=31616 CPUtime=282.27 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 3055 0 0 0 28227 0 0 0 20 0 1 0 803879 32374784 1047 33554432000 4194304 5970956 140729658119376 140729658116936 5045313 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1047 787 434 0 1268 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 31616 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.01 3/243 10687 /proc/meminfo: memFree=31386124/32770624 swapFree=5780/194736 [pid=10681] ppid=10678 vsize=31616 CPUtime=342.27 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 3246 0 0 0 34227 0 0 0 20 0 1 0 803879 32374784 1047 33554432000 4194304 5970956 140729658119376 140729658106680 5136623 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1047 787 434 0 1268 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 31616 [startup+402.3 s] /proc/loadavg: 2.03 2.02 2.02 3/243 10688 /proc/meminfo: memFree=31385208/32770624 swapFree=5780/194812 [pid=10681] ppid=10678 vsize=31616 CPUtime=402.26 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 3436 0 0 0 40226 0 0 0 20 0 1 0 803879 32374784 1051 33554432000 4194304 5970956 140729658119376 140729658106680 5136577 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1051 787 434 0 1268 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 31616 [startup+462.3 s] /proc/loadavg: 2.11 2.04 2.03 3/243 10696 /proc/meminfo: memFree=31384548/32770624 swapFree=5780/194908 [pid=10681] ppid=10678 vsize=31616 CPUtime=462.26 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 3619 0 0 0 46226 0 0 0 20 0 1 0 803879 32374784 1051 33554432000 4194304 5970956 140729658119376 140729658106680 5136795 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1051 787 434 0 1268 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 31616 [startup+522.3 s] /proc/loadavg: 2.07 2.05 2.04 3/243 10697 /proc/meminfo: memFree=31385032/32770624 swapFree=5780/194972 [pid=10681] ppid=10678 vsize=31616 CPUtime=522.26 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 3804 0 0 0 52226 0 0 0 20 0 1 0 803879 32374784 1051 33554432000 4194304 5970956 140729658119376 140729658106680 5045648 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1051 787 434 0 1268 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 31616 [startup+582.3 s] /proc/loadavg: 2.06 2.05 2.04 3/243 10698 /proc/meminfo: memFree=31384884/32770624 swapFree=5780/195048 [pid=10681] ppid=10678 vsize=31616 CPUtime=582.25 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 3989 0 0 0 58225 0 0 0 20 0 1 0 803879 32374784 1051 33554432000 4194304 5970956 140729658119376 140729658106680 5136620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1051 787 434 0 1268 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 31616 [startup+642.3 s] /proc/loadavg: 2.19 2.09 2.05 3/243 10699 /proc/meminfo: memFree=31384204/32770624 swapFree=5780/195128 [pid=10681] ppid=10678 vsize=31616 CPUtime=642.25 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 4190 0 0 0 64225 0 0 0 20 0 1 0 803879 32374784 1051 33554432000 4194304 5970956 140729658119376 140729658106680 5136577 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1051 787 434 0 1268 0 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (KiB) 31616 [startup+702.3 s] /proc/loadavg: 2.14 2.09 2.05 3/243 10700 /proc/meminfo: memFree=31384164/32770624 swapFree=5780/195204 [pid=10681] ppid=10678 vsize=31616 CPUtime=702.24 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 4383 0 0 0 70224 0 0 0 20 0 1 0 803879 32374784 1051 33554432000 4194304 5970956 140729658119376 140729658116712 5045683 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1051 787 434 0 1268 0 Current children cumulated CPU time (s) 702.24 Current children cumulated vsize (KiB) 31616 [startup+762.3 s] /proc/loadavg: 2.05 2.07 2.05 3/243 10702 /proc/meminfo: memFree=31383716/32770624 swapFree=5780/195300 [pid=10681] ppid=10678 vsize=31616 CPUtime=762.25 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 4577 0 0 0 76225 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116936 5136587 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 762.25 Current children cumulated vsize (KiB) 31616 [startup+822.3 s] /proc/loadavg: 2.02 2.06 2.05 3/243 10703 /proc/meminfo: memFree=31384448/32770624 swapFree=5780/195368 [pid=10681] ppid=10678 vsize=31616 CPUtime=822.24 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 4761 0 0 0 82224 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116936 5136570 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 822.24 Current children cumulated vsize (KiB) 31616 [startup+882.308 s] /proc/loadavg: 2.01 2.05 2.05 3/243 10704 /proc/meminfo: memFree=31384836/32770624 swapFree=5780/195436 [pid=10681] ppid=10678 vsize=31616 CPUtime=882.24 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 4942 0 0 0 88224 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116936 5044841 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 882.24 Current children cumulated vsize (KiB) 31616 [startup+942.3 s] /proc/loadavg: 2.00 2.04 2.05 3/243 10706 /proc/meminfo: memFree=31382104/32770624 swapFree=5780/195512 [pid=10681] ppid=10678 vsize=31616 CPUtime=942.23 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5130 0 0 0 94223 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116936 5136629 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 942.23 Current children cumulated vsize (KiB) 31616 [startup+1002.3 s] /proc/loadavg: 2.05 2.05 2.05 3/243 10707 /proc/meminfo: memFree=31382832/32770624 swapFree=5780/195584 [pid=10681] ppid=10678 vsize=31616 CPUtime=1002.22 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5326 0 0 0 100222 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116712 5045862 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 1002.22 Current children cumulated vsize (KiB) 31616 [startup+1062.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 10715 /proc/meminfo: memFree=31383052/32770624 swapFree=5780/195676 [pid=10681] ppid=10678 vsize=31616 CPUtime=1062.22 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5523 0 0 0 106222 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116712 5320396 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 1062.22 Current children cumulated vsize (KiB) 31616 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10681 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1062.4 s] /proc/loadavg: 2.02 2.04 2.05 3/243 10715 /proc/meminfo: memFree=31383052/32770624 swapFree=5780/195676 [pid=10681] ppid=10678 vsize=31616 CPUtime=1062.32 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5523 0 0 0 106232 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116712 5045683 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 31616 [startup+1063.2 s] /proc/loadavg: 2.02 2.04 2.05 3/243 10715 /proc/meminfo: memFree=31383052/32770624 swapFree=5780/195676 [pid=10681] ppid=10678 vsize=31616 CPUtime=1063.12 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5523 0 0 0 106312 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116712 5136795 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 1063.12 Current children cumulated vsize (KiB) 31616 [startup+1064 s] /proc/loadavg: 2.02 2.04 2.05 3/243 10715 /proc/meminfo: memFree=31383052/32770624 swapFree=5780/195676 [pid=10681] ppid=10678 vsize=31616 CPUtime=1063.92 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5523 0 0 0 106392 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116712 5046918 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 1063.92 Current children cumulated vsize (KiB) 31616 [startup+1064.2 s] /proc/loadavg: 2.02 2.04 2.05 3/243 10715 /proc/meminfo: memFree=31383052/32770624 swapFree=5780/195676 [pid=10681] ppid=10678 vsize=31616 CPUtime=1064.12 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5523 0 0 0 106412 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116712 5098944 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 1064.12 Current children cumulated vsize (KiB) 31616 [startup+1064.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 10715 /proc/meminfo: memFree=31383052/32770624 swapFree=5780/195676 [pid=10681] ppid=10678 vsize=31616 CPUtime=1064.22 cores=1,3,5,7,9,11,13,15 /proc/10681/stat : 10681 (cosoco) R 10678 10681 9811 0 -1 4202496 5523 0 0 0 106422 0 0 0 20 0 1 0 803879 32374784 1052 33554432000 4194304 5970956 140729658119376 140729658116712 5046341 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 41574400 140729658127548 140729658127683 140729658127683 140729658130382 0 /proc/10681/statm: 7904 1052 787 434 0 1268 0 Current children cumulated CPU time (s) 1064.22 Current children cumulated vsize (KiB) 31616 Child status: 0 Real time (s): 1064.34 CPU time (s): 1064.27 CPU user time (s): 1064.26 CPU system time (s): 0.005999 CPU usage (%): 99.9935 Max. virtual memory (cumulated for all children) (KiB): 31616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1064.26 system time used= 0.005999 maximum resident set size= 4292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5566 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= 53520 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.27414 second user time and 4.67717 second system time The end
Begin job on node145 at 2017-07-21 18:43:08 IDJOB=4242174 IDBENCH=133498 IDSOLVER=2621 FILE ID=node145/4242174-1500655388 RUNJOBID= node145-1500648174-9844 PBS_JOBID= 20623276 Free space on /tmp= 61744 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-05.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242174-1500655388/watcher-4242174-1500655388 -o /tmp/evaluation-result-4242174-1500655388/solver-4242174-1500655388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9844 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242174-1500655388.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= ec17c84eab1701ad56b983b1c216f3af RANDOM SEED=528513569 node145.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.43 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.43 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.43 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 : 2000.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 : 1600.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.43 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 : 2668.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.43 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 : 1600.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 : 1733.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.43 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 : 2668.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.43 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.43 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: 31827488 kB MemAvailable: 31941952 kB Buffers: 32596 kB Cached: 390856 kB SwapCached: 0 kB Active: 361204 kB Inactive: 203240 kB Active(anon): 143828 kB Inactive(anon): 8720 kB Active(file): 217376 kB Inactive(file): 194520 kB Unevictable: 5780 kB Mlocked: 5780 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2468 kB Writeback: 4 kB AnonPages: 75700 kB Mapped: 30472 kB Shmem: 8852 kB Slab: 68492 kB SReclaimable: 36808 kB SUnreclaim: 31684 kB KernelStack: 4208 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 475788 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: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61740 MiB End job on node145 at 2017-07-21 19:00:52