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

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