loading SCIP...
n: 30 m: 11 packed: 6 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 4 15 
1 20 27 
2 3 11 
6 12 29 
18 26 28 
19 22 25