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

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