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

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