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

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