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

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