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

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