loading SCIP...
n: 30 m: 22 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 24 28 
1 8 19 
4 14 17 
5 13 27 
6 10 18 
9 23 26 
12 21 29