Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 279 | 2519.8201 | 2520.02 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml |
| MD5SUM | 1a474c72a1f7224eb7c0241d7ff915ce |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 223 |
| Best CPU time to get the best result obtained on this benchmark | 20031.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 306 |
| Number of constraints | 139 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":136},{"size":501,"count":17}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 18 |
| Distribution of variable degrees | [{"degree":0,"count":153},{"degree":2,"count":136},{"degree":17,"count":15},{"degree":18,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 136 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":136},{"arity":17,"count":1},{"arity":136,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 137 |
| Distribution of constraint types | [{"type":"intension","count":137},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
2.69/2.76 c SAT : Variables: 153017 -- Clauses: 38182306 2.69/2.76 c best=?? lower=0 upper=500 11.10/11.16 c 11.10/11.16 c This is cosoco 1.12 -- 11.10/11.16 c 11.10/11.16 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265678-1502576055.xml 11.10/11.16 c enable optimization 11.10/11.16 c ========================================[ Problem Statistics ]=========================================== 11.10/11.16 c | 11.10/11.16 c | Parse time : 2.37 s 11.10/11.16 c | 11.10/11.16 c | Variables: 306 11.10/11.16 c | Domain Sizes: 500..501 11.10/11.16 c | 11.10/11.16 c | Constraints: 155 11.10/11.16 c | Arity: 1..136 -- Unary: 2 -- Binary: 16 -- Ternary: 136 11.10/11.16 c | 11.10/11.16 c | Types: 11.10/11.16 c | (X - Y < k): 16 11.10/11.16 c | All Different: 1 11.10/11.16 c | Intension: 138 11.10/11.16 c | 11.10/11.16 c ========================================================================================================= 11.10/11.16 conflict 498lvl : 9 bt7-15561:0(16009)X152911306 11.10/11.18 conflict 497lvl : 4 bt3-15561:0(12619)X152911807 160.47/160.58 o 307 160.47/160.58 c 1 calls to solver: best=307 lower=0 upper=306 576.80/576.96 o 295 2065.83/2066.06 o 279 2065.83/2066.06 c 3 calls to solver: best=279 lower=0 upper=278 2519.81/2520.01 2519.81/2520.01 c *** INTERRUPTED *** 2519.81/2520.01 c restarts : 584 2519.81/2520.01 c conflicts : 3269959 (1298 /sec) 2519.81/2520.01 c decisions : 4426483 (1757 /sec) 2519.81/2520.01 c propagations : 10955907662 (4348816 /sec) 2519.81/2520.01 c root propagations : 756 2519.81/2520.01 c filter calls : 176830025 (70191 /sec) 2519.81/2520.01 c useless filter calls : 137804286 (77 %) 2519.81/2520.01 c 2519.81/2520.01 c clauses : 38233960 2519.81/2520.01 c SAT propagations : 76273 2519.81/2520.01 c SAT conflicts : 14 (2 learnts) 2519.81/2520.01 c Memory used : 1894.69 MB 2519.81/2520.01 c CPU time : 2519.29 s 2519.81/2520.01 2519.81/2520.01 c nb Solutions = 3 2519.81/2520.01 s SATISFIABLE 2519.81/2520.01 c Best value found: 279 2519.81/2520.01 2519.81/2520.01 2519.81/2520.01 v <instantiation type='solution' cost='279'> 2519.81/2520.01 v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2519.81/2520.01 v <values>0 104 132 174 199 233 255 279 5 7 13 16 17 36 57 71 89 * 104 132 174 199 233 255 279 5 7 13 16 17 36 57 71 89 * * 28 70 95 129 151 175 * * * * * * * * * * * * 42 67 101 123 147 * * * * * * * * * * * * * 25 59 81 105 * * * * * * * * * * * * * * 34 56 80 * * * * * * * * * * * * * * * 22 46 * * * * * * * * * * * * * * * * 24 * * * * * * * * * * * * * * * * * * * * * * * * * * * 99 127 169 194 228 250 274 * 2 8 11 12 31 52 66 84 * 97 125 167 192 226 248 272 * * 6 9 10 29 50 64 82 * 91 119 161 186 220 242 266 * * * 3 4 23 44 58 76 * 88 116 158 183 217 239 263 * * * * 1 20 41 55 73 * 87 115 157 182 216 238 262 * * * * * 19 40 54 72 * 68 96 138 163 197 219 243 * * * * * * 21 35 53 * 47 75 117 142 176 198 222 * * * * * * * 14 32 * 33 61 103 128 162 184 208 * * * * * * * * 18 * 15 43 85 110 144 166 190 * * * * * * * * * </values> 2519.81/2520.01 v </instantiation> 2519.81/2520.01
OK 279
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 (13108 MiB free)
memory of node 1: 16384 MiB (13174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265678-1502576055/watcher-4265678-1502576055 -o /tmp/evaluation-result-4265678-1502576055/solver-4265678-1502576055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24898 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265678-1502576055.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
Current StackSize limit: 8192 KiB
solver pid=26952, runsolver pid=26949
[startup+0.100201 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 26953
/proc/meminfo: memFree=26909964/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=30976 memory=7384 CPUtime=0.1 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 2015 0 0 0 10 0 0 0 20 0 1 0 90693179 31719424 1846 33554432000 4194304 5972588 140727953422512 140727953419160 140410223381477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 7744 1846 786 435 0 1107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30976 KiB
Current children cumulated memory: 7384 KiB
[startup+0.209888 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 26953
/proc/meminfo: memFree=26877952/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=73088 memory=46704 CPUtime=0.21 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 9844 0 0 0 20 1 0 0 20 0 1 0 90693179 74842112 11676 33554432000 4194304 5972588 140727953422512 140727953419160 5280489 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 18272 11676 823 435 0 11635 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73088 KiB
Current children cumulated memory: 46704 KiB
[startup+0.309816 s]*
/proc/loadavg: 2.08 2.03 2.05 6/187 26953
/proc/meminfo: memFree=26816488/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=143040 memory=106004 CPUtime=0.31 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 19514 0 0 0 28 3 0 0 20 0 1 0 90693179 146472960 26501 33554432000 4194304 5972588 140727953422512 140727953419304 140410223381477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 35760 26501 823 435 0 29123 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 143040 KiB
Current children cumulated memory: 106004 KiB
[startup+0.700443 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 26953
/proc/meminfo: memFree=26695848/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=370136 memory=334796 CPUtime=0.69 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 51150 0 0 0 60 9 0 0 20 0 1 0 90693179 379019264 83633 33554432000 4194304 5972588 140727953422512 140727953419304 140410223377214 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 92534 83633 823 435 0 85897 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 370136 KiB
Current children cumulated memory: 334796 KiB
[startup+1.50043 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 26953
/proc/meminfo: memFree=26404992/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=875612 memory=802568 CPUtime=1.49 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 113467 0 0 0 129 20 0 0 20 0 1 0 90693179 896626688 200642 33554432000 4194304 5972588 140727953422512 140727953419304 140410223381477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 218903 200642 823 435 0 212266 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 875612 KiB
Current children cumulated memory: 802568 KiB
[startup+3.10959 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 26953
/proc/meminfo: memFree=25380028/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1934104 memory=1533448 CPUtime=3.1 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 211397 0 0 0 271 39 0 0 20 0 1 0 90693179 1980522496 383362 33554432000 4194304 5972588 140727953422512 140727953419304 5323045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 483526 383362 839 435 0 476889 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1934104 KiB
Current children cumulated memory: 1533448 KiB
[startup+6.30034 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 26961
/proc/meminfo: memFree=25378236/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1934540 memory=1533844 CPUtime=6.29 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 215891 0 0 0 590 39 0 0 20 0 1 0 90693179 1980968960 383461 33554432000 4194304 5972588 140727953422512 140727953419160 4965605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 483635 383461 839 435 0 476998 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1533844 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 26961
/proc/meminfo: memFree=25378484/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1934540 memory=1533888 CPUtime=12.69 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 221666 0 0 0 1229 40 0 0 20 0 1 0 90693179 1980968960 383472 33554432000 4194304 5972588 140727953422512 140727953419736 4968754 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 483635 383472 843 435 0 476998 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1533888 KiB
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 26961
/proc/meminfo: memFree=25379008/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1934540 memory=1533896 CPUtime=25.49 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 230172 0 0 0 2509 40 0 0 20 0 1 0 90693179 1980968960 383474 33554432000 4194304 5972588 140727953422512 140727953419736 5071435 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 483635 383474 843 435 0 476998 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1533896 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 26961
/proc/meminfo: memFree=25379136/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1934540 memory=1533896 CPUtime=51.09 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 239284 0 0 0 5069 40 0 0 20 0 1 0 90693179 1980968960 383474 33554432000 4194304 5972588 140727953422512 140727953419736 4909643 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 483635 383474 843 435 0 476998 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1533896 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 26988
/proc/meminfo: memFree=25374312/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1936280 memory=1537580 CPUtime=102.29 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 278774 0 0 0 10186 43 0 0 20 0 1 0 90693179 1982750720 384395 33554432000 4194304 5972588 140727953422512 140727953419160 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484070 384395 843 435 0 477433 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1936280 KiB
Current children cumulated memory: 1537580 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 26989
/proc/meminfo: memFree=25373312/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1937644 memory=1538988 CPUtime=162.27 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 298941 0 0 0 16183 44 0 0 20 0 1 0 90693179 1984147456 384747 33554432000 4194304 5972588 140727953422512 140727953409704 4962241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484411 384747 843 435 0 477774 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1937644 KiB
Current children cumulated memory: 1538988 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27050
/proc/meminfo: memFree=25180044/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1938036 memory=1541480 CPUtime=222.24 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 319186 0 0 0 22180 44 0 0 20 0 1 0 90693179 1984548864 385370 33554432000 4194304 5972588 140727953422512 140727953419672 4909639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484509 385370 843 435 0 477872 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1938036 KiB
Current children cumulated memory: 1541480 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 27051
/proc/meminfo: memFree=25174064/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1938184 memory=1541604 CPUtime=282.24 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 324325 0 0 0 28179 45 0 0 20 0 1 0 90693179 1984700416 385401 33554432000 4194304 5972588 140727953422512 140727953419160 4909584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484546 385401 843 435 0 477909 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 1938184 KiB
Current children cumulated memory: 1541604 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 27052
/proc/meminfo: memFree=25171768/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1938456 memory=1541848 CPUtime=342.22 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 338899 0 0 0 34177 45 0 0 20 0 1 0 90693179 1984978944 385462 33554432000 4194304 5972588 140727953422512 140727953419160 5071400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484614 385462 843 435 0 477977 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 1938456 KiB
Current children cumulated memory: 1541848 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 27053
/proc/meminfo: memFree=25170676/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1938456 memory=1541956 CPUtime=402.21 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 354410 0 0 0 40175 46 0 0 20 0 1 0 90693179 1984978944 385489 33554432000 4194304 5972588 140727953422512 140727953419160 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484614 385489 843 435 0 477977 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 1938456 KiB
Current children cumulated memory: 1541956 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27054
/proc/meminfo: memFree=25166672/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1938720 memory=1544244 CPUtime=462.21 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 365638 0 0 0 46174 47 0 0 20 0 1 0 90693179 1985249280 386061 33554432000 4194304 5972588 140727953422512 140727953419160 4962387 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484680 386061 843 435 0 478043 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 1938720 KiB
Current children cumulated memory: 1544244 KiB
################
# More data... #
################
/proc/26952/statm: 484951 387396 843 435 0 478314 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 1939804 KiB
Current children cumulated memory: 1549584 KiB
[startup+1782.3 s]
/proc/loadavg: 2.72 2.20 2.11 3/187 27095
/proc/meminfo: memFree=25153756/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939804 memory=1549584 CPUtime=1782.13 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 442610 0 0 0 178161 52 0 0 20 0 1 0 90693179 1986359296 387396 33554432000 4194304 5972588 140727953422512 140727953419736 4968783 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484951 387396 843 435 0 478314 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 1939804 KiB
Current children cumulated memory: 1549584 KiB
[startup+1842.3 s]
/proc/loadavg: 2.27 2.16 2.10 3/188 27104
/proc/meminfo: memFree=25152044/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939804 memory=1549584 CPUtime=1842.13 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 443284 0 0 0 184161 52 0 0 20 0 1 0 90693179 1986359296 387396 33554432000 4194304 5972588 140727953422512 140727953419736 4965552 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484951 387396 843 435 0 478314 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 1939804 KiB
Current children cumulated memory: 1549584 KiB
[startup+1902.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/188 27105
/proc/meminfo: memFree=25152400/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939804 memory=1549584 CPUtime=1902.13 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 444383 0 0 0 190161 52 0 0 20 0 1 0 90693179 1986359296 387396 33554432000 4194304 5972588 140727953422512 140727953419736 5094148 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484951 387396 843 435 0 478314 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 1939804 KiB
Current children cumulated memory: 1549584 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.11 2.09 3/188 27106
/proc/meminfo: memFree=25152208/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939944 memory=1549664 CPUtime=1962.12 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 446087 0 0 0 196160 52 0 0 20 0 1 0 90693179 1986502656 387416 33554432000 4194304 5972588 140727953422512 140727953419160 4965528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484986 387416 843 435 0 478349 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 1939944 KiB
Current children cumulated memory: 1549664 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/188 27107
/proc/meminfo: memFree=25152632/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939944 memory=1549664 CPUtime=2022.12 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 447057 0 0 0 202160 52 0 0 20 0 1 0 90693179 1986502656 387416 33554432000 4194304 5972588 140727953422512 140727953419160 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484986 387416 843 435 0 478349 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 1939944 KiB
Current children cumulated memory: 1549664 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/188 27108
/proc/meminfo: memFree=25152828/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939944 memory=1549664 CPUtime=2082.12 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 448605 0 0 0 208160 52 0 0 20 0 1 0 90693179 1986502656 387416 33554432000 4194304 5972588 140727953422512 140727953409704 4968797 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484986 387416 843 435 0 478349 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 1939944 KiB
Current children cumulated memory: 1549664 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 27109
/proc/meminfo: memFree=25152980/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939944 memory=1549684 CPUtime=2142.11 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 449877 0 0 0 214159 52 0 0 20 0 1 0 90693179 1986502656 387421 33554432000 4194304 5972588 140727953422512 140727953409704 5071411 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484986 387421 843 435 0 478349 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 1939944 KiB
Current children cumulated memory: 1549684 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 27110
/proc/meminfo: memFree=25152844/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939944 memory=1549684 CPUtime=2202.11 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 450511 0 0 0 220159 52 0 0 20 0 1 0 90693179 1986502656 387421 33554432000 4194304 5972588 140727953422512 140727953409704 4968797 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484986 387421 843 435 0 478349 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 1939944 KiB
Current children cumulated memory: 1549684 KiB
[startup+2262.3 s]
/proc/loadavg: 2.40 2.13 2.09 3/187 27111
/proc/meminfo: memFree=25152816/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1939944 memory=1549700 CPUtime=2262.11 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 451505 0 0 0 226158 53 0 0 20 0 1 0 90693179 1986502656 387425 33554432000 4194304 5972588 140727953422512 140727953409704 4962352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 484986 387425 843 435 0 478349 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 1939944 KiB
Current children cumulated memory: 1549700 KiB
[startup+2322.3 s]
/proc/loadavg: 2.29 2.17 2.11 3/187 27112
/proc/meminfo: memFree=25152740/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1940160 memory=1549860 CPUtime=2322.11 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 452553 0 0 0 232158 53 0 0 20 0 1 0 90693179 1986723840 387465 33554432000 4194304 5972588 140727953422512 140727953419160 5320287 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 485040 387465 843 435 0 478403 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 1940160 KiB
Current children cumulated memory: 1549860 KiB
[startup+2382.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/187 27113
/proc/meminfo: memFree=25152912/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1940160 memory=1549860 CPUtime=2382.11 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 453596 0 0 0 238158 53 0 0 20 0 1 0 90693179 1986723840 387465 33554432000 4194304 5972588 140727953422512 140727953419160 5071744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 485040 387465 843 435 0 478403 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 1940160 KiB
Current children cumulated memory: 1549860 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.11 2.10 3/188 27122
/proc/meminfo: memFree=25151548/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1940160 memory=1549860 CPUtime=2442.1 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 454644 0 0 0 244157 53 0 0 20 0 1 0 90693179 1986723840 387465 33554432000 4194304 5972588 140727953422512 140727953419160 4909584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 485040 387465 843 435 0 478403 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 1940160 KiB
Current children cumulated memory: 1549860 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.09 2.09 3/188 27123
/proc/meminfo: memFree=25152216/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1940160 memory=1549860 CPUtime=2502.1 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 455651 0 0 0 250157 53 0 0 20 0 1 0 90693179 1986723840 387465 33554432000 4194304 5972588 140727953422512 140727953419160 4968804 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 485040 387465 843 435 0 478403 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 1940160 KiB
Current children cumulated memory: 1549860 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.09 2.09 3/188 27123
/proc/meminfo: memFree=25152340/32770624 swapFree=67108860/67108860
[pid=26952] ppid=26949 vsize=1940160 memory=1549860 CPUtime=2519.81 cores=0,2,4,6
/proc/26952/stat : 26952 (cosoco) R 26949 26952 24815 0 -1 4202496 455976 0 0 0 251928 53 0 0 20 0 1 0 90693179 1986723840 387465 33554432000 4194304 5972588 140727953422512 140727953419160 5094130 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 39940096 140727953425594 140727953425694 140727953425694 140727953428430 0
/proc/26952/statm: 485040 387465 843 435 0 478403 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 1940160 KiB
Current children cumulated memory: 1549860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 26952 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.29 s, system=0.538972 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.82
CPU user time (s): 2519.29
CPU system time (s): 0.538972
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 1940160
Max. memory (cumulated for all children) (KiB): 1549860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.29
system time used= 0.538972
maximum resident set size= 1549932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456032
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= 109
involuntary context switches= 825
# summary of solver processes directly reported to runsolver:
# pid: 26952
# total CPU time (s): 2519.82
# total CPU user time (s): 2519.29
# total CPU system time (s): 0.538972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17279 second user time and 17.2023 second system time
The end
Begin job on node113 at 2017-08-12 23:59:57 IDJOB=4265678 IDBENCH=126223 IDSOLVER=2655 FILE ID=node113/4265678-1502576055 RUNJOBID= node113-1502567255-24898 PBS_JOBID= 20628282 Free space on /tmp= 61808 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-17-a3.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265678-1502576055/watcher-4265678-1502576055 -o /tmp/evaluation-result-4265678-1502576055/solver-4265678-1502576055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24898 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265678-1502576055.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a474c72a1f7224eb7c0241d7ff915ce RANDOM SEED=293403742 node113.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.89 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.89 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.89 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.89 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: 26913796 kB MemAvailable: 31762244 kB Buffers: 125192 kB Cached: 5015988 kB SwapCached: 0 kB Active: 696520 kB Inactive: 4732168 kB Active(anon): 290420 kB Inactive(anon): 24988 kB Active(file): 406100 kB Inactive(file): 4707180 kB Unevictable: 6572 kB Mlocked: 6572 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2348 kB Writeback: 0 kB AnonPages: 293768 kB Mapped: 44464 kB Shmem: 25224 kB Slab: 127532 kB SReclaimable: 102008 kB SUnreclaim: 25524 kB KernelStack: 3296 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 585796 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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= 61804 MiB End job on node113 at 2017-08-13 00:41:57