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

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