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

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