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

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