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

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