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

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