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

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