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

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