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

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