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) | 89 | 251.979 | 252.011 |
| Name | StillLife/ StillLife-wastage-13_c18.xml |
| MD5SUM | d177c6743c5eb3479b13a6ba42c582bf |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 86 |
| Best CPU time to get the best result obtained on this benchmark | 252.128 |
| 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.01 c Mistral 01082018 0.09/0.11 o 0 0.09/0.11 o 3 0.09/0.11 o 4 0.09/0.11 o 6 0.09/0.11 o 7 0.09/0.11 o 8 0.09/0.12 o 9 0.09/0.12 o 10 0.09/0.12 o 11 0.09/0.12 o 12 0.09/0.13 o 13 0.09/0.13 o 14 0.09/0.13 o 15 0.09/0.13 o 16 0.09/0.17 o 20 0.09/0.17 o 21 0.09/0.17 o 23 0.09/0.17 o 24 0.09/0.17 o 25 0.09/0.17 o 26 0.09/0.18 o 27 0.09/0.18 o 28 0.09/0.18 o 29 0.09/0.18 o 30 0.09/0.18 o 31 0.20/0.22 o 32 0.20/0.22 o 33 0.20/0.23 o 34 0.20/0.23 o 35 0.20/0.24 o 36 0.20/0.25 o 37 0.20/0.25 o 38 0.20/0.26 o 39 0.20/0.26 o 40 0.20/0.26 o 41 0.20/0.26 o 42 0.20/0.29 o 43 0.20/0.29 o 44 0.20/0.30 o 45 0.30/0.32 o 46 0.30/0.37 o 47 0.30/0.37 o 48 0.30/0.38 o 49 0.30/0.38 o 50 0.50/0.55 o 51 0.50/0.55 o 52 0.50/0.57 o 53 0.50/0.57 o 54 0.59/0.65 o 55 0.68/0.71 o 56 0.68/0.74 o 57 0.68/0.74 o 58 0.68/0.74 o 59 0.88/1.00 o 60 0.99/1.07 o 62 0.99/1.07 o 63 0.99/1.07 o 64 1.18/1.24 o 65 1.58/1.68 o 66 1.58/1.69 o 67 1.68/1.79 o 68 1.99/2.03 o 69 2.09/2.12 o 72 2.18/2.24 o 73 11.09/11.14 o 74 11.78/11.89 o 75 12.09/12.16 o 76 16.87/16.92 o 77 16.87/16.92 o 78 16.87/16.92 o 79 16.87/16.94 o 80 21.37/21.46 o 81 22.87/23.00 o 82 23.17/23.21 o 83 23.17/23.22 o 84 54.07/54.16 o 85 54.56/54.63 o 86 54.56/54.63 o 87 98.36/98.43 o 88 159.36/159.40 o 89 251.97/252.01 s SATISFIABLE 251.97/252.01 v <instantiation type="solution"> 251.97/252.01 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> 251.97/252.01 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 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 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 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 0 0 1 0 0 1 0 1 0 0 0 1 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 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 7 9 9 14 15 15 19 19 21 23 25 28 29 30 34 89 </values> 251.97/252.01 v </instantiation>
OK 89
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 (12016 MiB free)
memory of node 1: 16384 MiB (11209 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312447-1534698887/watcher-4312447-1534698887 -o /tmp/evaluation-result-4312447-1534698887/solver-4312447-1534698887 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534698887-12839 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2012653666 HOME/instance-4312447-1534698887.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12854, runsolver pid=12851
[startup+0.100112 s]*
/proc/loadavg: 0.00 0.01 0.05 2/182 12855
/proc/meminfo: memFree=23740656/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=69804 memory=44696 CPUtime=0.09 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 11360 0 1 0 8 1 0 0 20 0 1 0 287451857 71479296 11174 33554432000 4194304 7499544 140730293565488 140730293562488 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17451 11174 787 807 0 10442 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69804 KiB
Current children cumulated memory: 44696 KiB
[startup+0.209783 s]*
/proc/loadavg: 0.00 0.01 0.05 2/185 12864
/proc/meminfo: memFree=23734208/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=69936 memory=44960 CPUtime=0.2 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 11421 0 1 0 19 1 0 0 20 0 1 0 287451857 71614464 11240 33554432000 4194304 7499544 140730293565488 140730293562488 5791007 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17484 11240 795 807 0 10475 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69936 KiB
Current children cumulated memory: 44960 KiB
[startup+0.309918 s]*
/proc/loadavg: 0.00 0.01 0.05 3/188 12870
/proc/meminfo: memFree=23682256/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70068 memory=44960 CPUtime=0.3 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 11435 0 1 0 29 1 0 0 20 0 1 0 287451857 71749632 11240 33554432000 4194304 7499544 140730293565488 140730293562488 5838039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17517 11240 795 807 0 10508 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70068 KiB
Current children cumulated memory: 44960 KiB
[startup+0.70031 s]
/proc/loadavg: 0.00 0.01 0.05 3/188 12870
/proc/meminfo: memFree=23625540/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70068 memory=44960 CPUtime=0.68 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 11454 0 1 0 67 1 0 0 20 0 1 0 287451857 71749632 11240 33554432000 4194304 7499544 140730293565488 140730293562488 4580781 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17517 11240 795 807 0 10508 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 70068 KiB
Current children cumulated memory: 44960 KiB
[startup+1.50027 s]
/proc/loadavg: 0.00 0.01 0.05 3/188 12870
/proc/meminfo: memFree=23624796/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70200 memory=44960 CPUtime=1.48 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 11463 0 1 0 147 1 0 0 20 0 1 0 287451857 71884800 11240 33554432000 4194304 7499544 140730293565488 140730293560504 4253174 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17550 11240 795 807 0 10541 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 44960 KiB
[startup+3.10971 s]
/proc/loadavg: 0.16 0.05 0.06 3/188 12870
/proc/meminfo: memFree=23625212/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70200 memory=45256 CPUtime=3.09 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 17198 0 1 0 308 1 0 0 20 0 1 0 287451857 71884800 11314 33554432000 4194304 7499544 140730293565488 140730293560504 5838092 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17550 11314 796 807 0 10541 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 45256 KiB
[startup+6.30036 s]
/proc/loadavg: 0.16 0.05 0.06 3/188 12870
/proc/meminfo: memFree=23625164/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70200 memory=45280 CPUtime=6.29 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 22794 0 1 0 627 2 0 0 20 0 1 0 287451857 71884800 11320 33554432000 4194304 7499544 140730293565488 140730293560504 5573412 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17550 11320 796 807 0 10541 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 45280 KiB
[startup+12.7003 s]
/proc/loadavg: 0.37 0.10 0.07 3/188 12870
/proc/meminfo: memFree=23625464/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70200 memory=45296 CPUtime=12.68 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 28641 0 1 0 1266 2 0 0 20 0 1 0 287451857 71884800 11324 33554432000 4194304 7499544 140730293565488 140730293560504 5791206 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17550 11324 796 807 0 10541 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 70200 KiB
Current children cumulated memory: 45296 KiB
[startup+25.5004 s]
/proc/loadavg: 0.62 0.16 0.09 3/187 12870
/proc/meminfo: memFree=23624632/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70332 memory=45324 CPUtime=25.47 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 33188 0 1 0 2545 2 0 0 20 0 1 0 287451857 72019968 11331 33554432000 4194304 7499544 140730293565488 140730293560504 5791081 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17583 11331 796 807 0 10574 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45324 KiB
[startup+51.1095 s]
/proc/loadavg: 1.09 0.31 0.14 3/187 12870
/proc/meminfo: memFree=23625220/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70332 memory=45340 CPUtime=51.07 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 34377 0 1 0 5105 2 0 0 20 0 1 0 287451857 72019968 11335 33554432000 4194304 7499544 140730293565488 140730293560504 5840022 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17583 11335 796 807 0 10574 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45340 KiB
[startup+102.3 s]
/proc/loadavg: 1.91 0.66 0.27 3/187 12871
/proc/meminfo: memFree=23625464/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70332 memory=45360 CPUtime=102.26 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 34918 0 1 0 10224 2 0 0 20 0 1 0 287451857 72019968 11340 33554432000 4194304 7499544 140730293565488 140730293560504 5791293 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17583 11340 796 807 0 10574 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45360 KiB
[startup+162.3 s]
/proc/loadavg: 2.16 0.97 0.40 3/187 12872
/proc/meminfo: memFree=23626268/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70332 memory=45364 CPUtime=162.26 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 35428 0 1 0 16224 2 0 0 20 0 1 0 287451857 72019968 11341 33554432000 4194304 7499544 140730293565488 140730293560504 4405080 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17583 11341 796 807 0 10574 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45364 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 1.16 0.50 3/187 12873
/proc/meminfo: memFree=23625632/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70332 memory=45364 CPUtime=222.26 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 35918 0 1 0 22224 2 0 0 20 0 1 0 287451857 72019968 11341 33554432000 4194304 7499544 140730293565488 140730293560504 4253171 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17583 11341 796 807 0 10574 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45364 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.04 1.24 0.55 3/187 12874
/proc/meminfo: memFree=23625500/32770624 swapFree=67108836/67108860
[pid=12854] ppid=12851 vsize=70332 memory=45368 CPUtime=251.97 cores=0,2,4,6
/proc/12854/stat : 12854 (MistralXCSP) R 12851 12854 12808 0 -1 4202496 36352 0 1 0 25195 2 0 0 20 0 1 0 287451857 72019968 11342 33554432000 4194304 7499544 140730293565488 140730293560504 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32927744 140730293568626 140730293568776 140730293568776 140730293571529 0
/proc/12854/statm: 17583 11342 796 807 0 10574 0
Current children cumulated CPU time: 251.97 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 45368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.011 s]
# the end of solver process 12854 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.951 s, system=0.027999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.011
CPU time (s): 251.979
CPU user time (s): 251.951
CPU system time (s): 0.027999
CPU usage (%): 99.9875
Max. virtual memory (cumulated for all children) (KiB): 70332
Max. memory (cumulated for all children) (KiB): 45368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.951
system time used= 0.027999
maximum resident set size= 45388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36389
page faults= 1
swaps= 0
block input operations= 848
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 116
# summary of solver processes directly reported to runsolver:
# pid: 12854
# total CPU time (s): 251.979
# total CPU user time (s): 251.951
# total CPU system time (s): 0.027999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13517 second user time and 1.68682 second system time
The end
Begin job on node139 at 2018-08-19 19:14:47 IDJOB=4312447 IDBENCH=141036 IDSOLVER=2801 FILE ID=node139/4312447-1534698887 RUNJOBID= node139-1534698887-12839 PBS_JOBID= 21038714 Free space on /tmp= 55164 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-4312447-1534698887/watcher-4312447-1534698887 -o /tmp/evaluation-result-4312447-1534698887/solver-4312447-1534698887 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534698887-12839 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2012653666 HOME/instance-4312447-1534698887.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d177c6743c5eb3479b13a6ba42c582bf RANDOM SEED=2012653666 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: 23783632 kB MemAvailable: 31890524 kB Buffers: 255312 kB Cached: 8108504 kB SwapCached: 16 kB Active: 4700952 kB Inactive: 3714692 kB Active(anon): 30376 kB Inactive(anon): 90440 kB Active(file): 4670576 kB Inactive(file): 3624252 kB Unevictable: 7172 kB Mlocked: 7172 kB SwapTotal: 67108860 kB SwapFree: 67108836 kB Dirty: 5924 kB Writeback: 0 kB AnonPages: 58972 kB Mapped: 24056 kB Shmem: 66164 kB Slab: 268476 kB SReclaimable: 240524 kB SUnreclaim: 27952 kB KernelStack: 3104 kB PageTables: 5872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367016 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 55152 MiB End job on node139 at 2018-08-19 19:18:59