loading SCIP...
n: 30 m: 16 packed: 7 density: 70 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 3 6 
1 11 12 
4 5 21 
10 26 27 
13 16 18 
14 20 25 
23 24 29