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

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