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 | 2519.95 | 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.04 |
| 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-4300021-1532828410.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.01 o 73 0.00/0.01 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.02 o 240 0.00/0.02 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.03 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.05 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.06 o 941 0.00/0.06 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.49/10.53 o 951 11.89/11.90 o 953 11.89/11.90 c 53 calls to solver: best=953 lower=954 upper=4664 12.29/12.35 o 959 16.69/16.71 o 961 16.69/16.71 c 55 calls to solver: best=961 lower=962 upper=4664 17.39/17.42 o 962 18.00/18.10 o 963 18.00/18.10 c 57 calls to solver: best=963 lower=964 upper=4664 18.89/18.95 o 964 20.00/20.06 o 965 20.00/20.06 c 59 calls to solver: best=965 lower=966 upper=4664 20.89/20.92 o 968 21.19/21.26 o 978 21.19/21.26 c 61 calls to solver: best=978 lower=979 upper=4664 21.39/21.42 o 980 21.49/21.51 o 981 21.49/21.51 c 63 calls to solver: best=981 lower=982 upper=4664 21.49/21.59 o 999 21.79/21.87 o 1019 21.79/21.87 c 65 calls to solver: best=1019 lower=1020 upper=4664 1122.87/1122.96 o 1026 1156.27/1156.30 o 1028 1156.27/1156.30 c 67 calls to solver: best=1028 lower=1029 upper=4664 1238.76/1238.85 o 1032 1287.26/1287.32 o 1039 1287.26/1287.32 c 69 calls to solver: best=1039 lower=1040 upper=4664 1315.56/1315.66 o 1042 1327.36/1327.46 o 1050 1327.36/1327.46 c 71 calls to solver: best=1050 lower=1051 upper=4664 1358.36/1358.47 o 1053 1381.36/1381.42 o 1057 1381.36/1381.42 c 73 calls to solver: best=1057 lower=1058 upper=4664 1398.26/1398.31 o 1059 1407.36/1407.41 o 1061 1407.36/1407.41 c 75 calls to solver: best=1061 lower=1062 upper=4664 1412.86/1412.98 o 1068 1434.56/1434.61 o 1076 1434.56/1434.61 c 77 calls to solver: best=1076 lower=1077 upper=4664 1448.46/1448.54 o 1085 1454.86/1455.00 o 1106 1454.86/1455.00 c 79 calls to solver: best=1106 lower=1107 upper=4664 1462.56/1462.67 o 1112 1470.66/1470.76 o 1127 1470.66/1470.76 c 81 calls to solver: best=1127 lower=1128 upper=4664 1475.56/1475.68 o 1136 1483.36/1483.49 o 1140 1483.36/1483.49 c 83 calls to solver: best=1140 lower=1141 upper=4664 1488.56/1488.65 o 1145 1500.97/1501.08 o 1150 1500.97/1501.08 c 85 calls to solver: best=1150 lower=1151 upper=4664 1513.96/1514.05 o 1152 1525.06/1525.12 o 1182 1525.06/1525.12 c 87 calls to solver: best=1182 lower=1183 upper=4664 1532.56/1532.60 o 1188 1541.56/1541.67 o 1197 1541.56/1541.67 c 89 calls to solver: best=1197 lower=1198 upper=4664 1554.86/1554.95 o 1199 1564.36/1564.46 o 1200 1564.36/1564.46 c 91 calls to solver: best=1200 lower=1201 upper=4664 1573.46/1573.57 o 1203 1578.36/1578.46 o 1212 1578.36/1578.46 c 93 calls to solver: best=1212 lower=1213 upper=4664 1601.25/1601.32 o 1217 1612.45/1612.59 o 1228 1612.45/1612.59 c 95 calls to solver: best=1228 lower=1229 upper=4664 1644.06/1644.13 o 1237 1666.06/1666.14 o 1251 1666.06/1666.14 c 97 calls to solver: best=1251 lower=1252 upper=4664 1679.55/1679.64 o 1252 1736.25/1736.31 o 1269 1736.25/1736.31 c 99 calls to solver: best=1269 lower=1270 upper=4664 1838.15/1838.25 o 1270 2416.94/2417.06 o 1278 2416.94/2417.06 c 101 calls to solver: best=1278 lower=1279 upper=4664 2508.73/2508.86 o 1286 2519.94/2520.00 2519.94/2520.00 c *** INTERRUPTED *** 2519.94/2520.00 c restarts : 108 2519.94/2520.00 c conflicts : 30634325 (12157 /sec) 2519.94/2520.00 c decisions : 188601848 (74844 /sec) 2519.94/2520.00 c propagations : 1917951758 (761108 /sec) 2519.94/2520.00 c root propagations : 90 2519.94/2520.00 c filter calls : 656480888 (260514 /sec) 2519.94/2520.00 c useless filter calls : 398364208 (60 %) 2519.94/2520.00 c Memory used : 26.66 MB 2519.94/2520.00 c CPU time : 2519.95 s 2519.94/2520.00 2519.94/2520.00 c nb Solutions = 102 2519.94/2520.00 s SATISFIABLE 2519.94/2520.00 c Best value found: 1286 2519.94/2520.00 2519.94/2520.00 2519.94/2520.00 v <instantiation type='solution' cost='1286'> 2519.94/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.94/2520.01 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> 2519.94/2520.01 v </instantiation> 2519.94/2520.01
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 (9081 MiB free)
memory of node 1: 16384 MiB (12633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300021-1532828410/watcher-4300021-1532828410 -o /tmp/evaluation-result-4300021-1532828410/solver-4300021-1532828410 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24536 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300021-1532828410.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=26819, runsolver pid=26816
[startup+0.100158 s]*
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231560/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3672 CPUtime=0.1 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1131 0 0 0 10 0 0 0 20 0 1 0 100404186 27947008 918 33554432000 4194304 6142532 140734255184064 140734255180696 5140247 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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.209481 s]*
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231560/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3672 CPUtime=0.21 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1131 0 0 0 21 0 0 0 20 0 1 0 100404186 27947008 918 33554432000 4194304 6142532 140734255184064 140734255180696 5215810 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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.308799 s]*
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231296/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3672 CPUtime=0.31 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1131 0 0 0 31 0 0 0 20 0 1 0 100404186 27947008 918 33554432000 4194304 6142532 140734255184064 140734255180696 5138182 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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.700277 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231296/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3672 CPUtime=0.69 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1131 0 0 0 69 0 0 0 20 0 1 0 100404186 27947008 918 33554432000 4194304 6142532 140734255184064 140734255180696 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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.50027 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231296/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3672 CPUtime=1.49 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1131 0 0 0 149 0 0 0 20 0 1 0 100404186 27947008 918 33554432000 4194304 6142532 140734255184064 140734255180696 5137756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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.1089 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231296/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=3.1 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1171 0 0 0 310 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5137685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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.30028 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231012/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=6.29 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1211 0 0 0 629 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5215827 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231060/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=12.69 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1265 0 0 0 1269 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5139732 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231060/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=25.49 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1359 0 0 0 2549 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5215658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+51.1089 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 26820
/proc/meminfo: memFree=22231060/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=51.1 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1403 0 0 0 5110 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26821
/proc/meminfo: memFree=22231252/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=102.29 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1443 0 0 0 10229 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26822
/proc/meminfo: memFree=22231404/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=162.29 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1483 0 0 0 16229 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5215810 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26823
/proc/meminfo: memFree=22231280/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3900 CPUtime=222.29 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1529 0 0 0 22229 0 0 0 20 0 1 0 100404186 27947008 975 33554432000 4194304 6142532 140734255184064 140734255171336 5319040 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 975 863 476 0 145 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3900 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26824
/proc/meminfo: memFree=22231528/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=282.29 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1570 0 0 0 28229 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255171336 5139712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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 26825
/proc/meminfo: memFree=22231288/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=342.28 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1611 0 0 0 34228 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255171336 5138027 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 342.28 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 26826
/proc/meminfo: memFree=22231164/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=402.28 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1652 0 0 0 40228 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255171336 5138711 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 402.28 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 26827
/proc/meminfo: memFree=22231172/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=462.28 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 1693 0 0 0 46228 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255171336 5215819 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/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/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1722.25 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/187 26948
/proc/meminfo: memFree=22232088/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=1782.25 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 2744 0 0 0 178225 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255171336 5140558 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1782.25 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 26957
/proc/meminfo: memFree=22231156/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=1842.25 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 2798 0 0 0 184225 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1842.25 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 26958
/proc/meminfo: memFree=22231180/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=1902.25 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 2839 0 0 0 190225 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1902.25 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 26959
/proc/meminfo: memFree=22231188/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=1962.25 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 2879 0 0 0 196225 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5140252 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 1962.25 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/188 26960
/proc/meminfo: memFree=22231072/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2022.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 2919 0 0 0 202224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5139756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2022.24 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/188 26961
/proc/meminfo: memFree=22231188/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2082.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 2959 0 0 0 208224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5138697 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2082.24 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 26962
/proc/meminfo: memFree=22231216/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2142.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3000 0 0 0 214224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5327991 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2142.24 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 26963
/proc/meminfo: memFree=22231224/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2202.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3040 0 0 0 220224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5139712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2202.24 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 26964
/proc/meminfo: memFree=22231076/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2262.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3080 0 0 0 226224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5140089 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2262.24 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 26965
/proc/meminfo: memFree=22231216/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2322.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3120 0 0 0 232224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5140175 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2322.24 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 26966
/proc/meminfo: memFree=22231372/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2382.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3161 0 0 0 238224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2382.24 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/188 26975
/proc/meminfo: memFree=22230604/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2442.24 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3216 0 0 0 244224 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255171336 5140528 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2442.24 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/188 26976
/proc/meminfo: memFree=22230960/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2502.23 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3256 0 0 0 250223 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255171336 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2502.23 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/188 26977
/proc/meminfo: memFree=22230812/32770624 swapFree=67108796/67108860
[pid=26819] ppid=26816 vsize=27292 memory=3904 CPUtime=2519.94 cores=1,3,5,7
/proc/26819/stat : 26819 (cosoco) R 26816 26819 24504 0 -1 4202496 3310 0 0 0 251994 0 0 0 20 0 1 0 100404186 27947008 976 33554432000 4194304 6142532 140734255184064 140734255181592 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 16887808 140734255187078 140734255187208 140734255187208 140734255189966 0
/proc/26819/statm: 6823 976 863 476 0 145 0
Current children cumulated CPU time: 2519.94 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 26819 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.95 s, system=0.004999 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.95
CPU user time (s): 2519.95
CPU system time (s): 0.004999
CPU usage (%): 99.9977
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.95
system time used= 0.004999
maximum resident set size= 3972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3361
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= 636
# summary of solver processes directly reported to runsolver:
# pid: 26819
# total CPU time (s): 2519.95
# total CPU user time (s): 2519.95
# total CPU system time (s): 0.004999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.1029 second user time and 16.3293 second system time
The end
Begin job on node138 at 2018-07-29 03:40:10 IDJOB=4300021 IDBENCH=141531 IDSOLVER=2761 FILE ID=node138/4300021-1532828410 RUNJOBID= node138-1532809523-24536 PBS_JOBID= 21022478 Free space on /tmp= 53796 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-4300021-1532828410/watcher-4300021-1532828410 -o /tmp/evaluation-result-4300021-1532828410/solver-4300021-1532828410 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532809523-24536 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4300021-1532828410.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b27ea70d39fcd1b1790f87791ea7535 RANDOM SEED=665297195 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: 22236080 kB MemAvailable: 31922356 kB Buffers: 215644 kB Cached: 9674448 kB SwapCached: 44 kB Active: 2565144 kB Inactive: 7385832 kB Active(anon): 5264 kB Inactive(anon): 83480 kB Active(file): 2559880 kB Inactive(file): 7302352 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 68236 kB Mapped: 40548 kB Shmem: 25164 kB Slab: 280712 kB SReclaimable: 252504 kB SUnreclaim: 28208 kB KernelStack: 3360 kB PageTables: 5624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 353108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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:22:10