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

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