loading SCIP...
n: 30 m: 32 packed: 8 density: 80 nodes: 0 solverTime: 16 buildTime: 0 solved: false

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