loading SCIP...
n: 30 m: 88 packed: 9 density: 90 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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