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-06-15 | SAT (TO) | 103 | 2400.01 | 2399.9 |
| Name | StillLife/ StillLife-wastage-14_c18.xml |
| MD5SUM | 24e7c51735ec9671261d78753301e43f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 104 |
| Best CPU time to get the best result obtained on this benchmark | 59.3102 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 529 |
| Number of constraints | 344 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 513 |
| Distribution of domain sizes | [{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 17 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}] |
| Number of extensional constraints | 252 |
| Number of intensional constraints | 71 |
| Distribution of constraint types | [{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.01 c Mistral 16062018 0.08/0.14 o 4 0.08/0.14 o 6 0.08/0.14 o 7 0.08/0.14 o 8 0.08/0.14 o 9 0.08/0.14 o 10 0.08/0.15 o 11 0.08/0.15 o 12 0.08/0.15 o 13 0.08/0.15 o 14 0.08/0.16 o 15 0.08/0.17 o 16 0.08/0.19 o 21 0.08/0.19 o 22 0.08/0.19 o 23 0.08/0.19 o 24 0.08/0.20 o 27 0.08/0.20 o 28 0.08/0.20 o 29 0.19/0.24 o 30 0.19/0.24 o 31 0.19/0.24 o 32 0.19/0.24 o 33 0.19/0.25 o 35 0.19/0.25 o 36 0.19/0.25 o 37 0.19/0.25 o 38 0.19/0.26 o 39 0.19/0.26 o 40 0.29/0.33 o 42 0.29/0.33 o 43 0.29/0.33 o 44 0.29/0.34 o 45 0.29/0.34 o 46 0.29/0.34 o 47 0.29/0.34 o 48 0.29/0.36 o 50 0.29/0.36 o 51 0.39/0.43 o 53 0.39/0.43 o 54 0.39/0.43 o 55 0.39/0.44 o 56 0.39/0.45 o 57 0.39/0.47 o 58 0.39/0.47 o 59 0.77/0.81 o 60 0.77/0.84 o 61 0.77/0.85 o 63 0.77/0.85 o 64 0.77/0.85 o 65 0.77/0.86 o 66 1.08/1.18 o 67 1.08/1.18 o 68 1.17/1.20 o 69 1.78/1.87 o 70 1.87/1.99 o 71 2.47/2.53 o 72 2.67/2.76 o 74 2.77/2.82 o 75 3.27/3.30 o 76 5.67/5.71 o 77 6.56/6.60 o 78 6.56/6.60 o 79 8.26/8.39 o 80 8.36/8.41 o 81 8.36/8.41 o 82 8.36/8.41 o 83 8.36/8.42 o 84 12.16/12.21 o 85 12.16/12.22 o 86 14.76/14.80 o 87 17.36/17.42 o 88 17.66/17.78 o 89 29.65/29.78 o 90 29.65/29.79 o 91 38.06/38.15 o 92 44.55/44.61 o 93 45.45/45.54 o 94 51.25/51.36 o 95 51.65/51.70 o 96 56.55/56.66 o 97 76.96/77.04 o 98 106.86/106.91 o 99 183.76/183.83 o 100 327.87/327.93 o 101 365.27/365.32 o 102 878.81/878.85 o 103 2400.00/2399.90 s SATISFIABLE 2400.00/2399.90 v <instantiation type="solution"> 2400.00/2399.90 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[0][15] 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[1][15] 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[2][15] 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[3][15] 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[4][15] 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[5][15] 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[6][15] 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[7][15] 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[8][15] 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[9][15] 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[10][15] 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[11][15] 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[12][15] 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[13][15] 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] x[14][15] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[0][15] 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[1][15] 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[2][15] 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[3][15] 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[4][15] 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[5][15] 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[6][15] 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[7][15] 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[8][15] 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[9][15] 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[10][15] 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[11][15] 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[12][15] 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[13][15] 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] w[14][15] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] 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] ws[15] z </list> 2400.00/2399.90 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 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 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 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 0 1 0 0 1 0 0 1 0 0 1 0 0 0 4 5 6 11 11 13 16 19 21 23 25 25 30 31 32 36 103 </values> 2400.00/2399.90 v </instantiation>
OK 103
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 (8838 MiB free)
memory of node 1: 16384 MiB (11019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289280-1532190504/watcher-4289280-1532190504 -o /tmp/evaluation-result-4289280-1532190504/solver-4289280-1532190504 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532190502-26182 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289280-1532190504.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=26198, runsolver pid=26195
[startup+0.100504 s]*
/proc/loadavg: 0.00 0.01 0.05 2/182 26199
/proc/meminfo: memFree=20286064/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=75624 memory=50376 CPUtime=0.08 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 12786 0 3 0 7 1 0 0 20 0 1 0 36613581 77438976 12594 33554432000 4194304 7498468 140735531475920 140735531465176 140698929104803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 18906 12594 754 807 0 11897 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 75624 KiB
Current children cumulated memory: 50376 KiB
[startup+0.209959 s]*
/proc/loadavg: 0.00 0.01 0.05 2/182 26199
/proc/meminfo: memFree=20284948/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76432 memory=51224 CPUtime=0.19 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 13024 0 3 0 18 1 0 0 20 0 1 0 36613581 78266368 12806 33554432000 4194304 7498468 140735531475920 140735531465176 5790864 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19108 12806 786 807 0 12099 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76432 KiB
Current children cumulated memory: 51224 KiB
[startup+0.30953 s]*
/proc/loadavg: 0.00 0.01 0.05 2/182 26199
/proc/meminfo: memFree=20284948/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76564 memory=51488 CPUtime=0.29 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 13041 0 3 0 28 1 0 0 20 0 1 0 36613581 78401536 12872 33554432000 4194304 7498468 140735531475920 140735531470936 140698928184293 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19141 12872 792 807 0 12132 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76564 KiB
Current children cumulated memory: 51488 KiB
[startup+0.700295 s]
/proc/loadavg: 0.00 0.01 0.05 3/183 26204
/proc/meminfo: memFree=20277764/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76564 memory=51488 CPUtime=0.67 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 13066 0 3 0 66 1 0 0 20 0 1 0 36613581 78401536 12872 33554432000 4194304 7498468 140735531475920 140735531470936 4253179 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19141 12872 792 807 0 12132 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76564 KiB
Current children cumulated memory: 51488 KiB
[startup+1.50031 s]
/proc/loadavg: 0.00 0.01 0.05 3/188 26214
/proc/meminfo: memFree=20230724/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76696 memory=51488 CPUtime=1.48 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 13089 0 3 0 146 2 0 0 20 0 1 0 36613581 78536704 12872 33554432000 4194304 7498468 140735531475920 140735531470936 5791624 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19174 12872 792 807 0 12165 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76696 KiB
Current children cumulated memory: 51488 KiB
[startup+3.10946 s]
/proc/loadavg: 0.08 0.03 0.05 3/188 26214
/proc/meminfo: memFree=20230708/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76696 memory=51784 CPUtime=3.08 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 19652 0 3 0 306 2 0 0 20 0 1 0 36613581 78536704 12946 33554432000 4194304 7498468 140735531475920 140735531470936 4253145 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19174 12946 795 807 0 12165 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 76696 KiB
Current children cumulated memory: 51784 KiB
[startup+6.30022 s]
/proc/loadavg: 0.08 0.03 0.05 3/188 26214
/proc/meminfo: memFree=20231196/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51808 CPUtime=6.26 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 24492 0 3 0 624 2 0 0 20 0 1 0 36613581 78671872 12952 33554432000 4194304 7498468 140735531475920 140735531470936 4253131 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12952 795 807 0 12198 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51808 KiB
[startup+12.7003 s]
/proc/loadavg: 0.24 0.06 0.06 3/188 26214
/proc/meminfo: memFree=20231488/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51844 CPUtime=12.66 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 29710 0 3 0 1264 2 0 0 20 0 1 0 36613581 78671872 12961 33554432000 4194304 7498468 140735531475920 140735531470936 4253153 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12961 795 807 0 12198 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51844 KiB
[startup+25.5004 s]
/proc/loadavg: 0.55 0.14 0.09 3/188 26214
/proc/meminfo: memFree=20231928/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51876 CPUtime=25.45 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 32368 0 3 0 2543 2 0 0 20 0 1 0 36613581 78671872 12969 33554432000 4194304 7498468 140735531475920 140735531470936 5791439 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12969 795 807 0 12198 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51876 KiB
[startup+51.1094 s]
/proc/loadavg: 1.04 0.29 0.14 3/188 26214
/proc/meminfo: memFree=20232012/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51896 CPUtime=51.06 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 32692 0 3 0 5104 2 0 0 20 0 1 0 36613581 78671872 12974 33554432000 4194304 7498468 140735531475920 140735531470936 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12974 795 807 0 12198 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51896 KiB
[startup+102.3 s]
/proc/loadavg: 1.58 0.55 0.24 3/188 26222
/proc/meminfo: memFree=20231204/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51908 CPUtime=102.25 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 32951 0 3 0 10223 2 0 0 20 0 1 0 36613581 78671872 12977 33554432000 4194304 7498468 140735531475920 140735531470936 4253171 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12977 795 807 0 12198 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51908 KiB
[startup+162.3 s]
/proc/loadavg: 1.85 0.82 0.35 3/187 26223
/proc/meminfo: memFree=20232432/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51920 CPUtime=162.26 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 33208 0 3 0 16224 2 0 0 20 0 1 0 36613581 78671872 12980 33554432000 4194304 7498468 140735531475920 140735531470936 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12980 795 807 0 12198 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51920 KiB
[startup+222.3 s]
/proc/loadavg: 1.94 1.03 0.45 3/188 26225
/proc/meminfo: memFree=20231440/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51932 CPUtime=222.26 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 33471 0 3 0 22224 2 0 0 20 0 1 0 36613581 78671872 12983 33554432000 4194304 7498468 140735531475920 140735531470936 5838240 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12983 795 807 0 12198 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51932 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.55 3/188 26226
/proc/meminfo: memFree=20231276/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51932 CPUtime=282.27 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 33472 0 3 0 28225 2 0 0 20 0 1 0 36613581 78671872 12983 33554432000 4194304 7498468 140735531475920 140735531470936 4253127 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12983 795 807 0 12198 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51932 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.64 3/187 26227
/proc/meminfo: memFree=20231224/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51940 CPUtime=342.27 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 33734 0 3 0 34225 2 0 0 20 0 1 0 36613581 78671872 12985 33554432000 4194304 7498468 140735531475920 140735531470936 4253190 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12985 795 807 0 12198 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51940 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.47 0.72 3/187 26228
/proc/meminfo: memFree=20231536/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51940 CPUtime=402.27 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 33735 0 3 0 40225 2 0 0 20 0 1 0 36613581 78671872 12985 33554432000 4194304 7498468 140735531475920 140735531470936 5791439 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12985 795 807 0 12198 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51940 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.80 3/187 26229
/proc/meminfo: memFree=20231276/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76828 memory=51948 CPUtime=462.28 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 33976 0 3 0 46226 2 0 0 20 0 1 0 36613581 78671872 12987 33554432000 4194304 7498468 140735531475920 140735531470936 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19207 12987 795 807 0 12198 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 76828 KiB
Current children cumulated memory: 51948 KiB
################
# More data... #
################
/proc/26198/statm: 19240 12993 795 807 0 12231 0
Current children cumulated CPU time: 1662.35 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51972 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/187 26266
/proc/meminfo: memFree=20230204/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51972 CPUtime=1722.36 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 36539 0 3 0 172233 3 0 0 20 0 1 0 36613581 78807040 12993 33554432000 4194304 7498468 140735531475920 140735531470936 5791570 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12993 795 807 0 12231 0
Current children cumulated CPU time: 1722.36 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51972 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.73 3/187 26268
/proc/meminfo: memFree=20229320/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=1782.36 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 36786 0 3 0 178233 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/187 26269
/proc/meminfo: memFree=20229944/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=1842.36 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 36786 0 3 0 184233 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5790826 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/188 26278
/proc/meminfo: memFree=20229268/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=1902.37 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37027 0 3 0 190234 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/188 26301
/proc/meminfo: memFree=20228228/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=1962.37 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37030 0 3 0 196234 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5838205 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/188 26302
/proc/meminfo: memFree=20229272/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=2022.37 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37277 0 3 0 202234 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5791376 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 2022.37 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 1.81 3/188 26303
/proc/meminfo: memFree=20228968/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=2082.38 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37277 0 3 0 208235 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 4262784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 1.82 3/188 26304
/proc/meminfo: memFree=20229160/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=2142.38 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37522 0 3 0 214235 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5791459 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.83 3/187 26305
/proc/meminfo: memFree=20229124/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=2202.38 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37523 0 3 0 220235 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 4546126 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/187 26306
/proc/meminfo: memFree=20229168/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=2262.39 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37767 0 3 0 226236 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5791454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/187 26307
/proc/meminfo: memFree=20229044/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51976 CPUtime=2322.39 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 37787 0 3 0 232236 3 0 0 20 0 1 0 36613581 78807040 12994 33554432000 4194304 7498468 140735531475920 140735531470936 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12994 795 807 0 12231 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51976 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 26308
/proc/meminfo: memFree=20229468/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51980 CPUtime=2382.39 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 38039 0 3 0 238236 3 0 0 20 0 1 0 36613581 78807040 12995 33554432000 4194304 7498468 140735531475920 140735531470936 5648564 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12995 795 807 0 12231 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 26308
/proc/meminfo: memFree=20229468/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51980 CPUtime=2400 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 38039 0 3 0 239997 3 0 0 20 0 1 0 36613581 78807040 12995 33554432000 4194304 7498468 140735531475920 140735531470936 4405991 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12995 795 807 0 12231 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 26198 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.97 s, system=0.034001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 26308
/proc/meminfo: memFree=20229468/32770624 swapFree=67108860/67108860
[pid=26198] ppid=26195 vsize=76960 memory=51980 CPUtime=2400 cores=0,2,4,6
/proc/26198/stat : 26198 (MistralXCSP) R 26195 26198 26151 0 -1 4202496 38039 0 3 0 239997 3 0 0 20 0 1 0 36613581 78807040 12995 33554432000 4194304 7498468 140735531475920 140735531470936 4405991 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 15945728 140735531484269 140735531484419 140735531484419 140735531487177 0
/proc/26198/statm: 19240 12995 795 807 0 12231 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 51980 KiB
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.01
CPU user time (s): 2399.97
CPU system time (s): 0.034001
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 76960
Max. memory (cumulated for all children) (KiB): 51980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.034001
maximum resident set size= 52000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38070
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41
involuntary context switches= 1704
# summary of solver processes directly reported to runsolver:
# pid: 26198
# total CPU time (s): 2400.01
# total CPU user time (s): 2399.97
# total CPU system time (s): 0.034001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.54514 second user time and 16.9522 second system time
The end
Begin job on node107 at 2018-07-21 18:28:24 IDJOB=4289280 IDBENCH=141039 IDSOLVER=2741 FILE ID=node107/4289280-1532190504 RUNJOBID= node107-1532190502-26182 PBS_JOBID= 21018936 Free space on /tmp= 55168 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/StillLife/StillLife-wastage-14_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-4289280-1532190504/watcher-4289280-1532190504 -o /tmp/evaluation-result-4289280-1532190504/solver-4289280-1532190504 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532190502-26182 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289280-1532190504.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f RANDOM SEED=1377696294 node107.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.40 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.40 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.40 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.40 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: 20336248 kB MemAvailable: 31942608 kB Buffers: 220712 kB Cached: 11540984 kB SwapCached: 0 kB Active: 1407576 kB Inactive: 10407888 kB Active(anon): 56372 kB Inactive(anon): 16864 kB Active(file): 1351204 kB Inactive(file): 10391024 kB Unevictable: 7152 kB Mlocked: 7152 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8868 kB Writeback: 0 kB AnonPages: 60480 kB Mapped: 34548 kB Shmem: 17036 kB Slab: 317068 kB SReclaimable: 292592 kB SUnreclaim: 24476 kB KernelStack: 3168 kB PageTables: 4804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 317488 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: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 55152 MiB End job on node107 at 2018-07-21 19:08:24