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

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