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

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