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

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