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

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