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) | 176 | 2519.69 | 2520.01 |
| Name | GolombRuler/ GolombRuler-a3v18-15_c18.xml |
| MD5SUM | 9d47b2b78bc459aa217a94cfbd52e9d7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 168 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 106 |
| Number of domains | 2 |
| Minimum domain size | 225 |
| Maximum domain size | 226 |
| Distribution of domain sizes | [{"size":225,"count":105},{"size":226,"count":15}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 15 |
| Distribution of variable degrees | [{"degree":0,"count":120},{"degree":2,"count":105},{"degree":14,"count":14},{"degree":15,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 105 |
| Distribution of constraint arities | [{"arity":3,"count":105},{"arity":105,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 105 |
| Distribution of constraint types | [{"type":"intension","count":105},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.03 c best=?? lower=-2147483638 upper=2147483637 0.79/0.80 c 0.79/0.80 c This is cosoco 1.12 -- 0.79/0.80 c 0.79/0.80 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294354-1532453123.xml 0.79/0.80 c enable optimization 0.79/0.80 c ========================================[ Problem Statistics ]=========================================== 0.79/0.80 c | 0.79/0.80 c | Parse time : 0.03 s 0.79/0.80 c | 0.79/0.80 c | Variables: 240 0.79/0.80 c | Domain Sizes: 225..226 0.79/0.80 c | 0.79/0.80 c | Constraints: 107 0.79/0.80 c | Arity: 1..105 -- Unary: 1 -- Ternary: 105 0.79/0.80 c | 0.79/0.80 c | Types: 0.79/0.80 c | All Different: 1 0.79/0.80 c | Intension: 1 0.79/0.80 c | Sum: 105 0.79/0.80 c | 0.79/0.80 c | Objective: Minimize Intension 0.79/0.80 0.79/0.80 c ========================================================================================================= 0.79/0.80 o 225 0.79/0.80 c 1 calls to solver: best=225 lower=-2147483638 upper=224 1.10/1.14 o 203 1.10/1.17 o 202 1.10/1.17 c 3 calls to solver: best=202 lower=-2147483638 upper=201 1.10/1.19 o 199 1.89/1.92 o 196 1.89/1.92 c 5 calls to solver: best=196 lower=-2147483638 upper=195 4.89/4.98 o 195 26.79/26.85 o 192 26.79/26.85 c 7 calls to solver: best=192 lower=-2147483638 upper=191 40.79/40.85 o 183 50.29/50.39 o 181 50.29/50.39 c 9 calls to solver: best=181 lower=-2147483638 upper=180 329.85/329.99 o 180 1358.12/1358.32 o 179 1358.12/1358.32 c 11 calls to solver: best=179 lower=-2147483638 upper=178 1531.91/1532.18 o 178 1606.29/1606.59 o 176 1606.29/1606.59 c 13 calls to solver: best=176 lower=-2147483638 upper=175 2519.69/2520.00 2519.69/2520.00 c *** INTERRUPTED *** 2519.69/2520.00 c restarts : 89 2519.69/2520.00 c conflicts : 5105079 (2026 /sec) 2519.69/2520.00 c decisions : 7148375 (2837 /sec) 2519.69/2520.00 c propagations : 6729958699 (2670945 /sec) 2519.69/2520.00 c root propagations : 1120 2519.69/2520.00 c filter calls : 1049597418 (416558 /sec) 2519.69/2520.00 c useless filter calls : 132853202 (12 %) 2519.69/2520.00 c Memory used : 27.93 MB 2519.69/2520.00 c CPU time : 2519.69 s 2519.69/2520.00 2519.69/2520.00 c nb Solutions = 13 2519.69/2520.00 s SATISFIABLE 2519.69/2520.00 c Best value found: 176 2519.69/2520.00 2519.69/2520.00 2519.69/2520.00 v <instantiation type='solution' cost='176'> 2519.69/2520.00 v <list>x[0] x[10] x[11] x[12] x[13] x[14] 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][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][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][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][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][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][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[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] 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][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][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][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][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][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][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][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][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.69/2520.00 v <values>0 122 134 151 169 176 2 8 11 24 34 38 39 82 101 * 122 134 151 169 176 2 8 11 24 34 38 39 82 101 * * 12 29 47 54 * * * * * * * * * * * * 17 35 42 * * * * * * * * * * * * * 18 25 * * * * * * * * * * * * * * 7 * * * * * * * * * * * * * * * * * * * * * * * * * 120 132 149 167 174 * 6 9 22 32 36 37 80 99 * 114 126 143 161 168 * * 3 16 26 30 31 74 93 * 111 123 140 158 165 * * * 13 23 27 28 71 90 * 98 110 127 145 152 * * * * 10 14 15 58 77 * 88 100 117 135 142 * * * * * 4 5 48 67 * 84 96 113 131 138 * * * * * * 1 44 63 * 83 95 112 130 137 * * * * * * * 43 62 * 40 52 69 87 94 * * * * * * * * 19 * 21 33 50 68 75 * * * * * * * * * </values> 2519.69/2520.00 v </instantiation> 2519.69/2520.00
OK 176
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 (2702 MiB free)
memory of node 1: 16384 MiB (6824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294354-1532453123/watcher-4294354-1532453123 -o /tmp/evaluation-result-4294354-1532453123/solver-4294354-1532453123 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20752 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294354-1532453123.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=22788, runsolver pid=22785
[startup+0.100146 s]*
/proc/loadavg: 1.98 2.01 2.04 3/187 22789
/proc/meminfo: memFree=9753800/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5076 CPUtime=0.1 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 1454 0 0 0 10 0 0 0 20 0 1 0 62875173 29286400 1269 33554432000 4194304 6142532 140723035542720 140723035539352 5175278 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1269 824 476 0 472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5076 KiB
[startup+0.209336 s]*
/proc/loadavg: 1.98 2.01 2.04 3/187 22789
/proc/meminfo: memFree=9753800/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5076 CPUtime=0.21 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 1454 0 0 0 21 0 0 0 20 0 1 0 62875173 29286400 1269 33554432000 4194304 6142532 140723035542720 140723035539352 5183536 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1269 824 476 0 472 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5076 KiB
[startup+0.308784 s]*
/proc/loadavg: 1.98 2.01 2.04 3/187 22789
/proc/meminfo: memFree=9753500/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5076 CPUtime=0.31 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 1454 0 0 0 31 0 0 0 20 0 1 0 62875173 29286400 1269 33554432000 4194304 6142532 140723035542720 140723035539352 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1269 824 476 0 472 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5076 KiB
[startup+0.700271 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 22789
/proc/meminfo: memFree=9753500/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5076 CPUtime=0.69 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 1454 0 0 0 69 0 0 0 20 0 1 0 62875173 29286400 1269 33554432000 4194304 6142532 140723035542720 140723035530008 5175278 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1269 824 476 0 472 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5076 KiB
[startup+1.50027 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 22789
/proc/meminfo: memFree=9753500/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5076 CPUtime=1.49 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 1459 0 0 0 149 0 0 0 20 0 1 0 62875173 29286400 1269 33554432000 4194304 6142532 140723035542720 140723035529992 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1269 824 476 0 472 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5076 KiB
[startup+3.10885 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 22789
/proc/meminfo: memFree=9753528/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=3.1 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 1791 0 0 0 310 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035529992 5058024 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+6.30026 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 22789
/proc/meminfo: memFree=9753388/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=6.29 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 2166 0 0 0 629 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035540248 5058698 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 22789
/proc/meminfo: memFree=9753388/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=12.69 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 2479 0 0 0 1269 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035540248 5175273 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 22789
/proc/meminfo: memFree=9753388/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=25.49 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 3101 0 0 0 2549 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035540248 5131350 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+51.1089 s]
/proc/loadavg: 2.18 2.06 2.06 3/187 22789
/proc/meminfo: memFree=9753272/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=51.1 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 3545 0 0 0 5110 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035529992 5055532 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+102.3 s]
/proc/loadavg: 2.42 2.15 2.09 3/187 22790
/proc/meminfo: memFree=9753132/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=102.28 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 3855 0 0 0 10228 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035529992 5131338 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+162.3 s]
/proc/loadavg: 2.16 2.13 2.08 3/187 22792
/proc/meminfo: memFree=9752824/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=162.27 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 4176 0 0 0 16227 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035529992 5131312 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 22793
/proc/meminfo: memFree=9752920/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=222.26 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 4487 0 0 0 22226 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035529992 5131364 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/189 22803
/proc/meminfo: memFree=9751348/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=282.26 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 4798 0 0 0 28226 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035529992 5054357 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/189 22804
/proc/meminfo: memFree=9752392/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=342.25 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 5173 0 0 0 34225 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035540248 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/189 22805
/proc/meminfo: memFree=9752476/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=402.24 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 5484 0 0 0 40224 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035540248 5131346 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/189 22806
/proc/meminfo: memFree=9752672/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5216 CPUtime=462.24 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 5795 0 0 0 46224 0 0 0 20 0 1 0 62875173 29286400 1304 33554432000 4194304 6142532 140723035542720 140723035540248 5061130 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1304 854 476 0 472 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5216 KiB
################
# More data... #
################
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/186 23028
/proc/meminfo: memFree=9752348/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=1782.07 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 12823 0 0 0 178207 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5054373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 23030
/proc/meminfo: memFree=9751652/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=1842.06 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 13135 0 0 0 184206 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5131418 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 23031
/proc/meminfo: memFree=9751828/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=1902.05 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 13446 0 0 0 190205 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5061168 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 23033
/proc/meminfo: memFree=9751404/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=1962.05 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 13759 0 0 0 196205 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5131346 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 23034
/proc/meminfo: memFree=9751356/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2022.04 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 14071 0 0 0 202204 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5058390 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 23043
/proc/meminfo: memFree=9750588/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2082.03 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 14383 0 0 0 208203 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5054704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 23067
/proc/meminfo: memFree=9749808/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2142.02 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 14695 0 0 0 214202 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5175264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 23068
/proc/meminfo: memFree=9750228/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2202.02 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 15007 0 0 0 220202 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5061846 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23069
/proc/meminfo: memFree=9750856/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2262.01 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 15319 0 0 0 226201 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5060719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 23070
/proc/meminfo: memFree=9751292/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2322 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 15631 0 0 0 232200 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5331043 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 23071
/proc/meminfo: memFree=9751756/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2381.99 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 15943 0 0 0 238199 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5131338 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23072
/proc/meminfo: memFree=9751780/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2441.99 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 16255 0 0 0 244199 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5058213 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2441.99 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 23073
/proc/meminfo: memFree=9751848/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2501.98 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 16566 0 0 0 250198 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5053531 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 23073
/proc/meminfo: memFree=9752380/32770624 swapFree=67108860/67108860
[pid=22788] ppid=22785 vsize=28600 memory=5220 CPUtime=2519.69 cores=0,2,4,6
/proc/22788/stat : 22788 (cosoco) R 22785 22788 20721 0 -1 4202496 16854 0 0 0 251969 0 0 0 20 0 1 0 62875173 29286400 1305 33554432000 4194304 6142532 140723035542720 140723035529992 5060728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27795456 140723035546758 140723035546888 140723035546888 140723035549646 0
/proc/22788/statm: 7150 1305 854 476 0 472 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 5220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 22788 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.69 s, system=0.002999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.69
CPU user time (s): 2519.69
CPU system time (s): 0.002999
CPU usage (%): 99.9875
Max. virtual memory (cumulated for all children) (KiB): 28600
Max. memory (cumulated for all children) (KiB): 5220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.002999
maximum resident set size= 5284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3153
# summary of solver processes directly reported to runsolver:
# pid: 22788
# total CPU time (s): 2519.69
# total CPU user time (s): 2519.69
# total CPU system time (s): 0.002999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55315 second user time and 17.1504 second system time
The end
Begin job on node106 at 2018-07-24 19:25:23 IDJOB=4294354 IDBENCH=141370 IDSOLVER=2752 FILE ID=node106/4294354-1532453123 RUNJOBID= node106-1532432876-20752 PBS_JOBID= 21021578 Free space on /tmp= 46616 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-15_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294354-1532453123/watcher-4294354-1532453123 -o /tmp/evaluation-result-4294354-1532453123/solver-4294354-1532453123 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20752 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294354-1532453123.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9d47b2b78bc459aa217a94cfbd52e9d7 RANDOM SEED=881451022 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 9755532 kB MemAvailable: 31937152 kB Buffers: 278512 kB Cached: 21803700 kB SwapCached: 0 kB Active: 2186216 kB Inactive: 19954616 kB Active(anon): 61204 kB Inactive(anon): 17128 kB Active(file): 2125012 kB Inactive(file): 19937488 kB Unevictable: 6876 kB Mlocked: 6876 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2600 kB Writeback: 0 kB AnonPages: 65540 kB Mapped: 40500 kB Shmem: 17036 kB Slab: 574608 kB SReclaimable: 547580 kB SUnreclaim: 27028 kB KernelStack: 3312 kB PageTables: 5136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 344864 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46612 MiB End job on node106 at 2018-07-24 20:07:23