Ubiquity Generator Framework:
Current Status via a SCIP Application Example
First intenational UG workshop 2019, Berlin, Germany
Yuji Shinano Zuse Institute Berlin
16.01.2019
14.01.2019
1
Ubiquity Generator Framework: Current Status via a SCIP Application - - PowerPoint PPT Presentation
Ubiquity Generator Framework: Current Status via a SCIP Application Example Yuji Shinano Zuse Institute Berlin 16.01.2019 1 14.01.2019 First intenational UG workshop 2019, Berlin, Germany Outline Notes about the UG design and its dynamic
First intenational UG workshop 2019, Berlin, Germany
16.01.2019
14.01.2019
1
l
l
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 2
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 3
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 4
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 5
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 6
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 7
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 8
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 9
600000 700000 800000 900000 1e+06 1.1e+06 1.2e+06 1.3e+06 1.4e+06 1.5e+06 1.6e+06 10000 20000 30000 40000 50000 60000
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs 1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 10000 20000 30000 40000 50000 60000 100 200 300 400 500 600 700 800 900 1000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 10
600000 700000 800000 900000 1e+06 1.1e+06 1.2e+06 1.3e+06 1.4e+06 1.5e+06 1.6e+06 1000 2000 3000 4000 5000 6000 7000 8000 9000
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs
1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 1000 2000 3000 4000 5000 6000 7000 8000 9000 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 11
600000 700000 800000 900000 1e+06 1.1e+06 1.2e+06 1.3e+06 1.4e+06 1.5e+06 1.6e+06 5000 10000 15000 20000 25000
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs 1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 5000 10000 15000 20000 25000 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 12
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 13
600000 700000 800000 900000 1e+06 1.1e+06 1.2e+06 1.3e+06 1.4e+06 1.5e+06 1.6e+06 500 1000 1500 2000 2500 3000 3500 4000 4500 5000
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs
0.1 1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000 13000 14000 15000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1 # nodes recevied/sec # nodes sent/sec
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 14
600000 700000 800000 900000 1e+06 1.1e+06 1.2e+06 1.3e+06 1.4e+06 1.5e+06 1.6e+06 2000 4000 6000 8000 10000 12000
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs
1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 2000 4000 6000 8000 10000 12000 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000 13000 14000 15000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1 # nodes recevied/sec # nodes sent/sec
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 15
600000 700000 800000 900000 1e+06 1.1e+06 1.2e+06 1.3e+06 1.4e+06 500 1000 1500 2000 2500 3000 3500 4000
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs 0.01 0.1 1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 500 1000 1500 2000 2500 3000 3500 4000 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000 13000 14000 15000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1 # nodes recevied/sec # nodes sent/sec
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 16
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 17
1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 500 1000 1500 2000 2500 3000 3500 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000 13000 14000 15000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1 # nodes recevied/sec # nodes sent/sec
600000 800000 1e+06 1.2e+06 1.4e+06 1.6e+06 1.8e+06 500 1000 1500 2000 2500 3000 3500
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 18
600000 800000 1e+06 1.2e+06 1.4e+06 1.6e+06 1.8e+06 500 1000 1500 2000 2500 3000 3500 4000
Objective Function Value Computing Time (sec.) Incumbents Optimal Global LBs
0.1 1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 500 1000 1500 2000 2500 3000 3500 4000 1000 2000 3000 4000 5000 6000 7000 8000 9000 10000 11000 12000 13000 14000 15000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1 # nodes recevied/sec # nodes sent/sec
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 19
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 20
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 21
This instance was solved by a first implementation of ParaSCIP using up to 2048 cores of HLRN- II(http://www.hlrn.de). ParaSCIP, mainly developed by Yuji Shinano, is an extension of SCIP and realizes a parallelization on a distributed memory computing environment. For being able to interrupt and warmstart the computations, ParaSCIP has a checkpoint mechanism. Therefore, selected subproblems are stored as warm start information, which allows to virtually run ParaSCIP, although the HLRN-II environment imposes a time limit
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 22
This instance was solved by a first implementation of ParaSCIP using up to 2048 cores of HLRN-II(http://www.hlrn.de). ParaSCIP, mainly developed by Yuji Shinano, is an extension of SCIP and realizes a parallelization on a distributed memory computing environment. For being able to interrupt and warmstart the computations, ParaSCIP has a checkpoint
ParaSCIP, although the HLRN-II environment imposes a time limit of 48 hours per run. The problem was presolved several times with SCIP presolving techniques. After that, it took approximately 114 hours to solve this instance.
l
l
l
l
l
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 23
run cores time[h] 1 512 4 2 1024 5 3 2048 10 4 2048 7 5 2048 4 6 2048 5 7 2048 4 8 2048 5 9 2048 5 10 2048 4 11 2048 4 12 2048 5 13 2048 10 14 2048 4 15 2048 4 16 2048 12 17 2048 4 Summary 96 Accumulated time 181248
l
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 24
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 25
0.1 1 10 100 1000 10000 100000 1e+06 1e+07 1e+08 10000 20000 30000 40000 50000 60000 70000 80000 90000
# Nodes / # Active Solvers + 1 Computing Time (sec.)
0.01 1 100 10000 1e+06 1e+08 1e+10 5000 10000 15000 20000 25000 30000 35000 40000 45000
# Nodes / # Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers + 1 # nodes recevied/sec # nodes sent/sec Ramp-up
First intenational UG workshop 2019, Berlin, Germany 26
1 100 10000 1x106 1x108 1x1010 1x106 2x106 3x106 4x106 5x106 6x106 7x106 10000 20000 30000 40000 50000 60000 70000 80000 90000
Number of Nodes Number of Active Solvers + 1 Computing Time (sec.)
# nodes left # active solvers # nodes in check-point file
1x106 2x106 3x106 4x106 5x106 6x106 7x106
Objective Function Value Computing Time (sec.) Incumbents Global LBs
16.01.2019
16.01.2019 First intenational UG workshop 2019, Berlin, Germany
27
j ∈ Zn00, j ∈ I00}
<latexit sha1_base64="JMgJVJU5DukesAYgXclOJbzq7g=">AD6HichVHLbtQwFL2T8CjDY6awKWJjMSpigUZOhQTqpQN7PqatqLujBLX07p1Hko8o7ZWNixZsasQKypVFeIz2PADLPoJFcsisWHBnSQSgiqZa8W+Pveck2vbi5RMNKVnNcu+cvXa9Ykb9Zu3bt9pNCfvribhIOaiw0MVxuemwglA9HRUiuxHsXC9T0l1ry9l6P62lDEiQyDFX0QiU3f3Q5kX3JXI9SbrL1lvgyY4V1jWGZnYrGVsiWvsjn1Df1TtJ36ykabrfLeWRWfKivFolZEoQr7z+hKgx4nHmgypz5nvhvumHMXGVImVW+XMBmQ7EI8z7xJuyYoZ6N3zn9d1V7a7Zom2ZBLidOkbSgiIWweQoMtiAEDgPwQUAGnMFLiQ4NsABChFim2AQizGTWV1ACnXUDpAlkOEiuofzNu42CjTA/cgzydQc/6Lwi1FJYJp+p5/pBf1Gv9Bz+rvUy2Qeo14OcPVyrYh6jXdTy7/GqnxcNez8VX2rKEPz7NeJfYeZcjoFDzXDw+PLpZnl6bNI3pMf2D/n+gZ/YonCIY/+cmiWPoIdXwA5/rvpyszrQd2nYWn7bm5ounmIAH8BAe430/gzl4BQvQAV47txrWlHXf3rXf20f2h5xq1QrNPfgn7OM/yLsmlw=</latexit><latexit sha1_base64="JMgJVJU5DukesAYgXclOJbzq7g=">AD6HichVHLbtQwFL2T8CjDY6awKWJjMSpigUZOhQTqpQN7PqatqLujBLX07p1Hko8o7ZWNixZsasQKypVFeIz2PADLPoJFcsisWHBnSQSgiqZa8W+Pveck2vbi5RMNKVnNcu+cvXa9Ykb9Zu3bt9pNCfvribhIOaiw0MVxuemwglA9HRUiuxHsXC9T0l1ry9l6P62lDEiQyDFX0QiU3f3Q5kX3JXI9SbrL1lvgyY4V1jWGZnYrGVsiWvsjn1Df1TtJ36ykabrfLeWRWfKivFolZEoQr7z+hKgx4nHmgypz5nvhvumHMXGVImVW+XMBmQ7EI8z7xJuyYoZ6N3zn9d1V7a7Zom2ZBLidOkbSgiIWweQoMtiAEDgPwQUAGnMFLiQ4NsABChFim2AQizGTWV1ACnXUDpAlkOEiuofzNu42CjTA/cgzydQc/6Lwi1FJYJp+p5/pBf1Gv9Bz+rvUy2Qeo14OcPVyrYh6jXdTy7/GqnxcNez8VX2rKEPz7NeJfYeZcjoFDzXDw+PLpZnl6bNI3pMf2D/n+gZ/YonCIY/+cmiWPoIdXwA5/rvpyszrQd2nYWn7bm5ounmIAH8BAe430/gzl4BQvQAV47txrWlHXf3rXf20f2h5xq1QrNPfgn7OM/yLsmlw=</latexit><latexit sha1_base64="JMgJVJU5DukesAYgXclOJbzq7g=">AD6HichVHLbtQwFL2T8CjDY6awKWJjMSpigUZOhQTqpQN7PqatqLujBLX07p1Hko8o7ZWNixZsasQKypVFeIz2PADLPoJFcsisWHBnSQSgiqZa8W+Pveck2vbi5RMNKVnNcu+cvXa9Ykb9Zu3bt9pNCfvribhIOaiw0MVxuemwglA9HRUiuxHsXC9T0l1ry9l6P62lDEiQyDFX0QiU3f3Q5kX3JXI9SbrL1lvgyY4V1jWGZnYrGVsiWvsjn1Df1TtJ36ykabrfLeWRWfKivFolZEoQr7z+hKgx4nHmgypz5nvhvumHMXGVImVW+XMBmQ7EI8z7xJuyYoZ6N3zn9d1V7a7Zom2ZBLidOkbSgiIWweQoMtiAEDgPwQUAGnMFLiQ4NsABChFim2AQizGTWV1ACnXUDpAlkOEiuofzNu42CjTA/cgzydQc/6Lwi1FJYJp+p5/pBf1Gv9Bz+rvUy2Qeo14OcPVyrYh6jXdTy7/GqnxcNez8VX2rKEPz7NeJfYeZcjoFDzXDw+PLpZnl6bNI3pMf2D/n+gZ/YonCIY/+cmiWPoIdXwA5/rvpyszrQd2nYWn7bm5ounmIAH8BAe430/gzl4BQvQAV47txrWlHXf3rXf20f2h5xq1QrNPfgn7OM/yLsmlw=</latexit><latexit sha1_base64="JMgJVJU5DukesAYgXclOJbzq7g=">AD6HichVHLbtQwFL2T8CjDY6awKWJjMSpigUZOhQTqpQN7PqatqLujBLX07p1Hko8o7ZWNixZsasQKypVFeIz2PADLPoJFcsisWHBnSQSgiqZa8W+Pveck2vbi5RMNKVnNcu+cvXa9Ykb9Zu3bt9pNCfvribhIOaiw0MVxuemwglA9HRUiuxHsXC9T0l1ry9l6P62lDEiQyDFX0QiU3f3Q5kX3JXI9SbrL1lvgyY4V1jWGZnYrGVsiWvsjn1Df1TtJ36ykabrfLeWRWfKivFolZEoQr7z+hKgx4nHmgypz5nvhvumHMXGVImVW+XMBmQ7EI8z7xJuyYoZ6N3zn9d1V7a7Zom2ZBLidOkbSgiIWweQoMtiAEDgPwQUAGnMFLiQ4NsABChFim2AQizGTWV1ACnXUDpAlkOEiuofzNu42CjTA/cgzydQc/6Lwi1FJYJp+p5/pBf1Gv9Bz+rvUy2Qeo14OcPVyrYh6jXdTy7/GqnxcNez8VX2rKEPz7NeJfYeZcjoFDzXDw+PLpZnl6bNI3pMf2D/n+gZ/YonCIY/+cmiWPoIdXwA5/rvpyszrQd2nYWn7bm5ounmIAH8BAe430/gzl4BQvQAV47txrWlHXf3rXf20f2h5xq1QrNPfgn7OM/yLsmlw=</latexit>j ∈ Zn0, j ∈ I0}
<latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="bs8QlLljyYde7WbNFuyzJm+ZMk=">ACVXichVG7SgNBFD1ZX3F9JMFGsAmGiFW4a6NYCTaWeZgHxB2N6Mu2ewu5tADP5AWgsLKwUR8TNs/AGL9DZiGcHGwrubgKiod5iZM2fm3DlzR3NMw/OJBhFpYnJqeiY6K8/NywuLsfh8ybPbri6Kum3abkVTPWEalij6hm+KiuMKtaWZoqw1d4P9cke4nmFb+37XEbWemQZh4au+kxl6/EUZSiM5E+gjEK47DjNzhAzZ0tNGCgAWfsQkVHrcqFBAc5mroMecyMsJ9gVPIrG3zKcEnVGabPB7xqjpmLV4HOb1QrfMtJneXlUmk6ZFuaUgPdEfP9P5rl6YI/DS5VkbaYVTj/WXC2/qlo8+zj+VP3p2chtkKvBnt3QiZ4hT7Sd07Oh4XtfLq3Rlf0wv4vaUD3/AKr86pf50T+AjLX/le7Z+gtJFRKPkCFGsYBXrXOZN7GAPWRT5ugb6OIs8SbKUGP2TFBl/WAJfQlr6AYJh7c=</latexit><latexit sha1_base64="8ov7DBxIpnGSfT7+D72nu94Lyfc=">ADm3ichVFNb9QwEJ0fJSl0C0nJC4WVEPaOVwadVTERd6Qf3abkXdXcWutzV1nMjJrlos/4H+AQ6cQEIV4mdw4cIRUH8C4lgkLhyYza6EoFmYKPH4zXsvMzbPtMoLSs+CifDS5StXJ6/Vrk/duDldn5naytOeFbIpUp3abR7nUisjm4UqtNzOrIwTrmWLHz4a1Ft9aXOVms3iOJO7SbxvVFeJuECoMxMs0QZ5kTbOVbaOSv3PMusSqR3LImLg7zrNr3R+0KBlkiD6vwajLTkvCqyn2ixwrGW/WqrVjC0yPXTS2JtSa+2qDzjDBlSDkg5+6pbztTxUO/IXOlug3fqc/SBi2DXEyiUTILo1hN6fAYA9SENCDBCQYKDXEOzw5EQCFDbBcYhYzVdYleKihtocsiYwY0UP87uNuZ4Qa3A81It8C8aX4tKAnP0E31Lz+kH+o5+pT/HernSY9DLMa58qJVZ/rk9saP/6oSXAs4+K36Z8FdGx7FVh71mJDKYQ3/+YvzjaX1OXePvqbfsP9X9Iy+xwlM/7t4sybX0INLyD6+7gvJlsPGhFtRGsUJuEO3IV5POYFWIbHsApNEMFp8DH4HwJ58MnYXN4VRPB6M5uwR8Rtn4B7T0Kug=</latexit><latexit sha1_base64="8ov7DBxIpnGSfT7+D72nu94Lyfc=">ADm3ichVFNb9QwEJ0fJSl0C0nJC4WVEPaOVwadVTERd6Qf3abkXdXcWutzV1nMjJrlos/4H+AQ6cQEIV4mdw4cIRUH8C4lgkLhyYza6EoFmYKPH4zXsvMzbPtMoLSs+CifDS5StXJ6/Vrk/duDldn5naytOeFbIpUp3abR7nUisjm4UqtNzOrIwTrmWLHz4a1Ft9aXOVms3iOJO7SbxvVFeJuECoMxMs0QZ5kTbOVbaOSv3PMusSqR3LImLg7zrNr3R+0KBlkiD6vwajLTkvCqyn2ixwrGW/WqrVjC0yPXTS2JtSa+2qDzjDBlSDkg5+6pbztTxUO/IXOlug3fqc/SBi2DXEyiUTILo1hN6fAYA9SENCDBCQYKDXEOzw5EQCFDbBcYhYzVdYleKihtocsiYwY0UP87uNuZ4Qa3A81It8C8aX4tKAnP0E31Lz+kH+o5+pT/HernSY9DLMa58qJVZ/rk9saP/6oSXAs4+K36Z8FdGx7FVh71mJDKYQ3/+YvzjaX1OXePvqbfsP9X9Iy+xwlM/7t4sybX0INLyD6+7gvJlsPGhFtRGsUJuEO3IV5POYFWIbHsApNEMFp8DH4HwJ58MnYXN4VRPB6M5uwR8Rtn4B7T0Kug=</latexit><latexit sha1_base64="WdRjzyQtY2jqLVwtqI9pxgCDbTA=">ADpnichVE9b9RAEB3HQMLxkQs0SDQrTkEp0GlMA0p1gQYalK/LRWRzh9fZS5asP7T2nRJW/gP8AQoqkFCE+Bk0NJSA8hMQZBoKJjzWUIQH4xl7+yb95ndkWiVZohHjtT7pmz56ZnztcuXLx0ebY+d2UjQcmkO0g1rHZFH4qtYpkO1OZlpuJkX4otOyI/fujemcoTariaD07TOR26O9Gq8CPyOoN+e0eKgiboOutbyws0bu5DwxKpS5aGf7aV9u57n+UG3gsEW2VIVXk3mWjJRVbnF9ETBZKtBtRUPRXxg+7FhvtYsrzboPWVcRawYUAj7O/aqIpHfmPmw+o28l69gU0sgp1OvDJpQBnLcf0IOxADAEMIAQJEWSUa/AhpWcLPEBICNsGS5ihTBV1CTnUSDsgliSGT+g+fXdpt1WiEe1HnmhDugvml5DSgbz+Anf4gl+wHf4FX9O9LKFx6iXQ1rFWCuT3uza2s/qsKac1g7fqnz1n0Ie7Ra+Kek8KZDRFMNYPn704WVtcnbc38TV+o/5f4TG+pwmi4fgzYpcfQk1ugDv7+M+nWzcbnrY9Faw0bpXsUMXIcbsEDnfQda8ACWoQ2Bc+R8dD47X9wF95Hbdjtj6pRTaq7CH+E+QV4XQvJ</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit><latexit sha1_base64="W8ZrOn3UyByfIjqz2nlFlRnGvrQ=">ADpnichVHLbtQwFL1peJTh0SlskNhYjIq6QCOnQgJ1NcAGNqiv6VTUnSF2Pa2p40SJZ9Ri5Qf4ARasQEIV4jPYsGEJqJ+AWBaJDQvuZCIhaAZulPj63HNO7rV5olVmKT3ypvxTp8+cnT5XO3/h4qWZ+uzl9SwepEK2RazjdIOHmdTKyLZVsuNJVhxLXs8L37o3pnKNMxWbNHiRyKwp3jOorEVqEerNei0XKMCe6zrHCzqVyO2dJqiKZOxaFdjfru7U8z/e7FQySO5W4dVkpiXhVZWbRE8UTLYaVFuxiMf7rh+nJNSa5NUGvaeEKUOKATl3j/OuM1U89BszH1a3kfqDdqkRZCTSVAmDShjKa4fAoNtiEHACKQYMBiriGEDJ9NCIBCgtgWOMRSzFRl5BDbUDZElkhIju4XcHd5slanA/8swKtcC/aHxTVBKYo5/oW3pMP9B39Cv9OdHLFR6jXg5w5WOtTHoz6+u/vivKsLVwu5v1T97tCHO0WvCntPCmQ0hRjrh89eHK8ursy5G/Q1/Yb9v6JH9D1OYIbfxZtlufISangBwd/HfTJZX2gGtBks32q07pVXMQ3X4DrM43nfhY8gCVog/AOvY/eZ+LP+8/8t+Z0yd8krNFfgj/Ce/AHmdC80=</latexit>Original
First intenational UG workshop 2019, Berlin, Germany 28
Berthold T., Farmer J., Heinz S., Perregaard M. (2016) Parallelization of the FICO Xpress-
Paule P., Sommese A. (eds) Mathematical Software – ICMS
Computer Science, vol 9725. Springer, Cham
16.01.2019
First intenational UG workshop 2019, Berlin, Germany 29
u
u Can handle, hopefully efficiently, up to
Shared Memory Shared Memory
Load- Coordinator Process Xpress thread thread thread thread UG Solver process Xpress thread thread thread thread UG Solver process Xpress thread thread thread thread UG Solver process Xpress thread thread thread thread
UG Solver process Xpress thread thread thread thread UG Solver process Xpress thread thread thread thread UG Solver process Xpress thread thread thread thread UG Solver process Xpress thread thread thread thread
16.01.2019
First intenational UG workshop 2019, Berlin, Germany 30
Computing Time (sec.) # of solved instances
Ø Xpress 8.3 and UG-0.8.4 – dev. Ø 28 core Intel Xeon CPU E5-2690 v4 CPUs at 2.6 GHz with 35MB cache and 128GB memory Ø 52 instances from Tree test set from MIPLIB2010 (6 instances were solved at root by Xpress 16) Ø Geometric mean (Time out is counted as 7200 sec.) 37: Xpress 16
16.01.2019
First intenational UG workshop 2019, Berlin, Germany 31
Computing Time (sec.) Gap(%) Gap(%) Computing Time (sec.)
16.01.2019
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 32
MIPLIB2010 was published HLRN II -> HLRN III 7,000 cores -> 43,000 cores New ParaXpress
ISM (Institute of Statistical Mathematics) supercomputer, which is a HPE SGI 8600 with 384 compute nodes, each node has two Intel Xeon Gold 6154 3.0GHz CPUs (18 cores×2) sharing 384GB of memory, by using ParaSCIP and ParaXpress
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 33
l
First intenational UG workshop 2019, Berlin, Germany 34 16.01.2019
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 35
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 36
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 37
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 38
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 39
[1] K. Kimura and H. Waki: Minimization of Akaike’s information criterion in linear regression analysis via mixed integer nonlinear program. OMS, 33(3), 633‒649, 2018. [2] K. Kimura: Application of a mixed integer nonlinear programming approach to variable selection in logistic regression. JORSJ, 62(1), to appear.
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 40
β,z
j∈J
[1] K. Kimura and H. Waki: Minimization of Akaike’s information criterion in linear regression analysis via mixed integer nonlinear program. OMS, 33(3), 633‒649, 2018. [2] K. Kimura: Application of a mixed integer nonlinear programming approach to variable selection in logistic regression. JORSJ, 62(1), to appear.
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 41
[2] K. Kimura: Application of a mixed integer nonlinear programming approach to variable selection in logistic regression. JORSJ, 62(1), to appear.
(https://archive.ics.uci.edu/ml/)
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 42
[2] K. Kimura: Application of a mixed integer nonlinear programming approach to variable selection in logistic regression. JORSJ, 62(1), to appear.
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 43
l
l
l
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 44
l
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 45
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 46
l
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 47
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 48
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 49
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 50
l
16.01.2019 First intenational UG workshop 2019, Berlin, Germany 51