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

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