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

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