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

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