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) | 1286 | 2520.07 | 2520.01 |
| Name | Knapsack/ Knapsack-90-400-00_c18.xml |
| MD5SUM | 7b27ea70d39fcd1b1790f87791ea7535 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1551 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| 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=4664 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-4295371-1532548659.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=4664 0.00/0.00 o 69 0.00/0.00 o 73 0.00/0.00 c 3 calls to solver: best=73 lower=74 upper=4664 0.00/0.01 o 75 0.00/0.01 o 82 0.00/0.01 c 5 calls to solver: best=82 lower=83 upper=4664 0.00/0.01 o 87 0.00/0.01 o 130 0.00/0.01 c 7 calls to solver: best=130 lower=131 upper=4664 0.00/0.01 o 167 0.00/0.01 o 175 0.00/0.01 c 9 calls to solver: best=175 lower=176 upper=4664 0.00/0.01 o 192 0.00/0.01 o 206 0.00/0.01 c 11 calls to solver: best=206 lower=207 upper=4664 0.00/0.01 o 208 0.00/0.01 o 240 0.00/0.01 c 13 calls to solver: best=240 lower=241 upper=4664 0.00/0.02 o 266 0.00/0.02 o 287 0.00/0.02 c 15 calls to solver: best=287 lower=288 upper=4664 0.00/0.02 o 314 0.00/0.02 o 317 0.00/0.02 c 17 calls to solver: best=317 lower=318 upper=4664 0.00/0.02 o 350 0.00/0.02 o 372 0.00/0.02 c 19 calls to solver: best=372 lower=373 upper=4664 0.00/0.02 o 384 0.00/0.02 o 442 0.00/0.02 c 21 calls to solver: best=442 lower=443 upper=4664 0.00/0.02 o 482 0.00/0.02 o 515 0.00/0.02 c 23 calls to solver: best=515 lower=516 upper=4664 0.00/0.02 o 525 0.00/0.03 o 545 0.00/0.03 c 25 calls to solver: best=545 lower=546 upper=4664 0.00/0.03 o 576 0.00/0.03 o 591 0.00/0.03 c 27 calls to solver: best=591 lower=592 upper=4664 0.00/0.03 o 626 0.00/0.03 o 645 0.00/0.03 c 29 calls to solver: best=645 lower=646 upper=4664 0.00/0.03 o 708 0.00/0.03 o 716 0.00/0.03 c 31 calls to solver: best=716 lower=717 upper=4664 0.00/0.03 o 729 0.00/0.03 o 753 0.00/0.03 c 33 calls to solver: best=753 lower=754 upper=4664 0.00/0.04 o 762 0.00/0.04 o 766 0.00/0.04 c 35 calls to solver: best=766 lower=767 upper=4664 0.00/0.04 o 775 0.00/0.04 o 777 0.00/0.04 c 37 calls to solver: best=777 lower=778 upper=4664 0.00/0.04 o 811 0.00/0.04 o 826 0.00/0.04 c 39 calls to solver: best=826 lower=827 upper=4664 0.00/0.04 o 829 0.00/0.04 o 845 0.00/0.04 c 41 calls to solver: best=845 lower=846 upper=4664 0.00/0.04 o 880 0.00/0.04 o 898 0.00/0.04 c 43 calls to solver: best=898 lower=899 upper=4664 0.00/0.04 o 905 0.00/0.05 o 916 0.00/0.05 c 45 calls to solver: best=916 lower=917 upper=4664 0.00/0.05 o 931 0.00/0.05 o 933 0.00/0.05 c 47 calls to solver: best=933 lower=934 upper=4664 0.00/0.05 o 937 0.00/0.05 o 941 0.00/0.05 c 49 calls to solver: best=941 lower=942 upper=4664 0.00/0.06 o 943 0.00/0.06 o 950 0.00/0.06 c 51 calls to solver: best=950 lower=951 upper=4664 10.59/10.62 o 951 11.89/11.99 o 953 11.89/11.99 c 53 calls to solver: best=953 lower=954 upper=4664 12.39/12.45 o 959 16.79/16.83 o 961 16.79/16.83 c 55 calls to solver: best=961 lower=962 upper=4664 17.49/17.55 o 962 18.19/18.24 o 963 18.19/18.24 c 57 calls to solver: best=963 lower=964 upper=4664 18.99/19.09 o 964 20.18/20.20 o 965 20.18/20.20 c 59 calls to solver: best=965 lower=966 upper=4664 20.99/21.07 o 968 21.38/21.42 o 978 21.38/21.42 c 61 calls to solver: best=978 lower=979 upper=4664 21.48/21.58 o 980 21.58/21.67 o 981 21.58/21.67 c 63 calls to solver: best=981 lower=982 upper=4664 21.68/21.75 o 999 21.99/22.03 o 1019 21.99/22.03 c 65 calls to solver: best=1019 lower=1020 upper=4664 1124.81/1124.83 o 1026 1158.12/1158.19 o 1028 1158.12/1158.19 c 67 calls to solver: best=1028 lower=1029 upper=4664 1240.92/1240.90 o 1032 1289.42/1289.45 o 1039 1289.42/1289.45 c 69 calls to solver: best=1039 lower=1040 upper=4664 1317.72/1317.79 o 1042 1329.52/1329.58 o 1050 1329.52/1329.58 c 71 calls to solver: best=1050 lower=1051 upper=4664 1360.52/1360.59 o 1053 1383.52/1383.55 o 1057 1383.52/1383.55 c 73 calls to solver: best=1057 lower=1058 upper=4664 1400.42/1400.45 o 1059 1409.52/1409.55 o 1061 1409.52/1409.55 c 75 calls to solver: best=1061 lower=1062 upper=4664 1415.13/1415.12 o 1068 1436.72/1436.75 o 1076 1436.72/1436.75 c 77 calls to solver: best=1076 lower=1077 upper=4664 1450.62/1450.68 o 1085 1457.13/1457.13 o 1106 1457.13/1457.13 c 79 calls to solver: best=1106 lower=1107 upper=4664 1464.82/1464.80 o 1112 1472.82/1472.88 o 1127 1472.82/1472.88 c 81 calls to solver: best=1127 lower=1128 upper=4664 1477.82/1477.80 o 1136 1485.62/1485.62 o 1140 1485.62/1485.62 c 83 calls to solver: best=1140 lower=1141 upper=4664 1490.72/1490.77 o 1145 1503.22/1503.20 o 1150 1503.22/1503.20 c 85 calls to solver: best=1150 lower=1151 upper=4664 1516.13/1516.18 o 1152 1527.22/1527.25 o 1182 1527.22/1527.25 c 87 calls to solver: best=1182 lower=1183 upper=4664 1534.72/1534.74 o 1188 1543.82/1543.81 o 1197 1543.82/1543.81 c 89 calls to solver: best=1197 lower=1198 upper=4664 1557.03/1557.09 o 1199 1566.63/1566.61 o 1200 1566.63/1566.61 c 91 calls to solver: best=1200 lower=1201 upper=4664 1575.73/1575.73 o 1203 1580.63/1580.62 o 1212 1580.63/1580.62 c 93 calls to solver: best=1212 lower=1213 upper=4664 1603.43/1603.48 o 1217 1614.73/1614.75 o 1228 1614.73/1614.75 c 95 calls to solver: best=1228 lower=1229 upper=4664 1646.33/1646.30 o 1237 1668.33/1668.31 o 1251 1668.33/1668.31 c 97 calls to solver: best=1251 lower=1252 upper=4664 1681.83/1681.82 o 1252 1738.53/1738.55 o 1269 1738.53/1738.55 c 99 calls to solver: best=1269 lower=1270 upper=4664 1840.53/1840.59 o 1270 2419.75/2419.71 o 1278 2419.75/2419.71 c 101 calls to solver: best=1278 lower=1279 upper=4664 2511.65/2511.65 o 1286 2520.06/2520.00 2520.06/2520.00 c *** INTERRUPTED *** 2520.06/2520.00 c restarts : 108 2520.06/2520.00 c conflicts : 30603566 (12144 /sec) 2520.06/2520.00 c decisions : 188399110 (74760 /sec) 2520.06/2520.00 c propagations : 1915821424 (760226 /sec) 2520.06/2520.00 c root propagations : 90 2520.06/2520.00 c filter calls : 655776036 (260222 /sec) 2520.06/2520.00 c useless filter calls : 397938704 (60 %) 2520.06/2520.00 c Memory used : 26.66 MB 2520.06/2520.00 c CPU time : 2520.07 s 2520.06/2520.00 2520.06/2520.00 c nb Solutions = 102 2520.06/2520.00 s SATISFIABLE 2520.06/2520.00 c Best value found: 1286 2520.06/2520.00 2520.06/2520.00 2520.06/2520.00 v <instantiation type='solution' cost='1286'> 2520.06/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> 2520.06/2520.00 v <values>0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 </values> 2520.06/2520.00 v </instantiation> 2520.06/2520.00
OK 1286
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 (11637 MiB free)
memory of node 1: 16384 MiB (9684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295371-1532548659/watcher-4295371-1532548659 -o /tmp/evaluation-result-4295371-1532548659/solver-4295371-1532548659 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295371-1532548659.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=32079, runsolver pid=32076
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21833364/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3672 CPUtime=0.1 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1132 0 0 0 10 0 0 0 20 0 1 0 72429071 27947008 918 33554432000 4194304 6142532 140721682527456 140721682524088 5215601 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 918 813 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.20928 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21833364/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3672 CPUtime=0.21 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1132 0 0 0 21 0 0 0 20 0 1 0 72429071 27947008 918 33554432000 4194304 6142532 140721682527456 140721682524088 5215653 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 918 813 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.00 2.04 3/187 32080
/proc/meminfo: memFree=21833364/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3672 CPUtime=0.31 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1132 0 0 0 31 0 0 0 20 0 1 0 72429071 27947008 918 33554432000 4194304 6142532 140721682527456 140721682524088 5215611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 918 813 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.700224 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21833004/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3672 CPUtime=0.69 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1132 0 0 0 69 0 0 0 20 0 1 0 72429071 27947008 918 33554432000 4194304 6142532 140721682527456 140721682524088 5138259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 918 813 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.50023 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21833004/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3672 CPUtime=1.49 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1132 0 0 0 149 0 0 0 20 0 1 0 72429071 27947008 918 33554432000 4194304 6142532 140721682527456 140721682514728 5215827 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 918 813 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.10901 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21833088/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=3.1 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1172 0 0 0 310 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5138432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21832788/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=6.29 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1212 0 0 0 629 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5215653 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32080
/proc/meminfo: memFree=21832892/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=12.69 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1266 0 0 0 1269 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5139141 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/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.5002 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32081
/proc/meminfo: memFree=21832780/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=25.48 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1360 0 0 0 2548 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5215813 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+51.1089 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32081
/proc/meminfo: memFree=21833000/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=51.09 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1404 0 0 0 5109 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5137598 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/187 32082
/proc/meminfo: memFree=21833016/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=102.28 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1444 0 0 0 10228 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5215601 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/188 32091
/proc/meminfo: memFree=21832664/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=162.28 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1484 0 0 0 16228 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5140128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 32114
/proc/meminfo: memFree=21831464/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3904 CPUtime=222.28 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1530 0 0 0 22228 0 0 0 20 0 1 0 72429071 27947008 976 33554432000 4194304 6142532 140721682527456 140721682514728 5138182 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3904 KiB
[startup+282.3 s]
/proc/loadavg: 2.53 2.13 2.08 3/188 32115
/proc/meminfo: memFree=21832444/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=282.29 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1571 0 0 0 28229 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682514728 5319106 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+342.3 s]
/proc/loadavg: 2.19 2.10 2.07 3/188 32116
/proc/meminfo: memFree=21832884/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=342.29 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1612 0 0 0 34229 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682514728 5137682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.09 2.07 3/188 32117
/proc/meminfo: memFree=21833132/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=402.29 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1653 0 0 0 40229 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682514728 5138697 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.07 2.06 3/187 32118
/proc/meminfo: memFree=21833376/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=462.29 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 1694 0 0 0 46229 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682514728 5138704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
################
# More data... #
################
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32157
/proc/meminfo: memFree=21833196/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=1782.33 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2701 0 0 0 178233 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682514728 5215639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32159
/proc/meminfo: memFree=21832700/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=1842.33 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2754 0 0 0 184233 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5137583 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32160
/proc/meminfo: memFree=21832828/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=1902.34 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2754 0 0 0 190234 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5139604 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32169
/proc/meminfo: memFree=21832176/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=1962.34 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2794 0 0 0 196234 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5335783 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32170
/proc/meminfo: memFree=21832484/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2022.34 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2834 0 0 0 202234 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5138192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32171
/proc/meminfo: memFree=21832896/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2082.34 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2874 0 0 0 208234 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5138221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32172
/proc/meminfo: memFree=21832892/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2142.34 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2915 0 0 0 214234 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5139123 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32234
/proc/meminfo: memFree=21832860/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2202.34 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2955 0 0 0 220234 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5138221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32235
/proc/meminfo: memFree=21834572/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2262.35 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 2995 0 0 0 226235 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5215653 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32237
/proc/meminfo: memFree=21833272/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2322.35 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 3035 0 0 0 232235 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5138259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32238
/proc/meminfo: memFree=21833280/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2382.35 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 3076 0 0 0 238235 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5215639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32239
/proc/meminfo: memFree=21832996/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2442.35 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 3131 0 0 0 244235 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682514728 5139756 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32240
/proc/meminfo: memFree=21832316/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2502.35 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 3171 0 0 0 250235 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682514728 5139913 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32240
/proc/meminfo: memFree=21832440/32770624 swapFree=67108860/67108860
[pid=32079] ppid=32076 vsize=27292 memory=3908 CPUtime=2520.06 cores=0,2,4,6
/proc/32079/stat : 32079 (cosoco) R 32076 32079 30456 0 -1 4202496 3224 0 0 0 252006 0 0 0 20 0 1 0 72429071 27947008 977 33554432000 4194304 6142532 140721682527456 140721682524984 5138416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 33521664 140721682535558 140721682535688 140721682535688 140721682538446 0
/proc/32079/statm: 6823 977 863 476 0 145 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 32079 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.07 s, system=0.007 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): 2520.07
CPU user time (s): 2520.07
CPU system time (s): 0.007
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.007
maximum resident set size= 3976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3275
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= 733
# summary of solver processes directly reported to runsolver:
# pid: 32079
# total CPU time (s): 2520.07
# total CPU user time (s): 2520.07
# total CPU system time (s): 0.007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27006 second user time and 16.6001 second system time
The end
Begin job on node149 at 2018-07-25 21:57:39 IDJOB=4295371 IDBENCH=141531 IDSOLVER=2752 FILE ID=node149/4295371-1532548659 RUNJOBID= node149-1532542931-30487 PBS_JOBID= 21021951 Free space on /tmp= 43260 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Knapsack/Knapsack-90-400-00_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295371-1532548659/watcher-4295371-1532548659 -o /tmp/evaluation-result-4295371-1532548659/solver-4295371-1532548659 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30487 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295371-1532548659.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b27ea70d39fcd1b1790f87791ea7535 RANDOM SEED=1867006494 node149.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.60 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.60 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.60 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.60 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: 21833416 kB MemAvailable: 31927640 kB Buffers: 121224 kB Cached: 10117368 kB SwapCached: 0 kB Active: 2337780 kB Inactive: 7956956 kB Active(anon): 3756 kB Inactive(anon): 79888 kB Active(file): 2334024 kB Inactive(file): 7877068 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2352 kB Writeback: 0 kB AnonPages: 63000 kB Mapped: 41512 kB Shmem: 25224 kB Slab: 340024 kB SReclaimable: 311592 kB SUnreclaim: 28432 kB KernelStack: 3344 kB PageTables: 5156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43256 MiB End job on node149 at 2018-07-25 22:39:39