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

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