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

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