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

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