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) | 39 | 2519.93 | 2520.01 |
| Name | LowAutocorrelation/ LowAutocorrelation-022_c18.xml |
| MD5SUM | 4b48d66af5485fbce0cacf02a4c90472 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 2519.93 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 505 |
| Number of constraints | 273 |
| Number of domains | 43 |
| Minimum domain size | 2 |
| Maximum domain size | 43 |
| Distribution of domain sizes | [{"size":2,"count":254},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":0,"count":210},{"degree":2,"count":273},{"degree":21,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 22 |
| Distribution of constraint arities | [{"arity":2,"count":22},{"arity":3,"count":232},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 252 |
| Distribution of constraint types | [{"type":"intension","count":252},{"type":"sum","count":21}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.08 c best=?? lower=0 upper=3311 0.00/0.09 c 0.00/0.09 c This is cosoco 1.12 -- 0.00/0.09 c 0.00/0.09 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299662-1532815103.xml 0.00/0.09 c enable optimization 0.00/0.09 c ========================================[ Problem Statistics ]=========================================== 0.00/0.09 c | 0.00/0.09 c | Parse time : 0.08 s 0.00/0.09 c | 0.00/0.09 c | Variables: 505 0.00/0.09 c | Domain Sizes: 2..43 0.00/0.09 c | 0.00/0.09 c | Constraints: 274 0.00/0.09 c | Arity: 2..22 -- Binary: 22 -- Ternary: 232 0.00/0.09 c | 0.00/0.09 c | Types: 0.00/0.09 c | Intension: 252 0.00/0.09 c | Sum: 22 0.00/0.09 c | 0.00/0.09 c | Objective: Minimize Sum 0.00/0.09 0.00/0.09 c ========================================================================================================= 0.00/0.09 o 487 0.00/0.09 c 1 calls to solver: best=487 lower=0 upper=486 0.00/0.10 o 391 0.10/0.11 o 375 0.10/0.11 c 3 calls to solver: best=375 lower=0 upper=374 0.10/0.12 o 255 0.21/0.26 o 239 0.21/0.26 c 5 calls to solver: best=239 lower=0 upper=238 0.21/0.29 o 175 0.41/0.41 o 167 0.41/0.41 c 7 calls to solver: best=167 lower=0 upper=166 0.41/0.43 o 111 31.49/31.58 o 79 31.49/31.58 c 9 calls to solver: best=79 lower=0 upper=78 200.18/200.20 o 71 423.88/423.97 o 63 423.88/423.97 c 11 calls to solver: best=63 lower=0 upper=62 523.37/523.42 o 39 2519.92/2520.00 2519.92/2520.00 c *** INTERRUPTED *** 2519.92/2520.00 c restarts : 74 2519.92/2520.00 c conflicts : 1181246 (469 /sec) 2519.92/2520.00 c decisions : 5882118 (2334 /sec) 2519.92/2520.00 c propagations : 537589271 (213335 /sec) 2519.92/2520.00 c root propagations : 1218 2519.92/2520.00 c filter calls : 795685972 (315758 /sec) 2519.92/2520.00 c useless filter calls : 429497466 (53 %) 2519.92/2520.00 c Memory used : 30.50 MB 2519.92/2520.00 c CPU time : 2519.92 s 2519.92/2520.00 2519.92/2520.00 c nb Solutions = 12 2519.92/2520.00 s SATISFIABLE 2519.92/2520.00 c Best value found: 39 2519.92/2520.00 2519.92/2520.00 2519.92/2520.00 v <instantiation type='solution' cost='39'> 2519.92/2520.00 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] 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[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][17] y[0][18] y[0][19] y[0][1] y[0][20] 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][17] y[10][18] y[10][19] y[10][1] y[10][20] 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][17] y[11][18] y[11][19] y[11][1] y[11][20] 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][17] y[12][18] y[12][19] y[12][1] y[12][20] 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][17] y[13][18] y[13][19] y[13][1] y[13][20] 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][17] y[14][18] y[14][19] y[14][1] y[14][20] 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][17] y[15][18] y[15][19] y[15][1] y[15][20] 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][17] y[16][18] y[16][19] y[16][1] y[16][20] 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[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][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][17] y[1][18] y[1][19] y[1][1] y[1][20] 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[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][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][17] y[2][18] y[2][19] y[2][1] y[2][20] 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][17] y[3][18] y[3][19] y[3][1] y[3][20] 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][17] y[4][18] y[4][19] y[4][1] y[4][20] 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][17] y[5][18] y[5][19] y[5][1] y[5][20] 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][17] y[6][18] y[6][19] y[6][1] y[6][20] 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][17] y[7][18] y[7][19] y[7][1] y[7][20] 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][17] y[8][18] y[8][19] y[8][1] y[8][20] 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][17] y[9][18] y[9][19] y[9][1] y[9][20] 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.92/2520.00 v <values>-1 1 0 -1 0 1 -2 -1 2 -3 2 0 -1 1 0 -1 0 1 2 -1 -2 1 1 0 1 0 1 4 1 4 9 4 0 1 1 0 1 0 1 4 1 4 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 * * * * * * * * * 1 * 1 1 1 -1 -1 -1 1 -1 -1 * * * * * * * * * * -1 * 1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * -1 * -1 -1 1 1 -1 -1 1 * 1 * * * * * * * * * * 1 * -1 -1 -1 -1 1 1 * * -1 * * * * * * * * * * 1 * -1 1 1 1 -1 * * * -1 * * * * * * * * * * 1 * 1 -1 -1 -1 * * * * -1 * * * * * * * * * * -1 * -1 1 1 * * * * * 1 * * * * * * * * * * 1 * 1 -1 * * * * * * -1 * * * * * * * * * * -1 * -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 * -1 1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 -1 1 -1 -1 * 1 * 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 * * -1 * 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 * * * -1 * -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 * * * * 1 * -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 * * * * * 1 * -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 * * * * * * 1 * -1 -1 1 1 1 1 1 1 -1 1 -1 1 * * * * * * * 1 * -1 -1 -1 1 -1 1 1 -1 -1 -1 1 * * * * * * * * 1 * -1 1 -1 -1 -1 1 -1 1 </values> 2519.92/2520.00 v </instantiation> 2519.92/2520.00
OK 39
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 (10659 MiB free)
memory of node 1: 16384 MiB (12618 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299662-1532815103/watcher-4299662-1532815103 -o /tmp/evaluation-result-4299662-1532815103/solver-4299662-1532815103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31499 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299662-1532815103.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=31957, runsolver pid=31954
[startup+0.100158 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 31958
/proc/meminfo: memFree=23832496/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31100 memory=7720 CPUtime=0.1 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 2108 0 0 0 10 0 0 0 20 0 1 0 99073482 31846400 1930 33554432000 4194304 6142532 140734468208160 140734468204792 140095933847459 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7775 1930 884 476 0 1097 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31100 KiB
Current children cumulated memory: 7720 KiB
[startup+0.209509 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 31958
/proc/meminfo: memFree=23832496/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31100 memory=7720 CPUtime=0.21 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 2129 0 0 0 21 0 0 0 20 0 1 0 99073482 31846400 1930 33554432000 4194304 6142532 140734468208160 140734468204792 5363644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7775 1930 884 476 0 1097 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31100 KiB
Current children cumulated memory: 7720 KiB
[startup+0.308821 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 31958
/proc/meminfo: memFree=23832496/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7720 CPUtime=0.31 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 2133 0 0 0 31 0 0 0 20 0 1 0 99073482 31981568 1930 33554432000 4194304 6142532 140734468208160 140734468204792 5372465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1930 884 476 0 1130 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7720 KiB
[startup+0.70027 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 31958
/proc/meminfo: memFree=23832496/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7720 CPUtime=0.69 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 2137 0 0 0 69 0 0 0 20 0 1 0 99073482 31981568 1930 33554432000 4194304 6142532 140734468208160 140734468204792 5398782 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1930 884 476 0 1130 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7720 KiB
[startup+1.50028 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 31958
/proc/meminfo: memFree=23832276/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7720 CPUtime=1.49 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 2137 0 0 0 149 0 0 0 20 0 1 0 99073482 31981568 1930 33554432000 4194304 6142532 140734468208160 140734468205688 5335561 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1930 884 476 0 1130 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7720 KiB
[startup+3.10891 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 31958
/proc/meminfo: memFree=23832276/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7924 CPUtime=3.1 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 3138 0 0 0 310 0 0 0 20 0 1 0 99073482 31981568 1981 33554432000 4194304 6142532 140734468208160 140734468205688 5398756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1981 885 476 0 1130 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7924 KiB
[startup+6.30027 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 31958
/proc/meminfo: memFree=23832864/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7924 CPUtime=6.29 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 4139 0 0 0 629 0 0 0 20 0 1 0 99073482 31981568 1981 33554432000 4194304 6142532 140734468208160 140734468205688 5399803 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1981 885 476 0 1130 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7924 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 31958
/proc/meminfo: memFree=23833216/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7924 CPUtime=12.69 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 5140 0 0 0 1269 0 0 0 20 0 1 0 99073482 31981568 1981 33554432000 4194304 6142532 140734468208160 140734468205688 5133003 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1981 885 476 0 1130 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7924 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 31958
/proc/meminfo: memFree=23833216/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7924 CPUtime=25.49 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 7142 0 0 0 2549 0 0 0 20 0 1 0 99073482 31981568 1981 33554432000 4194304 6142532 140734468208160 140734468205688 140095933850513 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1981 885 476 0 1130 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7924 KiB
[startup+51.1088 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 31958
/proc/meminfo: memFree=23833464/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=51.1 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 8175 0 0 0 5110 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468195432 5399818 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31967
/proc/meminfo: memFree=23830808/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=102.29 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 8690 0 0 0 10229 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468195432 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31994
/proc/meminfo: memFree=23828232/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=162.29 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 9205 0 0 0 16229 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468195432 140095933850500 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31995
/proc/meminfo: memFree=23829460/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=222.28 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 9731 0 0 0 22228 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5399721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31996
/proc/meminfo: memFree=23830072/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=282.28 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 10245 0 0 0 28228 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 140095942871886 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31997
/proc/meminfo: memFree=23830072/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=342.28 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 10759 0 0 0 34228 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5371778 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+402.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/188 31998
/proc/meminfo: memFree=23829948/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=402.28 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 11273 0 0 0 40228 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5048232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+462.3 s]
/proc/loadavg: 2.23 2.13 2.08 3/187 31999
/proc/meminfo: memFree=23830340/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=462.28 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 11801 0 0 0 46228 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468195432 5366776 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
################
# More data... #
################
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32102
/proc/meminfo: memFree=23832280/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=1782.23 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 23121 0 0 0 178223 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5048699 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32103
/proc/meminfo: memFree=23832292/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=1842.23 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 23635 0 0 0 184223 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 4965024 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32111
/proc/meminfo: memFree=23831192/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=1902.23 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 24149 0 0 0 190223 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 140095942871878 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32112
/proc/meminfo: memFree=23831504/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=1962.23 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 24663 0 0 0 196223 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5336595 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32113
/proc/meminfo: memFree=23831980/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2022.23 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 25177 0 0 0 202223 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5363536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32114
/proc/meminfo: memFree=23832088/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2082.22 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 25691 0 0 0 208222 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5051895 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32115
/proc/meminfo: memFree=23832084/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2142.22 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 26205 0 0 0 214222 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5363520 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32116
/proc/meminfo: memFree=23831700/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2202.22 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 26719 0 0 0 220222 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5367165 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32117
/proc/meminfo: memFree=23831692/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2262.22 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 27233 0 0 0 226222 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5175098 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32118
/proc/meminfo: memFree=23831796/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2322.22 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 27747 0 0 0 232222 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5398807 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32119
/proc/meminfo: memFree=23831928/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2382.21 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 28261 0 0 0 238221 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5170144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32120
/proc/meminfo: memFree=23831928/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2442.21 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 28775 0 0 0 244221 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5051849 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32129
/proc/meminfo: memFree=23830748/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2502.21 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 29288 0 0 0 250221 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5363575 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 32129
/proc/meminfo: memFree=23830748/32770624 swapFree=67108860/67108860
[pid=31957] ppid=31954 vsize=31232 memory=7936 CPUtime=2519.92 cores=1,3,5,7
/proc/31957/stat : 31957 (cosoco) R 31954 31957 31467 0 -1 4202496 29801 0 0 0 251992 0 0 0 20 0 1 0 99073482 31981568 1984 33554432000 4194304 6142532 140734468208160 140734468205688 5366746 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 29212672 140734468215942 140734468216072 140734468216072 140734468218830 0
/proc/31957/statm: 7808 1984 885 476 0 1130 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 7936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 31957 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.93 s, system=0.008999 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.93
CPU user time (s): 2519.93
CPU system time (s): 0.008999
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 31232
Max. memory (cumulated for all children) (KiB): 7936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.008999
maximum resident set size= 8000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29850
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= 16
involuntary context switches= 634
# summary of solver processes directly reported to runsolver:
# pid: 31957
# total CPU time (s): 2519.93
# total CPU user time (s): 2519.93
# total CPU system time (s): 0.008999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6424 second user time and 13.7932 second system time
The end
Begin job on node139 at 2018-07-28 23:58:23 IDJOB=4299662 IDBENCH=141428 IDSOLVER=2761 FILE ID=node139/4299662-1532815103 RUNJOBID= node139-1532810061-31499 PBS_JOBID= 21022483 Free space on /tmp= 38696 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-022_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299662-1532815103/watcher-4299662-1532815103 -o /tmp/evaluation-result-4299662-1532815103/solver-4299662-1532815103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532810061-31499 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299662-1532815103.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b48d66af5485fbce0cacf02a4c90472 RANDOM SEED=1012836851 node139.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.80 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.80 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.80 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.80 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: 23836892 kB MemAvailable: 31925048 kB Buffers: 240792 kB Cached: 7945984 kB SwapCached: 0 kB Active: 3112788 kB Inactive: 5134188 kB Active(anon): 14188 kB Inactive(anon): 73544 kB Active(file): 3098600 kB Inactive(file): 5060644 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 89244 kB Mapped: 45976 kB Shmem: 25228 kB Slab: 386240 kB SReclaimable: 357372 kB SUnreclaim: 28868 kB KernelStack: 3568 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 359568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38692 MiB End job on node139 at 2018-07-29 00:40:23