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

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