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

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