loading SCIP...
n: 30 m: 383 packed: 10 density: 100 nodes: 0 solverTime: 157 buildTime: 0 solved: true

0 16 24 
1 9 19 
2 7 17 
3 12 13 
4 8 18 
5 22 28 
6 20 23 
10 14 26 
11 21 27 
15 25 29