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

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