Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-08-01 | SAT (TO) | 90 | 2519.97 | 2520.01 |
| Name | StillLife/ StillLife-wastage-13_c18.xml |
| MD5SUM | d177c6743c5eb3479b13a6ba42c582bf |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 90 |
| Best CPU time to get the best result obtained on this benchmark | 48.2319 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 466 |
| Number of constraints | 307 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 451 |
| Distribution of domain sizes | [{"size":2,"count":225},{"size":3,"count":225},{"size":170,"count":1},{"size":451,"count":15}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":222},{"degree":3,"count":18},{"degree":4,"count":52},{"degree":8,"count":48},{"degree":9,"count":121},{"degree":16,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 17 |
| Distribution of constraint arities | [{"arity":2,"count":67},{"arity":3,"count":52},{"arity":10,"count":169},{"arity":15,"count":4},{"arity":16,"count":1},{"arity":17,"count":14}] |
| Number of extensional constraints | 221 |
| Number of intensional constraints | 66 |
| Distribution of constraint types | [{"type":"extension","count":221},{"type":"intension","count":66},{"type":"sum","count":16},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c Mistral 01082018 0.10/0.11 o 0 0.10/0.11 o 3 0.10/0.11 o 4 0.10/0.11 o 6 0.10/0.11 o 7 0.10/0.11 o 8 0.10/0.11 o 9 0.10/0.11 o 10 0.10/0.12 o 11 0.10/0.12 o 12 0.10/0.12 o 13 0.10/0.12 o 14 0.10/0.13 o 15 0.10/0.13 o 16 0.10/0.16 o 20 0.10/0.16 o 21 0.10/0.16 o 23 0.10/0.16 o 24 0.10/0.16 o 25 0.10/0.16 o 26 0.10/0.17 o 27 0.10/0.17 o 28 0.10/0.17 o 29 0.10/0.17 o 30 0.10/0.17 o 31 0.10/0.21 o 32 0.10/0.21 o 33 0.10/0.21 o 34 0.10/0.21 o 35 0.21/0.23 o 36 0.21/0.23 o 37 0.21/0.23 o 38 0.21/0.24 o 39 0.21/0.25 o 40 0.21/0.25 o 41 0.21/0.25 o 42 0.21/0.27 o 43 0.21/0.27 o 44 0.21/0.29 o 45 0.21/0.31 o 46 0.31/0.36 o 47 0.31/0.36 o 48 0.31/0.37 o 49 0.31/0.37 o 50 0.51/0.54 o 51 0.51/0.54 o 52 0.51/0.55 o 53 0.51/0.55 o 54 0.60/0.63 o 55 0.60/0.69 o 56 0.69/0.72 o 57 0.69/0.72 o 58 0.69/0.72 o 59 0.89/0.98 o 60 1.00/1.05 o 62 1.00/1.05 o 63 1.00/1.05 o 64 1.19/1.21 o 65 1.59/1.66 o 66 1.59/1.66 o 67 1.69/1.76 o 68 1.89/2.00 o 69 2.00/2.09 o 72 2.19/2.21 o 73 10.99/11.05 o 74 11.79/11.80 o 75 12.00/12.06 o 76 16.88/16.93 o 77 16.88/16.93 o 78 16.88/16.93 o 79 16.88/16.95 o 80 21.38/21.45 o 81 22.88/22.99 o 82 23.18/23.20 o 83 23.18/23.21 o 84 54.08/54.13 o 85 54.57/54.60 o 86 54.57/54.60 o 87 98.17/98.24 o 88 158.98/159.03 o 89 378.16/378.29 o 90 2519.96/2520.00 s SATISFIABLE 2519.96/2520.00 v <instantiation type="solution"> 2519.96/2520.00 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] z </list> 2519.96/2520.01 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 4 4 4 7 11 11 15 15 17 19 21 24 25 26 30 90 </values> 2519.96/2520.01 v </instantiation>
OK 90
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 (706 MiB free)
memory of node 1: 16384 MiB (3144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303548-1533993258/watcher-4303548-1533993258 -o /tmp/evaluation-result-4303548-1533993258/solver-4303548-1533993258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21542 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2042037939 HOME/instance-4303548-1533993258.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
solver pid=21914, runsolver pid=21911
Current StackSize limit: 8192 KiB
[startup+0.101073 s]*
/proc/loadavg: 2.00 2.01 1.96 3/191 21915
/proc/meminfo: memFree=3901808/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=69804 memory=44700 CPUtime=0.1 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 11376 0 0 0 9 1 0 0 20 0 1 0 216888962 71479296 11175 33554432000 4194304 7499544 140720477266432 140720477261128 140342858345445 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17451 11175 787 807 0 10442 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69804 KiB
Current children cumulated memory: 44700 KiB
[startup+0.210273 s]*
/proc/loadavg: 2.00 2.01 1.96 3/191 21915
/proc/meminfo: memFree=3901808/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=69936 memory=44964 CPUtime=0.21 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 11426 0 0 0 20 1 0 0 20 0 1 0 216888962 71614464 11241 33554432000 4194304 7499544 140720477266432 140720477261128 5791022 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17484 11241 795 807 0 10475 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69936 KiB
Current children cumulated memory: 44964 KiB
[startup+0.309757 s]*
/proc/loadavg: 2.00 2.01 1.96 3/191 21915
/proc/meminfo: memFree=3901808/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70068 memory=44964 CPUtime=0.31 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 11437 0 0 0 30 1 0 0 20 0 1 0 216888962 71749632 11241 33554432000 4194304 7499544 140720477266432 140720477261128 5791192 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17517 11241 795 807 0 10508 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70068 KiB
Current children cumulated memory: 44964 KiB
[startup+0.700314 s]
/proc/loadavg: 2.00 2.01 1.96 3/191 21915
/proc/meminfo: memFree=3901808/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70068 memory=44964 CPUtime=0.69 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 11456 0 0 0 68 1 0 0 20 0 1 0 216888962 71749632 11241 33554432000 4194304 7499544 140720477266432 140720477261128 5837904 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17517 11241 795 807 0 10508 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70068 KiB
Current children cumulated memory: 44964 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 1.96 3/191 21915
/proc/meminfo: memFree=3901808/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70200 memory=44964 CPUtime=1.49 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 11465 0 0 0 148 1 0 0 20 0 1 0 216888962 71884800 11241 33554432000 4194304 7499544 140720477266432 140720477261448 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17550 11241 795 807 0 10541 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 44964 KiB
[startup+3.10961 s]
/proc/loadavg: 2.00 2.01 1.96 3/191 21915
/proc/meminfo: memFree=3901768/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70200 memory=45260 CPUtime=3.1 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 17191 0 0 0 309 1 0 0 20 0 1 0 216888962 71884800 11315 33554432000 4194304 7499544 140720477266432 140720477261448 5783487 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17550 11315 796 807 0 10541 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 45260 KiB
[startup+6.30024 s]
/proc/loadavg: 1.92 2.00 1.95 3/191 21915
/proc/meminfo: memFree=3901552/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70200 memory=45284 CPUtime=6.29 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 22789 0 0 0 627 2 0 0 20 0 1 0 216888962 71884800 11321 33554432000 4194304 7499544 140720477266432 140720477261448 4317335 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17550 11321 796 807 0 10541 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 45284 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.95 3/191 21915
/proc/meminfo: memFree=3899920/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70200 memory=45300 CPUtime=12.69 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 28574 0 0 0 1267 2 0 0 20 0 1 0 216888962 71884800 11325 33554432000 4194304 7499544 140720477266432 140720477261448 5837773 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17550 11325 796 807 0 10541 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 45300 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.95 3/191 21915
/proc/meminfo: memFree=3900040/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45328 CPUtime=25.48 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 35738 0 0 0 2546 2 0 0 20 0 1 0 216888962 72019968 11332 33554432000 4194304 7499544 140720477266432 140720477260904 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11332 796 807 0 10574 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45328 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 1.95 3/190 21915
/proc/meminfo: memFree=3899752/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45344 CPUtime=51.08 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 36737 0 0 0 5106 2 0 0 20 0 1 0 216888962 72019968 11336 33554432000 4194304 7499544 140720477266432 140720477261448 5837764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11336 796 807 0 10574 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45344 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 1.95 3/190 21980
/proc/meminfo: memFree=3883196/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45364 CPUtime=102.27 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 37283 0 0 0 10225 2 0 0 20 0 1 0 216888962 72019968 11341 33554432000 4194304 7499544 140720477266432 140720477261448 4320864 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11341 796 807 0 10574 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45364 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.04 1.97 3/191 21982
/proc/meminfo: memFree=3883312/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45364 CPUtime=162.27 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 37798 0 0 0 16225 2 0 0 20 0 1 0 216888962 72019968 11341 33554432000 4194304 7499544 140720477266432 140720477261448 4253120 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11341 796 807 0 10574 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45364 KiB
[startup+222.3 s]
/proc/loadavg: 2.15 2.07 1.98 3/191 21983
/proc/meminfo: memFree=3884336/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45372 CPUtime=222.27 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 38293 0 0 0 22225 2 0 0 20 0 1 0 216888962 72019968 11343 33554432000 4194304 7499544 140720477266432 140720477261448 5790960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11343 796 807 0 10574 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45372 KiB
[startup+282.3 s]
/proc/loadavg: 2.26 2.10 2.00 3/191 21984
/proc/meminfo: memFree=3884640/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45372 CPUtime=282.27 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 38791 0 0 0 28225 2 0 0 20 0 1 0 216888962 72019968 11343 33554432000 4194304 7499544 140720477266432 140720477261448 5791018 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11343 796 807 0 10574 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45372 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 2.08 2.00 3/191 21985
/proc/meminfo: memFree=3884808/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45376 CPUtime=342.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 39255 0 0 0 34224 2 0 0 20 0 1 0 216888962 72019968 11344 33554432000 4194304 7499544 140720477266432 140720477261448 5790978 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11344 796 807 0 10574 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45376 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.07 2.00 3/191 21993
/proc/meminfo: memFree=3885020/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45380 CPUtime=402.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 39774 0 0 0 40224 2 0 0 20 0 1 0 216888962 72019968 11345 33554432000 4194304 7499544 140720477266432 140720477261448 5791206 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11345 796 807 0 10574 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45380 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.06 2.00 3/190 21994
/proc/meminfo: memFree=3884900/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45384 CPUtime=462.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 40205 0 0 0 46224 2 0 0 20 0 1 0 216888962 72019968 11346 33554432000 4194304 7499544 140720477266432 140720477261448 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11346 796 807 0 10574 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45384 KiB
################
# More data... #
################
/proc/21914/statm: 17583 11351 796 807 0 10574 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45404 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 22057
/proc/meminfo: memFree=3885124/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45404 CPUtime=1782.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 50508 0 0 0 178223 3 0 0 20 0 1 0 216888962 72019968 11351 33554432000 4194304 7499544 140720477266432 140720477261448 4579822 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11351 796 807 0 10574 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45404 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 22058
/proc/meminfo: memFree=3885424/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45408 CPUtime=1842.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 50973 0 0 0 184223 3 0 0 20 0 1 0 216888962 72019968 11352 33554432000 4194304 7499544 140720477266432 140720477261448 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11352 796 807 0 10574 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45408 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/191 22059
/proc/meminfo: memFree=3885176/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45408 CPUtime=1902.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 51458 0 0 0 190223 3 0 0 20 0 1 0 216888962 72019968 11352 33554432000 4194304 7499544 140720477266432 140720477261448 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11352 796 807 0 10574 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45408 KiB
[startup+1962.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/191 22060
/proc/meminfo: memFree=3885288/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45408 CPUtime=1962.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 51958 0 0 0 196223 3 0 0 20 0 1 0 216888962 72019968 11352 33554432000 4194304 7499544 140720477266432 140720477261448 5791206 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11352 796 807 0 10574 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45408 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/191 22061
/proc/meminfo: memFree=3885300/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45408 CPUtime=2022.26 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 52451 0 0 0 202223 3 0 0 20 0 1 0 216888962 72019968 11352 33554432000 4194304 7499544 140720477266432 140720477261448 4253111 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11352 796 807 0 10574 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45408 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/190 22062
/proc/meminfo: memFree=3885784/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45408 CPUtime=2082.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 52943 0 0 0 208222 3 0 0 20 0 1 0 216888962 72019968 11352 33554432000 4194304 7499544 140720477266432 140720477261448 5567696 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11352 796 807 0 10574 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45408 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/190 22063
/proc/meminfo: memFree=3885748/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45408 CPUtime=2142.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 53441 0 0 0 214222 3 0 0 20 0 1 0 216888962 72019968 11352 33554432000 4194304 7499544 140720477266432 140720477261448 5791214 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11352 796 807 0 10574 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45408 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/190 22071
/proc/meminfo: memFree=3885504/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45412 CPUtime=2202.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 53938 0 0 0 220222 3 0 0 20 0 1 0 216888962 72019968 11353 33554432000 4194304 7499544 140720477266432 140720477261448 4317774 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11353 796 807 0 10574 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45412 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/190 22072
/proc/meminfo: memFree=3885376/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45412 CPUtime=2262.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 54423 0 0 0 226222 3 0 0 20 0 1 0 216888962 72019968 11353 33554432000 4194304 7499544 140720477266432 140720477261448 4253129 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11353 796 807 0 10574 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45412 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/190 22073
/proc/meminfo: memFree=3885808/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45412 CPUtime=2322.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 54915 0 0 0 232222 3 0 0 20 0 1 0 216888962 72019968 11353 33554432000 4194304 7499544 140720477266432 140720477261448 5791206 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11353 796 807 0 10574 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45412 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/190 22074
/proc/meminfo: memFree=3885432/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45412 CPUtime=2382.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 55408 0 0 0 238222 3 0 0 20 0 1 0 216888962 72019968 11353 33554432000 4194304 7499544 140720477266432 140720477261448 4253155 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11353 796 807 0 10574 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45412 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/190 22075
/proc/meminfo: memFree=3886020/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45412 CPUtime=2442.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 55909 0 0 0 244222 3 0 0 20 0 1 0 216888962 72019968 11353 33554432000 4194304 7499544 140720477266432 140720477261448 5791027 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11353 796 807 0 10574 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45412 KiB
[startup+2502.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/190 22077
/proc/meminfo: memFree=3886280/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45412 CPUtime=2502.25 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 56400 0 0 0 250222 3 0 0 20 0 1 0 216888962 72019968 11353 33554432000 4194304 7499544 140720477266432 140720477261448 5771744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11353 796 807 0 10574 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45412 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.44 2.12 2.05 3/190 22077
/proc/meminfo: memFree=3886156/32770624 swapFree=67108860/67108860
[pid=21914] ppid=21911 vsize=70332 memory=45412 CPUtime=2519.96 cores=1,3,5,7
/proc/21914/stat : 21914 (MistralXCSP) R 21911 21914 21509 0 -1 4202496 56806 0 0 0 251993 3 0 0 20 0 1 0 216888962 72019968 11353 33554432000 4194304 7499544 140720477266432 140720477261448 5791192 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 39264256 140720477271149 140720477271299 140720477271299 140720477274057 0
/proc/21914/statm: 17583 11353 796 807 0 10574 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21914 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.94 s, system=0.035999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.97
CPU user time (s): 2519.94
CPU system time (s): 0.035999
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 70332
Max. memory (cumulated for all children) (KiB): 45412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.035999
maximum resident set size= 45432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56842
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= 25
involuntary context switches= 678
# summary of solver processes directly reported to runsolver:
# pid: 21914
# total CPU time (s): 2519.97
# total CPU user time (s): 2519.94
# total CPU system time (s): 0.035999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.84012 second user time and 17.6893 second system time
The end
Begin job on node132 at 2018-08-11 15:14:18 IDJOB=4303548 IDBENCH=141036 IDSOLVER=2779 FILE ID=node132/4303548-1533993258 RUNJOBID= node132-1533990732-21542 PBS_JOBID= 21036940 Free space on /tmp= 37984 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/StillLife/StillLife-wastage-13_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303548-1533993258/watcher-4303548-1533993258 -o /tmp/evaluation-result-4303548-1533993258/solver-4303548-1533993258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21542 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2042037939 HOME/instance-4303548-1533993258.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d177c6743c5eb3479b13a6ba42c582bf RANDOM SEED=2042037939 node132.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.65 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.65 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.65 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.65 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: 3944024 kB MemAvailable: 31883168 kB Buffers: 244240 kB Cached: 27561116 kB SwapCached: 0 kB Active: 9123380 kB Inactive: 18756876 kB Active(anon): 24956 kB Inactive(anon): 102724 kB Active(file): 9098424 kB Inactive(file): 18654152 kB Unevictable: 7020 kB Mlocked: 7020 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6128 kB Writeback: 0 kB AnonPages: 78040 kB Mapped: 54328 kB Shmem: 49824 kB Slab: 643176 kB SReclaimable: 615028 kB SUnreclaim: 28148 kB KernelStack: 3424 kB PageTables: 5092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 397204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 37980 MiB End job on node132 at 2018-08-11 15:56:18