Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-mini 1.12 | SAT (TO) | 1272 | 2400.0601 | 2400.2 |
| Name | Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml |
| MD5SUM | 51492dfdc05fd658a6c92bd20bc2cdd8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1272 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| 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.06 c best=?? lower=0 upper=3507 0.00/0.06 c 0.00/0.06 c This is cosoco 1.12 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -lc -model -restarts HOME/instance-4267071-1502610223.xml 0.00/0.06 c enable optimization 0.00/0.06 c ========================================[ Problem Statistics ]=========================================== 0.00/0.06 c | 0.00/0.06 c | Parse time : 0.00 s 0.00/0.06 c | 0.00/0.06 c | Variables: 60 0.00/0.06 c | Domain Sizes: 2..2 0.00/0.06 c | 0.00/0.06 c | Constraints: 2 0.00/0.06 c | Arity: 60..60 0.00/0.06 c | 0.00/0.06 c | Types: 0.00/0.06 c | Sum: 2 0.00/0.06 c | 0.00/0.06 c ========================================================================================================= 0.00/0.06 o 0 0.00/0.06 c 1 calls to solver: best=0 lower=1 upper=3507 0.00/0.06 o 76 0.00/0.06 o 87 0.00/0.06 c 3 calls to solver: best=87 lower=88 upper=3507 0.00/0.06 o 88 0.00/0.06 o 96 0.00/0.06 c 5 calls to solver: best=96 lower=97 upper=3507 0.00/0.06 o 147 0.00/0.06 o 162 0.00/0.06 c 7 calls to solver: best=162 lower=163 upper=3507 0.00/0.06 o 172 0.00/0.06 o 177 0.00/0.06 c 9 calls to solver: best=177 lower=178 upper=3507 0.00/0.06 o 224 0.00/0.06 o 239 0.00/0.06 c 11 calls to solver: best=239 lower=240 upper=3507 0.00/0.06 o 270 0.00/0.06 o 286 0.00/0.06 c 13 calls to solver: best=286 lower=287 upper=3507 0.00/0.06 o 333 0.00/0.06 o 382 0.00/0.06 c 15 calls to solver: best=382 lower=383 upper=3507 0.00/0.06 o 386 0.00/0.06 o 470 0.00/0.06 c 17 calls to solver: best=470 lower=471 upper=3507 0.00/0.06 o 486 0.00/0.06 o 491 0.00/0.06 c 19 calls to solver: best=491 lower=492 upper=3507 0.00/0.07 o 504 0.00/0.07 o 558 0.00/0.07 c 21 calls to solver: best=558 lower=559 upper=3507 0.00/0.07 o 565 0.00/0.07 o 575 0.00/0.07 c 23 calls to solver: best=575 lower=576 upper=3507 0.00/0.07 o 656 0.00/0.07 o 723 0.00/0.07 c 25 calls to solver: best=723 lower=724 upper=3507 0.00/0.07 o 724 0.00/0.07 o 732 0.00/0.07 c 27 calls to solver: best=732 lower=733 upper=3507 0.00/0.07 o 747 0.00/0.07 o 772 0.00/0.07 c 29 calls to solver: best=772 lower=773 upper=3507 0.00/0.07 o 784 0.00/0.07 o 805 0.00/0.07 c 31 calls to solver: best=805 lower=806 upper=3507 0.00/0.07 o 820 0.00/0.08 o 899 0.00/0.08 c 33 calls to solver: best=899 lower=900 upper=3507 0.00/0.08 o 942 0.00/0.08 o 962 0.00/0.08 c 35 calls to solver: best=962 lower=963 upper=3507 0.00/0.08 o 994 0.00/0.08 o 1009 0.00/0.08 c 37 calls to solver: best=1009 lower=1010 upper=3507 0.00/0.08 o 1016 0.00/0.08 o 1017 0.00/0.08 c 39 calls to solver: best=1017 lower=1018 upper=3507 1.34/1.45 o 1024 1.54/1.64 o 1031 1.54/1.64 c 41 calls to solver: best=1031 lower=1032 upper=3507 1.64/1.71 o 1032 1.64/1.73 o 1034 1.64/1.73 c 43 calls to solver: best=1034 lower=1035 upper=3507 1.64/1.74 o 1035 1.94/2.02 o 1036 1.94/2.02 c 45 calls to solver: best=1036 lower=1037 upper=3507 1.94/2.03 o 1038 1.94/2.04 o 1041 1.94/2.04 c 47 calls to solver: best=1041 lower=1042 upper=3507 2.04/2.12 o 1043 45.53/45.70 o 1049 45.53/45.70 c 49 calls to solver: best=1049 lower=1050 upper=3507 48.33/48.45 o 1051 49.13/49.22 o 1058 49.13/49.22 c 51 calls to solver: best=1058 lower=1059 upper=3507 49.83/49.95 o 1063 50.43/50.56 o 1067 50.43/50.56 c 53 calls to solver: best=1067 lower=1068 upper=3507 52.43/52.54 o 1069 58.23/58.31 o 1070 58.23/58.31 c 55 calls to solver: best=1070 lower=1071 upper=3507 63.43/63.52 o 1074 74.33/74.42 o 1085 74.33/74.42 c 57 calls to solver: best=1085 lower=1086 upper=3507 79.63/79.76 o 1087 81.83/82.00 o 1088 81.83/82.00 c 59 calls to solver: best=1088 lower=1089 upper=3507 202.94/203.07 o 1090 280.03/280.18 o 1091 280.03/280.18 c 61 calls to solver: best=1091 lower=1092 upper=3507 300.13/300.23 o 1092 345.32/345.43 o 1093 345.32/345.43 c 63 calls to solver: best=1093 lower=1094 upper=3507 371.82/371.93 o 1099 384.72/384.88 o 1109 384.72/384.88 c 65 calls to solver: best=1109 lower=1110 upper=3507 393.32/393.44 o 1110 403.42/403.55 o 1125 403.42/403.55 c 67 calls to solver: best=1125 lower=1126 upper=3507 413.42/413.55 o 1129 451.22/451.35 o 1133 451.22/451.35 c 69 calls to solver: best=1133 lower=1134 upper=3507 495.72/495.80 o 1135 533.52/533.60 o 1136 533.52/533.60 c 71 calls to solver: best=1136 lower=1137 upper=3507 545.03/545.17 o 1137 551.32/551.49 o 1138 551.32/551.49 c 73 calls to solver: best=1138 lower=1139 upper=3507 640.31/640.47 o 1143 647.11/647.29 o 1147 647.11/647.29 c 75 calls to solver: best=1147 lower=1148 upper=3507 673.81/673.93 o 1148 788.51/788.62 o 1151 788.51/788.62 c 77 calls to solver: best=1151 lower=1152 upper=3507 806.21/806.33 o 1155 828.31/828.43 o 1158 828.31/828.43 c 79 calls to solver: best=1158 lower=1159 upper=3507 842.31/842.45 o 1177 991.30/991.49 o 1184 991.30/991.49 c 81 calls to solver: best=1184 lower=1185 upper=3507 1234.59/1234.76 o 1186 1256.59/1256.75 o 1190 1256.59/1256.75 c 83 calls to solver: best=1190 lower=1191 upper=3507 1501.09/1501.22 o 1197 1535.68/1535.82 o 1200 1535.68/1535.82 c 85 calls to solver: best=1200 lower=1201 upper=3507 1573.48/1573.62 o 1207 1624.78/1624.90 o 1208 1624.78/1624.90 c 87 calls to solver: best=1208 lower=1209 upper=3507 1670.78/1670.95 o 1209 1705.08/1705.23 o 1217 1705.08/1705.23 c 89 calls to solver: best=1217 lower=1218 upper=3507 1722.18/1722.31 o 1228 1730.99/1731.12 o 1243 1730.99/1731.12 c 91 calls to solver: best=1243 lower=1244 upper=3507 1760.08/1760.26 o 1253 1977.77/1977.98 o 1264 1977.77/1977.98 c 93 calls to solver: best=1264 lower=1265 upper=3507 1999.17/1999.36 o 1265 2074.47/2074.62 o 1266 2074.47/2074.62 c 95 calls to solver: best=1266 lower=1267 upper=3507 2113.46/2113.65 o 1272 2400.06/2400.20 2400.06/2400.20 c *** INTERRUPTED *** 2400.06/2400.20 c restarts : 112 2400.06/2400.20 c conflicts : 42109742 (17545 /sec) 2400.06/2400.20 c decisions : 263632091 (109844 /sec) 2400.06/2400.20 c propagations : 2383360353 (993042 /sec) 2400.06/2400.20 c root propagations : 60 2400.06/2400.20 c filter calls : 905408617 (377244 /sec) 2400.06/2400.20 c useless filter calls : 554827979 (61 %) 2400.06/2400.20 c Memory used : 26.15 MB 2400.06/2400.20 c CPU time : 2400.06 s 2400.06/2400.20 2400.06/2400.20 c nb Solutions = 96 2400.06/2400.20 s SATISFIABLE 2400.06/2400.20 c Best value found: 1272 2400.06/2400.20 2400.06/2400.20 2400.06/2400.20 v <instantiation type='solution' cost='1272'> 2400.06/2400.20 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[6] x[7] x[8] x[9] </list> 2400.06/2400.20 v <values>0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 </values> 2400.06/2400.20 v </instantiation> 2400.06/2400.20
OK 1272
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 (15426 MiB free)
memory of node 1: 16384 MiB (15419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267071-1502610223/watcher-4267071-1502610223 -o /tmp/evaluation-result-4267071-1502610223/solver-4267071-1502610223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15985 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267071-1502610223.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18800, runsolver pid=18797
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 2.12 2.04 2.05 3/181 18801
/proc/meminfo: memFree=31586668/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3300 CPUtime=0.04 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1020 0 0 0 4 0 0 0 20 0 1 0 49362941 27418624 825 18446744073709551615 4194304 5748600 140730653586976 140730653583624 4949316 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.209091 s]*
/proc/loadavg: 2.12 2.04 2.05 3/181 18801
/proc/meminfo: memFree=31586668/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3300 CPUtime=0.15 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1020 0 0 0 15 0 0 0 20 0 1 0 49362941 27418624 825 18446744073709551615 4194304 5748600 140730653586976 140730653583624 5025649 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.308936 s]*
/proc/loadavg: 2.12 2.04 2.05 3/181 18801
/proc/meminfo: memFree=31586736/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3300 CPUtime=0.25 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1020 0 0 0 25 0 0 0 20 0 1 0 49362941 27418624 825 18446744073709551615 4194304 5748600 140730653586976 140730653574248 4947276 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+0.700341 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 18801
/proc/meminfo: memFree=31586736/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3300 CPUtime=0.64 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1020 0 0 0 64 0 0 0 20 0 1 0 49362941 27418624 825 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5025659 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+1.50033 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 18801
/proc/meminfo: memFree=31586736/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3300 CPUtime=1.44 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1020 0 0 0 144 0 0 0 20 0 1 0 49362941 27418624 825 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5025680 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+3.10885 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 18801
/proc/meminfo: memFree=31586512/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3300 CPUtime=3.04 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1045 0 0 0 304 0 0 0 20 0 1 0 49362941 27418624 825 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5122359 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3300 KiB
[startup+6.30033 s]
/proc/loadavg: 2.03 2.02 2.04 3/181 18801
/proc/meminfo: memFree=31586512/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=6.24 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1070 0 0 0 624 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5025668 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.04 3/181 18801
/proc/meminfo: memFree=31586512/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=12.64 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1095 0 0 0 1264 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 4949546 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.04 3/181 18802
/proc/meminfo: memFree=31586512/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=25.43 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1145 0 0 0 2543 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 4947736 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+51.109 s]
/proc/loadavg: 2.14 2.05 2.05 3/184 18816
/proc/meminfo: memFree=31581460/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=51.04 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1187 0 0 0 5104 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 4948236 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/184 18818
/proc/meminfo: memFree=31581480/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=102.23 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1229 0 0 0 10223 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5025648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 18820
/proc/meminfo: memFree=31584256/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=162.23 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1254 0 0 0 16223 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5025642 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 18822
/proc/meminfo: memFree=31584452/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=222.23 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1294 0 0 0 22223 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 4948704 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+282.3 s]
/proc/loadavg: 2.21 2.07 2.06 3/181 18886
/proc/meminfo: memFree=31829860/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=282.23 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1336 0 0 0 28223 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5025659 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/181 18888
/proc/meminfo: memFree=31829952/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=342.22 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1376 0 0 0 34222 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 4948008 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+402.3 s]
/proc/loadavg: 2.42 2.15 2.08 3/181 18890
/proc/meminfo: memFree=31829324/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=402.22 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1420 0 0 0 40222 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5025706 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+462.3 s]
/proc/loadavg: 2.19 2.13 2.08 3/181 18892
/proc/meminfo: memFree=31829192/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=462.22 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 1462 0 0 0 46222 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5025875 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
################
# More data... #
################
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 1602.18 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18962
/proc/meminfo: memFree=31827968/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=1662.18 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2143 0 0 0 166218 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5134921 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 1662.18 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18965
/proc/meminfo: memFree=31827616/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=1722.18 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2185 0 0 0 172218 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 4947576 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18967
/proc/meminfo: memFree=31827864/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=1782.18 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2225 0 0 0 178218 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5000378 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 19015
/proc/meminfo: memFree=31818696/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=1842.17 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2250 0 0 0 184217 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 4947315 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+1902.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/187 19042
/proc/meminfo: memFree=31817788/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=1902.17 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2275 0 0 0 190217 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5025706 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 19044
/proc/meminfo: memFree=31818260/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=1962.17 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2300 0 0 0 196217 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5128009 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/184 19046
/proc/meminfo: memFree=31821912/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2022.17 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2342 0 0 0 202217 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5122557 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 19048
/proc/meminfo: memFree=31822536/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2082.17 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2384 0 0 0 208217 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653574248 5025706 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 19050
/proc/meminfo: memFree=31822692/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2142.16 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2424 0 0 0 214216 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5025861 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 19052
/proc/meminfo: memFree=31822964/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2202.16 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2449 0 0 0 220216 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 4949871 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19054
/proc/meminfo: memFree=31823088/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2262.16 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2474 0 0 0 226216 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5025687 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19056
/proc/meminfo: memFree=31823416/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2322.16 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2499 0 0 0 232216 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5000378 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19058
/proc/meminfo: memFree=31823416/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2382.16 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2524 0 0 0 238216 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 4949970 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19058
/proc/meminfo: memFree=31823416/32770624 swapFree=67108860/67108860
[pid=18800] ppid=18797 vsize=26776 memory=3432 CPUtime=2400.06 cores=0,2,4,6
/proc/18800/stat : 18800 (cosoco) R 18797 18800 11586 0 -1 4202496 2549 0 0 0 240006 0 0 0 20 0 1 0 49362941 27418624 858 18446744073709551615 4194304 5748600 140730653586976 140730653584504 5025632 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 9957376 140730653589961 140730653590056 140730653590056 140730653593550 0
/proc/18800/statm: 6694 858 758 380 0 112 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 26776 KiB
Current children cumulated memory: 3432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 18800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.06 s, system=0.002999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.06
CPU user time (s): 2400.06
CPU system time (s): 0.002999
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 26776
Max. memory (cumulated for all children) (KiB): 3432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.002999
maximum resident set size= 3508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2604
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= 3001
# summary of solver processes directly reported to runsolver:
# pid: 18800
# total CPU time (s): 2400.06
# total CPU user time (s): 2400.06
# total CPU system time (s): 0.002999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17977 second user time and 15.3174 second system time
The end
Begin job on node124 at 2017-08-13 09:29:27 IDJOB=4267071 IDBENCH=133483 IDSOLVER=2657 FILE ID=node124/4267071-1502610223 RUNJOBID= node124-1502597167-15985 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s60/Knapsack-60-250-03.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267071-1502610223/watcher-4267071-1502610223 -o /tmp/evaluation-result-4267071-1502610223/solver-4267071-1502610223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15985 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267071-1502610223.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 51492dfdc05fd658a6c92bd20bc2cdd8 RANDOM SEED=1739955199 node124.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.51 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.51 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.51 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.51 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: 31586820 kB MemAvailable: 31759160 kB Buffers: 153548 kB Cached: 309012 kB SwapCached: 0 kB Active: 605252 kB Inactive: 154444 kB Active(anon): 248376 kB Inactive(anon): 73940 kB Active(file): 356876 kB Inactive(file): 80504 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2128 kB Writeback: 4 kB AnonPages: 296224 kB Mapped: 43760 kB Shmem: 25320 kB Slab: 127804 kB SReclaimable: 101588 kB SUnreclaim: 26216 kB KernelStack: 3216 kB PageTables: 5536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 569204 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-13 10:09:27