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

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