Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 1292 | 2519.98 | 2520.01 |
| Name | Knapsack/ Knapsack-90-400-01_c18.xml |
| MD5SUM | 21e6319225d06eb46c107a9c6e1ffb4f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1681 |
| Best CPU time to get the best result obtained on this benchmark | 302.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 90 |
| Number of constraints | 1 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":90}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":90}] |
| Minimum constraint arity | 90 |
| Maximum constraint arity | 90 |
| Distribution of constraint arities | [{"arity":90,"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=4774 0.00/0.00 c 0.00/0.00 c This is cosoco 1.12 -- 0.00/0.00 c 0.00/0.00 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4300056-1532829717.xml 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: 90 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: 90..90 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 | Objective: Maximize Sum 0.00/0.00 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=4774 0.00/0.00 o 75 0.00/0.00 o 77 0.00/0.00 c 3 calls to solver: best=77 lower=78 upper=4774 0.00/0.01 o 80 0.00/0.01 o 82 0.00/0.01 c 5 calls to solver: best=82 lower=83 upper=4774 0.00/0.01 o 91 0.00/0.01 o 105 0.00/0.01 c 7 calls to solver: best=105 lower=106 upper=4774 0.00/0.01 o 129 0.00/0.01 o 159 0.00/0.01 c 9 calls to solver: best=159 lower=160 upper=4774 0.00/0.01 o 170 0.00/0.01 o 171 0.00/0.01 c 11 calls to solver: best=171 lower=172 upper=4774 0.00/0.01 o 190 0.00/0.01 o 234 0.00/0.01 c 13 calls to solver: best=234 lower=235 upper=4774 0.00/0.01 o 238 0.00/0.02 o 263 0.00/0.02 c 15 calls to solver: best=263 lower=264 upper=4774 0.00/0.02 o 306 0.00/0.02 o 319 0.00/0.02 c 17 calls to solver: best=319 lower=320 upper=4774 0.00/0.02 o 339 0.00/0.02 o 357 0.00/0.02 c 19 calls to solver: best=357 lower=358 upper=4774 0.00/0.02 o 363 0.00/0.02 o 396 0.00/0.02 c 21 calls to solver: best=396 lower=397 upper=4774 0.00/0.02 o 416 0.00/0.02 o 467 0.00/0.02 c 23 calls to solver: best=467 lower=468 upper=4774 0.00/0.02 o 469 0.00/0.03 o 477 0.00/0.03 c 25 calls to solver: best=477 lower=478 upper=4774 0.00/0.03 o 496 0.00/0.03 o 506 0.00/0.03 c 27 calls to solver: best=506 lower=507 upper=4774 0.00/0.03 o 523 0.00/0.03 o 526 0.00/0.03 c 29 calls to solver: best=526 lower=527 upper=4774 0.00/0.03 o 548 0.00/0.03 o 556 0.00/0.03 c 31 calls to solver: best=556 lower=557 upper=4774 0.00/0.03 o 576 0.00/0.03 o 591 0.00/0.03 c 33 calls to solver: best=591 lower=592 upper=4774 0.00/0.03 o 628 0.00/0.03 o 679 0.00/0.03 c 35 calls to solver: best=679 lower=680 upper=4774 0.00/0.04 o 724 0.00/0.04 o 738 0.00/0.04 c 37 calls to solver: best=738 lower=739 upper=4774 0.00/0.04 o 748 0.00/0.04 o 755 0.00/0.04 c 39 calls to solver: best=755 lower=756 upper=4774 0.00/0.04 o 759 0.00/0.04 o 776 0.00/0.04 c 41 calls to solver: best=776 lower=777 upper=4774 0.00/0.05 o 805 0.00/0.05 o 823 0.00/0.05 c 43 calls to solver: best=823 lower=824 upper=4774 0.00/0.05 o 837 0.00/0.05 o 841 0.00/0.05 c 45 calls to solver: best=841 lower=842 upper=4774 0.00/0.05 o 851 0.00/0.05 o 855 0.00/0.05 c 47 calls to solver: best=855 lower=856 upper=4774 0.00/0.05 o 907 0.00/0.06 o 911 0.00/0.06 c 49 calls to solver: best=911 lower=912 upper=4774 0.00/0.06 o 933 0.00/0.07 o 953 0.00/0.07 c 51 calls to solver: best=953 lower=954 upper=4774 0.00/0.08 o 955 0.00/0.09 o 971 0.00/0.09 c 53 calls to solver: best=971 lower=972 upper=4774 6.19/6.26 o 974 7.00/7.10 o 977 7.00/7.10 c 55 calls to solver: best=977 lower=978 upper=4774 7.39/7.45 o 978 7.49/7.58 o 982 7.49/7.58 c 57 calls to solver: best=982 lower=983 upper=4774 7.59/7.69 o 984 8.10/8.11 o 986 8.10/8.11 c 59 calls to solver: best=986 lower=987 upper=4774 8.29/8.36 o 998 8.39/8.47 o 1003 8.39/8.47 c 61 calls to solver: best=1003 lower=1004 upper=4774 8.49/8.55 o 1015 8.59/8.63 o 1029 8.59/8.63 c 63 calls to solver: best=1029 lower=1030 upper=4774 8.59/8.66 o 1034 8.89/8.93 o 1037 8.89/8.93 c 65 calls to solver: best=1037 lower=1038 upper=4774 9.00/9.05 o 1045 9.00/9.10 o 1051 9.00/9.10 c 67 calls to solver: best=1051 lower=1052 upper=4774 9.19/9.21 o 1074 9.39/9.43 o 1076 9.39/9.43 c 69 calls to solver: best=1076 lower=1077 upper=4774 9.49/9.50 o 1097 10.00/10.07 o 1100 10.00/10.07 c 71 calls to solver: best=1100 lower=1101 upper=4774 11.10/11.13 o 1106 12.19/12.26 o 1116 12.19/12.26 c 73 calls to solver: best=1116 lower=1117 upper=4774 12.49/12.52 o 1122 14.10/14.19 o 1123 14.10/14.19 c 75 calls to solver: best=1123 lower=1124 upper=4774 19.49/19.59 o 1128 21.49/21.51 o 1138 21.49/21.51 c 77 calls to solver: best=1138 lower=1139 upper=4774 29.00/29.07 o 1140 139.69/139.77 o 1141 139.69/139.77 c 79 calls to solver: best=1141 lower=1142 upper=4774 421.79/421.83 o 1142 550.48/550.51 o 1143 550.48/550.51 c 81 calls to solver: best=1143 lower=1144 upper=4774 564.48/564.54 o 1144 681.18/681.22 o 1147 681.18/681.22 c 83 calls to solver: best=1147 lower=1148 upper=4774 813.58/813.64 o 1148 903.58/903.65 o 1151 903.58/903.65 c 85 calls to solver: best=1151 lower=1152 upper=4774 950.88/950.95 o 1153 968.18/968.27 o 1157 968.18/968.27 c 87 calls to solver: best=1157 lower=1158 upper=4774 983.68/983.70 o 1159 988.28/988.38 o 1168 988.28/988.38 c 89 calls to solver: best=1168 lower=1169 upper=4774 1030.28/1030.36 o 1170 1042.68/1042.70 o 1171 1042.68/1042.70 c 91 calls to solver: best=1171 lower=1172 upper=4774 1050.68/1050.72 o 1175 1063.99/1064.09 o 1177 1063.99/1064.09 c 93 calls to solver: best=1177 lower=1178 upper=4774 1068.48/1068.53 o 1178 1074.28/1074.35 o 1184 1074.28/1074.35 c 95 calls to solver: best=1184 lower=1185 upper=4774 1082.98/1083.01 o 1194 1086.38/1086.47 o 1203 1086.38/1086.47 c 97 calls to solver: best=1203 lower=1204 upper=4774 1091.78/1091.86 o 1205 1105.98/1106.04 o 1214 1105.98/1106.04 c 99 calls to solver: best=1214 lower=1215 upper=4774 1115.18/1115.22 o 1223 1122.38/1122.46 o 1231 1122.38/1122.46 c 101 calls to solver: best=1231 lower=1232 upper=4774 1156.88/1156.93 o 1237 1179.38/1179.40 o 1246 1179.38/1179.40 c 103 calls to solver: best=1246 lower=1247 upper=4774 1271.17/1271.27 o 1251 1443.77/1443.86 o 1258 1443.77/1443.86 c 105 calls to solver: best=1258 lower=1259 upper=4774 1568.17/1568.29 o 1264 1728.57/1728.60 o 1268 1728.57/1728.60 c 107 calls to solver: best=1268 lower=1269 upper=4774 1953.07/1953.16 o 1283 2427.66/2427.76 o 1292 2427.66/2427.76 c 109 calls to solver: best=1292 lower=1293 upper=4774 2519.97/2520.00 2519.97/2520.00 c *** INTERRUPTED *** 2519.97/2520.00 c restarts : 107 2519.97/2520.00 c conflicts : 28426955 (11281 /sec) 2519.97/2520.00 c decisions : 184615225 (73261 /sec) 2519.97/2520.00 c propagations : 1909510286 (757751 /sec) 2519.97/2520.00 c root propagations : 90 2519.97/2520.00 c filter calls : 645408734 (256118 /sec) 2519.97/2520.00 c useless filter calls : 389582071 (60 %) 2519.97/2520.00 c Memory used : 26.66 MB 2519.97/2520.00 c CPU time : 2519.97 s 2519.97/2520.00 2519.97/2520.00 c nb Solutions = 109 2519.97/2520.00 s SATISFIABLE 2519.97/2520.00 c Best value found: 1292 2519.97/2520.00 2519.97/2520.00 2519.97/2520.00 v <instantiation type='solution' cost='1292'> 2519.97/2520.00 v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[9] </list> 2519.97/2520.00 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 </values> 2519.97/2520.00 v </instantiation> 2519.97/2520.00
OK 1292
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 (9081 MiB free)
memory of node 1: 16384 MiB (12628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300056-1532829717/watcher-4300056-1532829717 -o /tmp/evaluation-result-4300056-1532829717/solver-4300056-1532829717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24535 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300056-1532829717.xml
running on 4 cores: 0,2,4,6
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
solver pid=26940, runsolver pid=26937
Current StackSize limit: 8192 KiB
[startup+0.100197 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231700/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3672 CPUtime=0.1 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1132 0 0 0 10 0 0 0 20 0 1 0 100534882 27947008 918 33554432000 4194304 6142532 140724566519040 140724566515672 5215658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 918 814 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB
[startup+0.20945 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231700/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3672 CPUtime=0.21 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1132 0 0 0 21 0 0 0 20 0 1 0 100534882 27947008 918 33554432000 4194304 6142532 140724566519040 140724566515672 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 918 814 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB
[startup+0.308921 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231700/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3672 CPUtime=0.31 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1132 0 0 0 31 0 0 0 20 0 1 0 100534882 27947008 918 33554432000 4194304 6142532 140724566519040 140724566515672 5137638 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 918 814 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB
[startup+0.700331 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231700/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3672 CPUtime=0.69 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1132 0 0 0 69 0 0 0 20 0 1 0 100534882 27947008 918 33554432000 4194304 6142532 140724566519040 140724566515672 5137605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 918 814 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231700/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3672 CPUtime=1.49 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1132 0 0 0 149 0 0 0 20 0 1 0 100534882 27947008 918 33554432000 4194304 6142532 140724566519040 140724566515672 5215810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 918 814 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB
[startup+3.10914 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231700/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3900 CPUtime=3.1 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1171 0 0 0 310 0 0 0 20 0 1 0 100534882 27947008 975 33554432000 4194304 6142532 140724566519040 140724566515672 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231592/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3900 CPUtime=6.29 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1224 0 0 0 629 0 0 0 20 0 1 0 100534882 27947008 975 33554432000 4194304 6142532 140724566519040 140724566506312 5137184 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231716/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=12.69 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1280 0 0 0 1269 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5139736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231840/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=25.49 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1373 0 0 0 2549 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26941
/proc/meminfo: memFree=22231840/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=51.1 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1425 0 0 0 5110 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5138192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26942
/proc/meminfo: memFree=22231964/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=102.29 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1464 0 0 0 10229 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5137669 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26943
/proc/meminfo: memFree=22232288/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=162.29 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1518 0 0 0 16229 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5140579 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26944
/proc/meminfo: memFree=22232312/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=222.29 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1557 0 0 0 22229 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5139128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26945
/proc/meminfo: memFree=22232336/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=282.29 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1596 0 0 0 28229 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5215584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26946
/proc/meminfo: memFree=22232080/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=342.29 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1642 0 0 0 34229 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5215639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26947
/proc/meminfo: memFree=22232196/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=402.29 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1682 0 0 0 40229 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5138259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26948
/proc/meminfo: memFree=22232080/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=462.28 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 1735 0 0 0 46228 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5336623 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
################
# More data... #
################
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27118
/proc/meminfo: memFree=22234560/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=1782.27 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 2785 0 0 0 178227 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5138024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27119
/proc/meminfo: memFree=22234560/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=1842.27 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 2825 0 0 0 184227 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5175088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27120
/proc/meminfo: memFree=22234560/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=1902.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 2864 0 0 0 190226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5137876 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27121
/proc/meminfo: memFree=22234816/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=1962.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 2917 0 0 0 196226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5138688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27122
/proc/meminfo: memFree=22234708/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2022.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 2956 0 0 0 202226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27123
/proc/meminfo: memFree=22234708/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2082.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 2996 0 0 0 208226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5138182 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27124
/proc/meminfo: memFree=22234832/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2142.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3035 0 0 0 214226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5215821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27125
/proc/meminfo: memFree=22234956/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2202.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3074 0 0 0 220226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5215810 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27126
/proc/meminfo: memFree=22235068/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2262.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3113 0 0 0 226226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27134
/proc/meminfo: memFree=22234460/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2322.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3153 0 0 0 232226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27135
/proc/meminfo: memFree=22234724/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2382.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3192 0 0 0 238226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566516568 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27136
/proc/meminfo: memFree=22234972/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2442.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3247 0 0 0 244226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5175098 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27137
/proc/meminfo: memFree=22234932/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2502.26 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3286 0 0 0 250226 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5215813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27137
/proc/meminfo: memFree=22234932/32770624 swapFree=67108796/67108860
[pid=26940] ppid=26937 vsize=27292 memory=3904 CPUtime=2519.97 cores=0,2,4,6
/proc/26940/stat : 26940 (cosoco) R 26937 26940 24504 0 -1 4202496 3325 0 0 0 251997 0 0 0 20 0 1 0 100534882 27947008 976 33554432000 4194304 6142532 140724566519040 140724566506312 5139724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 34672640 140724566520966 140724566521096 140724566521096 140724566523854 0
/proc/26940/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 26940 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.97 s, system=0.007999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.98
CPU user time (s): 2519.97
CPU system time (s): 0.007999
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.97
system time used= 0.007999
maximum resident set size= 3972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3377
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= 15
involuntary context switches= 649
# summary of solver processes directly reported to runsolver:
# pid: 26940
# total CPU time (s): 2519.98
# total CPU user time (s): 2519.97
# total CPU system time (s): 0.007999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7421 second user time and 14.4948 second system time
The end
Begin job on node138 at 2018-07-29 04:01:57 IDJOB=4300056 IDBENCH=141536 IDSOLVER=2761 FILE ID=node138/4300056-1532829717 RUNJOBID= node138-1532809523-24535 PBS_JOBID= 21022478 Free space on /tmp= 53796 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Knapsack/Knapsack-90-400-01_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300056-1532829717/watcher-4300056-1532829717 -o /tmp/evaluation-result-4300056-1532829717/solver-4300056-1532829717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24535 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300056-1532829717.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 21e6319225d06eb46c107a9c6e1ffb4f RANDOM SEED=127116461 node138.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.71 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.71 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.71 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.71 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: 22231964 kB MemAvailable: 31918564 kB Buffers: 215780 kB Cached: 9674820 kB SwapCached: 44 kB Active: 2568844 kB Inactive: 7386164 kB Active(anon): 8988 kB Inactive(anon): 83480 kB Active(file): 2559856 kB Inactive(file): 7302684 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 71616 kB Mapped: 40632 kB Shmem: 25164 kB Slab: 280760 kB SReclaimable: 252520 kB SUnreclaim: 28240 kB KernelStack: 3376 kB PageTables: 5640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352700 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53792 MiB End job on node138 at 2018-07-29 04:43:57