loading SCIP...
n: 30 m: 443 packed: 10 density: 100 nodes: 0 solverTime: 218 buildTime: 0 solved: true

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